About the concurrent behaviour of EN systems: definability and closure results

Elisabeth Pelz. About the concurrent behaviour of EN systems: definability and closure results. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets, held in Venice, Italy in June 1988, selected papers. Volume 424 of Lecture Notes in Computer Science, pages 354-373, Springer, 1988.

Abstract

Abstract is missing.