In: Desel, J.; Kemper, P.; Kindler, E.; Oberweis, A.: Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 107-118. Universität Dortmund, Fachbereich Informatik, 1998.
Abstract: Various deadlock/trap properties of signal-event-nets are suggested and compared. A couple of liveness and deadlock-freeness characterisations are provided for this net formalism.