Pomsets and Unfolding of Reset Petri Nets

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux. Pomsets and Unfolding of Reset Petri Nets. In Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira, editors, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Volume 10792 of Lecture Notes in Computer Science, pages 258-270, Springer, 2018. [doi]

Abstract

Abstract is missing.