Redukcja sieci Petriego Operacje redukcji: jeśli - sieć przed stosowaniem operacji, a ’ - po stosowaniu, to ’ jest żywa, bezpieczna czy ograniczona, jeśli i tylko jeśli żywa, bezpieczna czy ograniczona, odpowiednie. b) Sklejanie szeregowych tranzycji a) Sklejanie szeregowych miejsc
Redukcja sieci Petriego c) Sklejanie równoległych miejsc d) Sklejanie równoległych tranzycji
Redukcja sieci Petriego e) Usunięcie pętli (miejsca) f) Usunięcie pętli (tranzycji) Przykład
Operacje redukcji dla EFC-sieci a) Zastępowanie p6 p6 p4 p1 p1 p2 p2 p3 p7 p5 p7 p3 b) Usunięcie pętli p1 p1 p2 p2 p3 p3
Przykład redukcji EFC-sieci t6 t5 t4 p3 p6 p7 p2 p4 p1 p5 p8 t1 t2 t3 t8 p6 p7 p1 p8 t8 t10 t11 t6 t5 t4 p3 p6 p7 p2 p4 p1 p8 t1 t9 t8 t12 p1
Dekompozycja hierarchiczna Sieć Petriego dla stanowiska do wiercenia
Dekompozycja hierarchiczna RT p1 t1 START t16 p16 t17 !R t18 R t2 X1 M6 p2 RT p1 t1 START t16 p16 t17 !R t18 R t2 X1 M4 M5 M3 Makrosieci: drugi (a) i trzeci (b) poziom hierarchii
Makromiejsce (przykład)
Dekompozycja i redukcja