Reversible Computation vs. Reversibility in Petri Nets.
Kamila BarylskaMaciej KoutnyLukasz MikulskiMarcin PiatkowskiPublished in: RC (2016)
Keyphrases
- petri net
- markov chain
- petri net model
- high level petri nets
- discrete event systems
- manufacturing systems
- colored petri nets
- discrete dynamical systems
- ims ld
- cellular automata
- fuzzy petri net
- stochastic petri net
- service composition
- process model
- sequence diagrams
- state machines
- neural network
- concurrent systems
- decision making