Projet

Général

Profil

Télécharger (4,13 ko) Statistiques
| Branche: | Tag: | Révision:

root/PSi/PNK2.2/sampleNets/wzk.net @ 2e0a7cb1

|NET
|Wolf, Ziege & Kohl
|SPECIFICATION ST_Specification


|PLACES
|Wolf 1
;
|Ziege 2
;
|Kohl 3
;
|F?hrmann 4
;
|W_dr?ben 5
;
|Z_dr?ben 6
;
|K_dr?ben 7
;
|F_dr?ben 8
;
;


|TRANSITIONS
|hin 9 # Wolf
;
|zur?ck 10
;
|hin 11 # Ziege
;
|zur?ck 12
;
|hin 13 # Kohl
;
|zur?ck 14
;
|hin 15 # F?hrmann
;
|zur?ck 16
;
|Wolf_fri?t_Ziege 17
;
|Ziege_fri?t_Kohl 18
;
|Wolf_fri?t_Ziege 19
;
|Ziege_fri?t_Kohl 20
;
;


|ARCS
|1 --> 9 21 # Wolf hin
|1
;
;
|4 --> 9 22
|1
;
;
|9 --> 5 23
|1
;
;
|9 --> 8 24
|1
;
;
|5 --> 10 25 # Wolf zur?ck
|1
;
;
|8 --> 10 26
|1
;
;
|10 --> 1 27
|1
;
;
|10 --> 4 28
|1
;
;
|2 --> 11 29 # Ziege hin
|1
;
;
|4 --> 11 30
|1
;
;
|11 --> 6 31
|1
;
;
|11 --> 8 32
|1
;
;
|6 --> 12 33 # Ziege zur?ck
|1
;
;
|8 --> 12 34
|1
;
;
|12 --> 2 35
|1
;
;
|12 --> 4 36
|1
;
;
|3 --> 13 37 # Kohl hin
|1
;
;
|4 --> 13 38
|1
;
;
|13 --> 7 39
|1
;
;
|13 --> 8 40
|1
;
;
|7 --> 14 41 # Kohl zur?ck
|1
;
;
|8 --> 14 42
|1
;
;
|14 --> 3 43
|1
;
;
|14 --> 4 44
|1
;
;
|4 --> 15 45 # F?hrmann hin
|1
;
;
|15 --> 8 46
|1
;
;
|8 --> 16 47 # F?hrmann zur?ck
|1
;
;
|16 --> 4 48
|1
;
;
|1 --> 17 49 # Wolf fri?t Ziege (links)
|1
;
;
|2 --> 17 50
|1
;
;
|8 --> 17 51
|1
;
;
|17 --> 1 52
|1
;
;
|17 --> 8 53
|1
;
;
|2 --> 18 54 # Ziege fri?t Kohl(links)
|1
;
;
|3 --> 18 55
|1
;
;
|8 --> 18 56
|1
;
;
|18 --> 2 57
|1
;
;
|18 --> 8 58
|1
;
;
|5 --> 19 59 # Wolf fri?t Ziege (rechts)
|1
;
;
|6 --> 19 60
|1
;
;
|4 --> 19 61
|1
;
;
|19 --> 5 62
|1
;
;
|19 --> 4 63
|1
;
;
|6 --> 20 64 # Ziege fri?t Kohl(rechts)
|1
;
;
|7 --> 20 65
|1
;
;
|4 --> 20 66
|1
;
;
|20 --> 6 67
|1
;
;
|20 --> 4 68
|1
;
;
;


|MARKING
|1
|1
;
|2
|1
;
|3
|1
;
|4
|1
;
;
|NET_END



EDITOR_INFOS
PAGES
1 516x516+91+199 1
2 516x516+669+217 1
;


PLACE
1 :
1 100.0 100.0
{'Initial Marking': (0, -20, 1) 'name': (0, -35, 1)}
.
2 :
1 350.0 100.0
{'Initial Marking': (0, -20, 0) 'name': (0, -35, 1)}
.
3 :
1 600.0 100.0
{'Initial Marking': (0, -20, 0) 'name': (0, -35, 1)}
.
4 :
1 350.0 200.0
{'Initial Marking': (0, -20, 1) 'name': (0, -35, 1)}
.
5 :
1 100.0 500.0
{'Initial Marking': (0, -20, 1) 'name': (0, 30, 1)}
.
6 :
1 350.0 500.0
{'Initial Marking': (0, -20, 1) 'name': (0, 30, 1)}
.
7 :
1 600.0 500.0
{'Initial Marking': (0, -20, 1) 'name': (0, 30, 1)}
.
8 :
1 350.0 400.0
{'Initial Marking': (0, -20, 1) 'name': (0, 30, 1)}
.
;


TRANSITION
9 :
1 150.0 300.0
.
10 :
1 50.0 300.0
.
11 :
1 450.0 300.0
.
12 :
1 250.0 300.0
.
13 :
1 650.0 300.0
.
14 :
1 550.0 300.0
.
15 :
1 400.0 300.0
.
16 :
1 300.0 300.0
.
17 :
1 225.0 100.0
{'name': (0, -35, 1)}
.
18 :
1 475.0 100.0
{'name': (0, -35, 1)}
.
19 :
1 225.0 500.0
{'name': (0, 30, 1)}
.
20 :
1 475.0 500.0
{'name': (0, 30, 1)}
.
;


ARC
21 :
1 0 0
{}
.
22 :
1 0 0
{}
.
23 :
1 0 0
{}
.
24 :
1 0 0
{}
.
25 :
1 0 0
{}
.
26 :
1 0 0
{}
.
27 :
1 0 0
{}
.
28 :
1 0 0
{}
.
29 :
1 0 0
{}
.
30 :
1 0 0
{}
.
31 :
1 0 0
{}
.
32 :
1 0 0
{}
.
33 :
1 0 0
{}
.
34 :
1 0 0
{}
.
35 :
1 0 0
{}
.
36 :
1 0 0
{}
.
37 :
1 0 0
{}
.
38 :
1 0 0
{}
.
39 :
1 0 0
{}
.
40 :
1 0 0
{}
.
41 :
1 0 0
{}
.
42 :
1 0 0
{}
.
43 :
1 0 0
{}
.
44 :
1 0 0
{}
.
45 :
1 0 0
{}
.
46 :
1 0 0
{}
.
47 :
1 0 0
{}
.
48 :
1 0 0
{}
.
49 :
1 0 0
{}
.
50 :
1 0 0
{}
.
51 :
1 0 0
{}
.
52 :
1 0 0
{}
.
53 :
1 0 0
{}
.
54 :
1 0 0
{}
.
55 :
1 0 0
{}
.
56 :
1 0 0
{}
.
57 :
1 0 0
{}
.
58 :
1 0 0
{}
.
59 :
1 0 0
{}
.
60 :
1 0 0
{}
.
61 :
1 0 0
{}
.
62 :
1 0 0
{}
.
63 :
1 0 0
{}
.
64 :
1 0 0
{}
.
65 :
1 0 0
{}
.
66 :
1 0 0
{}
.
67 :
1 0 0
{}
.
68 :
1 0 0
{}
.
;
END_EDITOR
(16-16/16)