2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.FL2021
Investigating Reversibility of Steps in Petri Nets
David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski
In reversible computations one is interested in the development of mechanisms allowing to undo the effects of executed actions. The past research has been concerned mainly with rev…
cs.LO2010★ 2 cited
Decision Problems for Petri Nets with Names
Fernando Rosa-Velardo, David de Frutos-Escrig
We prove several decidability and undecidability results for nu-PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability o…