2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>TokenRing-COL-005-LTLFireabilitySimple-0</id>
5
<description>Automatically generated</description>
11
<transition>MainProcess_1</transition>
12
<transition>MainProcess_2</transition>
13
<transition>MainProcess_3</transition>
14
<transition>MainProcess_5</transition>
15
<transition>MainProcess_4</transition>
16
<transition>MainProcess_0</transition>
21
<transition>OtherProcess_2_1_5</transition>
22
<transition>OtherProcess_5_1_0</transition>
23
<transition>OtherProcess_4_1_5</transition>
24
<transition>OtherProcess_1_3_5</transition>
25
<transition>OtherProcess_5_4_3</transition>
26
<transition>OtherProcess_2_2_3</transition>
27
<transition>OtherProcess_5_4_2</transition>
28
<transition>OtherProcess_1_0_2</transition>
29
<transition>OtherProcess_3_4_5</transition>
30
<transition>OtherProcess_3_5_0</transition>
31
<transition>OtherProcess_1_4_2</transition>
32
<transition>OtherProcess_1_2_3</transition>
33
<transition>OtherProcess_2_0_5</transition>
34
<transition>OtherProcess_1_3_0</transition>
35
<transition>OtherProcess_5_4_1</transition>
36
<transition>OtherProcess_3_2_4</transition>
37
<transition>OtherProcess_1_2_1</transition>
38
<transition>OtherProcess_2_0_2</transition>
39
<transition>OtherProcess_3_5_2</transition>
40
<transition>OtherProcess_4_0_3</transition>
41
<transition>OtherProcess_5_0_3</transition>
42
<transition>OtherProcess_5_3_4</transition>
43
<transition>OtherProcess_4_5_0</transition>
44
<transition>OtherProcess_4_0_4</transition>
45
<transition>OtherProcess_4_1_2</transition>
46
<transition>OtherProcess_4_3_1</transition>
47
<transition>OtherProcess_4_1_0</transition>
48
<transition>OtherProcess_5_1_5</transition>
49
<transition>OtherProcess_1_5_4</transition>
50
<transition>OtherProcess_3_4_0</transition>
51
<transition>OtherProcess_4_4_5</transition>
52
<transition>OtherProcess_5_5_0</transition>
53
<transition>OtherProcess_2_4_3</transition>
54
<transition>OtherProcess_4_5_3</transition>
55
<transition>OtherProcess_3_0_2</transition>
56
<transition>OtherProcess_1_1_3</transition>
57
<transition>OtherProcess_1_1_4</transition>
58
<transition>OtherProcess_2_4_2</transition>
59
<transition>OtherProcess_5_1_3</transition>
60
<transition>OtherProcess_5_3_1</transition>
61
<transition>OtherProcess_4_4_1</transition>
62
<transition>OtherProcess_4_0_5</transition>
63
<transition>OtherProcess_2_3_0</transition>
64
<transition>OtherProcess_5_0_1</transition>
65
<transition>OtherProcess_3_1_0</transition>
66
<transition>OtherProcess_2_5_2</transition>
67
<transition>OtherProcess_1_2_5</transition>
68
<transition>OtherProcess_2_4_0</transition>
69
<transition>OtherProcess_2_5_1</transition>
70
<transition>OtherProcess_2_4_5</transition>
71
<transition>OtherProcess_4_1_3</transition>
72
<transition>OtherProcess_3_5_3</transition>
73
<transition>OtherProcess_1_0_1</transition>
74
<transition>OtherProcess_2_1_0</transition>
75
<transition>OtherProcess_4_0_2</transition>
76
<transition>OtherProcess_2_3_1</transition>
77
<transition>OtherProcess_1_0_5</transition>
78
<transition>OtherProcess_4_3_4</transition>
79
<transition>OtherProcess_3_1_2</transition>
80
<transition>OtherProcess_2_1_4</transition>
81
<transition>OtherProcess_4_0_1</transition>
82
<transition>OtherProcess_2_1_2</transition>
83
<transition>OtherProcess_3_0_5</transition>
84
<transition>OtherProcess_2_1_3</transition>
85
<transition>OtherProcess_4_2_0</transition>
86
<transition>OtherProcess_4_3_2</transition>
87
<transition>OtherProcess_1_0_4</transition>
88
<transition>OtherProcess_5_5_2</transition>
89
<transition>OtherProcess_2_2_5</transition>
90
<transition>OtherProcess_3_4_3</transition>
91
<transition>OtherProcess_1_5_1</transition>
92
<transition>OtherProcess_5_0_2</transition>
93
<transition>OtherProcess_3_3_4</transition>
94
<transition>OtherProcess_4_5_2</transition>
95
<transition>OtherProcess_1_1_0</transition>
96
<transition>OtherProcess_1_4_5</transition>
97
<transition>OtherProcess_3_1_3</transition>
98
<transition>OtherProcess_4_1_4</transition>
99
<transition>OtherProcess_4_4_0</transition>
100
<transition>OtherProcess_5_2_0</transition>
101
<transition>OtherProcess_1_1_2</transition>
102
<transition>OtherProcess_5_3_2</transition>
103
<transition>OtherProcess_3_3_1</transition>
104
<transition>OtherProcess_3_0_1</transition>
105
<transition>OtherProcess_5_2_3</transition>
106
<transition>OtherProcess_3_1_4</transition>
107
<transition>OtherProcess_5_5_3</transition>
108
<transition>OtherProcess_4_5_4</transition>
109
<transition>OtherProcess_2_2_0</transition>
110
<transition>OtherProcess_2_4_1</transition>
111
<transition>OtherProcess_1_4_3</transition>
112
<transition>OtherProcess_4_3_0</transition>
113
<transition>OtherProcess_1_1_5</transition>
114
<transition>OtherProcess_3_2_5</transition>
115
<transition>OtherProcess_5_3_5</transition>
116
<transition>OtherProcess_2_3_4</transition>
117
<transition>OtherProcess_5_1_4</transition>
118
<transition>OtherProcess_4_2_1</transition>
119
<transition>OtherProcess_4_2_3</transition>
120
<transition>OtherProcess_3_2_0</transition>
121
<transition>OtherProcess_5_4_0</transition>
122
<transition>OtherProcess_1_5_3</transition>
123
<transition>OtherProcess_4_3_5</transition>
124
<transition>OtherProcess_3_5_1</transition>
125
<transition>OtherProcess_3_0_4</transition>
126
<transition>OtherProcess_2_0_1</transition>
127
<transition>OtherProcess_1_4_1</transition>
128
<transition>OtherProcess_5_5_4</transition>
129
<transition>OtherProcess_1_3_4</transition>
130
<transition>OtherProcess_1_3_1</transition>
131
<transition>OtherProcess_3_3_0</transition>
132
<transition>OtherProcess_1_0_3</transition>
133
<transition>OtherProcess_3_3_2</transition>
134
<transition>OtherProcess_2_0_3</transition>
135
<transition>OtherProcess_5_4_5</transition>
136
<transition>OtherProcess_2_3_2</transition>
137
<transition>OtherProcess_3_3_5</transition>
138
<transition>OtherProcess_4_2_5</transition>
139
<transition>OtherProcess_5_2_1</transition>
140
<transition>OtherProcess_5_0_5</transition>
141
<transition>OtherProcess_3_2_3</transition>
142
<transition>OtherProcess_4_5_1</transition>
143
<transition>OtherProcess_2_5_4</transition>
144
<transition>OtherProcess_1_5_0</transition>
145
<transition>OtherProcess_5_2_5</transition>
146
<transition>OtherProcess_1_2_4</transition>
147
<transition>OtherProcess_3_4_2</transition>
148
<transition>OtherProcess_1_3_2</transition>
149
<transition>OtherProcess_5_2_4</transition>
150
<transition>OtherProcess_2_5_3</transition>
151
<transition>OtherProcess_1_4_0</transition>
152
<transition>OtherProcess_3_2_1</transition>
153
<transition>OtherProcess_3_1_5</transition>
154
<transition>OtherProcess_2_5_0</transition>
155
<transition>OtherProcess_5_5_1</transition>
156
<transition>OtherProcess_3_0_3</transition>
157
<transition>OtherProcess_2_0_4</transition>
158
<transition>OtherProcess_2_2_1</transition>
159
<transition>OtherProcess_3_5_4</transition>
160
<transition>OtherProcess_4_2_4</transition>
161
<transition>OtherProcess_2_2_4</transition>
162
<transition>OtherProcess_2_3_5</transition>
163
<transition>OtherProcess_5_3_0</transition>
164
<transition>OtherProcess_1_2_0</transition>
165
<transition>OtherProcess_4_4_2</transition>
166
<transition>OtherProcess_5_0_4</transition>
167
<transition>OtherProcess_4_4_3</transition>
168
<transition>OtherProcess_5_1_2</transition>
169
<transition>OtherProcess_3_4_1</transition>
170
<transition>OtherProcess_1_5_2</transition>
178
<id>TokenRing-COL-005-LTLFireabilitySimple-1</id>
179
<description>Automatically generated</description>
184
<transition>MainProcess_1</transition>
185
<transition>MainProcess_2</transition>
186
<transition>MainProcess_3</transition>
187
<transition>MainProcess_5</transition>
188
<transition>MainProcess_4</transition>
189
<transition>MainProcess_0</transition>
196
<id>TokenRing-COL-005-LTLFireabilitySimple-2</id>
197
<description>Automatically generated</description>
202
<transition>MainProcess_1</transition>
203
<transition>MainProcess_2</transition>
204
<transition>MainProcess_3</transition>
205
<transition>MainProcess_5</transition>
206
<transition>MainProcess_4</transition>
207
<transition>MainProcess_0</transition>
214
<id>TokenRing-COL-005-LTLFireabilitySimple-3</id>
215
<description>Automatically generated</description>
220
<transition>OtherProcess_2_1_5</transition>
221
<transition>OtherProcess_5_1_0</transition>
222
<transition>OtherProcess_4_1_5</transition>
223
<transition>OtherProcess_1_3_5</transition>
224
<transition>OtherProcess_5_4_3</transition>
225
<transition>OtherProcess_2_2_3</transition>
226
<transition>OtherProcess_5_4_2</transition>
227
<transition>OtherProcess_1_0_2</transition>
228
<transition>OtherProcess_3_4_5</transition>
229
<transition>OtherProcess_3_5_0</transition>
230
<transition>OtherProcess_1_4_2</transition>
231
<transition>OtherProcess_1_2_3</transition>
232
<transition>OtherProcess_2_0_5</transition>
233
<transition>OtherProcess_1_3_0</transition>
234
<transition>OtherProcess_5_4_1</transition>
235
<transition>OtherProcess_3_2_4</transition>
236
<transition>OtherProcess_1_2_1</transition>
237
<transition>OtherProcess_2_0_2</transition>
238
<transition>OtherProcess_3_5_2</transition>
239
<transition>OtherProcess_4_0_3</transition>
240
<transition>OtherProcess_5_0_3</transition>
241
<transition>OtherProcess_5_3_4</transition>
242
<transition>OtherProcess_4_5_0</transition>
243
<transition>OtherProcess_4_0_4</transition>
244
<transition>OtherProcess_4_1_2</transition>
245
<transition>OtherProcess_4_3_1</transition>
246
<transition>OtherProcess_4_1_0</transition>
247
<transition>OtherProcess_5_1_5</transition>
248
<transition>OtherProcess_1_5_4</transition>
249
<transition>OtherProcess_3_4_0</transition>
250
<transition>OtherProcess_4_4_5</transition>
251
<transition>OtherProcess_5_5_0</transition>
252
<transition>OtherProcess_2_4_3</transition>
253
<transition>OtherProcess_4_5_3</transition>
254
<transition>OtherProcess_3_0_2</transition>
255
<transition>OtherProcess_1_1_3</transition>
256
<transition>OtherProcess_1_1_4</transition>
257
<transition>OtherProcess_2_4_2</transition>
258
<transition>OtherProcess_5_1_3</transition>
259
<transition>OtherProcess_5_3_1</transition>
260
<transition>OtherProcess_4_4_1</transition>
261
<transition>OtherProcess_4_0_5</transition>
262
<transition>OtherProcess_2_3_0</transition>
263
<transition>OtherProcess_5_0_1</transition>
264
<transition>OtherProcess_3_1_0</transition>
265
<transition>OtherProcess_2_5_2</transition>
266
<transition>OtherProcess_1_2_5</transition>
267
<transition>OtherProcess_2_4_0</transition>
268
<transition>OtherProcess_2_5_1</transition>
269
<transition>OtherProcess_2_4_5</transition>
270
<transition>OtherProcess_4_1_3</transition>
271
<transition>OtherProcess_3_5_3</transition>
272
<transition>OtherProcess_1_0_1</transition>
273
<transition>OtherProcess_2_1_0</transition>
274
<transition>OtherProcess_4_0_2</transition>
275
<transition>OtherProcess_2_3_1</transition>
276
<transition>OtherProcess_1_0_5</transition>
277
<transition>OtherProcess_4_3_4</transition>
278
<transition>OtherProcess_3_1_2</transition>
279
<transition>OtherProcess_2_1_4</transition>
280
<transition>OtherProcess_4_0_1</transition>
281
<transition>OtherProcess_2_1_2</transition>
282
<transition>OtherProcess_3_0_5</transition>
283
<transition>OtherProcess_2_1_3</transition>
284
<transition>OtherProcess_4_2_0</transition>
285
<transition>OtherProcess_4_3_2</transition>
286
<transition>OtherProcess_1_0_4</transition>
287
<transition>OtherProcess_5_5_2</transition>
288
<transition>OtherProcess_2_2_5</transition>
289
<transition>OtherProcess_3_4_3</transition>
290
<transition>OtherProcess_1_5_1</transition>
291
<transition>OtherProcess_5_0_2</transition>
292
<transition>OtherProcess_3_3_4</transition>
293
<transition>OtherProcess_4_5_2</transition>
294
<transition>OtherProcess_1_1_0</transition>
295
<transition>OtherProcess_1_4_5</transition>
296
<transition>OtherProcess_3_1_3</transition>
297
<transition>OtherProcess_4_1_4</transition>
298
<transition>OtherProcess_4_4_0</transition>
299
<transition>OtherProcess_5_2_0</transition>
300
<transition>OtherProcess_1_1_2</transition>
301
<transition>OtherProcess_5_3_2</transition>
302
<transition>OtherProcess_3_3_1</transition>
303
<transition>OtherProcess_3_0_1</transition>
304
<transition>OtherProcess_5_2_3</transition>
305
<transition>OtherProcess_3_1_4</transition>
306
<transition>OtherProcess_5_5_3</transition>
307
<transition>OtherProcess_4_5_4</transition>
308
<transition>OtherProcess_2_2_0</transition>
309
<transition>OtherProcess_2_4_1</transition>
310
<transition>OtherProcess_1_4_3</transition>
311
<transition>OtherProcess_4_3_0</transition>
312
<transition>OtherProcess_1_1_5</transition>
313
<transition>OtherProcess_3_2_5</transition>
314
<transition>OtherProcess_5_3_5</transition>
315
<transition>OtherProcess_2_3_4</transition>
316
<transition>OtherProcess_5_1_4</transition>
317
<transition>OtherProcess_4_2_1</transition>
318
<transition>OtherProcess_4_2_3</transition>
319
<transition>OtherProcess_3_2_0</transition>
320
<transition>OtherProcess_5_4_0</transition>
321
<transition>OtherProcess_1_5_3</transition>
322
<transition>OtherProcess_4_3_5</transition>
323
<transition>OtherProcess_3_5_1</transition>
324
<transition>OtherProcess_3_0_4</transition>
325
<transition>OtherProcess_2_0_1</transition>
326
<transition>OtherProcess_1_4_1</transition>
327
<transition>OtherProcess_5_5_4</transition>
328
<transition>OtherProcess_1_3_4</transition>
329
<transition>OtherProcess_1_3_1</transition>
330
<transition>OtherProcess_3_3_0</transition>
331
<transition>OtherProcess_1_0_3</transition>
332
<transition>OtherProcess_3_3_2</transition>
333
<transition>OtherProcess_2_0_3</transition>
334
<transition>OtherProcess_5_4_5</transition>
335
<transition>OtherProcess_2_3_2</transition>
336
<transition>OtherProcess_3_3_5</transition>
337
<transition>OtherProcess_4_2_5</transition>
338
<transition>OtherProcess_5_2_1</transition>
339
<transition>OtherProcess_5_0_5</transition>
340
<transition>OtherProcess_3_2_3</transition>
341
<transition>OtherProcess_4_5_1</transition>
342
<transition>OtherProcess_2_5_4</transition>
343
<transition>OtherProcess_1_5_0</transition>
344
<transition>OtherProcess_5_2_5</transition>
345
<transition>OtherProcess_1_2_4</transition>
346
<transition>OtherProcess_3_4_2</transition>
347
<transition>OtherProcess_1_3_2</transition>
348
<transition>OtherProcess_5_2_4</transition>
349
<transition>OtherProcess_2_5_3</transition>
350
<transition>OtherProcess_1_4_0</transition>
351
<transition>OtherProcess_3_2_1</transition>
352
<transition>OtherProcess_3_1_5</transition>
353
<transition>OtherProcess_2_5_0</transition>
354
<transition>OtherProcess_5_5_1</transition>
355
<transition>OtherProcess_3_0_3</transition>
356
<transition>OtherProcess_2_0_4</transition>
357
<transition>OtherProcess_2_2_1</transition>
358
<transition>OtherProcess_3_5_4</transition>
359
<transition>OtherProcess_4_2_4</transition>
360
<transition>OtherProcess_2_2_4</transition>
361
<transition>OtherProcess_2_3_5</transition>
362
<transition>OtherProcess_5_3_0</transition>
363
<transition>OtherProcess_1_2_0</transition>
364
<transition>OtherProcess_4_4_2</transition>
365
<transition>OtherProcess_5_0_4</transition>
366
<transition>OtherProcess_4_4_3</transition>
367
<transition>OtherProcess_5_1_2</transition>
368
<transition>OtherProcess_3_4_1</transition>
369
<transition>OtherProcess_1_5_2</transition>
376
<id>TokenRing-COL-005-LTLFireabilitySimple-4</id>
377
<description>Automatically generated</description>
383
<transition>OtherProcess_2_1_5</transition>
384
<transition>OtherProcess_5_1_0</transition>
385
<transition>OtherProcess_4_1_5</transition>
386
<transition>OtherProcess_1_3_5</transition>
387
<transition>OtherProcess_5_4_3</transition>
388
<transition>OtherProcess_2_2_3</transition>
389
<transition>OtherProcess_5_4_2</transition>
390
<transition>OtherProcess_1_0_2</transition>
391
<transition>OtherProcess_3_4_5</transition>
392
<transition>OtherProcess_3_5_0</transition>
393
<transition>OtherProcess_1_4_2</transition>
394
<transition>OtherProcess_1_2_3</transition>
395
<transition>OtherProcess_2_0_5</transition>
396
<transition>OtherProcess_1_3_0</transition>
397
<transition>OtherProcess_5_4_1</transition>
398
<transition>OtherProcess_3_2_4</transition>
399
<transition>OtherProcess_1_2_1</transition>
400
<transition>OtherProcess_2_0_2</transition>
401
<transition>OtherProcess_3_5_2</transition>
402
<transition>OtherProcess_4_0_3</transition>
403
<transition>OtherProcess_5_0_3</transition>
404
<transition>OtherProcess_5_3_4</transition>
405
<transition>OtherProcess_4_5_0</transition>
406
<transition>OtherProcess_4_0_4</transition>
407
<transition>OtherProcess_4_1_2</transition>
408
<transition>OtherProcess_4_3_1</transition>
409
<transition>OtherProcess_4_1_0</transition>
410
<transition>OtherProcess_5_1_5</transition>
411
<transition>OtherProcess_1_5_4</transition>
412
<transition>OtherProcess_3_4_0</transition>
413
<transition>OtherProcess_4_4_5</transition>
414
<transition>OtherProcess_5_5_0</transition>
415
<transition>OtherProcess_2_4_3</transition>
416
<transition>OtherProcess_4_5_3</transition>
417
<transition>OtherProcess_3_0_2</transition>
418
<transition>OtherProcess_1_1_3</transition>
419
<transition>OtherProcess_1_1_4</transition>
420
<transition>OtherProcess_2_4_2</transition>
421
<transition>OtherProcess_5_1_3</transition>
422
<transition>OtherProcess_5_3_1</transition>
423
<transition>OtherProcess_4_4_1</transition>
424
<transition>OtherProcess_4_0_5</transition>
425
<transition>OtherProcess_2_3_0</transition>
426
<transition>OtherProcess_5_0_1</transition>
427
<transition>OtherProcess_3_1_0</transition>
428
<transition>OtherProcess_2_5_2</transition>
429
<transition>OtherProcess_1_2_5</transition>
430
<transition>OtherProcess_2_4_0</transition>
431
<transition>OtherProcess_2_5_1</transition>
432
<transition>OtherProcess_2_4_5</transition>
433
<transition>OtherProcess_4_1_3</transition>
434
<transition>OtherProcess_3_5_3</transition>
435
<transition>OtherProcess_1_0_1</transition>
436
<transition>OtherProcess_2_1_0</transition>
437
<transition>OtherProcess_4_0_2</transition>
438
<transition>OtherProcess_2_3_1</transition>
439
<transition>OtherProcess_1_0_5</transition>
440
<transition>OtherProcess_4_3_4</transition>
441
<transition>OtherProcess_3_1_2</transition>
442
<transition>OtherProcess_2_1_4</transition>
443
<transition>OtherProcess_4_0_1</transition>
444
<transition>OtherProcess_2_1_2</transition>
445
<transition>OtherProcess_3_0_5</transition>
446
<transition>OtherProcess_2_1_3</transition>
447
<transition>OtherProcess_4_2_0</transition>
448
<transition>OtherProcess_4_3_2</transition>
449
<transition>OtherProcess_1_0_4</transition>
450
<transition>OtherProcess_5_5_2</transition>
451
<transition>OtherProcess_2_2_5</transition>
452
<transition>OtherProcess_3_4_3</transition>
453
<transition>OtherProcess_1_5_1</transition>
454
<transition>OtherProcess_5_0_2</transition>
455
<transition>OtherProcess_3_3_4</transition>
456
<transition>OtherProcess_4_5_2</transition>
457
<transition>OtherProcess_1_1_0</transition>
458
<transition>OtherProcess_1_4_5</transition>
459
<transition>OtherProcess_3_1_3</transition>
460
<transition>OtherProcess_4_1_4</transition>
461
<transition>OtherProcess_4_4_0</transition>
462
<transition>OtherProcess_5_2_0</transition>
463
<transition>OtherProcess_1_1_2</transition>
464
<transition>OtherProcess_5_3_2</transition>
465
<transition>OtherProcess_3_3_1</transition>
466
<transition>OtherProcess_3_0_1</transition>
467
<transition>OtherProcess_5_2_3</transition>
468
<transition>OtherProcess_3_1_4</transition>
469
<transition>OtherProcess_5_5_3</transition>
470
<transition>OtherProcess_4_5_4</transition>
471
<transition>OtherProcess_2_2_0</transition>
472
<transition>OtherProcess_2_4_1</transition>
473
<transition>OtherProcess_1_4_3</transition>
474
<transition>OtherProcess_4_3_0</transition>
475
<transition>OtherProcess_1_1_5</transition>
476
<transition>OtherProcess_3_2_5</transition>
477
<transition>OtherProcess_5_3_5</transition>
478
<transition>OtherProcess_2_3_4</transition>
479
<transition>OtherProcess_5_1_4</transition>
480
<transition>OtherProcess_4_2_1</transition>
481
<transition>OtherProcess_4_2_3</transition>
482
<transition>OtherProcess_3_2_0</transition>
483
<transition>OtherProcess_5_4_0</transition>
484
<transition>OtherProcess_1_5_3</transition>
485
<transition>OtherProcess_4_3_5</transition>
486
<transition>OtherProcess_3_5_1</transition>
487
<transition>OtherProcess_3_0_4</transition>
488
<transition>OtherProcess_2_0_1</transition>
489
<transition>OtherProcess_1_4_1</transition>
490
<transition>OtherProcess_5_5_4</transition>
491
<transition>OtherProcess_1_3_4</transition>
492
<transition>OtherProcess_1_3_1</transition>
493
<transition>OtherProcess_3_3_0</transition>
494
<transition>OtherProcess_1_0_3</transition>
495
<transition>OtherProcess_3_3_2</transition>
496
<transition>OtherProcess_2_0_3</transition>
497
<transition>OtherProcess_5_4_5</transition>
498
<transition>OtherProcess_2_3_2</transition>
499
<transition>OtherProcess_3_3_5</transition>
500
<transition>OtherProcess_4_2_5</transition>
501
<transition>OtherProcess_5_2_1</transition>
502
<transition>OtherProcess_5_0_5</transition>
503
<transition>OtherProcess_3_2_3</transition>
504
<transition>OtherProcess_4_5_1</transition>
505
<transition>OtherProcess_2_5_4</transition>
506
<transition>OtherProcess_1_5_0</transition>
507
<transition>OtherProcess_5_2_5</transition>
508
<transition>OtherProcess_1_2_4</transition>
509
<transition>OtherProcess_3_4_2</transition>
510
<transition>OtherProcess_1_3_2</transition>
511
<transition>OtherProcess_5_2_4</transition>
512
<transition>OtherProcess_2_5_3</transition>
513
<transition>OtherProcess_1_4_0</transition>
514
<transition>OtherProcess_3_2_1</transition>
515
<transition>OtherProcess_3_1_5</transition>
516
<transition>OtherProcess_2_5_0</transition>
517
<transition>OtherProcess_5_5_1</transition>
518
<transition>OtherProcess_3_0_3</transition>
519
<transition>OtherProcess_2_0_4</transition>
520
<transition>OtherProcess_2_2_1</transition>
521
<transition>OtherProcess_3_5_4</transition>
522
<transition>OtherProcess_4_2_4</transition>
523
<transition>OtherProcess_2_2_4</transition>
524
<transition>OtherProcess_2_3_5</transition>
525
<transition>OtherProcess_5_3_0</transition>
526
<transition>OtherProcess_1_2_0</transition>
527
<transition>OtherProcess_4_4_2</transition>
528
<transition>OtherProcess_5_0_4</transition>
529
<transition>OtherProcess_4_4_3</transition>
530
<transition>OtherProcess_5_1_2</transition>
531
<transition>OtherProcess_3_4_1</transition>
532
<transition>OtherProcess_1_5_2</transition>
537
<transition>MainProcess_1</transition>
538
<transition>MainProcess_2</transition>
539
<transition>MainProcess_3</transition>
540
<transition>MainProcess_5</transition>
541
<transition>MainProcess_4</transition>
542
<transition>MainProcess_0</transition>
550
<id>TokenRing-COL-005-LTLFireabilitySimple-5</id>
551
<description>Automatically generated</description>
557
<transition>MainProcess_1</transition>
558
<transition>MainProcess_2</transition>
559
<transition>MainProcess_3</transition>
560
<transition>MainProcess_5</transition>
561
<transition>MainProcess_4</transition>
562
<transition>MainProcess_0</transition>
567
<transition>MainProcess_1</transition>
568
<transition>MainProcess_2</transition>
569
<transition>MainProcess_3</transition>
570
<transition>MainProcess_5</transition>
571
<transition>MainProcess_4</transition>
572
<transition>MainProcess_0</transition>
580
<id>TokenRing-COL-005-LTLFireabilitySimple-6</id>
581
<description>Automatically generated</description>
587
<transition>OtherProcess_2_1_5</transition>
588
<transition>OtherProcess_5_1_0</transition>
589
<transition>OtherProcess_4_1_5</transition>
590
<transition>OtherProcess_1_3_5</transition>
591
<transition>OtherProcess_5_4_3</transition>
592
<transition>OtherProcess_2_2_3</transition>
593
<transition>OtherProcess_5_4_2</transition>
594
<transition>OtherProcess_1_0_2</transition>
595
<transition>OtherProcess_3_4_5</transition>
596
<transition>OtherProcess_3_5_0</transition>
597
<transition>OtherProcess_1_4_2</transition>
598
<transition>OtherProcess_1_2_3</transition>
599
<transition>OtherProcess_2_0_5</transition>
600
<transition>OtherProcess_1_3_0</transition>
601
<transition>OtherProcess_5_4_1</transition>
602
<transition>OtherProcess_3_2_4</transition>
603
<transition>OtherProcess_1_2_1</transition>
604
<transition>OtherProcess_2_0_2</transition>
605
<transition>OtherProcess_3_5_2</transition>
606
<transition>OtherProcess_4_0_3</transition>
607
<transition>OtherProcess_5_0_3</transition>
608
<transition>OtherProcess_5_3_4</transition>
609
<transition>OtherProcess_4_5_0</transition>
610
<transition>OtherProcess_4_0_4</transition>
611
<transition>OtherProcess_4_1_2</transition>
612
<transition>OtherProcess_4_3_1</transition>
613
<transition>OtherProcess_4_1_0</transition>
614
<transition>OtherProcess_5_1_5</transition>
615
<transition>OtherProcess_1_5_4</transition>
616
<transition>OtherProcess_3_4_0</transition>
617
<transition>OtherProcess_4_4_5</transition>
618
<transition>OtherProcess_5_5_0</transition>
619
<transition>OtherProcess_2_4_3</transition>
620
<transition>OtherProcess_4_5_3</transition>
621
<transition>OtherProcess_3_0_2</transition>
622
<transition>OtherProcess_1_1_3</transition>
623
<transition>OtherProcess_1_1_4</transition>
624
<transition>OtherProcess_2_4_2</transition>
625
<transition>OtherProcess_5_1_3</transition>
626
<transition>OtherProcess_5_3_1</transition>
627
<transition>OtherProcess_4_4_1</transition>
628
<transition>OtherProcess_4_0_5</transition>
629
<transition>OtherProcess_2_3_0</transition>
630
<transition>OtherProcess_5_0_1</transition>
631
<transition>OtherProcess_3_1_0</transition>
632
<transition>OtherProcess_2_5_2</transition>
633
<transition>OtherProcess_1_2_5</transition>
634
<transition>OtherProcess_2_4_0</transition>
635
<transition>OtherProcess_2_5_1</transition>
636
<transition>OtherProcess_2_4_5</transition>
637
<transition>OtherProcess_4_1_3</transition>
638
<transition>OtherProcess_3_5_3</transition>
639
<transition>OtherProcess_1_0_1</transition>
640
<transition>OtherProcess_2_1_0</transition>
641
<transition>OtherProcess_4_0_2</transition>
642
<transition>OtherProcess_2_3_1</transition>
643
<transition>OtherProcess_1_0_5</transition>
644
<transition>OtherProcess_4_3_4</transition>
645
<transition>OtherProcess_3_1_2</transition>
646
<transition>OtherProcess_2_1_4</transition>
647
<transition>OtherProcess_4_0_1</transition>
648
<transition>OtherProcess_2_1_2</transition>
649
<transition>OtherProcess_3_0_5</transition>
650
<transition>OtherProcess_2_1_3</transition>
651
<transition>OtherProcess_4_2_0</transition>
652
<transition>OtherProcess_4_3_2</transition>
653
<transition>OtherProcess_1_0_4</transition>
654
<transition>OtherProcess_5_5_2</transition>
655
<transition>OtherProcess_2_2_5</transition>
656
<transition>OtherProcess_3_4_3</transition>
657
<transition>OtherProcess_1_5_1</transition>
658
<transition>OtherProcess_5_0_2</transition>
659
<transition>OtherProcess_3_3_4</transition>
660
<transition>OtherProcess_4_5_2</transition>
661
<transition>OtherProcess_1_1_0</transition>
662
<transition>OtherProcess_1_4_5</transition>
663
<transition>OtherProcess_3_1_3</transition>
664
<transition>OtherProcess_4_1_4</transition>
665
<transition>OtherProcess_4_4_0</transition>
666
<transition>OtherProcess_5_2_0</transition>
667
<transition>OtherProcess_1_1_2</transition>
668
<transition>OtherProcess_5_3_2</transition>
669
<transition>OtherProcess_3_3_1</transition>
670
<transition>OtherProcess_3_0_1</transition>
671
<transition>OtherProcess_5_2_3</transition>
672
<transition>OtherProcess_3_1_4</transition>
673
<transition>OtherProcess_5_5_3</transition>
674
<transition>OtherProcess_4_5_4</transition>
675
<transition>OtherProcess_2_2_0</transition>
676
<transition>OtherProcess_2_4_1</transition>
677
<transition>OtherProcess_1_4_3</transition>
678
<transition>OtherProcess_4_3_0</transition>
679
<transition>OtherProcess_1_1_5</transition>
680
<transition>OtherProcess_3_2_5</transition>
681
<transition>OtherProcess_5_3_5</transition>
682
<transition>OtherProcess_2_3_4</transition>
683
<transition>OtherProcess_5_1_4</transition>
684
<transition>OtherProcess_4_2_1</transition>
685
<transition>OtherProcess_4_2_3</transition>
686
<transition>OtherProcess_3_2_0</transition>
687
<transition>OtherProcess_5_4_0</transition>
688
<transition>OtherProcess_1_5_3</transition>
689
<transition>OtherProcess_4_3_5</transition>
690
<transition>OtherProcess_3_5_1</transition>
691
<transition>OtherProcess_3_0_4</transition>
692
<transition>OtherProcess_2_0_1</transition>
693
<transition>OtherProcess_1_4_1</transition>
694
<transition>OtherProcess_5_5_4</transition>
695
<transition>OtherProcess_1_3_4</transition>
696
<transition>OtherProcess_1_3_1</transition>
697
<transition>OtherProcess_3_3_0</transition>
698
<transition>OtherProcess_1_0_3</transition>
699
<transition>OtherProcess_3_3_2</transition>
700
<transition>OtherProcess_2_0_3</transition>
701
<transition>OtherProcess_5_4_5</transition>
702
<transition>OtherProcess_2_3_2</transition>
703
<transition>OtherProcess_3_3_5</transition>
704
<transition>OtherProcess_4_2_5</transition>
705
<transition>OtherProcess_5_2_1</transition>
706
<transition>OtherProcess_5_0_5</transition>
707
<transition>OtherProcess_3_2_3</transition>
708
<transition>OtherProcess_4_5_1</transition>
709
<transition>OtherProcess_2_5_4</transition>
710
<transition>OtherProcess_1_5_0</transition>
711
<transition>OtherProcess_5_2_5</transition>
712
<transition>OtherProcess_1_2_4</transition>
713
<transition>OtherProcess_3_4_2</transition>
714
<transition>OtherProcess_1_3_2</transition>
715
<transition>OtherProcess_5_2_4</transition>
716
<transition>OtherProcess_2_5_3</transition>
717
<transition>OtherProcess_1_4_0</transition>
718
<transition>OtherProcess_3_2_1</transition>
719
<transition>OtherProcess_3_1_5</transition>
720
<transition>OtherProcess_2_5_0</transition>
721
<transition>OtherProcess_5_5_1</transition>
722
<transition>OtherProcess_3_0_3</transition>
723
<transition>OtherProcess_2_0_4</transition>
724
<transition>OtherProcess_2_2_1</transition>
725
<transition>OtherProcess_3_5_4</transition>
726
<transition>OtherProcess_4_2_4</transition>
727
<transition>OtherProcess_2_2_4</transition>
728
<transition>OtherProcess_2_3_5</transition>
729
<transition>OtherProcess_5_3_0</transition>
730
<transition>OtherProcess_1_2_0</transition>
731
<transition>OtherProcess_4_4_2</transition>
732
<transition>OtherProcess_5_0_4</transition>
733
<transition>OtherProcess_4_4_3</transition>
734
<transition>OtherProcess_5_1_2</transition>
735
<transition>OtherProcess_3_4_1</transition>
736
<transition>OtherProcess_1_5_2</transition>
741
<transition>MainProcess_1</transition>
742
<transition>MainProcess_2</transition>
743
<transition>MainProcess_3</transition>
744
<transition>MainProcess_5</transition>
745
<transition>MainProcess_4</transition>
746
<transition>MainProcess_0</transition>
754
<id>TokenRing-COL-005-LTLFireabilitySimple-7</id>
755
<description>Automatically generated</description>
761
<transition>OtherProcess_2_1_5</transition>
762
<transition>OtherProcess_5_1_0</transition>
763
<transition>OtherProcess_4_1_5</transition>
764
<transition>OtherProcess_1_3_5</transition>
765
<transition>OtherProcess_5_4_3</transition>
766
<transition>OtherProcess_2_2_3</transition>
767
<transition>OtherProcess_5_4_2</transition>
768
<transition>OtherProcess_1_0_2</transition>
769
<transition>OtherProcess_3_4_5</transition>
770
<transition>OtherProcess_3_5_0</transition>
771
<transition>OtherProcess_1_4_2</transition>
772
<transition>OtherProcess_1_2_3</transition>
773
<transition>OtherProcess_2_0_5</transition>
774
<transition>OtherProcess_1_3_0</transition>
775
<transition>OtherProcess_5_4_1</transition>
776
<transition>OtherProcess_3_2_4</transition>
777
<transition>OtherProcess_1_2_1</transition>
778
<transition>OtherProcess_2_0_2</transition>
779
<transition>OtherProcess_3_5_2</transition>
780
<transition>OtherProcess_4_0_3</transition>
781
<transition>OtherProcess_5_0_3</transition>
782
<transition>OtherProcess_5_3_4</transition>
783
<transition>OtherProcess_4_5_0</transition>
784
<transition>OtherProcess_4_0_4</transition>
785
<transition>OtherProcess_4_1_2</transition>
786
<transition>OtherProcess_4_3_1</transition>
787
<transition>OtherProcess_4_1_0</transition>
788
<transition>OtherProcess_5_1_5</transition>
789
<transition>OtherProcess_1_5_4</transition>
790
<transition>OtherProcess_3_4_0</transition>
791
<transition>OtherProcess_4_4_5</transition>
792
<transition>OtherProcess_5_5_0</transition>
793
<transition>OtherProcess_2_4_3</transition>
794
<transition>OtherProcess_4_5_3</transition>
795
<transition>OtherProcess_3_0_2</transition>
796
<transition>OtherProcess_1_1_3</transition>
797
<transition>OtherProcess_1_1_4</transition>
798
<transition>OtherProcess_2_4_2</transition>
799
<transition>OtherProcess_5_1_3</transition>
800
<transition>OtherProcess_5_3_1</transition>
801
<transition>OtherProcess_4_4_1</transition>
802
<transition>OtherProcess_4_0_5</transition>
803
<transition>OtherProcess_2_3_0</transition>
804
<transition>OtherProcess_5_0_1</transition>
805
<transition>OtherProcess_3_1_0</transition>
806
<transition>OtherProcess_2_5_2</transition>
807
<transition>OtherProcess_1_2_5</transition>
808
<transition>OtherProcess_2_4_0</transition>
809
<transition>OtherProcess_2_5_1</transition>
810
<transition>OtherProcess_2_4_5</transition>
811
<transition>OtherProcess_4_1_3</transition>
812
<transition>OtherProcess_3_5_3</transition>
813
<transition>OtherProcess_1_0_1</transition>
814
<transition>OtherProcess_2_1_0</transition>
815
<transition>OtherProcess_4_0_2</transition>
816
<transition>OtherProcess_2_3_1</transition>
817
<transition>OtherProcess_1_0_5</transition>
818
<transition>OtherProcess_4_3_4</transition>
819
<transition>OtherProcess_3_1_2</transition>
820
<transition>OtherProcess_2_1_4</transition>
821
<transition>OtherProcess_4_0_1</transition>
822
<transition>OtherProcess_2_1_2</transition>
823
<transition>OtherProcess_3_0_5</transition>
824
<transition>OtherProcess_2_1_3</transition>
825
<transition>OtherProcess_4_2_0</transition>
826
<transition>OtherProcess_4_3_2</transition>
827
<transition>OtherProcess_1_0_4</transition>
828
<transition>OtherProcess_5_5_2</transition>
829
<transition>OtherProcess_2_2_5</transition>
830
<transition>OtherProcess_3_4_3</transition>
831
<transition>OtherProcess_1_5_1</transition>
832
<transition>OtherProcess_5_0_2</transition>
833
<transition>OtherProcess_3_3_4</transition>
834
<transition>OtherProcess_4_5_2</transition>
835
<transition>OtherProcess_1_1_0</transition>
836
<transition>OtherProcess_1_4_5</transition>
837
<transition>OtherProcess_3_1_3</transition>
838
<transition>OtherProcess_4_1_4</transition>
839
<transition>OtherProcess_4_4_0</transition>
840
<transition>OtherProcess_5_2_0</transition>
841
<transition>OtherProcess_1_1_2</transition>
842
<transition>OtherProcess_5_3_2</transition>
843
<transition>OtherProcess_3_3_1</transition>
844
<transition>OtherProcess_3_0_1</transition>
845
<transition>OtherProcess_5_2_3</transition>
846
<transition>OtherProcess_3_1_4</transition>
847
<transition>OtherProcess_5_5_3</transition>
848
<transition>OtherProcess_4_5_4</transition>
849
<transition>OtherProcess_2_2_0</transition>
850
<transition>OtherProcess_2_4_1</transition>
851
<transition>OtherProcess_1_4_3</transition>
852
<transition>OtherProcess_4_3_0</transition>
853
<transition>OtherProcess_1_1_5</transition>
854
<transition>OtherProcess_3_2_5</transition>
855
<transition>OtherProcess_5_3_5</transition>
856
<transition>OtherProcess_2_3_4</transition>
857
<transition>OtherProcess_5_1_4</transition>
858
<transition>OtherProcess_4_2_1</transition>
859
<transition>OtherProcess_4_2_3</transition>
860
<transition>OtherProcess_3_2_0</transition>
861
<transition>OtherProcess_5_4_0</transition>
862
<transition>OtherProcess_1_5_3</transition>
863
<transition>OtherProcess_4_3_5</transition>
864
<transition>OtherProcess_3_5_1</transition>
865
<transition>OtherProcess_3_0_4</transition>
866
<transition>OtherProcess_2_0_1</transition>
867
<transition>OtherProcess_1_4_1</transition>
868
<transition>OtherProcess_5_5_4</transition>
869
<transition>OtherProcess_1_3_4</transition>
870
<transition>OtherProcess_1_3_1</transition>
871
<transition>OtherProcess_3_3_0</transition>
872
<transition>OtherProcess_1_0_3</transition>
873
<transition>OtherProcess_3_3_2</transition>
874
<transition>OtherProcess_2_0_3</transition>
875
<transition>OtherProcess_5_4_5</transition>
876
<transition>OtherProcess_2_3_2</transition>
877
<transition>OtherProcess_3_3_5</transition>
878
<transition>OtherProcess_4_2_5</transition>
879
<transition>OtherProcess_5_2_1</transition>
880
<transition>OtherProcess_5_0_5</transition>
881
<transition>OtherProcess_3_2_3</transition>
882
<transition>OtherProcess_4_5_1</transition>
883
<transition>OtherProcess_2_5_4</transition>
884
<transition>OtherProcess_1_5_0</transition>
885
<transition>OtherProcess_5_2_5</transition>
886
<transition>OtherProcess_1_2_4</transition>
887
<transition>OtherProcess_3_4_2</transition>
888
<transition>OtherProcess_1_3_2</transition>
889
<transition>OtherProcess_5_2_4</transition>
890
<transition>OtherProcess_2_5_3</transition>
891
<transition>OtherProcess_1_4_0</transition>
892
<transition>OtherProcess_3_2_1</transition>
893
<transition>OtherProcess_3_1_5</transition>
894
<transition>OtherProcess_2_5_0</transition>
895
<transition>OtherProcess_5_5_1</transition>
896
<transition>OtherProcess_3_0_3</transition>
897
<transition>OtherProcess_2_0_4</transition>
898
<transition>OtherProcess_2_2_1</transition>
899
<transition>OtherProcess_3_5_4</transition>
900
<transition>OtherProcess_4_2_4</transition>
901
<transition>OtherProcess_2_2_4</transition>
902
<transition>OtherProcess_2_3_5</transition>
903
<transition>OtherProcess_5_3_0</transition>
904
<transition>OtherProcess_1_2_0</transition>
905
<transition>OtherProcess_4_4_2</transition>
906
<transition>OtherProcess_5_0_4</transition>
907
<transition>OtherProcess_4_4_3</transition>
908
<transition>OtherProcess_5_1_2</transition>
909
<transition>OtherProcess_3_4_1</transition>
910
<transition>OtherProcess_1_5_2</transition>
915
<transition>MainProcess_1</transition>
916
<transition>MainProcess_2</transition>
917
<transition>MainProcess_3</transition>
918
<transition>MainProcess_5</transition>
919
<transition>MainProcess_4</transition>
920
<transition>MainProcess_0</transition>
928
<id>TokenRing-COL-005-LTLFireabilitySimple-8</id>
929
<description>Automatically generated</description>
934
<transition>OtherProcess_2_1_5</transition>
935
<transition>OtherProcess_5_1_0</transition>
936
<transition>OtherProcess_4_1_5</transition>
937
<transition>OtherProcess_1_3_5</transition>
938
<transition>OtherProcess_5_4_3</transition>
939
<transition>OtherProcess_2_2_3</transition>
940
<transition>OtherProcess_5_4_2</transition>
941
<transition>OtherProcess_1_0_2</transition>
942
<transition>OtherProcess_3_4_5</transition>
943
<transition>OtherProcess_3_5_0</transition>
944
<transition>OtherProcess_1_4_2</transition>
945
<transition>OtherProcess_1_2_3</transition>
946
<transition>OtherProcess_2_0_5</transition>
947
<transition>OtherProcess_1_3_0</transition>
948
<transition>OtherProcess_5_4_1</transition>
949
<transition>OtherProcess_3_2_4</transition>
950
<transition>OtherProcess_1_2_1</transition>
951
<transition>OtherProcess_2_0_2</transition>
952
<transition>OtherProcess_3_5_2</transition>
953
<transition>OtherProcess_4_0_3</transition>
954
<transition>OtherProcess_5_0_3</transition>
955
<transition>OtherProcess_5_3_4</transition>
956
<transition>OtherProcess_4_5_0</transition>
957
<transition>OtherProcess_4_0_4</transition>
958
<transition>OtherProcess_4_1_2</transition>
959
<transition>OtherProcess_4_3_1</transition>
960
<transition>OtherProcess_4_1_0</transition>
961
<transition>OtherProcess_5_1_5</transition>
962
<transition>OtherProcess_1_5_4</transition>
963
<transition>OtherProcess_3_4_0</transition>
964
<transition>OtherProcess_4_4_5</transition>
965
<transition>OtherProcess_5_5_0</transition>
966
<transition>OtherProcess_2_4_3</transition>
967
<transition>OtherProcess_4_5_3</transition>
968
<transition>OtherProcess_3_0_2</transition>
969
<transition>OtherProcess_1_1_3</transition>
970
<transition>OtherProcess_1_1_4</transition>
971
<transition>OtherProcess_2_4_2</transition>
972
<transition>OtherProcess_5_1_3</transition>
973
<transition>OtherProcess_5_3_1</transition>
974
<transition>OtherProcess_4_4_1</transition>
975
<transition>OtherProcess_4_0_5</transition>
976
<transition>OtherProcess_2_3_0</transition>
977
<transition>OtherProcess_5_0_1</transition>
978
<transition>OtherProcess_3_1_0</transition>
979
<transition>OtherProcess_2_5_2</transition>
980
<transition>OtherProcess_1_2_5</transition>
981
<transition>OtherProcess_2_4_0</transition>
982
<transition>OtherProcess_2_5_1</transition>
983
<transition>OtherProcess_2_4_5</transition>
984
<transition>OtherProcess_4_1_3</transition>
985
<transition>OtherProcess_3_5_3</transition>
986
<transition>OtherProcess_1_0_1</transition>
987
<transition>OtherProcess_2_1_0</transition>
988
<transition>OtherProcess_4_0_2</transition>
989
<transition>OtherProcess_2_3_1</transition>
990
<transition>OtherProcess_1_0_5</transition>
991
<transition>OtherProcess_4_3_4</transition>
992
<transition>OtherProcess_3_1_2</transition>
993
<transition>OtherProcess_2_1_4</transition>
994
<transition>OtherProcess_4_0_1</transition>
995
<transition>OtherProcess_2_1_2</transition>
996
<transition>OtherProcess_3_0_5</transition>
997
<transition>OtherProcess_2_1_3</transition>
998
<transition>OtherProcess_4_2_0</transition>
999
<transition>OtherProcess_4_3_2</transition>
1000
<transition>OtherProcess_1_0_4</transition>
1001
<transition>OtherProcess_5_5_2</transition>
1002
<transition>OtherProcess_2_2_5</transition>
1003
<transition>OtherProcess_3_4_3</transition>
1004
<transition>OtherProcess_1_5_1</transition>
1005
<transition>OtherProcess_5_0_2</transition>
1006
<transition>OtherProcess_3_3_4</transition>
1007
<transition>OtherProcess_4_5_2</transition>
1008
<transition>OtherProcess_1_1_0</transition>
1009
<transition>OtherProcess_1_4_5</transition>
1010
<transition>OtherProcess_3_1_3</transition>
1011
<transition>OtherProcess_4_1_4</transition>
1012
<transition>OtherProcess_4_4_0</transition>
1013
<transition>OtherProcess_5_2_0</transition>
1014
<transition>OtherProcess_1_1_2</transition>
1015
<transition>OtherProcess_5_3_2</transition>
1016
<transition>OtherProcess_3_3_1</transition>
1017
<transition>OtherProcess_3_0_1</transition>
1018
<transition>OtherProcess_5_2_3</transition>
1019
<transition>OtherProcess_3_1_4</transition>
1020
<transition>OtherProcess_5_5_3</transition>
1021
<transition>OtherProcess_4_5_4</transition>
1022
<transition>OtherProcess_2_2_0</transition>
1023
<transition>OtherProcess_2_4_1</transition>
1024
<transition>OtherProcess_1_4_3</transition>
1025
<transition>OtherProcess_4_3_0</transition>
1026
<transition>OtherProcess_1_1_5</transition>
1027
<transition>OtherProcess_3_2_5</transition>
1028
<transition>OtherProcess_5_3_5</transition>
1029
<transition>OtherProcess_2_3_4</transition>
1030
<transition>OtherProcess_5_1_4</transition>
1031
<transition>OtherProcess_4_2_1</transition>
1032
<transition>OtherProcess_4_2_3</transition>
1033
<transition>OtherProcess_3_2_0</transition>
1034
<transition>OtherProcess_5_4_0</transition>
1035
<transition>OtherProcess_1_5_3</transition>
1036
<transition>OtherProcess_4_3_5</transition>
1037
<transition>OtherProcess_3_5_1</transition>
1038
<transition>OtherProcess_3_0_4</transition>
1039
<transition>OtherProcess_2_0_1</transition>
1040
<transition>OtherProcess_1_4_1</transition>
1041
<transition>OtherProcess_5_5_4</transition>
1042
<transition>OtherProcess_1_3_4</transition>
1043
<transition>OtherProcess_1_3_1</transition>
1044
<transition>OtherProcess_3_3_0</transition>
1045
<transition>OtherProcess_1_0_3</transition>
1046
<transition>OtherProcess_3_3_2</transition>
1047
<transition>OtherProcess_2_0_3</transition>
1048
<transition>OtherProcess_5_4_5</transition>
1049
<transition>OtherProcess_2_3_2</transition>
1050
<transition>OtherProcess_3_3_5</transition>
1051
<transition>OtherProcess_4_2_5</transition>
1052
<transition>OtherProcess_5_2_1</transition>
1053
<transition>OtherProcess_5_0_5</transition>
1054
<transition>OtherProcess_3_2_3</transition>
1055
<transition>OtherProcess_4_5_1</transition>
1056
<transition>OtherProcess_2_5_4</transition>
1057
<transition>OtherProcess_1_5_0</transition>
1058
<transition>OtherProcess_5_2_5</transition>
1059
<transition>OtherProcess_1_2_4</transition>
1060
<transition>OtherProcess_3_4_2</transition>
1061
<transition>OtherProcess_1_3_2</transition>
1062
<transition>OtherProcess_5_2_4</transition>
1063
<transition>OtherProcess_2_5_3</transition>
1064
<transition>OtherProcess_1_4_0</transition>
1065
<transition>OtherProcess_3_2_1</transition>
1066
<transition>OtherProcess_3_1_5</transition>
1067
<transition>OtherProcess_2_5_0</transition>
1068
<transition>OtherProcess_5_5_1</transition>
1069
<transition>OtherProcess_3_0_3</transition>
1070
<transition>OtherProcess_2_0_4</transition>
1071
<transition>OtherProcess_2_2_1</transition>
1072
<transition>OtherProcess_3_5_4</transition>
1073
<transition>OtherProcess_4_2_4</transition>
1074
<transition>OtherProcess_2_2_4</transition>
1075
<transition>OtherProcess_2_3_5</transition>
1076
<transition>OtherProcess_5_3_0</transition>
1077
<transition>OtherProcess_1_2_0</transition>
1078
<transition>OtherProcess_4_4_2</transition>
1079
<transition>OtherProcess_5_0_4</transition>
1080
<transition>OtherProcess_4_4_3</transition>
1081
<transition>OtherProcess_5_1_2</transition>
1082
<transition>OtherProcess_3_4_1</transition>
1083
<transition>OtherProcess_1_5_2</transition>
1090
<id>TokenRing-COL-005-LTLFireabilitySimple-9</id>
1091
<description>Automatically generated</description>
1097
<transition>MainProcess_1</transition>
1098
<transition>MainProcess_2</transition>
1099
<transition>MainProcess_3</transition>
1100
<transition>MainProcess_5</transition>
1101
<transition>MainProcess_4</transition>
1102
<transition>MainProcess_0</transition>
1107
<transition>MainProcess_1</transition>
1108
<transition>MainProcess_2</transition>
1109
<transition>MainProcess_3</transition>
1110
<transition>MainProcess_5</transition>
1111
<transition>MainProcess_4</transition>
1112
<transition>MainProcess_0</transition>
1120
<id>TokenRing-COL-005-LTLFireabilitySimple-10</id>
1121
<description>Automatically generated</description>
1126
<transition>MainProcess_1</transition>
1127
<transition>MainProcess_2</transition>
1128
<transition>MainProcess_3</transition>
1129
<transition>MainProcess_5</transition>
1130
<transition>MainProcess_4</transition>
1131
<transition>MainProcess_0</transition>
1138
<id>TokenRing-COL-005-LTLFireabilitySimple-11</id>
1139
<description>Automatically generated</description>
1144
<transition>OtherProcess_2_1_5</transition>
1145
<transition>OtherProcess_5_1_0</transition>
1146
<transition>OtherProcess_4_1_5</transition>
1147
<transition>OtherProcess_1_3_5</transition>
1148
<transition>OtherProcess_5_4_3</transition>
1149
<transition>OtherProcess_2_2_3</transition>
1150
<transition>OtherProcess_5_4_2</transition>
1151
<transition>OtherProcess_1_0_2</transition>
1152
<transition>OtherProcess_3_4_5</transition>
1153
<transition>OtherProcess_3_5_0</transition>
1154
<transition>OtherProcess_1_4_2</transition>
1155
<transition>OtherProcess_1_2_3</transition>
1156
<transition>OtherProcess_2_0_5</transition>
1157
<transition>OtherProcess_1_3_0</transition>
1158
<transition>OtherProcess_5_4_1</transition>
1159
<transition>OtherProcess_3_2_4</transition>
1160
<transition>OtherProcess_1_2_1</transition>
1161
<transition>OtherProcess_2_0_2</transition>
1162
<transition>OtherProcess_3_5_2</transition>
1163
<transition>OtherProcess_4_0_3</transition>
1164
<transition>OtherProcess_5_0_3</transition>
1165
<transition>OtherProcess_5_3_4</transition>
1166
<transition>OtherProcess_4_5_0</transition>
1167
<transition>OtherProcess_4_0_4</transition>
1168
<transition>OtherProcess_4_1_2</transition>
1169
<transition>OtherProcess_4_3_1</transition>
1170
<transition>OtherProcess_4_1_0</transition>
1171
<transition>OtherProcess_5_1_5</transition>
1172
<transition>OtherProcess_1_5_4</transition>
1173
<transition>OtherProcess_3_4_0</transition>
1174
<transition>OtherProcess_4_4_5</transition>
1175
<transition>OtherProcess_5_5_0</transition>
1176
<transition>OtherProcess_2_4_3</transition>
1177
<transition>OtherProcess_4_5_3</transition>
1178
<transition>OtherProcess_3_0_2</transition>
1179
<transition>OtherProcess_1_1_3</transition>
1180
<transition>OtherProcess_1_1_4</transition>
1181
<transition>OtherProcess_2_4_2</transition>
1182
<transition>OtherProcess_5_1_3</transition>
1183
<transition>OtherProcess_5_3_1</transition>
1184
<transition>OtherProcess_4_4_1</transition>
1185
<transition>OtherProcess_4_0_5</transition>
1186
<transition>OtherProcess_2_3_0</transition>
1187
<transition>OtherProcess_5_0_1</transition>
1188
<transition>OtherProcess_3_1_0</transition>
1189
<transition>OtherProcess_2_5_2</transition>
1190
<transition>OtherProcess_1_2_5</transition>
1191
<transition>OtherProcess_2_4_0</transition>
1192
<transition>OtherProcess_2_5_1</transition>
1193
<transition>OtherProcess_2_4_5</transition>
1194
<transition>OtherProcess_4_1_3</transition>
1195
<transition>OtherProcess_3_5_3</transition>
1196
<transition>OtherProcess_1_0_1</transition>
1197
<transition>OtherProcess_2_1_0</transition>
1198
<transition>OtherProcess_4_0_2</transition>
1199
<transition>OtherProcess_2_3_1</transition>
1200
<transition>OtherProcess_1_0_5</transition>
1201
<transition>OtherProcess_4_3_4</transition>
1202
<transition>OtherProcess_3_1_2</transition>
1203
<transition>OtherProcess_2_1_4</transition>
1204
<transition>OtherProcess_4_0_1</transition>
1205
<transition>OtherProcess_2_1_2</transition>
1206
<transition>OtherProcess_3_0_5</transition>
1207
<transition>OtherProcess_2_1_3</transition>
1208
<transition>OtherProcess_4_2_0</transition>
1209
<transition>OtherProcess_4_3_2</transition>
1210
<transition>OtherProcess_1_0_4</transition>
1211
<transition>OtherProcess_5_5_2</transition>
1212
<transition>OtherProcess_2_2_5</transition>
1213
<transition>OtherProcess_3_4_3</transition>
1214
<transition>OtherProcess_1_5_1</transition>
1215
<transition>OtherProcess_5_0_2</transition>
1216
<transition>OtherProcess_3_3_4</transition>
1217
<transition>OtherProcess_4_5_2</transition>
1218
<transition>OtherProcess_1_1_0</transition>
1219
<transition>OtherProcess_1_4_5</transition>
1220
<transition>OtherProcess_3_1_3</transition>
1221
<transition>OtherProcess_4_1_4</transition>
1222
<transition>OtherProcess_4_4_0</transition>
1223
<transition>OtherProcess_5_2_0</transition>
1224
<transition>OtherProcess_1_1_2</transition>
1225
<transition>OtherProcess_5_3_2</transition>
1226
<transition>OtherProcess_3_3_1</transition>
1227
<transition>OtherProcess_3_0_1</transition>
1228
<transition>OtherProcess_5_2_3</transition>
1229
<transition>OtherProcess_3_1_4</transition>
1230
<transition>OtherProcess_5_5_3</transition>
1231
<transition>OtherProcess_4_5_4</transition>
1232
<transition>OtherProcess_2_2_0</transition>
1233
<transition>OtherProcess_2_4_1</transition>
1234
<transition>OtherProcess_1_4_3</transition>
1235
<transition>OtherProcess_4_3_0</transition>
1236
<transition>OtherProcess_1_1_5</transition>
1237
<transition>OtherProcess_3_2_5</transition>
1238
<transition>OtherProcess_5_3_5</transition>
1239
<transition>OtherProcess_2_3_4</transition>
1240
<transition>OtherProcess_5_1_4</transition>
1241
<transition>OtherProcess_4_2_1</transition>
1242
<transition>OtherProcess_4_2_3</transition>
1243
<transition>OtherProcess_3_2_0</transition>
1244
<transition>OtherProcess_5_4_0</transition>
1245
<transition>OtherProcess_1_5_3</transition>
1246
<transition>OtherProcess_4_3_5</transition>
1247
<transition>OtherProcess_3_5_1</transition>
1248
<transition>OtherProcess_3_0_4</transition>
1249
<transition>OtherProcess_2_0_1</transition>
1250
<transition>OtherProcess_1_4_1</transition>
1251
<transition>OtherProcess_5_5_4</transition>
1252
<transition>OtherProcess_1_3_4</transition>
1253
<transition>OtherProcess_1_3_1</transition>
1254
<transition>OtherProcess_3_3_0</transition>
1255
<transition>OtherProcess_1_0_3</transition>
1256
<transition>OtherProcess_3_3_2</transition>
1257
<transition>OtherProcess_2_0_3</transition>
1258
<transition>OtherProcess_5_4_5</transition>
1259
<transition>OtherProcess_2_3_2</transition>
1260
<transition>OtherProcess_3_3_5</transition>
1261
<transition>OtherProcess_4_2_5</transition>
1262
<transition>OtherProcess_5_2_1</transition>
1263
<transition>OtherProcess_5_0_5</transition>
1264
<transition>OtherProcess_3_2_3</transition>
1265
<transition>OtherProcess_4_5_1</transition>
1266
<transition>OtherProcess_2_5_4</transition>
1267
<transition>OtherProcess_1_5_0</transition>
1268
<transition>OtherProcess_5_2_5</transition>
1269
<transition>OtherProcess_1_2_4</transition>
1270
<transition>OtherProcess_3_4_2</transition>
1271
<transition>OtherProcess_1_3_2</transition>
1272
<transition>OtherProcess_5_2_4</transition>
1273
<transition>OtherProcess_2_5_3</transition>
1274
<transition>OtherProcess_1_4_0</transition>
1275
<transition>OtherProcess_3_2_1</transition>
1276
<transition>OtherProcess_3_1_5</transition>
1277
<transition>OtherProcess_2_5_0</transition>
1278
<transition>OtherProcess_5_5_1</transition>
1279
<transition>OtherProcess_3_0_3</transition>
1280
<transition>OtherProcess_2_0_4</transition>
1281
<transition>OtherProcess_2_2_1</transition>
1282
<transition>OtherProcess_3_5_4</transition>
1283
<transition>OtherProcess_4_2_4</transition>
1284
<transition>OtherProcess_2_2_4</transition>
1285
<transition>OtherProcess_2_3_5</transition>
1286
<transition>OtherProcess_5_3_0</transition>
1287
<transition>OtherProcess_1_2_0</transition>
1288
<transition>OtherProcess_4_4_2</transition>
1289
<transition>OtherProcess_5_0_4</transition>
1290
<transition>OtherProcess_4_4_3</transition>
1291
<transition>OtherProcess_5_1_2</transition>
1292
<transition>OtherProcess_3_4_1</transition>
1293
<transition>OtherProcess_1_5_2</transition>
1300
<id>TokenRing-COL-005-LTLFireabilitySimple-12</id>
1301
<description>Automatically generated</description>
1306
<transition>MainProcess_1</transition>
1307
<transition>MainProcess_2</transition>
1308
<transition>MainProcess_3</transition>
1309
<transition>MainProcess_5</transition>
1310
<transition>MainProcess_4</transition>
1311
<transition>MainProcess_0</transition>
1318
<id>TokenRing-COL-005-LTLFireabilitySimple-13</id>
1319
<description>Automatically generated</description>
1325
<transition>OtherProcess_2_1_5</transition>
1326
<transition>OtherProcess_5_1_0</transition>
1327
<transition>OtherProcess_4_1_5</transition>
1328
<transition>OtherProcess_1_3_5</transition>
1329
<transition>OtherProcess_5_4_3</transition>
1330
<transition>OtherProcess_2_2_3</transition>
1331
<transition>OtherProcess_5_4_2</transition>
1332
<transition>OtherProcess_1_0_2</transition>
1333
<transition>OtherProcess_3_4_5</transition>
1334
<transition>OtherProcess_3_5_0</transition>
1335
<transition>OtherProcess_1_4_2</transition>
1336
<transition>OtherProcess_1_2_3</transition>
1337
<transition>OtherProcess_2_0_5</transition>
1338
<transition>OtherProcess_1_3_0</transition>
1339
<transition>OtherProcess_5_4_1</transition>
1340
<transition>OtherProcess_3_2_4</transition>
1341
<transition>OtherProcess_1_2_1</transition>
1342
<transition>OtherProcess_2_0_2</transition>
1343
<transition>OtherProcess_3_5_2</transition>
1344
<transition>OtherProcess_4_0_3</transition>
1345
<transition>OtherProcess_5_0_3</transition>
1346
<transition>OtherProcess_5_3_4</transition>
1347
<transition>OtherProcess_4_5_0</transition>
1348
<transition>OtherProcess_4_0_4</transition>
1349
<transition>OtherProcess_4_1_2</transition>
1350
<transition>OtherProcess_4_3_1</transition>
1351
<transition>OtherProcess_4_1_0</transition>
1352
<transition>OtherProcess_5_1_5</transition>
1353
<transition>OtherProcess_1_5_4</transition>
1354
<transition>OtherProcess_3_4_0</transition>
1355
<transition>OtherProcess_4_4_5</transition>
1356
<transition>OtherProcess_5_5_0</transition>
1357
<transition>OtherProcess_2_4_3</transition>
1358
<transition>OtherProcess_4_5_3</transition>
1359
<transition>OtherProcess_3_0_2</transition>
1360
<transition>OtherProcess_1_1_3</transition>
1361
<transition>OtherProcess_1_1_4</transition>
1362
<transition>OtherProcess_2_4_2</transition>
1363
<transition>OtherProcess_5_1_3</transition>
1364
<transition>OtherProcess_5_3_1</transition>
1365
<transition>OtherProcess_4_4_1</transition>
1366
<transition>OtherProcess_4_0_5</transition>
1367
<transition>OtherProcess_2_3_0</transition>
1368
<transition>OtherProcess_5_0_1</transition>
1369
<transition>OtherProcess_3_1_0</transition>
1370
<transition>OtherProcess_2_5_2</transition>
1371
<transition>OtherProcess_1_2_5</transition>
1372
<transition>OtherProcess_2_4_0</transition>
1373
<transition>OtherProcess_2_5_1</transition>
1374
<transition>OtherProcess_2_4_5</transition>
1375
<transition>OtherProcess_4_1_3</transition>
1376
<transition>OtherProcess_3_5_3</transition>
1377
<transition>OtherProcess_1_0_1</transition>
1378
<transition>OtherProcess_2_1_0</transition>
1379
<transition>OtherProcess_4_0_2</transition>
1380
<transition>OtherProcess_2_3_1</transition>
1381
<transition>OtherProcess_1_0_5</transition>
1382
<transition>OtherProcess_4_3_4</transition>
1383
<transition>OtherProcess_3_1_2</transition>
1384
<transition>OtherProcess_2_1_4</transition>
1385
<transition>OtherProcess_4_0_1</transition>
1386
<transition>OtherProcess_2_1_2</transition>
1387
<transition>OtherProcess_3_0_5</transition>
1388
<transition>OtherProcess_2_1_3</transition>
1389
<transition>OtherProcess_4_2_0</transition>
1390
<transition>OtherProcess_4_3_2</transition>
1391
<transition>OtherProcess_1_0_4</transition>
1392
<transition>OtherProcess_5_5_2</transition>
1393
<transition>OtherProcess_2_2_5</transition>
1394
<transition>OtherProcess_3_4_3</transition>
1395
<transition>OtherProcess_1_5_1</transition>
1396
<transition>OtherProcess_5_0_2</transition>
1397
<transition>OtherProcess_3_3_4</transition>
1398
<transition>OtherProcess_4_5_2</transition>
1399
<transition>OtherProcess_1_1_0</transition>
1400
<transition>OtherProcess_1_4_5</transition>
1401
<transition>OtherProcess_3_1_3</transition>
1402
<transition>OtherProcess_4_1_4</transition>
1403
<transition>OtherProcess_4_4_0</transition>
1404
<transition>OtherProcess_5_2_0</transition>
1405
<transition>OtherProcess_1_1_2</transition>
1406
<transition>OtherProcess_5_3_2</transition>
1407
<transition>OtherProcess_3_3_1</transition>
1408
<transition>OtherProcess_3_0_1</transition>
1409
<transition>OtherProcess_5_2_3</transition>
1410
<transition>OtherProcess_3_1_4</transition>
1411
<transition>OtherProcess_5_5_3</transition>
1412
<transition>OtherProcess_4_5_4</transition>
1413
<transition>OtherProcess_2_2_0</transition>
1414
<transition>OtherProcess_2_4_1</transition>
1415
<transition>OtherProcess_1_4_3</transition>
1416
<transition>OtherProcess_4_3_0</transition>
1417
<transition>OtherProcess_1_1_5</transition>
1418
<transition>OtherProcess_3_2_5</transition>
1419
<transition>OtherProcess_5_3_5</transition>
1420
<transition>OtherProcess_2_3_4</transition>
1421
<transition>OtherProcess_5_1_4</transition>
1422
<transition>OtherProcess_4_2_1</transition>
1423
<transition>OtherProcess_4_2_3</transition>
1424
<transition>OtherProcess_3_2_0</transition>
1425
<transition>OtherProcess_5_4_0</transition>
1426
<transition>OtherProcess_1_5_3</transition>
1427
<transition>OtherProcess_4_3_5</transition>
1428
<transition>OtherProcess_3_5_1</transition>
1429
<transition>OtherProcess_3_0_4</transition>
1430
<transition>OtherProcess_2_0_1</transition>
1431
<transition>OtherProcess_1_4_1</transition>
1432
<transition>OtherProcess_5_5_4</transition>
1433
<transition>OtherProcess_1_3_4</transition>
1434
<transition>OtherProcess_1_3_1</transition>
1435
<transition>OtherProcess_3_3_0</transition>
1436
<transition>OtherProcess_1_0_3</transition>
1437
<transition>OtherProcess_3_3_2</transition>
1438
<transition>OtherProcess_2_0_3</transition>
1439
<transition>OtherProcess_5_4_5</transition>
1440
<transition>OtherProcess_2_3_2</transition>
1441
<transition>OtherProcess_3_3_5</transition>
1442
<transition>OtherProcess_4_2_5</transition>
1443
<transition>OtherProcess_5_2_1</transition>
1444
<transition>OtherProcess_5_0_5</transition>
1445
<transition>OtherProcess_3_2_3</transition>
1446
<transition>OtherProcess_4_5_1</transition>
1447
<transition>OtherProcess_2_5_4</transition>
1448
<transition>OtherProcess_1_5_0</transition>
1449
<transition>OtherProcess_5_2_5</transition>
1450
<transition>OtherProcess_1_2_4</transition>
1451
<transition>OtherProcess_3_4_2</transition>
1452
<transition>OtherProcess_1_3_2</transition>
1453
<transition>OtherProcess_5_2_4</transition>
1454
<transition>OtherProcess_2_5_3</transition>
1455
<transition>OtherProcess_1_4_0</transition>
1456
<transition>OtherProcess_3_2_1</transition>
1457
<transition>OtherProcess_3_1_5</transition>
1458
<transition>OtherProcess_2_5_0</transition>
1459
<transition>OtherProcess_5_5_1</transition>
1460
<transition>OtherProcess_3_0_3</transition>
1461
<transition>OtherProcess_2_0_4</transition>
1462
<transition>OtherProcess_2_2_1</transition>
1463
<transition>OtherProcess_3_5_4</transition>
1464
<transition>OtherProcess_4_2_4</transition>
1465
<transition>OtherProcess_2_2_4</transition>
1466
<transition>OtherProcess_2_3_5</transition>
1467
<transition>OtherProcess_5_3_0</transition>
1468
<transition>OtherProcess_1_2_0</transition>
1469
<transition>OtherProcess_4_4_2</transition>
1470
<transition>OtherProcess_5_0_4</transition>
1471
<transition>OtherProcess_4_4_3</transition>
1472
<transition>OtherProcess_5_1_2</transition>
1473
<transition>OtherProcess_3_4_1</transition>
1474
<transition>OtherProcess_1_5_2</transition>
1479
<transition>OtherProcess_2_1_5</transition>
1480
<transition>OtherProcess_5_1_0</transition>
1481
<transition>OtherProcess_4_1_5</transition>
1482
<transition>OtherProcess_1_3_5</transition>
1483
<transition>OtherProcess_5_4_3</transition>
1484
<transition>OtherProcess_2_2_3</transition>
1485
<transition>OtherProcess_5_4_2</transition>
1486
<transition>OtherProcess_1_0_2</transition>
1487
<transition>OtherProcess_3_4_5</transition>
1488
<transition>OtherProcess_3_5_0</transition>
1489
<transition>OtherProcess_1_4_2</transition>
1490
<transition>OtherProcess_1_2_3</transition>
1491
<transition>OtherProcess_2_0_5</transition>
1492
<transition>OtherProcess_1_3_0</transition>
1493
<transition>OtherProcess_5_4_1</transition>
1494
<transition>OtherProcess_3_2_4</transition>
1495
<transition>OtherProcess_1_2_1</transition>
1496
<transition>OtherProcess_2_0_2</transition>
1497
<transition>OtherProcess_3_5_2</transition>
1498
<transition>OtherProcess_4_0_3</transition>
1499
<transition>OtherProcess_5_0_3</transition>
1500
<transition>OtherProcess_5_3_4</transition>
1501
<transition>OtherProcess_4_5_0</transition>
1502
<transition>OtherProcess_4_0_4</transition>
1503
<transition>OtherProcess_4_1_2</transition>
1504
<transition>OtherProcess_4_3_1</transition>
1505
<transition>OtherProcess_4_1_0</transition>
1506
<transition>OtherProcess_5_1_5</transition>
1507
<transition>OtherProcess_1_5_4</transition>
1508
<transition>OtherProcess_3_4_0</transition>
1509
<transition>OtherProcess_4_4_5</transition>
1510
<transition>OtherProcess_5_5_0</transition>
1511
<transition>OtherProcess_2_4_3</transition>
1512
<transition>OtherProcess_4_5_3</transition>
1513
<transition>OtherProcess_3_0_2</transition>
1514
<transition>OtherProcess_1_1_3</transition>
1515
<transition>OtherProcess_1_1_4</transition>
1516
<transition>OtherProcess_2_4_2</transition>
1517
<transition>OtherProcess_5_1_3</transition>
1518
<transition>OtherProcess_5_3_1</transition>
1519
<transition>OtherProcess_4_4_1</transition>
1520
<transition>OtherProcess_4_0_5</transition>
1521
<transition>OtherProcess_2_3_0</transition>
1522
<transition>OtherProcess_5_0_1</transition>
1523
<transition>OtherProcess_3_1_0</transition>
1524
<transition>OtherProcess_2_5_2</transition>
1525
<transition>OtherProcess_1_2_5</transition>
1526
<transition>OtherProcess_2_4_0</transition>
1527
<transition>OtherProcess_2_5_1</transition>
1528
<transition>OtherProcess_2_4_5</transition>
1529
<transition>OtherProcess_4_1_3</transition>
1530
<transition>OtherProcess_3_5_3</transition>
1531
<transition>OtherProcess_1_0_1</transition>
1532
<transition>OtherProcess_2_1_0</transition>
1533
<transition>OtherProcess_4_0_2</transition>
1534
<transition>OtherProcess_2_3_1</transition>
1535
<transition>OtherProcess_1_0_5</transition>
1536
<transition>OtherProcess_4_3_4</transition>
1537
<transition>OtherProcess_3_1_2</transition>
1538
<transition>OtherProcess_2_1_4</transition>
1539
<transition>OtherProcess_4_0_1</transition>
1540
<transition>OtherProcess_2_1_2</transition>
1541
<transition>OtherProcess_3_0_5</transition>
1542
<transition>OtherProcess_2_1_3</transition>
1543
<transition>OtherProcess_4_2_0</transition>
1544
<transition>OtherProcess_4_3_2</transition>
1545
<transition>OtherProcess_1_0_4</transition>
1546
<transition>OtherProcess_5_5_2</transition>
1547
<transition>OtherProcess_2_2_5</transition>
1548
<transition>OtherProcess_3_4_3</transition>
1549
<transition>OtherProcess_1_5_1</transition>
1550
<transition>OtherProcess_5_0_2</transition>
1551
<transition>OtherProcess_3_3_4</transition>
1552
<transition>OtherProcess_4_5_2</transition>
1553
<transition>OtherProcess_1_1_0</transition>
1554
<transition>OtherProcess_1_4_5</transition>
1555
<transition>OtherProcess_3_1_3</transition>
1556
<transition>OtherProcess_4_1_4</transition>
1557
<transition>OtherProcess_4_4_0</transition>
1558
<transition>OtherProcess_5_2_0</transition>
1559
<transition>OtherProcess_1_1_2</transition>
1560
<transition>OtherProcess_5_3_2</transition>
1561
<transition>OtherProcess_3_3_1</transition>
1562
<transition>OtherProcess_3_0_1</transition>
1563
<transition>OtherProcess_5_2_3</transition>
1564
<transition>OtherProcess_3_1_4</transition>
1565
<transition>OtherProcess_5_5_3</transition>
1566
<transition>OtherProcess_4_5_4</transition>
1567
<transition>OtherProcess_2_2_0</transition>
1568
<transition>OtherProcess_2_4_1</transition>
1569
<transition>OtherProcess_1_4_3</transition>
1570
<transition>OtherProcess_4_3_0</transition>
1571
<transition>OtherProcess_1_1_5</transition>
1572
<transition>OtherProcess_3_2_5</transition>
1573
<transition>OtherProcess_5_3_5</transition>
1574
<transition>OtherProcess_2_3_4</transition>
1575
<transition>OtherProcess_5_1_4</transition>
1576
<transition>OtherProcess_4_2_1</transition>
1577
<transition>OtherProcess_4_2_3</transition>
1578
<transition>OtherProcess_3_2_0</transition>
1579
<transition>OtherProcess_5_4_0</transition>
1580
<transition>OtherProcess_1_5_3</transition>
1581
<transition>OtherProcess_4_3_5</transition>
1582
<transition>OtherProcess_3_5_1</transition>
1583
<transition>OtherProcess_3_0_4</transition>
1584
<transition>OtherProcess_2_0_1</transition>
1585
<transition>OtherProcess_1_4_1</transition>
1586
<transition>OtherProcess_5_5_4</transition>
1587
<transition>OtherProcess_1_3_4</transition>
1588
<transition>OtherProcess_1_3_1</transition>
1589
<transition>OtherProcess_3_3_0</transition>
1590
<transition>OtherProcess_1_0_3</transition>
1591
<transition>OtherProcess_3_3_2</transition>
1592
<transition>OtherProcess_2_0_3</transition>
1593
<transition>OtherProcess_5_4_5</transition>
1594
<transition>OtherProcess_2_3_2</transition>
1595
<transition>OtherProcess_3_3_5</transition>
1596
<transition>OtherProcess_4_2_5</transition>
1597
<transition>OtherProcess_5_2_1</transition>
1598
<transition>OtherProcess_5_0_5</transition>
1599
<transition>OtherProcess_3_2_3</transition>
1600
<transition>OtherProcess_4_5_1</transition>
1601
<transition>OtherProcess_2_5_4</transition>
1602
<transition>OtherProcess_1_5_0</transition>
1603
<transition>OtherProcess_5_2_5</transition>
1604
<transition>OtherProcess_1_2_4</transition>
1605
<transition>OtherProcess_3_4_2</transition>
1606
<transition>OtherProcess_1_3_2</transition>
1607
<transition>OtherProcess_5_2_4</transition>
1608
<transition>OtherProcess_2_5_3</transition>
1609
<transition>OtherProcess_1_4_0</transition>
1610
<transition>OtherProcess_3_2_1</transition>
1611
<transition>OtherProcess_3_1_5</transition>
1612
<transition>OtherProcess_2_5_0</transition>
1613
<transition>OtherProcess_5_5_1</transition>
1614
<transition>OtherProcess_3_0_3</transition>
1615
<transition>OtherProcess_2_0_4</transition>
1616
<transition>OtherProcess_2_2_1</transition>
1617
<transition>OtherProcess_3_5_4</transition>
1618
<transition>OtherProcess_4_2_4</transition>
1619
<transition>OtherProcess_2_2_4</transition>
1620
<transition>OtherProcess_2_3_5</transition>
1621
<transition>OtherProcess_5_3_0</transition>
1622
<transition>OtherProcess_1_2_0</transition>
1623
<transition>OtherProcess_4_4_2</transition>
1624
<transition>OtherProcess_5_0_4</transition>
1625
<transition>OtherProcess_4_4_3</transition>
1626
<transition>OtherProcess_5_1_2</transition>
1627
<transition>OtherProcess_3_4_1</transition>
1628
<transition>OtherProcess_1_5_2</transition>
1636
<id>TokenRing-COL-005-LTLFireabilitySimple-14</id>
1637
<description>Automatically generated</description>
1642
<transition>OtherProcess_2_1_5</transition>
1643
<transition>OtherProcess_5_1_0</transition>
1644
<transition>OtherProcess_4_1_5</transition>
1645
<transition>OtherProcess_1_3_5</transition>
1646
<transition>OtherProcess_5_4_3</transition>
1647
<transition>OtherProcess_2_2_3</transition>
1648
<transition>OtherProcess_5_4_2</transition>
1649
<transition>OtherProcess_1_0_2</transition>
1650
<transition>OtherProcess_3_4_5</transition>
1651
<transition>OtherProcess_3_5_0</transition>
1652
<transition>OtherProcess_1_4_2</transition>
1653
<transition>OtherProcess_1_2_3</transition>
1654
<transition>OtherProcess_2_0_5</transition>
1655
<transition>OtherProcess_1_3_0</transition>
1656
<transition>OtherProcess_5_4_1</transition>
1657
<transition>OtherProcess_3_2_4</transition>
1658
<transition>OtherProcess_1_2_1</transition>
1659
<transition>OtherProcess_2_0_2</transition>
1660
<transition>OtherProcess_3_5_2</transition>
1661
<transition>OtherProcess_4_0_3</transition>
1662
<transition>OtherProcess_5_0_3</transition>
1663
<transition>OtherProcess_5_3_4</transition>
1664
<transition>OtherProcess_4_5_0</transition>
1665
<transition>OtherProcess_4_0_4</transition>
1666
<transition>OtherProcess_4_1_2</transition>
1667
<transition>OtherProcess_4_3_1</transition>
1668
<transition>OtherProcess_4_1_0</transition>
1669
<transition>OtherProcess_5_1_5</transition>
1670
<transition>OtherProcess_1_5_4</transition>
1671
<transition>OtherProcess_3_4_0</transition>
1672
<transition>OtherProcess_4_4_5</transition>
1673
<transition>OtherProcess_5_5_0</transition>
1674
<transition>OtherProcess_2_4_3</transition>
1675
<transition>OtherProcess_4_5_3</transition>
1676
<transition>OtherProcess_3_0_2</transition>
1677
<transition>OtherProcess_1_1_3</transition>
1678
<transition>OtherProcess_1_1_4</transition>
1679
<transition>OtherProcess_2_4_2</transition>
1680
<transition>OtherProcess_5_1_3</transition>
1681
<transition>OtherProcess_5_3_1</transition>
1682
<transition>OtherProcess_4_4_1</transition>
1683
<transition>OtherProcess_4_0_5</transition>
1684
<transition>OtherProcess_2_3_0</transition>
1685
<transition>OtherProcess_5_0_1</transition>
1686
<transition>OtherProcess_3_1_0</transition>
1687
<transition>OtherProcess_2_5_2</transition>
1688
<transition>OtherProcess_1_2_5</transition>
1689
<transition>OtherProcess_2_4_0</transition>
1690
<transition>OtherProcess_2_5_1</transition>
1691
<transition>OtherProcess_2_4_5</transition>
1692
<transition>OtherProcess_4_1_3</transition>
1693
<transition>OtherProcess_3_5_3</transition>
1694
<transition>OtherProcess_1_0_1</transition>
1695
<transition>OtherProcess_2_1_0</transition>
1696
<transition>OtherProcess_4_0_2</transition>
1697
<transition>OtherProcess_2_3_1</transition>
1698
<transition>OtherProcess_1_0_5</transition>
1699
<transition>OtherProcess_4_3_4</transition>
1700
<transition>OtherProcess_3_1_2</transition>
1701
<transition>OtherProcess_2_1_4</transition>
1702
<transition>OtherProcess_4_0_1</transition>
1703
<transition>OtherProcess_2_1_2</transition>
1704
<transition>OtherProcess_3_0_5</transition>
1705
<transition>OtherProcess_2_1_3</transition>
1706
<transition>OtherProcess_4_2_0</transition>
1707
<transition>OtherProcess_4_3_2</transition>
1708
<transition>OtherProcess_1_0_4</transition>
1709
<transition>OtherProcess_5_5_2</transition>
1710
<transition>OtherProcess_2_2_5</transition>
1711
<transition>OtherProcess_3_4_3</transition>
1712
<transition>OtherProcess_1_5_1</transition>
1713
<transition>OtherProcess_5_0_2</transition>
1714
<transition>OtherProcess_3_3_4</transition>
1715
<transition>OtherProcess_4_5_2</transition>
1716
<transition>OtherProcess_1_1_0</transition>
1717
<transition>OtherProcess_1_4_5</transition>
1718
<transition>OtherProcess_3_1_3</transition>
1719
<transition>OtherProcess_4_1_4</transition>
1720
<transition>OtherProcess_4_4_0</transition>
1721
<transition>OtherProcess_5_2_0</transition>
1722
<transition>OtherProcess_1_1_2</transition>
1723
<transition>OtherProcess_5_3_2</transition>
1724
<transition>OtherProcess_3_3_1</transition>
1725
<transition>OtherProcess_3_0_1</transition>
1726
<transition>OtherProcess_5_2_3</transition>
1727
<transition>OtherProcess_3_1_4</transition>
1728
<transition>OtherProcess_5_5_3</transition>
1729
<transition>OtherProcess_4_5_4</transition>
1730
<transition>OtherProcess_2_2_0</transition>
1731
<transition>OtherProcess_2_4_1</transition>
1732
<transition>OtherProcess_1_4_3</transition>
1733
<transition>OtherProcess_4_3_0</transition>
1734
<transition>OtherProcess_1_1_5</transition>
1735
<transition>OtherProcess_3_2_5</transition>
1736
<transition>OtherProcess_5_3_5</transition>
1737
<transition>OtherProcess_2_3_4</transition>
1738
<transition>OtherProcess_5_1_4</transition>
1739
<transition>OtherProcess_4_2_1</transition>
1740
<transition>OtherProcess_4_2_3</transition>
1741
<transition>OtherProcess_3_2_0</transition>
1742
<transition>OtherProcess_5_4_0</transition>
1743
<transition>OtherProcess_1_5_3</transition>
1744
<transition>OtherProcess_4_3_5</transition>
1745
<transition>OtherProcess_3_5_1</transition>
1746
<transition>OtherProcess_3_0_4</transition>
1747
<transition>OtherProcess_2_0_1</transition>
1748
<transition>OtherProcess_1_4_1</transition>
1749
<transition>OtherProcess_5_5_4</transition>
1750
<transition>OtherProcess_1_3_4</transition>
1751
<transition>OtherProcess_1_3_1</transition>
1752
<transition>OtherProcess_3_3_0</transition>
1753
<transition>OtherProcess_1_0_3</transition>
1754
<transition>OtherProcess_3_3_2</transition>
1755
<transition>OtherProcess_2_0_3</transition>
1756
<transition>OtherProcess_5_4_5</transition>
1757
<transition>OtherProcess_2_3_2</transition>
1758
<transition>OtherProcess_3_3_5</transition>
1759
<transition>OtherProcess_4_2_5</transition>
1760
<transition>OtherProcess_5_2_1</transition>
1761
<transition>OtherProcess_5_0_5</transition>
1762
<transition>OtherProcess_3_2_3</transition>
1763
<transition>OtherProcess_4_5_1</transition>
1764
<transition>OtherProcess_2_5_4</transition>
1765
<transition>OtherProcess_1_5_0</transition>
1766
<transition>OtherProcess_5_2_5</transition>
1767
<transition>OtherProcess_1_2_4</transition>
1768
<transition>OtherProcess_3_4_2</transition>
1769
<transition>OtherProcess_1_3_2</transition>
1770
<transition>OtherProcess_5_2_4</transition>
1771
<transition>OtherProcess_2_5_3</transition>
1772
<transition>OtherProcess_1_4_0</transition>
1773
<transition>OtherProcess_3_2_1</transition>
1774
<transition>OtherProcess_3_1_5</transition>
1775
<transition>OtherProcess_2_5_0</transition>
1776
<transition>OtherProcess_5_5_1</transition>
1777
<transition>OtherProcess_3_0_3</transition>
1778
<transition>OtherProcess_2_0_4</transition>
1779
<transition>OtherProcess_2_2_1</transition>
1780
<transition>OtherProcess_3_5_4</transition>
1781
<transition>OtherProcess_4_2_4</transition>
1782
<transition>OtherProcess_2_2_4</transition>
1783
<transition>OtherProcess_2_3_5</transition>
1784
<transition>OtherProcess_5_3_0</transition>
1785
<transition>OtherProcess_1_2_0</transition>
1786
<transition>OtherProcess_4_4_2</transition>
1787
<transition>OtherProcess_5_0_4</transition>
1788
<transition>OtherProcess_4_4_3</transition>
1789
<transition>OtherProcess_5_1_2</transition>
1790
<transition>OtherProcess_3_4_1</transition>
1791
<transition>OtherProcess_1_5_2</transition>
1798
<id>TokenRing-COL-005-LTLFireabilitySimple-15</id>
1799
<description>Automatically generated</description>
1804
<transition>OtherProcess_2_1_5</transition>
1805
<transition>OtherProcess_5_1_0</transition>
1806
<transition>OtherProcess_4_1_5</transition>
1807
<transition>OtherProcess_1_3_5</transition>
1808
<transition>OtherProcess_5_4_3</transition>
1809
<transition>OtherProcess_2_2_3</transition>
1810
<transition>OtherProcess_5_4_2</transition>
1811
<transition>OtherProcess_1_0_2</transition>
1812
<transition>OtherProcess_3_4_5</transition>
1813
<transition>OtherProcess_3_5_0</transition>
1814
<transition>OtherProcess_1_4_2</transition>
1815
<transition>OtherProcess_1_2_3</transition>
1816
<transition>OtherProcess_2_0_5</transition>
1817
<transition>OtherProcess_1_3_0</transition>
1818
<transition>OtherProcess_5_4_1</transition>
1819
<transition>OtherProcess_3_2_4</transition>
1820
<transition>OtherProcess_1_2_1</transition>
1821
<transition>OtherProcess_2_0_2</transition>
1822
<transition>OtherProcess_3_5_2</transition>
1823
<transition>OtherProcess_4_0_3</transition>
1824
<transition>OtherProcess_5_0_3</transition>
1825
<transition>OtherProcess_5_3_4</transition>
1826
<transition>OtherProcess_4_5_0</transition>
1827
<transition>OtherProcess_4_0_4</transition>
1828
<transition>OtherProcess_4_1_2</transition>
1829
<transition>OtherProcess_4_3_1</transition>
1830
<transition>OtherProcess_4_1_0</transition>
1831
<transition>OtherProcess_5_1_5</transition>
1832
<transition>OtherProcess_1_5_4</transition>
1833
<transition>OtherProcess_3_4_0</transition>
1834
<transition>OtherProcess_4_4_5</transition>
1835
<transition>OtherProcess_5_5_0</transition>
1836
<transition>OtherProcess_2_4_3</transition>
1837
<transition>OtherProcess_4_5_3</transition>
1838
<transition>OtherProcess_3_0_2</transition>
1839
<transition>OtherProcess_1_1_3</transition>
1840
<transition>OtherProcess_1_1_4</transition>
1841
<transition>OtherProcess_2_4_2</transition>
1842
<transition>OtherProcess_5_1_3</transition>
1843
<transition>OtherProcess_5_3_1</transition>
1844
<transition>OtherProcess_4_4_1</transition>
1845
<transition>OtherProcess_4_0_5</transition>
1846
<transition>OtherProcess_2_3_0</transition>
1847
<transition>OtherProcess_5_0_1</transition>
1848
<transition>OtherProcess_3_1_0</transition>
1849
<transition>OtherProcess_2_5_2</transition>
1850
<transition>OtherProcess_1_2_5</transition>
1851
<transition>OtherProcess_2_4_0</transition>
1852
<transition>OtherProcess_2_5_1</transition>
1853
<transition>OtherProcess_2_4_5</transition>
1854
<transition>OtherProcess_4_1_3</transition>
1855
<transition>OtherProcess_3_5_3</transition>
1856
<transition>OtherProcess_1_0_1</transition>
1857
<transition>OtherProcess_2_1_0</transition>
1858
<transition>OtherProcess_4_0_2</transition>
1859
<transition>OtherProcess_2_3_1</transition>
1860
<transition>OtherProcess_1_0_5</transition>
1861
<transition>OtherProcess_4_3_4</transition>
1862
<transition>OtherProcess_3_1_2</transition>
1863
<transition>OtherProcess_2_1_4</transition>
1864
<transition>OtherProcess_4_0_1</transition>
1865
<transition>OtherProcess_2_1_2</transition>
1866
<transition>OtherProcess_3_0_5</transition>
1867
<transition>OtherProcess_2_1_3</transition>
1868
<transition>OtherProcess_4_2_0</transition>
1869
<transition>OtherProcess_4_3_2</transition>
1870
<transition>OtherProcess_1_0_4</transition>
1871
<transition>OtherProcess_5_5_2</transition>
1872
<transition>OtherProcess_2_2_5</transition>
1873
<transition>OtherProcess_3_4_3</transition>
1874
<transition>OtherProcess_1_5_1</transition>
1875
<transition>OtherProcess_5_0_2</transition>
1876
<transition>OtherProcess_3_3_4</transition>
1877
<transition>OtherProcess_4_5_2</transition>
1878
<transition>OtherProcess_1_1_0</transition>
1879
<transition>OtherProcess_1_4_5</transition>
1880
<transition>OtherProcess_3_1_3</transition>
1881
<transition>OtherProcess_4_1_4</transition>
1882
<transition>OtherProcess_4_4_0</transition>
1883
<transition>OtherProcess_5_2_0</transition>
1884
<transition>OtherProcess_1_1_2</transition>
1885
<transition>OtherProcess_5_3_2</transition>
1886
<transition>OtherProcess_3_3_1</transition>
1887
<transition>OtherProcess_3_0_1</transition>
1888
<transition>OtherProcess_5_2_3</transition>
1889
<transition>OtherProcess_3_1_4</transition>
1890
<transition>OtherProcess_5_5_3</transition>
1891
<transition>OtherProcess_4_5_4</transition>
1892
<transition>OtherProcess_2_2_0</transition>
1893
<transition>OtherProcess_2_4_1</transition>
1894
<transition>OtherProcess_1_4_3</transition>
1895
<transition>OtherProcess_4_3_0</transition>
1896
<transition>OtherProcess_1_1_5</transition>
1897
<transition>OtherProcess_3_2_5</transition>
1898
<transition>OtherProcess_5_3_5</transition>
1899
<transition>OtherProcess_2_3_4</transition>
1900
<transition>OtherProcess_5_1_4</transition>
1901
<transition>OtherProcess_4_2_1</transition>
1902
<transition>OtherProcess_4_2_3</transition>
1903
<transition>OtherProcess_3_2_0</transition>
1904
<transition>OtherProcess_5_4_0</transition>
1905
<transition>OtherProcess_1_5_3</transition>
1906
<transition>OtherProcess_4_3_5</transition>
1907
<transition>OtherProcess_3_5_1</transition>
1908
<transition>OtherProcess_3_0_4</transition>
1909
<transition>OtherProcess_2_0_1</transition>
1910
<transition>OtherProcess_1_4_1</transition>
1911
<transition>OtherProcess_5_5_4</transition>
1912
<transition>OtherProcess_1_3_4</transition>
1913
<transition>OtherProcess_1_3_1</transition>
1914
<transition>OtherProcess_3_3_0</transition>
1915
<transition>OtherProcess_1_0_3</transition>
1916
<transition>OtherProcess_3_3_2</transition>
1917
<transition>OtherProcess_2_0_3</transition>
1918
<transition>OtherProcess_5_4_5</transition>
1919
<transition>OtherProcess_2_3_2</transition>
1920
<transition>OtherProcess_3_3_5</transition>
1921
<transition>OtherProcess_4_2_5</transition>
1922
<transition>OtherProcess_5_2_1</transition>
1923
<transition>OtherProcess_5_0_5</transition>
1924
<transition>OtherProcess_3_2_3</transition>
1925
<transition>OtherProcess_4_5_1</transition>
1926
<transition>OtherProcess_2_5_4</transition>
1927
<transition>OtherProcess_1_5_0</transition>
1928
<transition>OtherProcess_5_2_5</transition>
1929
<transition>OtherProcess_1_2_4</transition>
1930
<transition>OtherProcess_3_4_2</transition>
1931
<transition>OtherProcess_1_3_2</transition>
1932
<transition>OtherProcess_5_2_4</transition>
1933
<transition>OtherProcess_2_5_3</transition>
1934
<transition>OtherProcess_1_4_0</transition>
1935
<transition>OtherProcess_3_2_1</transition>
1936
<transition>OtherProcess_3_1_5</transition>
1937
<transition>OtherProcess_2_5_0</transition>
1938
<transition>OtherProcess_5_5_1</transition>
1939
<transition>OtherProcess_3_0_3</transition>
1940
<transition>OtherProcess_2_0_4</transition>
1941
<transition>OtherProcess_2_2_1</transition>
1942
<transition>OtherProcess_3_5_4</transition>
1943
<transition>OtherProcess_4_2_4</transition>
1944
<transition>OtherProcess_2_2_4</transition>
1945
<transition>OtherProcess_2_3_5</transition>
1946
<transition>OtherProcess_5_3_0</transition>
1947
<transition>OtherProcess_1_2_0</transition>
1948
<transition>OtherProcess_4_4_2</transition>
1949
<transition>OtherProcess_5_0_4</transition>
1950
<transition>OtherProcess_4_4_3</transition>
1951
<transition>OtherProcess_5_1_2</transition>
1952
<transition>OtherProcess_3_4_1</transition>
1953
<transition>OtherProcess_1_5_2</transition>