Keyphrases
- petri net
- discrete event systems
- petri net model
- colored petri nets
- manufacturing systems
- test cases
- third party
- fuzzy petri net
- state machines
- stochastic petri net
- software components
- discrete dynamical systems
- programmable logic controller
- ims ld
- concurrent systems
- sequence diagrams
- artificial intelligence
- knowledge representation