petrinet 0.1.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +7 -0
- data/.gitignore +15 -0
- data/.rspec +3 -0
- data/.travis.yml +7 -0
- data/Gemfile +4 -0
- data/LICENSE.txt +21 -0
- data/Makefile +33 -0
- data/README.md +73 -0
- data/Rakefile +6 -0
- data/examples/cucumber-protocol/cucumber-protocol.xml +900 -0
- data/examples/cucumber-protocol/transition_sample_1.gif +0 -0
- data/examples/cucumber-protocol/transition_sample_1.txt +5 -0
- data/examples/voting/voting.xml +234 -0
- data/examples/x-ray-machine/v1-problem.gif +0 -0
- data/examples/x-ray-machine/v1-problem.txt +5 -0
- data/examples/x-ray-machine/v2-fixed.gif +0 -0
- data/examples/x-ray-machine/v2-fixed.txt +11 -0
- data/examples/x-ray-machine/x-ray-machine-1.xml +212 -0
- data/examples/x-ray-machine/x-ray-machine-2.xml +284 -0
- data/exe/petrinet +33 -0
- data/lib/petrinet/animated_gif_builder.rb +37 -0
- data/lib/petrinet/graphviz_builder.rb +178 -0
- data/lib/petrinet/marking_transition_script.rb +30 -0
- data/lib/petrinet/net.rb +158 -0
- data/lib/petrinet/pnml_builder.rb +71 -0
- data/lib/petrinet/version.rb +3 -0
- data/lib/petrinet.rb +8 -0
- data/petrinet.gemspec +36 -0
- metadata +131 -0
|
Binary file
|
|
@@ -0,0 +1,234 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
|
|
2
|
+
<pnml>
|
|
3
|
+
<net>
|
|
4
|
+
<token id="Default" red="0" green="0" blue="0"/>
|
|
5
|
+
<place id="negative">
|
|
6
|
+
<graphics>
|
|
7
|
+
<position x="372.0" y="147.0"/>
|
|
8
|
+
</graphics>
|
|
9
|
+
<name>
|
|
10
|
+
<value>P0</value>
|
|
11
|
+
<graphics>
|
|
12
|
+
<offset x="-5.0" y="35.0"/>
|
|
13
|
+
</graphics>
|
|
14
|
+
</name>
|
|
15
|
+
<capacity>
|
|
16
|
+
<value>0</value>
|
|
17
|
+
</capacity>
|
|
18
|
+
<initialMarking>
|
|
19
|
+
<graphics>
|
|
20
|
+
<offset x="0.0" y="0.0"/>
|
|
21
|
+
</graphics>
|
|
22
|
+
<value></value>
|
|
23
|
+
</initialMarking>
|
|
24
|
+
</place>
|
|
25
|
+
<place id="affirmative">
|
|
26
|
+
<graphics>
|
|
27
|
+
<position x="234.0" y="144.0"/>
|
|
28
|
+
</graphics>
|
|
29
|
+
<name>
|
|
30
|
+
<value>P0</value>
|
|
31
|
+
<graphics>
|
|
32
|
+
<offset x="-5.0" y="35.0"/>
|
|
33
|
+
</graphics>
|
|
34
|
+
</name>
|
|
35
|
+
<capacity>
|
|
36
|
+
<value>0</value>
|
|
37
|
+
</capacity>
|
|
38
|
+
<initialMarking>
|
|
39
|
+
<graphics>
|
|
40
|
+
<offset x="0.0" y="0.0"/>
|
|
41
|
+
</graphics>
|
|
42
|
+
<value></value>
|
|
43
|
+
</initialMarking>
|
|
44
|
+
</place>
|
|
45
|
+
<place id="vote">
|
|
46
|
+
<graphics>
|
|
47
|
+
<position x="302.0" y="332.0"/>
|
|
48
|
+
</graphics>
|
|
49
|
+
<name>
|
|
50
|
+
<value>P0</value>
|
|
51
|
+
<graphics>
|
|
52
|
+
<offset x="-5.0" y="35.0"/>
|
|
53
|
+
</graphics>
|
|
54
|
+
</name>
|
|
55
|
+
<capacity>
|
|
56
|
+
<value>0</value>
|
|
57
|
+
</capacity>
|
|
58
|
+
<initialMarking>
|
|
59
|
+
<graphics>
|
|
60
|
+
<offset x="0.0" y="0.0"/>
|
|
61
|
+
</graphics>
|
|
62
|
+
<value>Default,3</value>
|
|
63
|
+
</initialMarking>
|
|
64
|
+
</place>
|
|
65
|
+
<transition id="YAY">
|
|
66
|
+
<graphics>
|
|
67
|
+
<position x="245.0" y="271.0"/>
|
|
68
|
+
</graphics>
|
|
69
|
+
<name>
|
|
70
|
+
<value>T2</value>
|
|
71
|
+
<graphics>
|
|
72
|
+
<offset x="-5.0" y="35.0"/>
|
|
73
|
+
</graphics>
|
|
74
|
+
</name>
|
|
75
|
+
<infiniteServer>
|
|
76
|
+
<value>false</value>
|
|
77
|
+
</infiniteServer>
|
|
78
|
+
<timed>
|
|
79
|
+
<value>false</value>
|
|
80
|
+
</timed>
|
|
81
|
+
<priority>
|
|
82
|
+
<value>1</value>
|
|
83
|
+
</priority>
|
|
84
|
+
<orientation>
|
|
85
|
+
<value>0</value>
|
|
86
|
+
</orientation>
|
|
87
|
+
<rate>
|
|
88
|
+
<value>1</value>
|
|
89
|
+
</rate>
|
|
90
|
+
</transition>
|
|
91
|
+
<transition id="dissent">
|
|
92
|
+
<graphics>
|
|
93
|
+
<position x="317.0" y="212.0"/>
|
|
94
|
+
</graphics>
|
|
95
|
+
<name>
|
|
96
|
+
<value>T1</value>
|
|
97
|
+
<graphics>
|
|
98
|
+
<offset x="-5.0" y="35.0"/>
|
|
99
|
+
</graphics>
|
|
100
|
+
</name>
|
|
101
|
+
<infiniteServer>
|
|
102
|
+
<value>false</value>
|
|
103
|
+
</infiniteServer>
|
|
104
|
+
<timed>
|
|
105
|
+
<value>false</value>
|
|
106
|
+
</timed>
|
|
107
|
+
<priority>
|
|
108
|
+
<value>1</value>
|
|
109
|
+
</priority>
|
|
110
|
+
<orientation>
|
|
111
|
+
<value>0</value>
|
|
112
|
+
</orientation>
|
|
113
|
+
<rate>
|
|
114
|
+
<value>1</value>
|
|
115
|
+
</rate>
|
|
116
|
+
</transition>
|
|
117
|
+
<transition id="NAY">
|
|
118
|
+
<graphics>
|
|
119
|
+
<position x="383.0" y="274.0"/>
|
|
120
|
+
</graphics>
|
|
121
|
+
<name>
|
|
122
|
+
<value>T0</value>
|
|
123
|
+
<graphics>
|
|
124
|
+
<offset x="-5.0" y="35.0"/>
|
|
125
|
+
</graphics>
|
|
126
|
+
</name>
|
|
127
|
+
<infiniteServer>
|
|
128
|
+
<value>false</value>
|
|
129
|
+
</infiniteServer>
|
|
130
|
+
<timed>
|
|
131
|
+
<value>false</value>
|
|
132
|
+
</timed>
|
|
133
|
+
<priority>
|
|
134
|
+
<value>1</value>
|
|
135
|
+
</priority>
|
|
136
|
+
<orientation>
|
|
137
|
+
<value>0</value>
|
|
138
|
+
</orientation>
|
|
139
|
+
<rate>
|
|
140
|
+
<value>1</value>
|
|
141
|
+
</rate>
|
|
142
|
+
</transition>
|
|
143
|
+
<transition id="convert">
|
|
144
|
+
<graphics>
|
|
145
|
+
<position x="312.0" y="84.0"/>
|
|
146
|
+
</graphics>
|
|
147
|
+
<name>
|
|
148
|
+
<value>T0</value>
|
|
149
|
+
<graphics>
|
|
150
|
+
<offset x="-5.0" y="35.0"/>
|
|
151
|
+
</graphics>
|
|
152
|
+
</name>
|
|
153
|
+
<infiniteServer>
|
|
154
|
+
<value>false</value>
|
|
155
|
+
</infiniteServer>
|
|
156
|
+
<timed>
|
|
157
|
+
<value>false</value>
|
|
158
|
+
</timed>
|
|
159
|
+
<priority>
|
|
160
|
+
<value>1</value>
|
|
161
|
+
</priority>
|
|
162
|
+
<orientation>
|
|
163
|
+
<value>0</value>
|
|
164
|
+
</orientation>
|
|
165
|
+
<rate>
|
|
166
|
+
<value>1</value>
|
|
167
|
+
</rate>
|
|
168
|
+
</transition>
|
|
169
|
+
<arc id="dissent TO negative" source="dissent" target="negative">
|
|
170
|
+
<arcpath id="" x="327.0" y="227.0" curvePoint="false"/>
|
|
171
|
+
<arcpath id="" x="377.0" y="173.0" curvePoint="false"/>
|
|
172
|
+
<type value="normal"/>
|
|
173
|
+
<inscription>
|
|
174
|
+
<value>Default,1</value>
|
|
175
|
+
</inscription>
|
|
176
|
+
</arc>
|
|
177
|
+
<arc id="NAY TO negative" source="NAY" target="negative">
|
|
178
|
+
<arcpath id="" x="388.0" y="274.0" curvePoint="false"/>
|
|
179
|
+
<arcpath id="" x="387.0" y="177.0" curvePoint="false"/>
|
|
180
|
+
<type value="normal"/>
|
|
181
|
+
<inscription>
|
|
182
|
+
<value>Default,1</value>
|
|
183
|
+
</inscription>
|
|
184
|
+
</arc>
|
|
185
|
+
<arc id="convert TO affirmative" source="convert" target="affirmative">
|
|
186
|
+
<arcpath id="" x="312.0" y="99.0" curvePoint="false"/>
|
|
187
|
+
<arcpath id="" x="260.0" y="149.0" curvePoint="false"/>
|
|
188
|
+
<type value="normal"/>
|
|
189
|
+
<inscription>
|
|
190
|
+
<value>Default,1</value>
|
|
191
|
+
</inscription>
|
|
192
|
+
</arc>
|
|
193
|
+
<arc id="YAY TO affirmative" source="YAY" target="affirmative">
|
|
194
|
+
<arcpath id="" x="250.0" y="271.0" curvePoint="false"/>
|
|
195
|
+
<arcpath id="" x="249.0" y="174.0" curvePoint="false"/>
|
|
196
|
+
<type value="normal"/>
|
|
197
|
+
<inscription>
|
|
198
|
+
<value>Default,1</value>
|
|
199
|
+
</inscription>
|
|
200
|
+
</arc>
|
|
201
|
+
<arc id="vote TO YAY" source="vote" target="YAY">
|
|
202
|
+
<arcpath id="" x="306.0" y="336.0" curvePoint="false"/>
|
|
203
|
+
<arcpath id="" x="255.0" y="286.0" curvePoint="false"/>
|
|
204
|
+
<type value="normal"/>
|
|
205
|
+
<inscription>
|
|
206
|
+
<value>Default,1</value>
|
|
207
|
+
</inscription>
|
|
208
|
+
</arc>
|
|
209
|
+
<arc id="negative TO convert" source="negative" target="convert">
|
|
210
|
+
<arcpath id="" x="376.0" y="152.0" curvePoint="false"/>
|
|
211
|
+
<arcpath id="" x="322.0" y="99.0" curvePoint="false"/>
|
|
212
|
+
<type value="normal"/>
|
|
213
|
+
<inscription>
|
|
214
|
+
<value>Default,1</value>
|
|
215
|
+
</inscription>
|
|
216
|
+
</arc>
|
|
217
|
+
<arc id="vote TO NAY" source="vote" target="NAY">
|
|
218
|
+
<arcpath id="" x="328.0" y="337.0" curvePoint="false"/>
|
|
219
|
+
<arcpath id="" x="383.0" y="289.0" curvePoint="false"/>
|
|
220
|
+
<type value="normal"/>
|
|
221
|
+
<inscription>
|
|
222
|
+
<value>Default,1</value>
|
|
223
|
+
</inscription>
|
|
224
|
+
</arc>
|
|
225
|
+
<arc id="affirmative TO dissent" source="affirmative" target="dissent">
|
|
226
|
+
<arcpath id="" x="260.0" y="170.0" curvePoint="false"/>
|
|
227
|
+
<arcpath id="" x="317.0" y="227.0" curvePoint="false"/>
|
|
228
|
+
<type value="normal"/>
|
|
229
|
+
<inscription>
|
|
230
|
+
<value>Default,1</value>
|
|
231
|
+
</inscription>
|
|
232
|
+
</arc>
|
|
233
|
+
</net>
|
|
234
|
+
</pnml>
|
|
Binary file
|
|
Binary file
|
|
@@ -0,0 +1,212 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
|
|
2
|
+
<pnml>
|
|
3
|
+
<net>
|
|
4
|
+
<token id="Default" red="0" green="0" blue="0"/>
|
|
5
|
+
<place id="wait">
|
|
6
|
+
<graphics>
|
|
7
|
+
<position x="161.0" y="248.0"/>
|
|
8
|
+
</graphics>
|
|
9
|
+
<name>
|
|
10
|
+
<value>P0</value>
|
|
11
|
+
<graphics>
|
|
12
|
+
<offset x="-5.0" y="35.0"/>
|
|
13
|
+
</graphics>
|
|
14
|
+
</name>
|
|
15
|
+
<capacity>
|
|
16
|
+
<value>0</value>
|
|
17
|
+
</capacity>
|
|
18
|
+
<initialMarking>
|
|
19
|
+
<graphics>
|
|
20
|
+
<offset x="0.0" y="0.0"/>
|
|
21
|
+
</graphics>
|
|
22
|
+
<value>0</value>
|
|
23
|
+
</initialMarking>
|
|
24
|
+
</place>
|
|
25
|
+
<place id="before">
|
|
26
|
+
<graphics>
|
|
27
|
+
<position x="366.0" y="274.0"/>
|
|
28
|
+
</graphics>
|
|
29
|
+
<name>
|
|
30
|
+
<value>P0</value>
|
|
31
|
+
<graphics>
|
|
32
|
+
<offset x="-5.0" y="35.0"/>
|
|
33
|
+
</graphics>
|
|
34
|
+
</name>
|
|
35
|
+
<capacity>
|
|
36
|
+
<value>0</value>
|
|
37
|
+
</capacity>
|
|
38
|
+
<initialMarking>
|
|
39
|
+
<graphics>
|
|
40
|
+
<offset x="0.0" y="0.0"/>
|
|
41
|
+
</graphics>
|
|
42
|
+
<value></value>
|
|
43
|
+
</initialMarking>
|
|
44
|
+
</place>
|
|
45
|
+
<place id="after">
|
|
46
|
+
<graphics>
|
|
47
|
+
<position x="599.0" y="273.0"/>
|
|
48
|
+
</graphics>
|
|
49
|
+
<name>
|
|
50
|
+
<value>P0</value>
|
|
51
|
+
<graphics>
|
|
52
|
+
<offset x="-5.0" y="35.0"/>
|
|
53
|
+
</graphics>
|
|
54
|
+
</name>
|
|
55
|
+
<capacity>
|
|
56
|
+
<value>0</value>
|
|
57
|
+
</capacity>
|
|
58
|
+
<initialMarking>
|
|
59
|
+
<graphics>
|
|
60
|
+
<offset x="0.0" y="0.0"/>
|
|
61
|
+
</graphics>
|
|
62
|
+
<value></value>
|
|
63
|
+
</initialMarking>
|
|
64
|
+
</place>
|
|
65
|
+
<place id="gone">
|
|
66
|
+
<graphics>
|
|
67
|
+
<position x="794.0" y="279.0"/>
|
|
68
|
+
</graphics>
|
|
69
|
+
<name>
|
|
70
|
+
<value>P0</value>
|
|
71
|
+
<graphics>
|
|
72
|
+
<offset x="-5.0" y="35.0"/>
|
|
73
|
+
</graphics>
|
|
74
|
+
</name>
|
|
75
|
+
<capacity>
|
|
76
|
+
<value>0</value>
|
|
77
|
+
</capacity>
|
|
78
|
+
<initialMarking>
|
|
79
|
+
<graphics>
|
|
80
|
+
<offset x="0.0" y="0.0"/>
|
|
81
|
+
</graphics>
|
|
82
|
+
<value></value>
|
|
83
|
+
</initialMarking>
|
|
84
|
+
</place>
|
|
85
|
+
<transition id="leave">
|
|
86
|
+
<graphics>
|
|
87
|
+
<position x="701.0" y="264.0"/>
|
|
88
|
+
</graphics>
|
|
89
|
+
<name>
|
|
90
|
+
<value>T0</value>
|
|
91
|
+
<graphics>
|
|
92
|
+
<offset x="-5.0" y="35.0"/>
|
|
93
|
+
</graphics>
|
|
94
|
+
</name>
|
|
95
|
+
<infiniteServer>
|
|
96
|
+
<value>false</value>
|
|
97
|
+
</infiniteServer>
|
|
98
|
+
<timed>
|
|
99
|
+
<value>false</value>
|
|
100
|
+
</timed>
|
|
101
|
+
<priority>
|
|
102
|
+
<value>1</value>
|
|
103
|
+
</priority>
|
|
104
|
+
<orientation>
|
|
105
|
+
<value>0</value>
|
|
106
|
+
</orientation>
|
|
107
|
+
<rate>
|
|
108
|
+
<value>1</value>
|
|
109
|
+
</rate>
|
|
110
|
+
</transition>
|
|
111
|
+
<transition id="enter">
|
|
112
|
+
<graphics>
|
|
113
|
+
<position x="264.0" y="262.0"/>
|
|
114
|
+
</graphics>
|
|
115
|
+
<name>
|
|
116
|
+
<value>T0</value>
|
|
117
|
+
<graphics>
|
|
118
|
+
<offset x="-5.0" y="35.0"/>
|
|
119
|
+
</graphics>
|
|
120
|
+
</name>
|
|
121
|
+
<infiniteServer>
|
|
122
|
+
<value>false</value>
|
|
123
|
+
</infiniteServer>
|
|
124
|
+
<timed>
|
|
125
|
+
<value>false</value>
|
|
126
|
+
</timed>
|
|
127
|
+
<priority>
|
|
128
|
+
<value>1</value>
|
|
129
|
+
</priority>
|
|
130
|
+
<orientation>
|
|
131
|
+
<value>0</value>
|
|
132
|
+
</orientation>
|
|
133
|
+
<rate>
|
|
134
|
+
<value>1</value>
|
|
135
|
+
</rate>
|
|
136
|
+
</transition>
|
|
137
|
+
<transition id="make_photo">
|
|
138
|
+
<graphics>
|
|
139
|
+
<position x="491.0" y="268.0"/>
|
|
140
|
+
</graphics>
|
|
141
|
+
<name>
|
|
142
|
+
<value>T0</value>
|
|
143
|
+
<graphics>
|
|
144
|
+
<offset x="-5.0" y="35.0"/>
|
|
145
|
+
</graphics>
|
|
146
|
+
</name>
|
|
147
|
+
<infiniteServer>
|
|
148
|
+
<value>false</value>
|
|
149
|
+
</infiniteServer>
|
|
150
|
+
<timed>
|
|
151
|
+
<value>false</value>
|
|
152
|
+
</timed>
|
|
153
|
+
<priority>
|
|
154
|
+
<value>1</value>
|
|
155
|
+
</priority>
|
|
156
|
+
<orientation>
|
|
157
|
+
<value>0</value>
|
|
158
|
+
</orientation>
|
|
159
|
+
<rate>
|
|
160
|
+
<value>1</value>
|
|
161
|
+
</rate>
|
|
162
|
+
</transition>
|
|
163
|
+
<arc id="enter TO before" source="enter" target="before">
|
|
164
|
+
<arcpath id="" x="274.0" y="277.0" curvePoint="false"/>
|
|
165
|
+
<arcpath id="" x="366.0" y="287.0" curvePoint="false"/>
|
|
166
|
+
<type value="normal"/>
|
|
167
|
+
<inscription>
|
|
168
|
+
<value>Default,1</value>
|
|
169
|
+
</inscription>
|
|
170
|
+
</arc>
|
|
171
|
+
<arc id="make_photo TO after" source="make_photo" target="after">
|
|
172
|
+
<arcpath id="" x="501.0" y="283.0" curvePoint="false"/>
|
|
173
|
+
<arcpath id="" x="599.0" y="287.0" curvePoint="false"/>
|
|
174
|
+
<type value="normal"/>
|
|
175
|
+
<inscription>
|
|
176
|
+
<value>Default,1</value>
|
|
177
|
+
</inscription>
|
|
178
|
+
</arc>
|
|
179
|
+
<arc id="leave TO gone" source="leave" target="gone">
|
|
180
|
+
<arcpath id="" x="711.0" y="279.0" curvePoint="false"/>
|
|
181
|
+
<arcpath id="" x="794.0" y="292.0" curvePoint="false"/>
|
|
182
|
+
<type value="normal"/>
|
|
183
|
+
<inscription>
|
|
184
|
+
<value>Default,1</value>
|
|
185
|
+
</inscription>
|
|
186
|
+
</arc>
|
|
187
|
+
<arc id="before TO make_photo" source="before" target="make_photo">
|
|
188
|
+
<arcpath id="" x="396.0" y="288.0" curvePoint="false"/>
|
|
189
|
+
<arcpath id="" x="491.0" y="283.0" curvePoint="false"/>
|
|
190
|
+
<type value="normal"/>
|
|
191
|
+
<inscription>
|
|
192
|
+
<value>Default,1</value>
|
|
193
|
+
</inscription>
|
|
194
|
+
</arc>
|
|
195
|
+
<arc id="after TO leave" source="after" target="leave">
|
|
196
|
+
<arcpath id="" x="629.0" y="287.0" curvePoint="false"/>
|
|
197
|
+
<arcpath id="" x="701.0" y="279.0" curvePoint="false"/>
|
|
198
|
+
<type value="normal"/>
|
|
199
|
+
<inscription>
|
|
200
|
+
<value>Default,1</value>
|
|
201
|
+
</inscription>
|
|
202
|
+
</arc>
|
|
203
|
+
<arc id="wait TO enter" source="wait" target="enter">
|
|
204
|
+
<arcpath id="" x="191.0" y="265.0" curvePoint="false"/>
|
|
205
|
+
<arcpath id="" x="264.0" y="277.0" curvePoint="false"/>
|
|
206
|
+
<type value="normal"/>
|
|
207
|
+
<inscription>
|
|
208
|
+
<value>Default,1</value>
|
|
209
|
+
</inscription>
|
|
210
|
+
</arc>
|
|
211
|
+
</net>
|
|
212
|
+
</pnml>
|