2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>MAPK-PT-008-CTLFireability-0</id>
5
<description>Automatically generated</description>
14
<transition>k20</transition>
17
<transition>k26</transition>
22
<transition>k23</transition>
25
<transition>k27</transition>
36
<id>MAPK-PT-008-CTLFireability-1</id>
37
<description>Automatically generated</description>
46
<transition>k8</transition>
56
<transition>k29</transition>
66
<id>MAPK-PT-008-CTLFireability-2</id>
67
<description>Automatically generated</description>
76
<transition>k18</transition>
87
<id>MAPK-PT-008-CTLFireability-3</id>
88
<description>Automatically generated</description>
97
<transition>k16</transition>
100
<transition>k3</transition>
104
<transition>k6</transition>
114
<id>MAPK-PT-008-CTLFireability-4</id>
115
<description>Automatically generated</description>
122
<transition>k6</transition>
131
<id>MAPK-PT-008-CTLFireability-5</id>
132
<description>Automatically generated</description>
141
<transition>k6</transition>
149
<transition>k19</transition>
157
<id>MAPK-PT-008-CTLFireability-6</id>
158
<description>Automatically generated</description>
167
<transition>k4</transition>
172
<transition>k11</transition>
183
<transition>k29</transition>
188
<transition>k20</transition>
191
<transition>k28</transition>
198
<transition>k12</transition>
207
<transition>k23</transition>
210
<transition>k19</transition>
221
<id>MAPK-PT-008-CTLFireability-7</id>
222
<description>Automatically generated</description>
230
<transition>k28</transition>
238
<transition>k6</transition>
245
<id>MAPK-PT-008-CTLFireability-8</id>
246
<description>Automatically generated</description>
249
<transition>k26</transition>
254
<id>MAPK-PT-008-CTLFireability-9</id>
255
<description>Automatically generated</description>
258
<transition>k21</transition>
263
<id>MAPK-PT-008-CTLFireability-10</id>
264
<description>Automatically generated</description>
267
<transition>k19</transition>
272
<id>MAPK-PT-008-CTLFireability-11</id>
273
<description>Automatically generated</description>
276
<transition>k7</transition>
281
<id>MAPK-PT-008-CTLFireability-12</id>
282
<description>Automatically generated</description>
285
<transition>k25</transition>
290
<id>MAPK-PT-008-CTLFireability-13</id>
291
<description>Automatically generated</description>
300
<transition>k26</transition>
309
<transition>k27</transition>
320
<id>MAPK-PT-008-CTLFireability-14</id>
321
<description>Automatically generated</description>
330
<transition>k13</transition>
335
<transition>k24</transition>
338
<transition>k21</transition>
347
<transition>k25</transition>
350
<transition>k27</transition>
361
<id>MAPK-PT-008-CTLFireability-15</id>
362
<description>Automatically generated</description>
365
<transition>k1</transition>