(Symbolic) state-space inspection of a class of dynamic Petri nets.
Lorenzo CapraWalter CazzolaPublished in: SummerSim (2010)
Keyphrases
- petri net
- state space
- contract net protocol
- discrete event systems
- manufacturing systems
- petri net model
- colored petri nets
- service composition
- stochastic petri net
- dynamic programming
- fuzzy petri net
- dynamical systems
- ims ld
- workflow process
- discrete dynamical systems
- state machines
- search space
- process model
- machine learning