Bei der Definition der verschleppungsfreien Schaltregel auf Seite 184 des FGI-2 Skripts (Seite 83 des F4-Skripts) wird folgende Notation verwendet:

|w|t

Das t ist dabei ein Index von |w|. w ist eine Schaltfolge, t eine Transition. Was bedeutet dieser Ausdruck? Intuitiv würde ich vermuten "die Anzahl der Vorkommen von t in w", aber das kann nicht sein, denn die Definition der verschleppungsfreien Schaltregel lautet (frei übersetzt):

Für alle Transitionen t und Markierungen m darf es keine unendlich lange Schaltfolge w geben, für die gilt: b schaltet beginnend bei m, t ist bei w permanent aktiviert und |w|t = 0

Letzten Endes muss t ja irgendwann schalten. |w|t = 0 kann also nicht bedeuten, dass t in w nicht vorkommt (sonst würde es ja nie schalten). Was bedeutet also |w|t ?

Äh, hat sich erledigt… "darf es keine unendlich lange Schaltfolge w geben, für die gilt" bedeutet ja, dass |w|t = 0 eben NICHT gelten soll… also hatte ich mit meiner Vermutung ja doch Recht.