Reversing Transitions in Bounded Petri Nets

DOI10.3233/FI-2018-1631zbMath1390.68457DBLPjournals/fuin/BarylskaEKMP18WikidataQ104379678 ScholiaQ104379678MaRDI QIDQ4637903

Łukasz Mikulski, Marcin Piątkowski, Kamila Barylska, Evgeny Erofeev, Maciej Koutny

Publication date: 3 May 2018

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

zbMATH Keywords

reversibilityPetri netreversible computation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Reversing Steps in Petri Nets ⋮ Reversing Unbounded Petri Nets ⋮ Unnamed Item ⋮ Formal translation from reversing Petri nets to coloured Petri nets ⋮ Acyclic and Cyclic Reversing Computations in Petri Nets ⋮ Investigating Reversibility of Steps in Petri Nets

This page was built for publication: Reversing Transitions in Bounded Petri Nets