2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>Eratosthenes-PT-050-ReachabilityFireability-0</id>
5
<description>Automatically generated</description>
14
<transition>t48.2</transition>
17
<transition>t28.2</transition>
22
<transition>t40.4</transition>
25
<transition>t40.2</transition>
30
<transition>t16.8</transition>
39
<id>Eratosthenes-PT-050-ReachabilityFireability-1</id>
40
<description>Automatically generated</description>
47
<transition>t16.2</transition>
51
<transition>t50.5</transition>
55
<transition>t24.3</transition>
62
<transition>t45.15</transition>
67
<transition>t36.3</transition>
70
<transition>t38.2</transition>
75
<transition>t42.21</transition>
78
<transition>t50.25</transition>
89
<id>Eratosthenes-PT-050-ReachabilityFireability-2</id>
90
<description>Automatically generated</description>
98
<transition>t48.3</transition>
105
<transition>t15.5</transition>
108
<transition>t32.2</transition>
114
<transition>t18.2</transition>
117
<transition>t36.18</transition>
122
<transition>t40.5</transition>
125
<transition>t20.5</transition>
136
<id>Eratosthenes-PT-050-ReachabilityFireability-3</id>
137
<description>Automatically generated</description>
143
<transition>t16.2</transition>
147
<transition>t42.3</transition>
150
<transition>t10.2</transition>
159
<id>Eratosthenes-PT-050-ReachabilityFireability-4</id>
160
<description>Automatically generated</description>
169
<transition>t40.5</transition>
172
<transition>t32.4</transition>
177
<transition>t48.3</transition>
180
<transition>t40.5</transition>
185
<transition>t30.6</transition>
192
<transition>t18.3</transition>
195
<transition>t42.3</transition>
202
<transition>t26.13</transition>
205
<transition>t21.7</transition>
216
<id>Eratosthenes-PT-050-ReachabilityFireability-5</id>
217
<description>Automatically generated</description>
223
<transition>t48.16</transition>
228
<transition>t30.15</transition>
232
<transition>t21.3</transition>
235
<transition>t34.17</transition>
241
<transition>t12.6</transition>
244
<transition>t8.2</transition>
254
<id>Eratosthenes-PT-050-ReachabilityFireability-6</id>
255
<description>Automatically generated</description>
262
<transition>t50.25</transition>
267
<transition>t48.6</transition>
270
<transition>t42.2</transition>
274
<transition>t34.17</transition>
281
<transition>t6.3</transition>
284
<transition>t18.3</transition>
288
<transition>t12.4</transition>
297
<id>Eratosthenes-PT-050-ReachabilityFireability-7</id>
298
<description>Automatically generated</description>
307
<transition>t28.2</transition>
310
<transition>t12.4</transition>
319
<transition>t14.2</transition>
322
<transition>t48.6</transition>
327
<transition>t27.9</transition>
330
<transition>t28.7</transition>
335
<transition>t44.4</transition>
344
<id>Eratosthenes-PT-050-ReachabilityFireability-8</id>
345
<description>Automatically generated</description>
354
<transition>t27.9</transition>
357
<transition>t40.20</transition>
362
<transition>t36.9</transition>
365
<transition>t42.6</transition>
371
<transition>t14.7</transition>
374
<transition>t44.11</transition>
384
<id>Eratosthenes-PT-050-ReachabilityFireability-9</id>
385
<description>Automatically generated</description>
392
<transition>t8.4</transition>
395
<transition>t36.2</transition>
402
<transition>t6.3</transition>
405
<transition>t50.25</transition>
411
<transition>t20.10</transition>
415
<transition>t6.2</transition>
426
<id>Eratosthenes-PT-050-ReachabilityFireability-10</id>
427
<description>Automatically generated</description>
436
<transition>t35.5</transition>
439
<transition>t42.21</transition>
446
<transition>t39.3</transition>
449
<transition>t36.6</transition>
454
<transition>t38.2</transition>
457
<transition>t48.8</transition>
468
<id>Eratosthenes-PT-050-ReachabilityFireability-11</id>
469
<description>Automatically generated</description>
478
<transition>t33.11</transition>
481
<transition>t35.5</transition>
489
<transition>t40.20</transition>
499
<id>Eratosthenes-PT-050-ReachabilityFireability-12</id>
500
<description>Automatically generated</description>
506
<transition>t44.11</transition>
512
<transition>t40.8</transition>
515
<transition>t33.11</transition>
519
<transition>t42.2</transition>
525
<transition>t21.3</transition>
528
<transition>t9.3</transition>
533
<transition>t35.5</transition>
536
<transition>t21.3</transition>
547
<id>Eratosthenes-PT-050-ReachabilityFireability-13</id>
548
<description>Automatically generated</description>
557
<transition>t48.8</transition>
560
<transition>t14.2</transition>
565
<transition>t30.15</transition>
568
<transition>t8.2</transition>
575
<transition>t10.2</transition>
578
<transition>t20.10</transition>
583
<transition>t49.7</transition>
586
<transition>t48.24</transition>
597
<id>Eratosthenes-PT-050-ReachabilityFireability-14</id>
598
<description>Automatically generated</description>
607
<transition>t44.2</transition>
610
<transition>t6.3</transition>
615
<transition>t50.5</transition>
618
<transition>t24.4</transition>
625
<transition>t10.5</transition>
628
<transition>t42.14</transition>
632
<transition>t46.2</transition>
640
<transition>t44.11</transition>
643
<transition>t12.6</transition>
648
<transition>t48.4</transition>
653
<transition>t48.2</transition>
662
<id>Eratosthenes-PT-050-ReachabilityFireability-15</id>
663
<description>Automatically generated</description>
668
<transition>t36.18</transition>