2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>CircularTrains-PT-048-LTLFireability-0</id>
5
<description>Automatically generated</description>
13
<transition>t42_to_43</transition>
19
<transition>t16_to_17</transition>
29
<transition>t23_to_24</transition>
39
<id>CircularTrains-PT-048-LTLFireability-1</id>
40
<description>Automatically generated</description>
49
<transition>t45_to_46</transition>
60
<id>CircularTrains-PT-048-LTLFireability-2</id>
61
<description>Automatically generated</description>
70
<transition>t45_to_46</transition>
81
<id>CircularTrains-PT-048-LTLFireability-3</id>
82
<description>Automatically generated</description>
91
<transition>t31_to_32</transition>
102
<id>CircularTrains-PT-048-LTLFireability-4</id>
103
<description>Automatically generated</description>
112
<transition>t24_to_25</transition>
120
<transition>t9_to_10</transition>
128
<id>CircularTrains-PT-048-LTLFireability-5</id>
129
<description>Automatically generated</description>
135
<transition>t19_to_20</transition>
143
<id>CircularTrains-PT-048-LTLFireability-6</id>
144
<description>Automatically generated</description>
153
<transition>t37_to_38</transition>
162
<transition>t13_to_14</transition>
167
<transition>t8_to_9</transition>
178
<id>CircularTrains-PT-048-LTLFireability-7</id>
179
<description>Automatically generated</description>
183
<transition>t25_to_26</transition>
189
<id>CircularTrains-PT-048-LTLFireability-8</id>
190
<description>Automatically generated</description>
194
<transition>t31_to_32</transition>
200
<id>CircularTrains-PT-048-LTLFireability-9</id>
201
<description>Automatically generated</description>
210
<transition>t15_to_16</transition>
221
<id>CircularTrains-PT-048-LTLFireability-10</id>
222
<description>Automatically generated</description>
227
<transition>t1_to_2</transition>
234
<id>CircularTrains-PT-048-LTLFireability-11</id>
235
<description>Automatically generated</description>
239
<transition>t35_to_36</transition>
245
<id>CircularTrains-PT-048-LTLFireability-12</id>
246
<description>Automatically generated</description>
254
<transition>t19_to_20</transition>
262
<transition>t45_to_46</transition>
267
<transition>t3_to_4</transition>
278
<id>CircularTrains-PT-048-LTLFireability-13</id>
279
<description>Automatically generated</description>
288
<transition>t13_to_14</transition>
299
<id>CircularTrains-PT-048-LTLFireability-14</id>
300
<description>Automatically generated</description>
304
<transition>t3_to_4</transition>
310
<id>CircularTrains-PT-048-LTLFireability-15</id>
311
<description>Automatically generated</description>
317
<transition>t2_to_3</transition>