2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>UtahNoC-PT-none-LTLFireability-0</id>
5
<description>Automatically generated</description>
12
<transition>t231</transition>
20
<transition>t331</transition>
30
<id>UtahNoC-PT-none-LTLFireability-1</id>
31
<description>Automatically generated</description>
40
<transition>t813</transition>
45
<transition>t122</transition>
56
<transition>t705</transition>
61
<transition>t613</transition>
72
<id>UtahNoC-PT-none-LTLFireability-2</id>
73
<description>Automatically generated</description>
78
<transition>t509</transition>
85
<id>UtahNoC-PT-none-LTLFireability-3</id>
86
<description>Automatically generated</description>
91
<transition>t1</transition>
98
<id>UtahNoC-PT-none-LTLFireability-4</id>
99
<description>Automatically generated</description>
108
<transition>t389</transition>
119
<id>UtahNoC-PT-none-LTLFireability-5</id>
120
<description>Automatically generated</description>
129
<transition>t700</transition>
136
<transition>t525</transition>
147
<transition>t875</transition>
152
<transition>t5</transition>
163
<id>UtahNoC-PT-none-LTLFireability-6</id>
164
<description>Automatically generated</description>
173
<transition>t764</transition>
178
<transition>t544</transition>
187
<transition>t879</transition>
198
<id>UtahNoC-PT-none-LTLFireability-7</id>
199
<description>Automatically generated</description>
205
<transition>t863</transition>
213
<id>UtahNoC-PT-none-LTLFireability-8</id>
214
<description>Automatically generated</description>
222
<transition>t11</transition>
227
<transition>t723</transition>
237
<id>UtahNoC-PT-none-LTLFireability-9</id>
238
<description>Automatically generated</description>
242
<transition>t244</transition>
248
<id>UtahNoC-PT-none-LTLFireability-10</id>
249
<description>Automatically generated</description>
258
<transition>t620</transition>
263
<transition>t716</transition>
272
<transition>t527</transition>
281
<id>UtahNoC-PT-none-LTLFireability-11</id>
282
<description>Automatically generated</description>
286
<transition>t356</transition>
292
<id>UtahNoC-PT-none-LTLFireability-12</id>
293
<description>Automatically generated</description>
297
<transition>t20</transition>
303
<id>UtahNoC-PT-none-LTLFireability-13</id>
304
<description>Automatically generated</description>
312
<transition>t752</transition>
317
<transition>t471</transition>
327
<id>UtahNoC-PT-none-LTLFireability-14</id>
328
<description>Automatically generated</description>
332
<transition>t680</transition>
338
<id>UtahNoC-PT-none-LTLFireability-15</id>
339
<description>Automatically generated</description>
345
<transition>t96</transition>