On Net Modeling of Industrial Size Concurrent Systems.
Ludmila CherkasovaVadim E. KotovTomas RokickiPublished in: Application and Theory of Petri Nets (1993)
Keyphrases
- concurrent systems
- temporal logic
- model checking
- distributed systems
- process algebra
- formal specification
- databases
- transition systems
- small size
- computational complexity
- knowledge representation
- petri net
- relational databases
- memory requirements
- standard deviation
- information retrieval
- data mining
- modeling method
- real world
- neural network
- database