Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets.
Kevin X. HeMichael D. LemmonPublished in: ICATPN (2000)
Keyphrases
- discrete event systems
- petri net
- petri net model
- colored petri nets
- concurrent systems
- timed petri nets
- manufacturing systems
- ims ld
- fuzzy petri net
- stochastic petri net
- model checking
- service composition
- model based diagnosis
- telecommunication networks
- discrete event
- state machines
- complex systems
- multi agent
- learning objects