Hi!
Kann mir mal jemand bitte kurz erklären, was es wichtiges über die S-Invarianten-Vektoren wichtiges zu wissen gibt.
Benötige eine möglichst unformale Beschreibung was der Vektor leistet!

Verstehe auch nicht was mir die Gleichung i'*m = i'*m0 sagen soll?!?!?!

hiiiilfe!

S-Invarianten-Vektoren beschreiben auf kompakte Weise Invarianten in Netzen,

für ein Netz mit 2 Stellen A und B
A ----> B <---- und der Anfangsmarkierung A: 4 Marken, B: 0 Marken

ist i'=(1,1) ein Invariantenvektor, der aussagt:

1*m(A) + 1*m(B) = konstant (4) für alle Markierungen m



da i'* m = konstant und gleich für alle Markierungen ist gilt insbesondere,
dass i'*m immer gleich i' * m_0 ist,
da m_0, die Startmarkierung, auch nur eine der möglichen Markierungen ist,
und der Wert i'*m ja für ALLE Markierungen gleich ist ;)



Was leistet der Invarianten-Vektor?
er beschreibt eine Invariante wie oben beschrieben

Was ist eine Invariante?
eine Summierung über mehrere Stellen, die für alle Markierungen konstant ist

sehr vielen dank!!!!

das hilft echt gut!