Separability in Conflict-Free Petri Nets

Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf. Separability in Conflict-Free Petri Nets. In Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Volume 4378 of Lecture Notes in Computer Science, pages 1-18, Springer, 2006. [doi]

Abstract

Abstract is missing.