Wykład 8 - elka.pw

Wykład 8
29 maja 2009
12:26
Zachowawczośd: poszukiwanie wektora w spełniającego warunek (slajd). Warunek konieczny dla
zachowawczości: w drzewie nie ma omegi. n - liczba miejsc sieci, k - liczba węzłów w drzewie, j
znakowanie (węzeł) j, j=1..k. Otrzymujemy układ k równao z n+1 niewiadomymi. Sied zachowawcza gdy
układ równao ma rozwiązanie. Problem pokrycia: czy  jest pokryte przez sied. Jest, bo 01.
Problem: znajdź sekwencje odpaleo. nxt1, t2, mxt3. m=2, n=8. Problemy rozstrzygalne w oparciu o analizę
drzewa: bezpieczeostwo i ograniczonośd, zachowawczośd, problem pokrycia. Jeżeli znakowanie nie jest
pokryte, to nie jest osiągalne. Sied jest żywa jeśli każda jej tranzycja jest żywa. Jak jest znakowanie
koocowe to jest zakleszczenie. Jak nie ma znakowania koocowego to niewiadomo. Drzewo tego nie
rozstrzyga. Druga metoda analizy sieci P. to metoda macierzowa. Trzecia: metoda niezmienników.
Kolorowana sied Petriego: wyrażenie wejściowe (jakie znaczniki są potrzebne do wzbudzenia), wyrażenie
wyjściowe (jakie znaczniki są produkowane). Dozór: dodatkowy warunek odpalenia tranzycji.
SPOP Strona 1
SPOP Strona 2
SPOP Strona 3