Investigating Reversibility of Steps in Petri Nets

David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski. Investigating Reversibility of Steps in Petri Nets. Fundamenta Informaticae, 183(1-2):67-96, 2021. [doi]

Abstract

Abstract is missing.