Begriffsdefinition: Wächterbedingung
Hauptbeschreibung
Eine Bedingung, die erfüllt sein muss, damit ein zugeordneter Übergang ausgelöst werden kann.