Structural analysis of Signal-Event Systems

• Autorzy: Foremniak A. , Starke P.H.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

structural deadlock; structural trap; deadlock-trap property; extended free choice nets; extended simple nets; homogeneous nets; place-liveness of a net

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 43, Nr 1-4
• Strony: 81--104
• Opis fizyczny: bibliogr. 7 poz.

Twórcy

autor

Foremniak A.

autor

Starke P.H.

• Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, D-10099 Berlin,