2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-0</id>
5
<description>Automatically generated</description>
10
<transition>elaborate3_1_1_7_1_1</transition>
11
<transition>elaborate3_1_2_7_1_1</transition>
12
<transition>elaborate3_2_1_7_1_1</transition>
13
<transition>elaborate3_1_1_8_1_1</transition>
14
<transition>elaborate3_2_2_7_1_1</transition>
15
<transition>elaborate3_2_2_8_1_1</transition>
16
<transition>elaborate3_1_1_7_2_1</transition>
17
<transition>elaborate3_2_1_8_1_1</transition>
18
<transition>elaborate3_1_2_8_1_1</transition>
19
<transition>elaborate3_2_2_7_2_1</transition>
20
<transition>elaborate3_1_1_8_2_1</transition>
21
<transition>elaborate3_2_1_7_2_1</transition>
22
<transition>elaborate3_1_2_7_2_1</transition>
23
<transition>elaborate3_2_2_8_2_1</transition>
24
<transition>elaborate3_1_1_7_1_2</transition>
25
<transition>elaborate3_2_1_8_2_1</transition>
26
<transition>elaborate3_1_2_8_2_1</transition>
27
<transition>elaborate3_2_2_7_1_2</transition>
28
<transition>elaborate3_1_1_8_1_2</transition>
29
<transition>elaborate3_2_1_7_1_2</transition>
30
<transition>elaborate3_1_2_7_1_2</transition>
31
<transition>elaborate3_1_1_7_2_2</transition>
32
<transition>elaborate3_2_2_8_1_2</transition>
33
<transition>elaborate3_1_2_8_1_2</transition>
34
<transition>elaborate3_2_1_8_1_2</transition>
35
<transition>elaborate3_1_1_8_2_2</transition>
36
<transition>elaborate3_2_2_7_2_2</transition>
37
<transition>elaborate3_1_2_7_2_2</transition>
38
<transition>elaborate3_2_1_7_2_2</transition>
39
<transition>elaborate3_2_2_8_2_2</transition>
40
<transition>elaborate3_1_2_8_2_2</transition>
41
<transition>elaborate3_2_1_8_2_2</transition>
48
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-1</id>
49
<description>Automatically generated</description>
55
<transition>elaborate0_1_2</transition>
56
<transition>elaborate0_2_1</transition>
57
<transition>elaborate0_2_2</transition>
58
<transition>elaborate0_1_1</transition>
63
<transition>elaborate3_1_1_7_1_1</transition>
64
<transition>elaborate3_1_2_7_1_1</transition>
65
<transition>elaborate3_2_1_7_1_1</transition>
66
<transition>elaborate3_1_1_8_1_1</transition>
67
<transition>elaborate3_2_2_7_1_1</transition>
68
<transition>elaborate3_2_2_8_1_1</transition>
69
<transition>elaborate3_1_1_7_2_1</transition>
70
<transition>elaborate3_2_1_8_1_1</transition>
71
<transition>elaborate3_1_2_8_1_1</transition>
72
<transition>elaborate3_2_2_7_2_1</transition>
73
<transition>elaborate3_1_1_8_2_1</transition>
74
<transition>elaborate3_2_1_7_2_1</transition>
75
<transition>elaborate3_1_2_7_2_1</transition>
76
<transition>elaborate3_2_2_8_2_1</transition>
77
<transition>elaborate3_1_1_7_1_2</transition>
78
<transition>elaborate3_2_1_8_2_1</transition>
79
<transition>elaborate3_1_2_8_2_1</transition>
80
<transition>elaborate3_2_2_7_1_2</transition>
81
<transition>elaborate3_1_1_8_1_2</transition>
82
<transition>elaborate3_2_1_7_1_2</transition>
83
<transition>elaborate3_1_2_7_1_2</transition>
84
<transition>elaborate3_1_1_7_2_2</transition>
85
<transition>elaborate3_2_2_8_1_2</transition>
86
<transition>elaborate3_1_2_8_1_2</transition>
87
<transition>elaborate3_2_1_8_1_2</transition>
88
<transition>elaborate3_1_1_8_2_2</transition>
89
<transition>elaborate3_2_2_7_2_2</transition>
90
<transition>elaborate3_1_2_7_2_2</transition>
91
<transition>elaborate3_2_1_7_2_2</transition>
92
<transition>elaborate3_2_2_8_2_2</transition>
93
<transition>elaborate3_1_2_8_2_2</transition>
94
<transition>elaborate3_2_1_8_2_2</transition>
102
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-2</id>
103
<description>Automatically generated</description>
108
<transition>elaborate3_1_1_7_1_1</transition>
109
<transition>elaborate3_1_2_7_1_1</transition>
110
<transition>elaborate3_2_1_7_1_1</transition>
111
<transition>elaborate3_1_1_8_1_1</transition>
112
<transition>elaborate3_2_2_7_1_1</transition>
113
<transition>elaborate3_2_2_8_1_1</transition>
114
<transition>elaborate3_1_1_7_2_1</transition>
115
<transition>elaborate3_2_1_8_1_1</transition>
116
<transition>elaborate3_1_2_8_1_1</transition>
117
<transition>elaborate3_2_2_7_2_1</transition>
118
<transition>elaborate3_1_1_8_2_1</transition>
119
<transition>elaborate3_2_1_7_2_1</transition>
120
<transition>elaborate3_1_2_7_2_1</transition>
121
<transition>elaborate3_2_2_8_2_1</transition>
122
<transition>elaborate3_1_1_7_1_2</transition>
123
<transition>elaborate3_2_1_8_2_1</transition>
124
<transition>elaborate3_1_2_8_2_1</transition>
125
<transition>elaborate3_2_2_7_1_2</transition>
126
<transition>elaborate3_1_1_8_1_2</transition>
127
<transition>elaborate3_2_1_7_1_2</transition>
128
<transition>elaborate3_1_2_7_1_2</transition>
129
<transition>elaborate3_1_1_7_2_2</transition>
130
<transition>elaborate3_2_2_8_1_2</transition>
131
<transition>elaborate3_1_2_8_1_2</transition>
132
<transition>elaborate3_2_1_8_1_2</transition>
133
<transition>elaborate3_1_1_8_2_2</transition>
134
<transition>elaborate3_2_2_7_2_2</transition>
135
<transition>elaborate3_1_2_7_2_2</transition>
136
<transition>elaborate3_2_1_7_2_2</transition>
137
<transition>elaborate3_2_2_8_2_2</transition>
138
<transition>elaborate3_1_2_8_2_2</transition>
139
<transition>elaborate3_2_1_8_2_2</transition>
146
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-3</id>
147
<description>Automatically generated</description>
152
<transition>elaborate3_1_1_7_1_1</transition>
153
<transition>elaborate3_1_2_7_1_1</transition>
154
<transition>elaborate3_2_1_7_1_1</transition>
155
<transition>elaborate3_1_1_8_1_1</transition>
156
<transition>elaborate3_2_2_7_1_1</transition>
157
<transition>elaborate3_2_2_8_1_1</transition>
158
<transition>elaborate3_1_1_7_2_1</transition>
159
<transition>elaborate3_2_1_8_1_1</transition>
160
<transition>elaborate3_1_2_8_1_1</transition>
161
<transition>elaborate3_2_2_7_2_1</transition>
162
<transition>elaborate3_1_1_8_2_1</transition>
163
<transition>elaborate3_2_1_7_2_1</transition>
164
<transition>elaborate3_1_2_7_2_1</transition>
165
<transition>elaborate3_2_2_8_2_1</transition>
166
<transition>elaborate3_1_1_7_1_2</transition>
167
<transition>elaborate3_2_1_8_2_1</transition>
168
<transition>elaborate3_1_2_8_2_1</transition>
169
<transition>elaborate3_2_2_7_1_2</transition>
170
<transition>elaborate3_1_1_8_1_2</transition>
171
<transition>elaborate3_2_1_7_1_2</transition>
172
<transition>elaborate3_1_2_7_1_2</transition>
173
<transition>elaborate3_1_1_7_2_2</transition>
174
<transition>elaborate3_2_2_8_1_2</transition>
175
<transition>elaborate3_1_2_8_1_2</transition>
176
<transition>elaborate3_2_1_8_1_2</transition>
177
<transition>elaborate3_1_1_8_2_2</transition>
178
<transition>elaborate3_2_2_7_2_2</transition>
179
<transition>elaborate3_1_2_7_2_2</transition>
180
<transition>elaborate3_2_1_7_2_2</transition>
181
<transition>elaborate3_2_2_8_2_2</transition>
182
<transition>elaborate3_1_2_8_2_2</transition>
183
<transition>elaborate3_2_1_8_2_2</transition>
190
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-4</id>
191
<description>Automatically generated</description>
196
<transition>elaborate3_1_1_7_1_1</transition>
197
<transition>elaborate3_1_2_7_1_1</transition>
198
<transition>elaborate3_2_1_7_1_1</transition>
199
<transition>elaborate3_1_1_8_1_1</transition>
200
<transition>elaborate3_2_2_7_1_1</transition>
201
<transition>elaborate3_2_2_8_1_1</transition>
202
<transition>elaborate3_1_1_7_2_1</transition>
203
<transition>elaborate3_2_1_8_1_1</transition>
204
<transition>elaborate3_1_2_8_1_1</transition>
205
<transition>elaborate3_2_2_7_2_1</transition>
206
<transition>elaborate3_1_1_8_2_1</transition>
207
<transition>elaborate3_2_1_7_2_1</transition>
208
<transition>elaborate3_1_2_7_2_1</transition>
209
<transition>elaborate3_2_2_8_2_1</transition>
210
<transition>elaborate3_1_1_7_1_2</transition>
211
<transition>elaborate3_2_1_8_2_1</transition>
212
<transition>elaborate3_1_2_8_2_1</transition>
213
<transition>elaborate3_2_2_7_1_2</transition>
214
<transition>elaborate3_1_1_8_1_2</transition>
215
<transition>elaborate3_2_1_7_1_2</transition>
216
<transition>elaborate3_1_2_7_1_2</transition>
217
<transition>elaborate3_1_1_7_2_2</transition>
218
<transition>elaborate3_2_2_8_1_2</transition>
219
<transition>elaborate3_1_2_8_1_2</transition>
220
<transition>elaborate3_2_1_8_1_2</transition>
221
<transition>elaborate3_1_1_8_2_2</transition>
222
<transition>elaborate3_2_2_7_2_2</transition>
223
<transition>elaborate3_1_2_7_2_2</transition>
224
<transition>elaborate3_2_1_7_2_2</transition>
225
<transition>elaborate3_2_2_8_2_2</transition>
226
<transition>elaborate3_1_2_8_2_2</transition>
227
<transition>elaborate3_2_1_8_2_2</transition>
234
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-5</id>
235
<description>Automatically generated</description>
240
<transition>elaborate3_1_1_7_1_1</transition>
241
<transition>elaborate3_1_2_7_1_1</transition>
242
<transition>elaborate3_2_1_7_1_1</transition>
243
<transition>elaborate3_1_1_8_1_1</transition>
244
<transition>elaborate3_2_2_7_1_1</transition>
245
<transition>elaborate3_2_2_8_1_1</transition>
246
<transition>elaborate3_1_1_7_2_1</transition>
247
<transition>elaborate3_2_1_8_1_1</transition>
248
<transition>elaborate3_1_2_8_1_1</transition>
249
<transition>elaborate3_2_2_7_2_1</transition>
250
<transition>elaborate3_1_1_8_2_1</transition>
251
<transition>elaborate3_2_1_7_2_1</transition>
252
<transition>elaborate3_1_2_7_2_1</transition>
253
<transition>elaborate3_2_2_8_2_1</transition>
254
<transition>elaborate3_1_1_7_1_2</transition>
255
<transition>elaborate3_2_1_8_2_1</transition>
256
<transition>elaborate3_1_2_8_2_1</transition>
257
<transition>elaborate3_2_2_7_1_2</transition>
258
<transition>elaborate3_1_1_8_1_2</transition>
259
<transition>elaborate3_2_1_7_1_2</transition>
260
<transition>elaborate3_1_2_7_1_2</transition>
261
<transition>elaborate3_1_1_7_2_2</transition>
262
<transition>elaborate3_2_2_8_1_2</transition>
263
<transition>elaborate3_1_2_8_1_2</transition>
264
<transition>elaborate3_2_1_8_1_2</transition>
265
<transition>elaborate3_1_1_8_2_2</transition>
266
<transition>elaborate3_2_2_7_2_2</transition>
267
<transition>elaborate3_1_2_7_2_2</transition>
268
<transition>elaborate3_2_1_7_2_2</transition>
269
<transition>elaborate3_2_2_8_2_2</transition>
270
<transition>elaborate3_1_2_8_2_2</transition>
271
<transition>elaborate3_2_1_8_2_2</transition>
278
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-6</id>
279
<description>Automatically generated</description>
284
<transition>elaborate3_1_1_7_1_1</transition>
285
<transition>elaborate3_1_2_7_1_1</transition>
286
<transition>elaborate3_2_1_7_1_1</transition>
287
<transition>elaborate3_1_1_8_1_1</transition>
288
<transition>elaborate3_2_2_7_1_1</transition>
289
<transition>elaborate3_2_2_8_1_1</transition>
290
<transition>elaborate3_1_1_7_2_1</transition>
291
<transition>elaborate3_2_1_8_1_1</transition>
292
<transition>elaborate3_1_2_8_1_1</transition>
293
<transition>elaborate3_2_2_7_2_1</transition>
294
<transition>elaborate3_1_1_8_2_1</transition>
295
<transition>elaborate3_2_1_7_2_1</transition>
296
<transition>elaborate3_1_2_7_2_1</transition>
297
<transition>elaborate3_2_2_8_2_1</transition>
298
<transition>elaborate3_1_1_7_1_2</transition>
299
<transition>elaborate3_2_1_8_2_1</transition>
300
<transition>elaborate3_1_2_8_2_1</transition>
301
<transition>elaborate3_2_2_7_1_2</transition>
302
<transition>elaborate3_1_1_8_1_2</transition>
303
<transition>elaborate3_2_1_7_1_2</transition>
304
<transition>elaborate3_1_2_7_1_2</transition>
305
<transition>elaborate3_1_1_7_2_2</transition>
306
<transition>elaborate3_2_2_8_1_2</transition>
307
<transition>elaborate3_1_2_8_1_2</transition>
308
<transition>elaborate3_2_1_8_1_2</transition>
309
<transition>elaborate3_1_1_8_2_2</transition>
310
<transition>elaborate3_2_2_7_2_2</transition>
311
<transition>elaborate3_1_2_7_2_2</transition>
312
<transition>elaborate3_2_1_7_2_2</transition>
313
<transition>elaborate3_2_2_8_2_2</transition>
314
<transition>elaborate3_1_2_8_2_2</transition>
315
<transition>elaborate3_2_1_8_2_2</transition>
322
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-7</id>
323
<description>Automatically generated</description>
328
<transition>elaborate1_2_3_1</transition>
329
<transition>elaborate1_1_4_1</transition>
330
<transition>elaborate1_2_4_1</transition>
331
<transition>elaborate1_1_3_2</transition>
332
<transition>elaborate1_1_3_1</transition>
333
<transition>elaborate1_1_4_2</transition>
334
<transition>elaborate1_2_3_2</transition>
335
<transition>elaborate1_2_4_2</transition>
342
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-8</id>
343
<description>Automatically generated</description>
348
<transition>elaborate3_1_1_7_1_1</transition>
349
<transition>elaborate3_1_2_7_1_1</transition>
350
<transition>elaborate3_2_1_7_1_1</transition>
351
<transition>elaborate3_1_1_8_1_1</transition>
352
<transition>elaborate3_2_2_7_1_1</transition>
353
<transition>elaborate3_2_2_8_1_1</transition>
354
<transition>elaborate3_1_1_7_2_1</transition>
355
<transition>elaborate3_2_1_8_1_1</transition>
356
<transition>elaborate3_1_2_8_1_1</transition>
357
<transition>elaborate3_2_2_7_2_1</transition>
358
<transition>elaborate3_1_1_8_2_1</transition>
359
<transition>elaborate3_2_1_7_2_1</transition>
360
<transition>elaborate3_1_2_7_2_1</transition>
361
<transition>elaborate3_2_2_8_2_1</transition>
362
<transition>elaborate3_1_1_7_1_2</transition>
363
<transition>elaborate3_2_1_8_2_1</transition>
364
<transition>elaborate3_1_2_8_2_1</transition>
365
<transition>elaborate3_2_2_7_1_2</transition>
366
<transition>elaborate3_1_1_8_1_2</transition>
367
<transition>elaborate3_2_1_7_1_2</transition>
368
<transition>elaborate3_1_2_7_1_2</transition>
369
<transition>elaborate3_1_1_7_2_2</transition>
370
<transition>elaborate3_2_2_8_1_2</transition>
371
<transition>elaborate3_1_2_8_1_2</transition>
372
<transition>elaborate3_2_1_8_1_2</transition>
373
<transition>elaborate3_1_1_8_2_2</transition>
374
<transition>elaborate3_2_2_7_2_2</transition>
375
<transition>elaborate3_1_2_7_2_2</transition>
376
<transition>elaborate3_2_1_7_2_2</transition>
377
<transition>elaborate3_2_2_8_2_2</transition>
378
<transition>elaborate3_1_2_8_2_2</transition>
379
<transition>elaborate3_2_1_8_2_2</transition>
386
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-9</id>
387
<description>Automatically generated</description>
392
<transition>addProduct_1</transition>
393
<transition>addProduct_2</transition>
400
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-10</id>
401
<description>Automatically generated</description>
407
<transition>serve_3</transition>
408
<transition>serve_2</transition>
409
<transition>serve_5</transition>
410
<transition>serve_4</transition>
411
<transition>serve_1</transition>
412
<transition>serve_7</transition>
413
<transition>serve_6</transition>
414
<transition>serve_8</transition>
419
<transition>elaborate1_2_3_1</transition>
420
<transition>elaborate1_1_4_1</transition>
421
<transition>elaborate1_2_4_1</transition>
422
<transition>elaborate1_1_3_2</transition>
423
<transition>elaborate1_1_3_1</transition>
424
<transition>elaborate1_1_4_2</transition>
425
<transition>elaborate1_2_3_2</transition>
426
<transition>elaborate1_2_4_2</transition>
434
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-11</id>
435
<description>Automatically generated</description>
440
<transition>elaborate0_1_2</transition>
441
<transition>elaborate0_2_1</transition>
442
<transition>elaborate0_2_2</transition>
443
<transition>elaborate0_1_1</transition>
450
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-12</id>
451
<description>Automatically generated</description>
457
<transition>elaborate0_1_2</transition>
458
<transition>elaborate0_2_1</transition>
459
<transition>elaborate0_2_2</transition>
460
<transition>elaborate0_1_1</transition>
465
<transition>elaborate2_1_1_5_1</transition>
466
<transition>elaborate2_1_1_6_1</transition>
467
<transition>elaborate2_2_2_5_1</transition>
468
<transition>elaborate2_1_2_5_1</transition>
469
<transition>elaborate2_2_1_5_1</transition>
470
<transition>elaborate2_2_1_5_2</transition>
471
<transition>elaborate2_1_2_5_2</transition>
472
<transition>elaborate2_2_2_5_2</transition>
473
<transition>elaborate2_1_1_6_2</transition>
474
<transition>elaborate2_2_1_6_1</transition>
475
<transition>elaborate2_1_2_6_1</transition>
476
<transition>elaborate2_2_2_6_1</transition>
477
<transition>elaborate2_1_1_5_2</transition>
478
<transition>elaborate2_2_1_6_2</transition>
479
<transition>elaborate2_1_2_6_2</transition>
480
<transition>elaborate2_2_2_6_2</transition>
488
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-13</id>
489
<description>Automatically generated</description>
494
<transition>addOption_2</transition>
495
<transition>addOption_1</transition>
502
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-14</id>
503
<description>Automatically generated</description>
508
<transition>elaborate1_2_3_1</transition>
509
<transition>elaborate1_1_4_1</transition>
510
<transition>elaborate1_2_4_1</transition>
511
<transition>elaborate1_1_3_2</transition>
512
<transition>elaborate1_1_3_1</transition>
513
<transition>elaborate1_1_4_2</transition>
514
<transition>elaborate1_2_3_2</transition>
515
<transition>elaborate1_2_4_2</transition>
522
<id>DrinkVendingMachine-COL-02-CTLFireabilitySimple-15</id>
523
<description>Automatically generated</description>
529
<transition>addProduct_1</transition>
530
<transition>addProduct_2</transition>
535
<transition>elaborate1_2_3_1</transition>
536
<transition>elaborate1_1_4_1</transition>
537
<transition>elaborate1_2_4_1</transition>
538
<transition>elaborate1_1_3_2</transition>
539
<transition>elaborate1_1_3_1</transition>
540
<transition>elaborate1_1_4_2</transition>
541
<transition>elaborate1_2_3_2</transition>
542
<transition>elaborate1_2_4_2</transition>