Control Synthesis for discrete Event Systems: a Semantic Framework Based on Open Petri Nets.
Reiko HeckelMourad ChouikhaPublished in: Trans. SDPS (2002)
Keyphrases
- petri net
- discrete event systems
- petri net model
- discrete event
- complex systems
- model based diagnosis
- colored petri nets
- programmable logic controller
- ims ld
- timed petri nets
- telecommunication networks
- manufacturing systems
- concurrent systems
- service composition
- state machines
- multi agent systems
- stochastic petri net
- fuzzy petri net