Szymon Kucia 13K3
2011/2012
Projekt 2. – Schemat nr 16
Temat zadania:
Dla podanego systemu zdefiniowanych marszrut technologicznych przedmiotów oraz przyjętych
czasów trwania czynności, zdefiniować Obiektowo Obserwowalną Sieć Petriego (OPN).
1. Schemat (nr 16) systemu oraz marszruty projektu:
a. Przedmiot 1:
PO1:
ST3 -> R2 -> OB3 -> R2 -> ST2 -> R1 -> OB1 lub OB2 -> R1 -> ST1
b. Przedmiot 2:
PO2:
ST2 -> R1 lub R2 -> OB2 -> R1 lub R2 -> ST2
2. Zbiór następników:
PO1
PO2
R1
R2
ST1
ST2
ST3
OB1
OB2
OB3
PO1
ST3->R2
1
2
2
1
R2->OB3
2
3
1,4,15,20
3
OB3*
3
4
4
OB3->R2
4
5
5
2
R2->ST2
5
6
1,4,15,20
6
ST2->R1
6
7,8
7,8
5,14,15,21,22
R1->OB1
7
9
6,11,12,14,19
9
R1->OB2
8
10
6,11,12,14,19
10
OB1*
9
11
11
OB2*
10
12
12
OB1->R1
11
13
13
7
OB2->R1
12
13
13
8,16,17
R1->ST1
13
6,11,12,14,19
13
PO2
ST2->R1
14
16
16
5,14,15,21,22
ST2->R2
15
17
17
5,14,15,21,22
R1->OB2
16
18
6,11,12,14,19
18
R2->OB2
17
18
1,4,15,20
18
OB2*
18
19,20
19,20
OB2->R1
19
21
21
8,16,17
OB2->R2
20
22
22
8,16,17
R1->ST2
21
6,11,12,14,19
5,14,15,21,22
R2->ST2
22
1,4,15,20
5,14,15,21,22
3. Graficzna reprezentacja modelu OPN:
4. Macierz incydencji:
T1
T2
T3
T4
T5
T6
T7
T8
T9
T10
T11
T12
T13
T14
T15
T16
T17
T18
T19
T20
T21
T22
M1_PO1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M1_ST3
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M2_R2
-1
1
0
-1
1
0
0
0
0
0
0
0
0
0
-1
0
1
0
0
-1
0
1
M2_PO1
1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M1_R2
1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M1_OB3
0
1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M3_PO1
0
1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M2_OB3
0
0
1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M4_PO1
0
0
1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M3_OB3
0
-1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M5_PO1
0
0
0
1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M3_R2
0
0
0
1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M1_ST2
0
0
0
0
1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M6_PO1
0
0
0
0
1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M2_ST2
0
0
0
0
-1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M7_PO1
0
0
0
0
0
1
-1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M1_R1
0
0
0
0
0
1
-1
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
M1_OB1
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
M2_R1
0
0
0
0
0
-1
1
1
0
0
-1
-1
1
-1
0
1
0
0
-1
0
1
0
M8_PO1
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
0
0
0
0
0
0
0
0
M1_OB2
0
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
0
0
0
0
0
0
0
M9_PO1
0
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
0
0
0
0
0
0
0
M2_OB1
0
0
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
0
0
0
0
0
0
M10_PO1
0
0
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
0
0
0
0
0
0
M2_OB2
0
0
0
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
0
0
0
0
0
M11_PO1
0
0
0
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
0
0
0
0
0
M3_OB1
0
0
0
0
0
0
-1
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
M3_OB2
0
0
0
0
0
0
0
-1
0
0
0
1
0
0
0
-1
-1
0
1
1
0
0
M12_PO1
0
0
0
0
0
0
0
0
0
0
1
1
-1
0
0
0
0
0
0
0
0
0
M3_R1
0
0
0
0
0
0
0
0
0
0
1
1
-1
0
0
0
0
0
0
0
0
0
M13_PO1
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
M1_ST1
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
M1_PO2
0
0
0
0
0
0
0
0
0
0
0
0
0
-1
-1
0
0
0
0
0
0
0
M2_PO2
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
0
M4_R1
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
0
M3_PO2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
M4_R2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
M4_PO2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
-1
0
0
0
0
M4_OB2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
-1
0
0
0
0
M5_PO2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
-1
-1
0
0
M5_OB2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
-1
-1
0
0
M6_PO2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
-1
0
M5_R1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
-1
0
M7_PO2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
-1
M5_R2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
-1
M8_PO2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
5. Dodatkowe warunki, aby system pracował bez zastojów:
Nazwa czynności
Nazwa Licznika
Warunek
PO1
ST3->R2
N1
N2=N4
R2->OB3
N2
OB3*
N3
OB3->R2
N4
N5=N6&(N7=N11|(N8=N12&(N14+N15)=(N21+N22)))
R2->ST2
N5
N19=N21
ST2->R1
N6
N7=N11|(N8=N12&(N14+N15)=(N21+N22))
R1->OB1
N7
R1->OB2
N8
OB1*
N9
OB2*
N10
OB1->R1
N11
OB2->R1
N12
R1->ST1
N13
PO2
ST2->R1
N14
(N4=N5)&((N14+N15)=(N19+N20))&(N8=N11)
ST2->R2
N15
((N14+N15)=(N19+N20))&(N8=N12)
R1->OB2
N16
R2->OB2
N17
OB2*
N18
OB2->R1
N19
(N7+N8)=N4
OB2->R2
N20
N5=N6
R1->ST2
N21
R2->ST2
N22
T1
T2
T3
T4
T5
T6
T7
T8
T9
T1
0
T1
1
T1
2
T1
3
T1
4
T1
5
T1
6
T1
7
T1
8
T1
9
T2
0
T2
1
T2
2
T1
T2
Suma:
-1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
6. Czas symulacji dla 10 sztuk każdego przedmiotu:
Czas obróbki OB1: 90s
Czas obróbki OB2: 50s
Czas obróbki OB3: 70s
Pozostałe: 5s