Liveness for Synchronized Choice Petri Nets.
Daniel Y. ChaoJose A. NicdaoPublished in: Comput. J. (2001)
Keyphrases
- petri net
- discrete event systems
- high level petri nets
- petri net model
- manufacturing systems
- colored petri nets
- process model
- service composition
- fuzzy petri net
- stochastic petri net
- ims ld
- state machines
- concurrent systems
- genetic algorithm
- discrete dynamical systems
- expert systems
- artificial intelligence
- neural network