A Petri-háló tulajdonságainak elemzését elérhető fák alapján végzik
Algoritmus az akadálymentesítési fa felépítéséhez
1. Legyen S = (P1. Pn) a fa határvonalának (a Petri hálójának állapota), amely nem zsákvég vagy másolat. Ezután az S-re aktivált minden tj átmenet esetében létrejön egy új S '= (Pi', Pn ') csúcs, amelyben a Pi', i = 1 pozíciók állapota. n, az alábbiak szerint határozható meg:
2. IF Pi = Szóval, majd P, '= # 969;
3. HA az utat a gyökér-csomópontból egy vertex S S "= (P1." Pn ") úgy, hogy az S"> S '(Pi'> Pi „), akkor Pi„= # 969;
4. Ellenkező esetben a Pi 'értékét az "S" állapotú átmenet tj művelete alapján határozzák meg
5. Az S csúcs belső definíciója, az S 'csúcs határa. Az algoritmus befejezi a munkát, ha a fa összes csúcsa végtelen, duplikált vagy belső.
A Petri háló tulajdonságainak ellenőrzése elérhetõ fán
- A Petri háló csak akkor van határolva, ha nincs benne szimbólum az éles fán # 969; Ha a Petri háló korlátozott, akkor a fája alapján minden pozíció kapacitását a hálózati állapot megfelelő összetevőjének maximális értékeként határozhatjuk meg. Még akkor is, ha a Petri háló nincs korlátozva, akkor a kapacitás meghatározható azon pozíciók esetében, ahol nincs # 969;
- A Petri-háló ellenőrzése a hozzáférhetőségi fákkal kapcsolatos halott államokra vonatkozóan nem igényel magyarázatot (a nem véges állapotok nem lehetnek halottak).
- Petri háló tartalmaz egy „csapda” akkor és csak akkor a fa van egy egyszerű út (lánc csúcsa, amelyben minden csúcs alapul csak egy ív), kezdetét és végét duplázott csúcs, és nem tartalmazza a gyökér.
Petri hálók alkalmazása az absztrakt forgatókönyv helyességének ellenőrzésére
A Petri hálót hibák észlelésére használják a műszaki és üzleti rendszerek absztrakt forgatókönyvében. Ebből a célból a forgatókönyv Petri hálóvá alakul, majd ellenőrizzük a hálózat tulajdonságait. A szkriptre alkalmazott három tulajdonság ellenőrzése:
1. A Petri hálót korlátozni kell;
2. a Petri háló működése során nem lehet végtelen halott állapot, amelyben nincs átmenet;
2. ha Petri hálók nem lehet „csapdák” - anélkül, hogy elhagyná hurkok (a tárgy esik a „csapda”, ciklikusan kering, de nem tud kijutni a „csapda”).
Petri hálók alkalmazása az absztrakt forgatókönyv helyességének ellenőrzésére
Az üzleti rendszer forgatókönyvének helyességének ellenőrzése lehet
két módon szervezik:
Az üzleti rendszer forgatókönyve helyesnek tekintendő. ha:
- Minden helyes szkript modul
- modulok helyesen vannak egyeztetve