Algoritm pentru construirea unui arbore de accesibilitate
1. Fie S = (P1. Pn) vârful delimitator al arborelui (starea rețelei Petri), care nu este un punct mort sau un duplicat. Apoi, pentru fiecare tranziție tj, activată în S, se creează un nou punct S '= (Pi', Pn '), în care starea pozițiilor Pi', i = 1. n, este definit după cum urmează:
2. Dacă Pi Pi = So, atunci P, '= # 969;
3. Dacă există un vârf S "= (P1", Pn ") pe calea de la vârful rădăcină la S astfel încât S '> S" (Pi'> Pi "), atunci Pi '= # 969;
4. În caz contrar, valoarea lui Pi 'este determinată pe baza funcționării tranziției ie din starea S
5. Vertexul S este redefinit drept interior, vârful S 'devine limita. Algoritmul termină lucrarea atunci când toate vârfurile copacului sunt terminate, duplicate sau interne.
Verificarea proprietăților rețelei Petri pe un copac accesibil
- O plasă Petri este mărginită dacă și numai dacă nu există nici un simbol în arborele ei de acces # 969; Dacă plasa Petri este limitată, atunci prin arborele său este posibil să se determine capacitatea fiecărei poziții ca valoare maximă a componentei corespunzătoare a stării rețelei. Chiar dacă netul Petri nu este limitat, atunci capacitatea poate fi determinată pentru poziții în care nu există # 969;
- Verificarea rețelei Petri pe punctele de trecere a frontierei pe arbori de acces nu necesită explicații (statele non-finite nu ar trebui să fie terminate).
- Petri conține o „capcană“ dacă și numai dacă arborele său există o cale simplă (lanț de noduri în care fiecare nod se bazează pe un singur arc), care începe și se termină nodurile duplicat și nu conține nodul rădăcină.
Aplicarea rețelelor Petri pentru a verifica corectitudinea scenariului abstract
Rețeaua Petri este utilizată pentru a detecta erorile în scenariul abstract al sistemelor tehnice și de afaceri. În acest scop, scriptul este transformat într-o rețea Petri și apoi verificăm proprietățile rețelei. După cum se aplică la scenariu, se verifică trei proprietăți:
1. Petri trebuie să fie limitată;
2. în funcționarea rețelei Petri nu ar trebui să existe stări moarte non-finite în care să nu se activeze tranziția;
2. atunci când se utilizează rețele Petri ar trebui să fie nici o „capcane“ - fără a lăsa bucle (obiectul poate cădea în „capcana“, ciclic circula în ea, dar nu poate ieși din „capcana“).
Aplicarea rețelelor Petri pentru a verifica corectitudinea scenariului abstract
Verificarea corectitudinii scenariului sistemului de afaceri poate fi
organizată în 2 moduri:
Scenariul sistemului de afaceri va fi considerat corect. în cazul în care:
- Toate modulele de script care o compun sunt corecte
- modulele sunt potrivite corect