Enumeration of reachable, forbidden, live states of gen-left k-net system (with a non-sharing resource place) of Petri Nets.
Daniel Yuh ChaoTsung Hsien YuPublished in: CICA (2014)
Keyphrases
- petri net
- initial state
- petri net model
- resource sharing
- discrete event systems
- manufacturing systems
- fuzzy petri net
- holonic manufacturing systems
- ims ld
- stochastic petri net
- state machines
- real time
- process model
- service composition
- colored petri nets
- discrete dynamical systems
- contract net protocol
- concurrent systems
- dynamic behaviors
- sequence diagrams
- temporal logic
- resource allocation
- artificial intelligence