Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly

Giovanni Casu, G. Michele Pinna. Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly. In Frank Drewes, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. Volume 10168 of Lecture Notes in Computer Science, pages 325-337, 2017. [doi]

Abstract

Abstract is missing.