2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>Vasy2003-PT-none-CTLFireability-0</id>
5
<description>Automatically generated</description>
12
<transition>t400</transition>
21
<id>Vasy2003-PT-none-CTLFireability-1</id>
22
<description>Automatically generated</description>
30
<transition>t124</transition>
40
<transition>t343</transition>
43
<transition>t252</transition>
47
<transition>t494</transition>
53
<transition>t516</transition>
64
<id>Vasy2003-PT-none-CTLFireability-2</id>
65
<description>Automatically generated</description>
70
<transition>t147</transition>
77
<id>Vasy2003-PT-none-CTLFireability-3</id>
78
<description>Automatically generated</description>
87
<transition>t27</transition>
94
<transition>t573</transition>
105
<id>Vasy2003-PT-none-CTLFireability-4</id>
106
<description>Automatically generated</description>
115
<transition>t345</transition>
126
<id>Vasy2003-PT-none-CTLFireability-5</id>
127
<description>Automatically generated</description>
136
<transition>t516</transition>
139
<transition>t240</transition>
143
<transition>t467</transition>
153
<transition>t159</transition>
158
<transition>t474</transition>
167
<id>Vasy2003-PT-none-CTLFireability-6</id>
168
<description>Automatically generated</description>
177
<transition>t755</transition>
180
<transition>t515</transition>
189
<transition>t484</transition>
196
<transition>t570</transition>
207
<id>Vasy2003-PT-none-CTLFireability-7</id>
208
<description>Automatically generated</description>
217
<transition>t162</transition>
224
<transition>t573</transition>
227
<transition>t209</transition>
238
<id>Vasy2003-PT-none-CTLFireability-8</id>
239
<description>Automatically generated</description>
248
<transition>t523</transition>
253
<transition>t244</transition>
256
<transition>t308</transition>
267
<id>Vasy2003-PT-none-CTLFireability-9</id>
268
<description>Automatically generated</description>
277
<transition>t503</transition>
280
<transition>t608</transition>
285
<transition>t583</transition>
291
<transition>t471</transition>
299
<id>Vasy2003-PT-none-CTLFireability-10</id>
300
<description>Automatically generated</description>
308
<transition>t282</transition>
316
<transition>t722</transition>
327
<transition>t581</transition>
338
<id>Vasy2003-PT-none-CTLFireability-11</id>
339
<description>Automatically generated</description>
345
<transition>t718</transition>
349
<transition>t10</transition>
352
<transition>t37</transition>
361
<id>Vasy2003-PT-none-CTLFireability-12</id>
362
<description>Automatically generated</description>
371
<transition>t477</transition>
374
<transition>t472</transition>
381
<transition>t176</transition>
389
<transition>t194</transition>
397
<id>Vasy2003-PT-none-CTLFireability-13</id>
398
<description>Automatically generated</description>
403
<transition>t586</transition>
410
<id>Vasy2003-PT-none-CTLFireability-14</id>
411
<description>Automatically generated</description>
419
<transition>t186</transition>
429
<id>Vasy2003-PT-none-CTLFireability-15</id>
430
<description>Automatically generated</description>
439
<transition>t352</transition>
446
<transition>t575</transition>
455
<transition>t458</transition>