Keyphrases
- discrete event systems
- petri net
- petri net model
- manufacturing systems
- timed petri nets
- colored petri nets
- fuzzy petri net
- telecommunication networks
- stochastic petri net
- service composition
- model based diagnosis
- complex systems
- discrete event
- programmable logic controller
- state machines
- constraint satisfaction problems
- search space
- ims ld
- dynamic systems
- production system