A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets.
ShouGuang WangMengChu ZhouZhiWu LiChengying WangPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2013)
Keyphrases
- petri net
- petri net model
- discrete event systems
- high level petri nets
- manufacturing systems
- colored petri nets
- service composition
- stochastic petri net
- fuzzy petri net
- state machines
- concurrent systems
- concurrent processes
- state space
- web services
- sequence diagrams
- process model
- cellular automata
- discrete dynamical systems