In: Burkhard, H.-D.; Czaja, L.; Nguyen, H.-S.; Starke, P.: Proceedings of the CSP'99 Workshop, Warsaw, 28-30 September 1999, pages 196-203. 1999.
Abstract: Signal-event systems provide a modular modeling technique based on Petri nets. Activities of a module can be made possible or can be prevented by another module through conditions. One sided synchronization of modules is done by signal-events, which cause the execution of actions in steps. But due to use of conditions and signal-events it is possible, that the simultaneous firing of steps leads to markings, which are not reachable by normal interleaving. We give a criterion, in which situations simultaneous firing of steps can be safely omitted, without missing reachable markings.