Liveness, Fairness, and Recurrence in Petri Nets.
Ekkart KindlerWil M. P. van der AalstPublished in: Inf. Process. Lett. (1999)
Keyphrases
- petri net
- petri net model
- discrete event systems
- manufacturing systems
- colored petri nets
- ims ld
- high level petri nets
- programmable logic controller
- service composition
- resource allocation
- fuzzy petri net
- discrete dynamical systems
- state machines
- process model
- low cost
- stochastic petri net
- artificial intelligence
- web services
- decision making