Reversible Computation vs. Reversibility in Petri Nets

Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski. Reversible Computation vs. Reversibility in Petri Nets. In Simon J. Devitt, Ivan Lanese, editors, Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Volume 9720 of Lecture Notes in Computer Science, pages 105-118, Springer, 2016. [doi]

Abstract

Abstract is missing.