2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>Dekker-PT-010-ReachabilityFireability-0</id>
5
<description>Automatically generated</description>
14
<transition>withdraw_2_5</transition>
17
<transition>withdraw_1_9</transition>
24
<transition>withdraw_8_1</transition>
27
<transition>exit_9</transition>
32
<transition>withdraw_7_6</transition>
38
<transition>withdraw_7_5</transition>
46
<id>Dekker-PT-010-ReachabilityFireability-1</id>
47
<description>Automatically generated</description>
53
<transition>try_5</transition>
59
<transition>withdraw_3_2</transition>
66
<transition>exit_8</transition>
71
<transition>withdraw_8_4</transition>
74
<transition>withdraw_6_4</transition>
85
<id>Dekker-PT-010-ReachabilityFireability-2</id>
86
<description>Automatically generated</description>
93
<transition>withdraw_5_0</transition>
96
<transition>withdraw_8_7</transition>
103
<transition>withdraw_4_9</transition>
106
<transition>withdraw_6_9</transition>
111
<transition>withdraw_0_7</transition>
114
<transition>withdraw_2_6</transition>
121
<transition>withdraw_3_0</transition>
124
<transition>withdraw_4_1</transition>
129
<transition>try_0</transition>
132
<transition>withdraw_0_1</transition>
143
<id>Dekker-PT-010-ReachabilityFireability-3</id>
144
<description>Automatically generated</description>
153
<transition>try_3</transition>
156
<transition>withdraw_1_7</transition>
160
<transition>withdraw_1_6</transition>
165
<transition>try_3</transition>
169
<transition>withdraw_5_7</transition>
172
<transition>withdraw_4_8</transition>
178
<transition>withdraw_0_4</transition>
186
<id>Dekker-PT-010-ReachabilityFireability-4</id>
187
<description>Automatically generated</description>
196
<transition>withdraw_5_1</transition>
199
<transition>withdraw_4_9</transition>
205
<transition>exit_6</transition>
208
<transition>withdraw_1_0</transition>
213
<transition>withdraw_9_3</transition>
221
<id>Dekker-PT-010-ReachabilityFireability-5</id>
222
<description>Automatically generated</description>
231
<transition>withdraw_2_7</transition>
234
<transition>withdraw_5_2</transition>
239
<transition>try_2</transition>
242
<transition>enter_6</transition>
247
<transition>exit_1</transition>
254
<transition>withdraw_8_3</transition>
257
<transition>withdraw_6_7</transition>
262
<transition>try_8</transition>
269
<transition>withdraw_3_1</transition>
273
<transition>withdraw_2_6</transition>
283
<id>Dekker-PT-010-ReachabilityFireability-6</id>
284
<description>Automatically generated</description>
293
<transition>withdraw_9_1</transition>
296
<transition>withdraw_1_3</transition>
303
<transition>exit_9</transition>
306
<transition>exit_5</transition>
311
<transition>withdraw_8_9</transition>
314
<transition>withdraw_2_1</transition>
322
<transition>withdraw_9_2</transition>
326
<transition>exit_6</transition>
329
<transition>withdraw_7_4</transition>
335
<transition>exit_2</transition>
338
<transition>withdraw_7_6</transition>
348
<id>Dekker-PT-010-ReachabilityFireability-7</id>
349
<description>Automatically generated</description>
358
<transition>withdraw_1_3</transition>
363
<transition>enter_4</transition>
369
<transition>exit_2</transition>
372
<transition>withdraw_2_0</transition>
382
<id>Dekker-PT-010-ReachabilityFireability-8</id>
383
<description>Automatically generated</description>
391
<transition>withdraw_3_8</transition>
395
<transition>withdraw_0_3</transition>
398
<transition>withdraw_0_6</transition>
405
<transition>try_2</transition>
409
<transition>withdraw_1_2</transition>
416
<transition>withdraw_5_4</transition>
420
<transition>try_7</transition>
423
<transition>withdraw_5_8</transition>
430
<transition>withdraw_7_5</transition>
433
<transition>withdraw_4_2</transition>
444
<id>Dekker-PT-010-ReachabilityFireability-9</id>
445
<description>Automatically generated</description>
452
<transition>enter_2</transition>
459
<transition>withdraw_5_6</transition>
462
<transition>try_5</transition>
473
<id>Dekker-PT-010-ReachabilityFireability-10</id>
474
<description>Automatically generated</description>
483
<transition>withdraw_3_7</transition>
486
<transition>withdraw_1_4</transition>
491
<transition>withdraw_4_1</transition>
500
<id>Dekker-PT-010-ReachabilityFireability-11</id>
501
<description>Automatically generated</description>
510
<transition>exit_4</transition>
515
<transition>withdraw_1_2</transition>
518
<transition>withdraw_3_6</transition>
525
<transition>withdraw_2_7</transition>
528
<transition>withdraw_7_3</transition>
533
<transition>withdraw_4_3</transition>
536
<transition>try_5</transition>
545
<transition>withdraw_9_0</transition>
548
<transition>enter_9</transition>
553
<transition>exit_1</transition>
556
<transition>withdraw_3_2</transition>
563
<transition>withdraw_5_9</transition>
568
<transition>withdraw_7_0</transition>
571
<transition>withdraw_1_7</transition>
582
<id>Dekker-PT-010-ReachabilityFireability-12</id>
583
<description>Automatically generated</description>
588
<transition>withdraw_6_5</transition>
595
<id>Dekker-PT-010-ReachabilityFireability-13</id>
596
<description>Automatically generated</description>
602
<transition>withdraw_4_0</transition>
605
<transition>withdraw_7_2</transition>
613
<id>Dekker-PT-010-ReachabilityFireability-14</id>
614
<description>Automatically generated</description>
623
<transition>withdraw_0_5</transition>
626
<transition>withdraw_4_1</transition>
632
<transition>withdraw_0_2</transition>
636
<transition>withdraw_6_9</transition>
639
<transition>enter_7</transition>
645
<transition>withdraw_2_8</transition>
653
<id>Dekker-PT-010-ReachabilityFireability-15</id>
654
<description>Automatically generated</description>
660
<transition>withdraw_9_5</transition>
664
<transition>withdraw_3_2</transition>
668
<transition>withdraw_8_9</transition>
672
<transition>withdraw_5_4</transition>
675
<transition>exit_8</transition>