Hier können Sie entscheiden, ob beim Schalten Prioriäten beachtet (Eingabe von <Y> ) oder übersehen werden sollen (Eingabe von <N> ). Standardmäßig werden Prioritäten nicht berücksichtigt.
Prioritäten sind als nichtnegative ganze Zahlen den Transitionen zugeordnet. Die Prioritäten zu beachten, bedeutet daß im gegebenen Zustand nur die konzessionierten Transitionen schalten dürfen, die die höchste (d.h. größte) vorkommende Priorität haben [Sta90, (103),]. Die Anwendung von Prioritäten schränkt die Analysemöglichkeiten ein.
Zuletzt geändert am: Thu Apr 10 15:08:18 MET DST 1997