Reversible computation vs. reversibility in Petri nets.
Kamila BarylskaMaciej KoutnyLukasz MikulskiMarcin PiatkowskiPublished in: Sci. Comput. Program. (2018)
Keyphrases
- petri net
- markov chain
- manufacturing systems
- high level petri nets
- petri net model
- fuzzy petri net
- discrete event systems
- service composition
- colored petri nets
- process model
- discrete dynamical systems
- state machines
- cellular automata
- neural network
- sequence diagrams
- distributed systems
- programmable logic controller
- e learning