7.4Petri-Netze

Invarianten von Petri-Netzen

Lineare Algebra für Netze: Schalten als Vektoraddition, und Invarianten als Größen, die sich beim Schalten nie ändern.

Leitformel
M1+t=M2,NT⋅I=0M_1 + t = M_2, \qquad N^{\mathsf T} \cdot I = 0
M1+t=M2,M_1 + t = M_2,NT⋅I=0N^{\mathsf T} \cdot I = 0
Lernziel

Die Inzidenzmatrix aufstellen, P- und T-Invarianten mit Gauß-Elimination berechnen und ihre Bedeutung für das Netzverhalten deuten.

Einheit wird geladen …