On the Reversibility of Live Equal-Conflict Petri Nets

Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon. On the Reversibility of Live Equal-Conflict Petri Nets. In Raymond R. Devillers, Antti Valmari, editors, Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings. Volume 9115 of Lecture Notes in Computer Science, pages 234-253, Springer, 2015. [doi]

Abstract

Abstract is missing.