Umdruck - Institut für Automatisierungs- und Softwaretechnik

2.5 Prozessführung von Folge- und Stückprozessen
AT II
Algebraische Analyse (T-Invarianten)
– Erreichbare Markierungen: M = M 0 + W • S
M 0
W
S
Ausgangs-Markierung
Inzidenzmatrix
Sequenzvektor
– T-Invariante: Schaltsequenz zur Reproduzierung der Ausgangsmarkierung
W • S = 0 (lineares Gleichungssystem)
– Ableitung folgender Eigenschaften
Bedingung für Reversibilität
Es existiert eine nicht negative T-Invariante (Lösung des LGS).
Bedingung für Lebendigkeit
Es existiert eine positive T-Invariante (Lösung des LGS).
© 2013 IAS, Universität Stuttgart 191