Formal translation from reversing Petri nets to coloured Petri nets

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

Mathematics Subject Classification ID

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