Next: 2.5.5 Schaltstrategie
Up: 2.5 Optionen
Previous: 2.5.3 Schaltregel
2.5.4 Prioritäten
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.
Next: 2.5.5 Schaltstrategie
Up: 2.5 Optionen
Previous: 2.5.3 Schaltregel
© 1996-98 Prof. Peter H. Starke (starke@informatik.hu-berlin.de) und Stephan Roch (roch@...)
INA Handbuch Version 2.1 zuletzt geändert: 1998-03-24