Reversible computation vs. reversibility in Petri nets

Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski. Reversible computation vs. reversibility in Petri nets. Science of Computer Programming, 151:48-60, 2018. [doi]

Abstract

Abstract is missing.