A Petri hálók analízis módszerei

A VIK Wikiből
A lap korábbi változatát látod, amilyen (vitalap) 2012. október 21., 19:57-kor történt szerkesztése után volt. (Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModPetriAnal}} ==Redukciós technikák== ==Elérhetőségi gráf== A petri háló által modellezett rendszer teljes állapotgráfjának…”)
(eltér) ← Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)
Ugrás a navigációhoz Ugrás a kereséshez

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

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.