An Unifying Framework for Compacting Petri Nets Behaviors

Giovanni Casu, G. Michele Pinna. An Unifying Framework for Compacting Petri Nets Behaviors. In Vittorio Bilò, Antonio Caruso, editors, Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016. Volume 1720 of CEUR Workshop Proceedings, pages 245-250, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.