petrinet 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- 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
|
@@ -0,0 +1,900 @@
|
|
|
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="GlueCode loaded">
|
|
6
|
+
<graphics>
|
|
7
|
+
<position x="824.0" y="51.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>Default,0</value>
|
|
23
|
+
</initialMarking>
|
|
24
|
+
</place>
|
|
25
|
+
<place id="PASSED TestStep">
|
|
26
|
+
<graphics>
|
|
27
|
+
<position x="600.0" y="543.0"/>
|
|
28
|
+
</graphics>
|
|
29
|
+
<name>
|
|
30
|
+
<value>P2</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>Default,0</value>
|
|
43
|
+
</initialMarking>
|
|
44
|
+
</place>
|
|
45
|
+
<place id="Idle Executors">
|
|
46
|
+
<graphics>
|
|
47
|
+
<position x="253.0" y="686.0"/>
|
|
48
|
+
</graphics>
|
|
49
|
+
<name>
|
|
50
|
+
<value>P1</value>
|
|
51
|
+
<graphics>
|
|
52
|
+
<offset x="-9.0" y="30.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,0</value>
|
|
63
|
+
</initialMarking>
|
|
64
|
+
</place>
|
|
65
|
+
<place id="Loading GlueCode">
|
|
66
|
+
<graphics>
|
|
67
|
+
<position x="358.0" y="45.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>Default,0</value>
|
|
83
|
+
</initialMarking>
|
|
84
|
+
</place>
|
|
85
|
+
<place id="Running TestStep">
|
|
86
|
+
<graphics>
|
|
87
|
+
<position x="797.0" y="568.0"/>
|
|
88
|
+
</graphics>
|
|
89
|
+
<name>
|
|
90
|
+
<value>P1</value>
|
|
91
|
+
<graphics>
|
|
92
|
+
<offset x="-5.0" y="35.0"/>
|
|
93
|
+
</graphics>
|
|
94
|
+
</name>
|
|
95
|
+
<capacity>
|
|
96
|
+
<value>0</value>
|
|
97
|
+
</capacity>
|
|
98
|
+
<initialMarking>
|
|
99
|
+
<graphics>
|
|
100
|
+
<offset x="0.0" y="0.0"/>
|
|
101
|
+
</graphics>
|
|
102
|
+
<value>Default,0</value>
|
|
103
|
+
</initialMarking>
|
|
104
|
+
</place>
|
|
105
|
+
<place id="Defined PickleStep">
|
|
106
|
+
<graphics>
|
|
107
|
+
<position x="633.0" y="376.0"/>
|
|
108
|
+
</graphics>
|
|
109
|
+
<name>
|
|
110
|
+
<value>P4</value>
|
|
111
|
+
<graphics>
|
|
112
|
+
<offset x="-5.0" y="35.0"/>
|
|
113
|
+
</graphics>
|
|
114
|
+
</name>
|
|
115
|
+
<capacity>
|
|
116
|
+
<value>0</value>
|
|
117
|
+
</capacity>
|
|
118
|
+
<initialMarking>
|
|
119
|
+
<graphics>
|
|
120
|
+
<offset x="0.0" y="0.0"/>
|
|
121
|
+
</graphics>
|
|
122
|
+
<value>Default,0</value>
|
|
123
|
+
</initialMarking>
|
|
124
|
+
</place>
|
|
125
|
+
<place id="UNKNOWN PickleStep">
|
|
126
|
+
<graphics>
|
|
127
|
+
<position x="823.0" y="182.0"/>
|
|
128
|
+
</graphics>
|
|
129
|
+
<name>
|
|
130
|
+
<value>P0</value>
|
|
131
|
+
<graphics>
|
|
132
|
+
<offset x="-8.0" y="20.0"/>
|
|
133
|
+
</graphics>
|
|
134
|
+
</name>
|
|
135
|
+
<capacity>
|
|
136
|
+
<value>0</value>
|
|
137
|
+
</capacity>
|
|
138
|
+
<initialMarking>
|
|
139
|
+
<graphics>
|
|
140
|
+
<offset x="0.0" y="0.0"/>
|
|
141
|
+
</graphics>
|
|
142
|
+
<value>Default,0</value>
|
|
143
|
+
</initialMarking>
|
|
144
|
+
</place>
|
|
145
|
+
<place id="AMBIGUOUS PickleStep">
|
|
146
|
+
<graphics>
|
|
147
|
+
<position x="1001.0" y="381.0"/>
|
|
148
|
+
</graphics>
|
|
149
|
+
<name>
|
|
150
|
+
<value>P3</value>
|
|
151
|
+
<graphics>
|
|
152
|
+
<offset x="-20.0" y="32.0"/>
|
|
153
|
+
</graphics>
|
|
154
|
+
</name>
|
|
155
|
+
<capacity>
|
|
156
|
+
<value>0</value>
|
|
157
|
+
</capacity>
|
|
158
|
+
<initialMarking>
|
|
159
|
+
<graphics>
|
|
160
|
+
<offset x="0.0" y="0.0"/>
|
|
161
|
+
</graphics>
|
|
162
|
+
<value>Default,0</value>
|
|
163
|
+
</initialMarking>
|
|
164
|
+
</place>
|
|
165
|
+
<place id="UNDEFINED PickleStep">
|
|
166
|
+
<graphics>
|
|
167
|
+
<position x="821.0" y="380.0"/>
|
|
168
|
+
</graphics>
|
|
169
|
+
<name>
|
|
170
|
+
<value>P1</value>
|
|
171
|
+
<graphics>
|
|
172
|
+
<offset x="-5.0" y="35.0"/>
|
|
173
|
+
</graphics>
|
|
174
|
+
</name>
|
|
175
|
+
<capacity>
|
|
176
|
+
<value>0</value>
|
|
177
|
+
</capacity>
|
|
178
|
+
<initialMarking>
|
|
179
|
+
<graphics>
|
|
180
|
+
<offset x="0.0" y="0.0"/>
|
|
181
|
+
</graphics>
|
|
182
|
+
<value>Default,0</value>
|
|
183
|
+
</initialMarking>
|
|
184
|
+
</place>
|
|
185
|
+
<place id="Idle">
|
|
186
|
+
<graphics>
|
|
187
|
+
<position x="143.0" y="172.0"/>
|
|
188
|
+
</graphics>
|
|
189
|
+
<name>
|
|
190
|
+
<value>P0</value>
|
|
191
|
+
<graphics>
|
|
192
|
+
<offset x="-5.0" y="35.0"/>
|
|
193
|
+
</graphics>
|
|
194
|
+
</name>
|
|
195
|
+
<capacity>
|
|
196
|
+
<value>0</value>
|
|
197
|
+
</capacity>
|
|
198
|
+
<initialMarking>
|
|
199
|
+
<graphics>
|
|
200
|
+
<offset x="0.0" y="0.0"/>
|
|
201
|
+
</graphics>
|
|
202
|
+
<value>Default,0</value>
|
|
203
|
+
</initialMarking>
|
|
204
|
+
</place>
|
|
205
|
+
<place id="Building Pickles">
|
|
206
|
+
<graphics>
|
|
207
|
+
<position x="436.0" y="145.0"/>
|
|
208
|
+
</graphics>
|
|
209
|
+
<name>
|
|
210
|
+
<value>P1</value>
|
|
211
|
+
<graphics>
|
|
212
|
+
<offset x="-5.0" y="35.0"/>
|
|
213
|
+
</graphics>
|
|
214
|
+
</name>
|
|
215
|
+
<capacity>
|
|
216
|
+
<value>0</value>
|
|
217
|
+
</capacity>
|
|
218
|
+
<initialMarking>
|
|
219
|
+
<graphics>
|
|
220
|
+
<offset x="0.0" y="0.0"/>
|
|
221
|
+
</graphics>
|
|
222
|
+
<value>Default,0</value>
|
|
223
|
+
</initialMarking>
|
|
224
|
+
</place>
|
|
225
|
+
<place id="Executing">
|
|
226
|
+
<graphics>
|
|
227
|
+
<position x="426.0" y="402.0"/>
|
|
228
|
+
</graphics>
|
|
229
|
+
<name>
|
|
230
|
+
<value>P0</value>
|
|
231
|
+
<graphics>
|
|
232
|
+
<offset x="-5.0" y="35.0"/>
|
|
233
|
+
</graphics>
|
|
234
|
+
</name>
|
|
235
|
+
<capacity>
|
|
236
|
+
<value>0</value>
|
|
237
|
+
</capacity>
|
|
238
|
+
<initialMarking>
|
|
239
|
+
<graphics>
|
|
240
|
+
<offset x="0.0" y="0.0"/>
|
|
241
|
+
</graphics>
|
|
242
|
+
<value>Default,0</value>
|
|
243
|
+
</initialMarking>
|
|
244
|
+
</place>
|
|
245
|
+
<place id="PENDING TestStep">
|
|
246
|
+
<graphics>
|
|
247
|
+
<position x="597.0" y="756.0"/>
|
|
248
|
+
</graphics>
|
|
249
|
+
<name>
|
|
250
|
+
<value>P1</value>
|
|
251
|
+
<graphics>
|
|
252
|
+
<offset x="-5.0" y="35.0"/>
|
|
253
|
+
</graphics>
|
|
254
|
+
</name>
|
|
255
|
+
<capacity>
|
|
256
|
+
<value>0</value>
|
|
257
|
+
</capacity>
|
|
258
|
+
<initialMarking>
|
|
259
|
+
<graphics>
|
|
260
|
+
<offset x="0.0" y="0.0"/>
|
|
261
|
+
</graphics>
|
|
262
|
+
<value>Default,0</value>
|
|
263
|
+
</initialMarking>
|
|
264
|
+
</place>
|
|
265
|
+
<place id="FAILED TestStep">
|
|
266
|
+
<graphics>
|
|
267
|
+
<position x="595.0" y="645.0"/>
|
|
268
|
+
</graphics>
|
|
269
|
+
<name>
|
|
270
|
+
<value>P1</value>
|
|
271
|
+
<graphics>
|
|
272
|
+
<offset x="-5.0" y="35.0"/>
|
|
273
|
+
</graphics>
|
|
274
|
+
</name>
|
|
275
|
+
<capacity>
|
|
276
|
+
<value>0</value>
|
|
277
|
+
</capacity>
|
|
278
|
+
<initialMarking>
|
|
279
|
+
<graphics>
|
|
280
|
+
<offset x="0.0" y="0.0"/>
|
|
281
|
+
</graphics>
|
|
282
|
+
<value>Default,0</value>
|
|
283
|
+
</initialMarking>
|
|
284
|
+
</place>
|
|
285
|
+
<transition id="PickleStep">
|
|
286
|
+
<graphics>
|
|
287
|
+
<position x="609.0" y="144.0"/>
|
|
288
|
+
</graphics>
|
|
289
|
+
<name>
|
|
290
|
+
<value>T0</value>
|
|
291
|
+
<graphics>
|
|
292
|
+
<offset x="-5.0" y="35.0"/>
|
|
293
|
+
</graphics>
|
|
294
|
+
</name>
|
|
295
|
+
<infiniteServer>
|
|
296
|
+
<value>false</value>
|
|
297
|
+
</infiniteServer>
|
|
298
|
+
<timed>
|
|
299
|
+
<value>false</value>
|
|
300
|
+
</timed>
|
|
301
|
+
<priority>
|
|
302
|
+
<value>1</value>
|
|
303
|
+
</priority>
|
|
304
|
+
<orientation>
|
|
305
|
+
<value>0</value>
|
|
306
|
+
</orientation>
|
|
307
|
+
<rate>
|
|
308
|
+
<value>1</value>
|
|
309
|
+
</rate>
|
|
310
|
+
</transition>
|
|
311
|
+
<transition id="PickleStepMatched(2+)">
|
|
312
|
+
<graphics>
|
|
313
|
+
<position x="1011.0" y="289.0"/>
|
|
314
|
+
</graphics>
|
|
315
|
+
<name>
|
|
316
|
+
<value>T0</value>
|
|
317
|
+
<graphics>
|
|
318
|
+
<offset x="-5.0" y="35.0"/>
|
|
319
|
+
</graphics>
|
|
320
|
+
</name>
|
|
321
|
+
<infiniteServer>
|
|
322
|
+
<value>false</value>
|
|
323
|
+
</infiniteServer>
|
|
324
|
+
<timed>
|
|
325
|
+
<value>false</value>
|
|
326
|
+
</timed>
|
|
327
|
+
<priority>
|
|
328
|
+
<value>1</value>
|
|
329
|
+
</priority>
|
|
330
|
+
<orientation>
|
|
331
|
+
<value>90</value>
|
|
332
|
+
</orientation>
|
|
333
|
+
<rate>
|
|
334
|
+
<value>1</value>
|
|
335
|
+
</rate>
|
|
336
|
+
</transition>
|
|
337
|
+
<transition id="PickleStepMatched(0)">
|
|
338
|
+
<graphics>
|
|
339
|
+
<position x="831.0" y="289.0"/>
|
|
340
|
+
</graphics>
|
|
341
|
+
<name>
|
|
342
|
+
<value>T1</value>
|
|
343
|
+
<graphics>
|
|
344
|
+
<offset x="-5.0" y="35.0"/>
|
|
345
|
+
</graphics>
|
|
346
|
+
</name>
|
|
347
|
+
<infiniteServer>
|
|
348
|
+
<value>false</value>
|
|
349
|
+
</infiniteServer>
|
|
350
|
+
<timed>
|
|
351
|
+
<value>false</value>
|
|
352
|
+
</timed>
|
|
353
|
+
<priority>
|
|
354
|
+
<value>1</value>
|
|
355
|
+
</priority>
|
|
356
|
+
<orientation>
|
|
357
|
+
<value>90</value>
|
|
358
|
+
</orientation>
|
|
359
|
+
<rate>
|
|
360
|
+
<value>1</value>
|
|
361
|
+
</rate>
|
|
362
|
+
</transition>
|
|
363
|
+
<transition id="PickleStepMatched(1)">
|
|
364
|
+
<graphics>
|
|
365
|
+
<position x="641.0" y="287.0"/>
|
|
366
|
+
</graphics>
|
|
367
|
+
<name>
|
|
368
|
+
<value>T0</value>
|
|
369
|
+
<graphics>
|
|
370
|
+
<offset x="-5.0" y="35.0"/>
|
|
371
|
+
</graphics>
|
|
372
|
+
</name>
|
|
373
|
+
<infiniteServer>
|
|
374
|
+
<value>false</value>
|
|
375
|
+
</infiniteServer>
|
|
376
|
+
<timed>
|
|
377
|
+
<value>false</value>
|
|
378
|
+
</timed>
|
|
379
|
+
<priority>
|
|
380
|
+
<value>1</value>
|
|
381
|
+
</priority>
|
|
382
|
+
<orientation>
|
|
383
|
+
<value>90</value>
|
|
384
|
+
</orientation>
|
|
385
|
+
<rate>
|
|
386
|
+
<value>1</value>
|
|
387
|
+
</rate>
|
|
388
|
+
</transition>
|
|
389
|
+
<transition id="Execute">
|
|
390
|
+
<graphics>
|
|
391
|
+
<position x="381.0" y="288.0"/>
|
|
392
|
+
</graphics>
|
|
393
|
+
<name>
|
|
394
|
+
<value>T0</value>
|
|
395
|
+
<graphics>
|
|
396
|
+
<offset x="-5.0" y="35.0"/>
|
|
397
|
+
</graphics>
|
|
398
|
+
</name>
|
|
399
|
+
<infiniteServer>
|
|
400
|
+
<value>false</value>
|
|
401
|
+
</infiniteServer>
|
|
402
|
+
<timed>
|
|
403
|
+
<value>false</value>
|
|
404
|
+
</timed>
|
|
405
|
+
<priority>
|
|
406
|
+
<value>1</value>
|
|
407
|
+
</priority>
|
|
408
|
+
<orientation>
|
|
409
|
+
<value>0</value>
|
|
410
|
+
</orientation>
|
|
411
|
+
<rate>
|
|
412
|
+
<value>1</value>
|
|
413
|
+
</rate>
|
|
414
|
+
</transition>
|
|
415
|
+
<transition id="Start">
|
|
416
|
+
<graphics>
|
|
417
|
+
<position x="236.0" y="162.0"/>
|
|
418
|
+
</graphics>
|
|
419
|
+
<name>
|
|
420
|
+
<value>T0</value>
|
|
421
|
+
<graphics>
|
|
422
|
+
<offset x="-5.0" y="35.0"/>
|
|
423
|
+
</graphics>
|
|
424
|
+
</name>
|
|
425
|
+
<infiniteServer>
|
|
426
|
+
<value>false</value>
|
|
427
|
+
</infiniteServer>
|
|
428
|
+
<timed>
|
|
429
|
+
<value>false</value>
|
|
430
|
+
</timed>
|
|
431
|
+
<priority>
|
|
432
|
+
<value>1</value>
|
|
433
|
+
</priority>
|
|
434
|
+
<orientation>
|
|
435
|
+
<value>0</value>
|
|
436
|
+
</orientation>
|
|
437
|
+
<rate>
|
|
438
|
+
<value>1</value>
|
|
439
|
+
</rate>
|
|
440
|
+
</transition>
|
|
441
|
+
<transition id="TestStepFinished(PENDING)">
|
|
442
|
+
<graphics>
|
|
443
|
+
<position x="668.0" y="823.0"/>
|
|
444
|
+
</graphics>
|
|
445
|
+
<name>
|
|
446
|
+
<value>T0</value>
|
|
447
|
+
<graphics>
|
|
448
|
+
<offset x="-5.0" y="35.0"/>
|
|
449
|
+
</graphics>
|
|
450
|
+
</name>
|
|
451
|
+
<infiniteServer>
|
|
452
|
+
<value>false</value>
|
|
453
|
+
</infiniteServer>
|
|
454
|
+
<timed>
|
|
455
|
+
<value>false</value>
|
|
456
|
+
</timed>
|
|
457
|
+
<priority>
|
|
458
|
+
<value>1</value>
|
|
459
|
+
</priority>
|
|
460
|
+
<orientation>
|
|
461
|
+
<value>0</value>
|
|
462
|
+
</orientation>
|
|
463
|
+
<rate>
|
|
464
|
+
<value>1</value>
|
|
465
|
+
</rate>
|
|
466
|
+
</transition>
|
|
467
|
+
<transition id="GlueCode">
|
|
468
|
+
<graphics>
|
|
469
|
+
<position x="575.0" y="38.0"/>
|
|
470
|
+
</graphics>
|
|
471
|
+
<name>
|
|
472
|
+
<value>T0</value>
|
|
473
|
+
<graphics>
|
|
474
|
+
<offset x="-5.0" y="35.0"/>
|
|
475
|
+
</graphics>
|
|
476
|
+
</name>
|
|
477
|
+
<infiniteServer>
|
|
478
|
+
<value>false</value>
|
|
479
|
+
</infiniteServer>
|
|
480
|
+
<timed>
|
|
481
|
+
<value>false</value>
|
|
482
|
+
</timed>
|
|
483
|
+
<priority>
|
|
484
|
+
<value>1</value>
|
|
485
|
+
</priority>
|
|
486
|
+
<orientation>
|
|
487
|
+
<value>0</value>
|
|
488
|
+
</orientation>
|
|
489
|
+
<rate>
|
|
490
|
+
<value>1</value>
|
|
491
|
+
</rate>
|
|
492
|
+
</transition>
|
|
493
|
+
<transition id="TestStepFinished(FAILED)">
|
|
494
|
+
<graphics>
|
|
495
|
+
<position x="669.0" y="709.0"/>
|
|
496
|
+
</graphics>
|
|
497
|
+
<name>
|
|
498
|
+
<value>T0</value>
|
|
499
|
+
<graphics>
|
|
500
|
+
<offset x="-5.0" y="35.0"/>
|
|
501
|
+
</graphics>
|
|
502
|
+
</name>
|
|
503
|
+
<infiniteServer>
|
|
504
|
+
<value>false</value>
|
|
505
|
+
</infiniteServer>
|
|
506
|
+
<timed>
|
|
507
|
+
<value>false</value>
|
|
508
|
+
</timed>
|
|
509
|
+
<priority>
|
|
510
|
+
<value>1</value>
|
|
511
|
+
</priority>
|
|
512
|
+
<orientation>
|
|
513
|
+
<value>0</value>
|
|
514
|
+
</orientation>
|
|
515
|
+
<rate>
|
|
516
|
+
<value>1</value>
|
|
517
|
+
</rate>
|
|
518
|
+
</transition>
|
|
519
|
+
<transition id="TestStepFinished(PASSED)">
|
|
520
|
+
<graphics>
|
|
521
|
+
<position x="673.0" y="580.0"/>
|
|
522
|
+
</graphics>
|
|
523
|
+
<name>
|
|
524
|
+
<value>T2</value>
|
|
525
|
+
<graphics>
|
|
526
|
+
<offset x="-5.0" y="35.0"/>
|
|
527
|
+
</graphics>
|
|
528
|
+
</name>
|
|
529
|
+
<infiniteServer>
|
|
530
|
+
<value>false</value>
|
|
531
|
+
</infiniteServer>
|
|
532
|
+
<timed>
|
|
533
|
+
<value>false</value>
|
|
534
|
+
</timed>
|
|
535
|
+
<priority>
|
|
536
|
+
<value>1</value>
|
|
537
|
+
</priority>
|
|
538
|
+
<orientation>
|
|
539
|
+
<value>0</value>
|
|
540
|
+
</orientation>
|
|
541
|
+
<rate>
|
|
542
|
+
<value>1</value>
|
|
543
|
+
</rate>
|
|
544
|
+
</transition>
|
|
545
|
+
<transition id="CommandRunTestStep">
|
|
546
|
+
<graphics>
|
|
547
|
+
<position x="643.0" y="478.0"/>
|
|
548
|
+
</graphics>
|
|
549
|
+
<name>
|
|
550
|
+
<value>T0</value>
|
|
551
|
+
<graphics>
|
|
552
|
+
<offset x="-5.0" y="35.0"/>
|
|
553
|
+
</graphics>
|
|
554
|
+
</name>
|
|
555
|
+
<infiniteServer>
|
|
556
|
+
<value>false</value>
|
|
557
|
+
</infiniteServer>
|
|
558
|
+
<timed>
|
|
559
|
+
<value>false</value>
|
|
560
|
+
</timed>
|
|
561
|
+
<priority>
|
|
562
|
+
<value>1</value>
|
|
563
|
+
</priority>
|
|
564
|
+
<orientation>
|
|
565
|
+
<value>90</value>
|
|
566
|
+
</orientation>
|
|
567
|
+
<rate>
|
|
568
|
+
<value>1</value>
|
|
569
|
+
</rate>
|
|
570
|
+
</transition>
|
|
571
|
+
<arc id="1 match TO matching started" source="PickleStepMatched(1)" target="Executing">
|
|
572
|
+
<arcpath id="" x="631.0" y="302.0" curvePoint="false"/>
|
|
573
|
+
<arcpath id="" x="454.0" y="410.0" curvePoint="false"/>
|
|
574
|
+
<type value="normal"/>
|
|
575
|
+
<inscription>
|
|
576
|
+
<value>Default,1</value>
|
|
577
|
+
</inscription>
|
|
578
|
+
</arc>
|
|
579
|
+
<arc id="defined TO P4" source="PickleStepMatched(1)" target="Defined PickleStep">
|
|
580
|
+
<arcpath id="" x="646.0" y="307.0" curvePoint="false"/>
|
|
581
|
+
<arcpath id="" x="648.0" y="376.0" curvePoint="false"/>
|
|
582
|
+
<type value="normal"/>
|
|
583
|
+
<inscription>
|
|
584
|
+
<value>Default,1</value>
|
|
585
|
+
</inscription>
|
|
586
|
+
</arc>
|
|
587
|
+
<arc id="2+ matches TO matching started" source="PickleStepMatched(2+)" target="Executing">
|
|
588
|
+
<arcpath id="" x="1001.0" y="304.0" curvePoint="false"/>
|
|
589
|
+
<arcpath id="" x="456.0" y="414.0" curvePoint="false"/>
|
|
590
|
+
<type value="normal"/>
|
|
591
|
+
<inscription>
|
|
592
|
+
<value>Default,1</value>
|
|
593
|
+
</inscription>
|
|
594
|
+
</arc>
|
|
595
|
+
<arc id="throw error TO idle executors" source="TestStepFinished(FAILED)" target="Idle Executors">
|
|
596
|
+
<arcpath id="" x="669.0" y="724.0" curvePoint="false"/>
|
|
597
|
+
<arcpath id="" x="283.0" y="702.0" curvePoint="false"/>
|
|
598
|
+
<type value="normal"/>
|
|
599
|
+
<inscription>
|
|
600
|
+
<value>Default,1</value>
|
|
601
|
+
</inscription>
|
|
602
|
+
</arc>
|
|
603
|
+
<arc id="0 matches TO matching started" source="PickleStepMatched(0)" target="Executing">
|
|
604
|
+
<arcpath id="" x="821.0" y="304.0" curvePoint="false"/>
|
|
605
|
+
<arcpath id="" x="455.0" y="413.0" curvePoint="false"/>
|
|
606
|
+
<type value="normal"/>
|
|
607
|
+
<inscription>
|
|
608
|
+
<value>Default,1</value>
|
|
609
|
+
</inscription>
|
|
610
|
+
</arc>
|
|
611
|
+
<arc id="start matching TO matching started" source="Execute" target="Executing">
|
|
612
|
+
<arcpath id="" x="386.0" y="318.0" curvePoint="false"/>
|
|
613
|
+
<arcpath id="" x="434.0" y="403.0" curvePoint="false"/>
|
|
614
|
+
<type value="normal"/>
|
|
615
|
+
<inscription>
|
|
616
|
+
<value>Default,1</value>
|
|
617
|
+
</inscription>
|
|
618
|
+
</arc>
|
|
619
|
+
<arc id="Execute TO GlueCode loaded" source="Execute" target="GlueCode loaded">
|
|
620
|
+
<arcpath id="" x="391.0" y="303.0" curvePoint="false"/>
|
|
621
|
+
<arcpath id="" x="826.0" y="73.0" curvePoint="false"/>
|
|
622
|
+
<type value="normal"/>
|
|
623
|
+
<inscription>
|
|
624
|
+
<value>Default,1</value>
|
|
625
|
+
</inscription>
|
|
626
|
+
</arc>
|
|
627
|
+
<arc id="1 match TO stepdefs loaded" source="PickleStepMatched(1)" target="GlueCode loaded">
|
|
628
|
+
<arcpath id="" x="646.0" y="297.0" curvePoint="false"/>
|
|
629
|
+
<arcpath id="" x="830.0" y="78.0" curvePoint="false"/>
|
|
630
|
+
<type value="normal"/>
|
|
631
|
+
<inscription>
|
|
632
|
+
<value>Default,1</value>
|
|
633
|
+
</inscription>
|
|
634
|
+
</arc>
|
|
635
|
+
<arc id="CommandLoadFeatureFiles TO ready to load pickles" source="Start" target="Building Pickles">
|
|
636
|
+
<arcpath id="" x="246.0" y="177.0" curvePoint="false"/>
|
|
637
|
+
<arcpath id="" x="436.0" y="161.0" curvePoint="false"/>
|
|
638
|
+
<type value="normal"/>
|
|
639
|
+
<inscription>
|
|
640
|
+
<value>Default,1</value>
|
|
641
|
+
</inscription>
|
|
642
|
+
</arc>
|
|
643
|
+
<arc id="execute TO executing" source="CommandRunTestStep" target="Running TestStep">
|
|
644
|
+
<arcpath id="" x="663.0" y="493.0" curvePoint="false"/>
|
|
645
|
+
<arcpath id="" x="799.0" y="576.0" curvePoint="false"/>
|
|
646
|
+
<type value="normal"/>
|
|
647
|
+
<inscription>
|
|
648
|
+
<value>Default,1</value>
|
|
649
|
+
</inscription>
|
|
650
|
+
</arc>
|
|
651
|
+
<arc id="2+ matches TO stepdefs loaded" source="PickleStepMatched(2+)" target="GlueCode loaded">
|
|
652
|
+
<arcpath id="" x="1016.0" y="299.0" curvePoint="false"/>
|
|
653
|
+
<arcpath id="" x="1005.0" y="152.0" curvePoint="false"/>
|
|
654
|
+
<arcpath id="" x="852.0" y="73.0" curvePoint="false"/>
|
|
655
|
+
<type value="normal"/>
|
|
656
|
+
<inscription>
|
|
657
|
+
<value>Default,1</value>
|
|
658
|
+
</inscription>
|
|
659
|
+
</arc>
|
|
660
|
+
<arc id="load pickle TO unexecuted pickles" source="PickleStep" target="UNKNOWN PickleStep">
|
|
661
|
+
<arcpath id="" x="619.0" y="159.0" curvePoint="false"/>
|
|
662
|
+
<arcpath id="" x="823.0" y="194.0" curvePoint="false"/>
|
|
663
|
+
<type value="normal"/>
|
|
664
|
+
<inscription>
|
|
665
|
+
<value>Default,1</value>
|
|
666
|
+
</inscription>
|
|
667
|
+
</arc>
|
|
668
|
+
<arc id="no errors TO idle executors" source="TestStepFinished(PASSED)" target="Idle Executors">
|
|
669
|
+
<arcpath id="" x="673.0" y="595.0" curvePoint="false"/>
|
|
670
|
+
<arcpath id="" x="283.0" y="697.0" curvePoint="false"/>
|
|
671
|
+
<type value="normal"/>
|
|
672
|
+
<inscription>
|
|
673
|
+
<value>Default,1</value>
|
|
674
|
+
</inscription>
|
|
675
|
+
</arc>
|
|
676
|
+
<arc id="signal pending TO idle executors" source="TestStepFinished(PENDING)" target="Idle Executors">
|
|
677
|
+
<arcpath id="" x="668.0" y="838.0" curvePoint="false"/>
|
|
678
|
+
<arcpath id="" x="282.0" y="706.0" curvePoint="false"/>
|
|
679
|
+
<type value="normal"/>
|
|
680
|
+
<inscription>
|
|
681
|
+
<value>Default,1</value>
|
|
682
|
+
</inscription>
|
|
683
|
+
</arc>
|
|
684
|
+
<arc id="load pickle TO P1" source="PickleStep" target="Building Pickles">
|
|
685
|
+
<arcpath id="" x="609.0" y="159.0" curvePoint="false"/>
|
|
686
|
+
<arcpath id="" x="537.0" y="124.0" curvePoint="false"/>
|
|
687
|
+
<arcpath id="" x="465.0" y="154.0" curvePoint="false"/>
|
|
688
|
+
<type value="normal"/>
|
|
689
|
+
<inscription>
|
|
690
|
+
<value>Default,1</value>
|
|
691
|
+
</inscription>
|
|
692
|
+
</arc>
|
|
693
|
+
<arc id="undefined TO P1" source="PickleStepMatched(0)" target="UNDEFINED PickleStep">
|
|
694
|
+
<arcpath id="" x="836.0" y="309.0" curvePoint="false"/>
|
|
695
|
+
<arcpath id="" x="836.0" y="380.0" curvePoint="false"/>
|
|
696
|
+
<type value="normal"/>
|
|
697
|
+
<inscription>
|
|
698
|
+
<value>Default,1</value>
|
|
699
|
+
</inscription>
|
|
700
|
+
</arc>
|
|
701
|
+
<arc id="load glue TO stepdefs loaded" source="GlueCode" target="GlueCode loaded">
|
|
702
|
+
<arcpath id="" x="585.0" y="53.0" curvePoint="false"/>
|
|
703
|
+
<arcpath id="" x="824.0" y="65.0" curvePoint="false"/>
|
|
704
|
+
<type value="normal"/>
|
|
705
|
+
<inscription>
|
|
706
|
+
<value>Default,1</value>
|
|
707
|
+
</inscription>
|
|
708
|
+
</arc>
|
|
709
|
+
<arc id="Start TO loading step definitions" source="Start" target="Loading GlueCode">
|
|
710
|
+
<arcpath id="" x="246.0" y="177.0" curvePoint="false"/>
|
|
711
|
+
<arcpath id="" x="362.0" y="70.0" curvePoint="false"/>
|
|
712
|
+
<type value="normal"/>
|
|
713
|
+
<inscription>
|
|
714
|
+
<value>Default,1</value>
|
|
715
|
+
</inscription>
|
|
716
|
+
</arc>
|
|
717
|
+
<arc id="signal pending TO pending" source="TestStepFinished(PENDING)" target="PENDING TestStep">
|
|
718
|
+
<arcpath id="" x="673.0" y="823.0" curvePoint="false"/>
|
|
719
|
+
<arcpath id="" x="622.0" y="782.0" curvePoint="false"/>
|
|
720
|
+
<type value="normal"/>
|
|
721
|
+
<inscription>
|
|
722
|
+
<value>Default,1</value>
|
|
723
|
+
</inscription>
|
|
724
|
+
</arc>
|
|
725
|
+
<arc id="ambiguous TO P3" source="PickleStepMatched(2+)" target="AMBIGUOUS PickleStep">
|
|
726
|
+
<arcpath id="" x="1016.0" y="309.0" curvePoint="false"/>
|
|
727
|
+
<arcpath id="" x="1016.0" y="381.0" curvePoint="false"/>
|
|
728
|
+
<type value="normal"/>
|
|
729
|
+
<inscription>
|
|
730
|
+
<value>Default,1</value>
|
|
731
|
+
</inscription>
|
|
732
|
+
</arc>
|
|
733
|
+
<arc id="throw error TO failed" source="TestStepFinished(FAILED)" target="FAILED TestStep">
|
|
734
|
+
<arcpath id="" x="674.0" y="709.0" curvePoint="false"/>
|
|
735
|
+
<arcpath id="" x="621.0" y="671.0" curvePoint="false"/>
|
|
736
|
+
<type value="normal"/>
|
|
737
|
+
<inscription>
|
|
738
|
+
<value>Default,1</value>
|
|
739
|
+
</inscription>
|
|
740
|
+
</arc>
|
|
741
|
+
<arc id="T2 TO P2" source="TestStepFinished(PASSED)" target="PASSED TestStep">
|
|
742
|
+
<arcpath id="" x="673.0" y="595.0" curvePoint="false"/>
|
|
743
|
+
<arcpath id="" x="628.0" y="566.0" curvePoint="false"/>
|
|
744
|
+
<type value="normal"/>
|
|
745
|
+
<inscription>
|
|
746
|
+
<value>Default,1</value>
|
|
747
|
+
</inscription>
|
|
748
|
+
</arc>
|
|
749
|
+
<arc id="P0 TO load glue" source="Loading GlueCode" target="GlueCode">
|
|
750
|
+
<arcpath id="" x="388.0" y="59.0" curvePoint="false"/>
|
|
751
|
+
<arcpath id="" x="575.0" y="53.0" curvePoint="false"/>
|
|
752
|
+
<type value="normal"/>
|
|
753
|
+
<inscription>
|
|
754
|
+
<value>Default,1</value>
|
|
755
|
+
</inscription>
|
|
756
|
+
</arc>
|
|
757
|
+
<arc id="stepdefs loaded TO 2+ matches" source="GlueCode loaded" target="PickleStepMatched(2+)">
|
|
758
|
+
<arcpath id="" x="851.0" y="75.0" curvePoint="false"/>
|
|
759
|
+
<arcpath id="" x="962.0" y="166.0" curvePoint="false"/>
|
|
760
|
+
<arcpath id="" x="1016.0" y="299.0" curvePoint="false"/>
|
|
761
|
+
<type value="normal"/>
|
|
762
|
+
<inscription>
|
|
763
|
+
<value>Default,1</value>
|
|
764
|
+
</inscription>
|
|
765
|
+
</arc>
|
|
766
|
+
<arc id="matching started TO 0 matches" source="Executing" target="PickleStepMatched(0)">
|
|
767
|
+
<arcpath id="" x="455.0" y="412.0" curvePoint="false"/>
|
|
768
|
+
<arcpath id="" x="684.0" y="330.0" curvePoint="false"/>
|
|
769
|
+
<arcpath id="" x="821.0" y="304.0" curvePoint="false"/>
|
|
770
|
+
<type value="normal"/>
|
|
771
|
+
<inscription>
|
|
772
|
+
<value>Default,1</value>
|
|
773
|
+
</inscription>
|
|
774
|
+
</arc>
|
|
775
|
+
<arc id="P1 TO load pickle" source="Building Pickles" target="PickleStep">
|
|
776
|
+
<arcpath id="" x="466.0" y="160.0" curvePoint="false"/>
|
|
777
|
+
<arcpath id="" x="609.0" y="159.0" curvePoint="false"/>
|
|
778
|
+
<type value="normal"/>
|
|
779
|
+
<inscription>
|
|
780
|
+
<value>Default,1</value>
|
|
781
|
+
</inscription>
|
|
782
|
+
</arc>
|
|
783
|
+
<arc id="ready to load pickles TO start matching" source="Building Pickles" target="Execute">
|
|
784
|
+
<arcpath id="" x="445.0" y="174.0" curvePoint="false"/>
|
|
785
|
+
<arcpath id="" x="386.0" y="288.0" curvePoint="false"/>
|
|
786
|
+
<type value="normal"/>
|
|
787
|
+
<inscription>
|
|
788
|
+
<value>Default,1</value>
|
|
789
|
+
</inscription>
|
|
790
|
+
</arc>
|
|
791
|
+
<arc id="matching started TO 1 match" source="Executing" target="PickleStepMatched(1)">
|
|
792
|
+
<arcpath id="" x="452.0" y="407.0" curvePoint="false"/>
|
|
793
|
+
<arcpath id="" x="518.0" y="347.0" curvePoint="false"/>
|
|
794
|
+
<arcpath id="" x="631.0" y="302.0" curvePoint="false"/>
|
|
795
|
+
<type value="normal"/>
|
|
796
|
+
<inscription>
|
|
797
|
+
<value>Default,1</value>
|
|
798
|
+
</inscription>
|
|
799
|
+
</arc>
|
|
800
|
+
<arc id="P0 TO T0" source="UNKNOWN PickleStep" target="PickleStepMatched(1)">
|
|
801
|
+
<arcpath id="" x="825.0" y="204.0" curvePoint="false"/>
|
|
802
|
+
<arcpath id="" x="661.0" y="302.0" curvePoint="false"/>
|
|
803
|
+
<type value="normal"/>
|
|
804
|
+
<inscription>
|
|
805
|
+
<value>Default,1</value>
|
|
806
|
+
</inscription>
|
|
807
|
+
</arc>
|
|
808
|
+
<arc id="P0 TO T1" source="UNKNOWN PickleStep" target="PickleStepMatched(0)">
|
|
809
|
+
<arcpath id="" x="838.0" y="212.0" curvePoint="false"/>
|
|
810
|
+
<arcpath id="" x="836.0" y="299.0" curvePoint="false"/>
|
|
811
|
+
<type value="normal"/>
|
|
812
|
+
<inscription>
|
|
813
|
+
<value>Default,1</value>
|
|
814
|
+
</inscription>
|
|
815
|
+
</arc>
|
|
816
|
+
<arc id="executing TO pending" source="Running TestStep" target="TestStepFinished(PENDING)">
|
|
817
|
+
<arcpath id="" x="805.0" y="596.0" curvePoint="false"/>
|
|
818
|
+
<arcpath id="" x="673.0" y="823.0" curvePoint="false"/>
|
|
819
|
+
<type value="normal"/>
|
|
820
|
+
<inscription>
|
|
821
|
+
<value>Default,1</value>
|
|
822
|
+
</inscription>
|
|
823
|
+
</arc>
|
|
824
|
+
<arc id="ready to file feature files TO CommandLoadFeatureFiles" source="Idle" target="Start">
|
|
825
|
+
<arcpath id="" x="173.0" y="185.0" curvePoint="false"/>
|
|
826
|
+
<arcpath id="" x="236.0" y="177.0" curvePoint="false"/>
|
|
827
|
+
<type value="normal"/>
|
|
828
|
+
<inscription>
|
|
829
|
+
<value>Default,1</value>
|
|
830
|
+
</inscription>
|
|
831
|
+
</arc>
|
|
832
|
+
<arc id="P0 TO ambiguous" source="UNKNOWN PickleStep" target="PickleStepMatched(2+)">
|
|
833
|
+
<arcpath id="" x="851.0" y="205.0" curvePoint="false"/>
|
|
834
|
+
<arcpath id="" x="1001.0" y="304.0" curvePoint="false"/>
|
|
835
|
+
<type value="normal"/>
|
|
836
|
+
<inscription>
|
|
837
|
+
<value>Default,1</value>
|
|
838
|
+
</inscription>
|
|
839
|
+
</arc>
|
|
840
|
+
<arc id="executing TO failed" source="Running TestStep" target="TestStepFinished(FAILED)">
|
|
841
|
+
<arcpath id="" x="802.0" y="594.0" curvePoint="false"/>
|
|
842
|
+
<arcpath id="" x="674.0" y="709.0" curvePoint="false"/>
|
|
843
|
+
<type value="normal"/>
|
|
844
|
+
<inscription>
|
|
845
|
+
<value>Default,1</value>
|
|
846
|
+
</inscription>
|
|
847
|
+
</arc>
|
|
848
|
+
<arc id="GlueCode loaded TO Execute" source="GlueCode loaded" target="Execute">
|
|
849
|
+
<arcpath id="" x="826.0" y="74.0" curvePoint="false"/>
|
|
850
|
+
<arcpath id="" x="566.0" y="238.0" curvePoint="false"/>
|
|
851
|
+
<arcpath id="" x="391.0" y="303.0" curvePoint="false"/>
|
|
852
|
+
<type value="normal"/>
|
|
853
|
+
<inscription>
|
|
854
|
+
<value>Default,1</value>
|
|
855
|
+
</inscription>
|
|
856
|
+
</arc>
|
|
857
|
+
<arc id="stepdefs loaded TO 1 match" source="GlueCode loaded" target="PickleStepMatched(1)">
|
|
858
|
+
<arcpath id="" x="828.0" y="76.0" curvePoint="false"/>
|
|
859
|
+
<arcpath id="" x="710.0" y="175.0" curvePoint="false"/>
|
|
860
|
+
<arcpath id="" x="646.0" y="297.0" curvePoint="false"/>
|
|
861
|
+
<type value="normal"/>
|
|
862
|
+
<inscription>
|
|
863
|
+
<value>Default,1</value>
|
|
864
|
+
</inscription>
|
|
865
|
+
</arc>
|
|
866
|
+
<arc id="matching started TO 2+ matches" source="Executing" target="PickleStepMatched(2+)">
|
|
867
|
+
<arcpath id="" x="456.0" y="413.0" curvePoint="false"/>
|
|
868
|
+
<arcpath id="" x="758.0" y="339.0" curvePoint="false"/>
|
|
869
|
+
<arcpath id="" x="1001.0" y="304.0" curvePoint="false"/>
|
|
870
|
+
<type value="normal"/>
|
|
871
|
+
<inscription>
|
|
872
|
+
<value>Default,1</value>
|
|
873
|
+
</inscription>
|
|
874
|
+
</arc>
|
|
875
|
+
<arc id="executing TO passed" source="Running TestStep" target="TestStepFinished(PASSED)">
|
|
876
|
+
<arcpath id="" x="797.0" y="584.0" curvePoint="false"/>
|
|
877
|
+
<arcpath id="" x="683.0" y="595.0" curvePoint="false"/>
|
|
878
|
+
<type value="normal"/>
|
|
879
|
+
<inscription>
|
|
880
|
+
<value>Default,1</value>
|
|
881
|
+
</inscription>
|
|
882
|
+
</arc>
|
|
883
|
+
<arc id="P4 TO execute" source="Defined PickleStep" target="CommandRunTestStep">
|
|
884
|
+
<arcpath id="" x="648.0" y="406.0" curvePoint="false"/>
|
|
885
|
+
<arcpath id="" x="648.0" y="488.0" curvePoint="false"/>
|
|
886
|
+
<type value="normal"/>
|
|
887
|
+
<inscription>
|
|
888
|
+
<value>Default,1</value>
|
|
889
|
+
</inscription>
|
|
890
|
+
</arc>
|
|
891
|
+
<arc id="idle executors TO execute" source="Idle Executors" target="CommandRunTestStep">
|
|
892
|
+
<arcpath id="" x="281.0" y="694.0" curvePoint="false"/>
|
|
893
|
+
<arcpath id="" x="633.0" y="493.0" curvePoint="false"/>
|
|
894
|
+
<type value="normal"/>
|
|
895
|
+
<inscription>
|
|
896
|
+
<value>Default,1</value>
|
|
897
|
+
</inscription>
|
|
898
|
+
</arc>
|
|
899
|
+
</net>
|
|
900
|
+
</pnml>
|