Strukurális tulajdonságok
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
Struktúrális tulajdonságok azok, amelyek kizárólag a Petri háló topológiájától függenek, de nem függenek annak kezdeti M0 kezdőállapotától.
Tartalomjegyzék
Strukturális élőség
Egy Petri háló akkor struktúrálisan élő, hogyha létezik olyan M0 kezdeti állapota, amely élő.
Vezérelhetőség
Egy PN, akkor teljesen vezérelhető, hogyha tetszőleges állapota elérhető tetszőleges más állapotából.
Strukturális korlátosság
Egy Petri hálót akkor nevezünk strukturálisan korlátosnak, hogyha tetszőleges kezdőállapota esetén korlátos.
Konzervatívság
egy PN (részlegesen) konzervatív, ha létezik egy olyan y(p) pozitív egész minden egyes (valamely) p helyére, hogy a tokenek súlyozott összege konstans és minden kezdő tokeneloszlésra.
Ismétlődés
Ismétlődés Egy petri hálót (részlegesen) ismételhetőnek nevezünk, ha létezik egy olyan M0 kezdőállapota, és tüzelési szekvenciája, hogy minden tranzíció végtelen gyakran előfordul ebben a tüzelési szekvenciában
Konzisztencia
Egy petri hálót (részlegesen) konzisztensnek nevezünk, ha van egy olyan M0 jelölés és egy olyan tüzelési szekvencia, amely M0-ból visszavezet M0-ba, hogy minden (egyes) tüzelés legalább egyszer ebben a szekvenciában előfordul.
