A Petri hálók analízis módszerei
A VIK Wikiből
(FormModPetriAnal szócikkből átirányítva)
Ez az oldal a korábbi SCH wikiről lett áthozva.
Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!
Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.
Redukciós technikák
Elérhetőségi gráf
A petri háló által modellezett rendszer teljes állapotgráfjának megfelelője, gyökere az M0 kiinduló állapot és minden egyes él egy tranzíció tüzelésének felel meg (a csomópontok a tokeneloszlás állapotok)
-- adamo - 2006.04.02.
