Entscheidung, wenn Wächterbedingungen zur Kennzeichnung der versch. mögl., boolesch-abhäng. Übergänge verwendet werden.