1 Redukcja sieci PetriegoOperacje 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

2 Redukcja sieci Petriegoc) Sklejanie równoległych miejsc d) Sklejanie równoległych tranzycji

3 Redukcja sieci Petriegoe) Usunięcie pętli (miejsca) f) Usunięcie pętli (tranzycji) Przykład

4 Operacje redukcji dla EFC-siecia) 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

5 Przykład redukcji EFC-siecit6 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

6 Dekompozycja hierarchicznaSieć Petriego dla stanowiska do wiercenia

7 Dekompozycja hierarchicznaRT 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

8 Makromiejsce (przykład)

9 Dekompozycja i redukcja