Structural Analysis of Signal-Event Systems

  • Authors:

  • Adrianna Foremniak;Peter H. Starke

  • Affiliations:

  • (Correspd.) Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, D-10099 Berlin. foremnia@informatik.hu-berlin.de;(Correspd.) Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, D-10099 Berlin. starke@informatik.hu-berlin.de

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

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.