Reversing Transitions in Bounded Petri Nets
From MaRDI portal
Publication:4637903
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)
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