In: Burkhard, H.-D.; Czaja, L.; Nguyen, H.-S.; Starke, P.: Proceedings of the CSP'99 Workshop, Warsaw, 28-30 September 1999, pages 236-250. 1999.
Abstract: Structural analysis explores the relation between local structural properties and the global functionality of nets. Here we consider Signal-Event systems under a generalized firing rule. Analoga of the free-choice property and the deadlock-trap property for Petri nets are defined and some consequences are drawn for liveness properties of Signal-Event nets.