Acyclic and Cyclic Reversing Computations in Petri Nets

DOI10.3233/FI-2021-2099OpenAlexW3188932320MaRDI QIDQ5862345

Kamila Barylska, Anna Gogolińska

Publication date: 9 March 2022

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.02167

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• CPN/Tools
• Design/CPN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Traps characterize home states in free choice systems
• Reversible computation in Petri nets
• An efficient characterization of Petri net solvable binary words
• Reverse Code Generation for Parallel Discrete Event Simulation
• Coloured Petri Nets
• Reversing Transitions in Bounded Petri Nets
• Understanding Petri Nets
• Reversing Steps in Petri Nets
• Reversing Unbounded Petri Nets

This page was built for publication: Acyclic and Cyclic Reversing Computations in Petri Nets