Analyzing and reducing simultaneous firing in signal-event nets

• Autorzy: Roch S.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

discrete event systems; signal-event nets; reachability analysis

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 43, Nr 1-4
• Strony: 321--330
• Opis fizyczny: wykr., bibliogr. 13 poz.

Twórcy

autor

Roch S.

• Institut für Informatik Humboldt-Universität zu Berlin D-10099 Berlin, Germany,