Analyzing and Reducing Simultaneous Firing in Signal-Event Nets

Article type: Research Article

Authors: Roch, Stephan

Affiliations: Institut für Informatik, Humboldt-Universität zu Berlin, 10099 Berlin, Germany. [email protected]

Note: [] Address for correspondence: Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany

Abstract: Signal-event nets provide a modular modeling technique based on Petri nets. Actions of a module can be activated or can be prevented by another module through condition arcs. One-sided synchronization of modules is done by signal-events, which cause the execution of actions in steps. But due to condition arcs and signal-events simultaneous firing of steps may lead to markings, which are not reachable by conventional sequential interleaving. We give a criterion, in which situations simultaneous firing of steps can be safely omitted, without missing reachable markings.

Keywords: Discrete event systems, signal-event nets, reachability analysis

DOI: 10.3233/FI-2000-43123416

Journal: Fundamenta Informaticae, vol. 43, no. 1-4, pp. 321-330, 2000