Formal translation from reversing Petri nets to coloured Petri nets
From MaRDI portal
Publication:2097427
DOI10.1007/978-3-031-09005-9_12OpenAlexW4293210571MaRDI QIDQ2097427
Anna Gogolińska, Kamila Barylska, Kyriaki Psara, Marcin Piątkowski, Anna Philippou, Łukasz Mikulski
Publication date: 11 November 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-09005-9_12
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)
Related Items (3)
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures ⋮ Unnamed Item ⋮ Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
Cites Work
- Unnamed Item
- Unnamed Item
- Reversible computation in Petri nets
- Reversible occurrence nets and causal reversible prime event structures
- Reversible computation in nets with bonds
- Reversible Computation vs. Reversibility in Petri Nets
- Reversing Transitions in Bounded Petri Nets
- Investigating Reversibility of Steps in Petri Nets
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- Reversing Unbounded Petri Nets
This page was built for publication: Formal translation from reversing Petri nets to coloured Petri nets