Affiliations: Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, D-10099 Berlin. [email protected] | Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, D-10099 Berlin. [email protected]
Note: [] Address for correspondence: Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, D-10099 Berlin
Note: [] Address for correspondence: Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, D-10099 Berlin
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. The free-choice property and the deadlock-trap property are known from Petri net theory. We define them for Signal-Event nets and draw some consequences for liveness properties of Signal-Event systems.
Keywords: structural deadlock, structural trap, deadlock-trap property, extended free choice nets, extended simple nets, homogeneous nets, (place-)liveness of a net
