2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>PermAdmissibility-COL-01-ReachabilityBounds-0</id>
5
<description>Automatically generated</description>
18
<integer-constant>1</integer-constant>
33
<integer-constant>2</integer-constant>
37
<place>aux15_2</place>
38
<place>aux15_1</place>
39
<place>aux15_0</place>
40
<place>aux15_6</place>
41
<place>aux15_5</place>
42
<place>aux15_4</place>
43
<place>aux15_3</place>
44
<place>aux15_7</place>
46
<integer-constant>3</integer-constant>
52
<place>aux10_0</place>
53
<place>aux10_2</place>
54
<place>aux10_1</place>
55
<place>aux10_4</place>
56
<place>aux10_3</place>
57
<place>aux10_5</place>
58
<place>aux10_6</place>
59
<place>aux10_7</place>
61
<integer-constant>1</integer-constant>
65
<place>aux15_2</place>
66
<place>aux15_1</place>
67
<place>aux15_0</place>
68
<place>aux15_6</place>
69
<place>aux15_5</place>
70
<place>aux15_4</place>
71
<place>aux15_3</place>
72
<place>aux15_7</place>
74
<integer-constant>2</integer-constant>
81
<place>aux15_2</place>
82
<place>aux15_1</place>
83
<place>aux15_0</place>
84
<place>aux15_6</place>
85
<place>aux15_5</place>
86
<place>aux15_4</place>
87
<place>aux15_3</place>
88
<place>aux15_7</place>
90
<integer-constant>3</integer-constant>
99
<integer-constant>2</integer-constant>
105
<integer-constant>1</integer-constant>
111
<place>aux13_2</place>
112
<place>aux13_1</place>
113
<place>aux13_0</place>
114
<place>aux13_7</place>
115
<place>aux13_3</place>
116
<place>aux13_4</place>
117
<place>aux13_5</place>
118
<place>aux13_6</place>
120
<integer-constant>3</integer-constant>
124
<place>aux14_0</place>
125
<place>aux14_1</place>
126
<place>aux14_2</place>
127
<place>aux14_3</place>
128
<place>aux14_4</place>
129
<place>aux14_6</place>
130
<place>aux14_5</place>
131
<place>aux14_7</place>
133
<integer-constant>2</integer-constant>
145
<integer-constant>1</integer-constant>
151
<integer-constant>2</integer-constant>
156
<place>aux13_2</place>
157
<place>aux13_1</place>
158
<place>aux13_0</place>
159
<place>aux13_7</place>
160
<place>aux13_3</place>
161
<place>aux13_4</place>
162
<place>aux13_5</place>
163
<place>aux13_6</place>
165
<integer-constant>2</integer-constant>
172
<id>PermAdmissibility-COL-01-ReachabilityBounds-1</id>
173
<description>Automatically generated</description>
178
<place>aux7_7</place>
179
<place>aux7_6</place>
180
<place>aux7_3</place>
181
<place>aux7_2</place>
183
<integer-constant>1</integer-constant>
187
<place>aux8_7</place>
188
<place>aux8_3</place>
189
<place>aux8_6</place>
190
<place>aux8_2</place>
192
<integer-constant>2</integer-constant>
198
<id>PermAdmissibility-COL-01-ReachabilityBounds-2</id>
199
<description>Automatically generated</description>
204
<place>aux16_0</place>
205
<place>aux16_1</place>
206
<place>aux16_2</place>
207
<place>aux16_3</place>
208
<place>aux16_4</place>
209
<place>aux16_5</place>
210
<place>aux16_6</place>
211
<place>aux16_7</place>
213
<integer-constant>1</integer-constant>
217
<place>aux8_7</place>
218
<place>aux8_3</place>
219
<place>aux8_6</place>
220
<place>aux8_2</place>
222
<integer-constant>2</integer-constant>
228
<id>PermAdmissibility-COL-01-ReachabilityBounds-3</id>
229
<description>Automatically generated</description>
235
<integer-constant>2</integer-constant>
240
<id>PermAdmissibility-COL-01-ReachabilityBounds-4</id>
241
<description>Automatically generated</description>
247
<integer-constant>3</integer-constant>
252
<id>PermAdmissibility-COL-01-ReachabilityBounds-5</id>
253
<description>Automatically generated</description>
257
<place>aux11_5</place>
258
<place>aux11_4</place>
259
<place>aux11_3</place>
260
<place>aux11_2</place>
261
<place>aux11_1</place>
262
<place>aux11_0</place>
263
<place>aux11_7</place>
264
<place>aux11_6</place>
266
<integer-constant>3</integer-constant>
271
<id>PermAdmissibility-COL-01-ReachabilityBounds-6</id>
272
<description>Automatically generated</description>
277
<place>aux6_0</place>
278
<place>aux6_5</place>
279
<place>aux6_1</place>
280
<place>aux6_4</place>
282
<integer-constant>2</integer-constant>
288
<place>out6_1</place>
289
<place>out6_2</place>
290
<place>out6_0</place>
291
<place>out6_6</place>
292
<place>out6_5</place>
293
<place>out6_4</place>
294
<place>out6_3</place>
295
<place>out6_7</place>
297
<integer-constant>3</integer-constant>
304
<integer-constant>2</integer-constant>
308
<place>aux9_4</place>
309
<place>aux9_5</place>
310
<place>aux9_6</place>
311
<place>aux9_7</place>
312
<place>aux9_0</place>
313
<place>aux9_1</place>
314
<place>aux9_2</place>
315
<place>aux9_3</place>
317
<integer-constant>2</integer-constant>
323
<place>aux11_5</place>
324
<place>aux11_4</place>
325
<place>aux11_3</place>
326
<place>aux11_2</place>
327
<place>aux11_1</place>
328
<place>aux11_0</place>
329
<place>aux11_7</place>
330
<place>aux11_6</place>
332
<integer-constant>3</integer-constant>
339
<id>PermAdmissibility-COL-01-ReachabilityBounds-7</id>
340
<description>Automatically generated</description>
345
<place>out2_0</place>
346
<place>out2_7</place>
347
<place>out2_5</place>
348
<place>out2_6</place>
349
<place>out2_3</place>
350
<place>out2_4</place>
351
<place>out2_1</place>
352
<place>out2_2</place>
354
<integer-constant>1</integer-constant>
359
<place>out8_1</place>
360
<place>out8_0</place>
361
<place>out8_3</place>
362
<place>out8_2</place>
363
<place>out8_6</place>
364
<place>out8_7</place>
365
<place>out8_4</place>
366
<place>out8_5</place>
368
<integer-constant>1</integer-constant>
374
<integer-constant>1</integer-constant>
381
<id>PermAdmissibility-COL-01-ReachabilityBounds-8</id>
382
<description>Automatically generated</description>
389
<integer-constant>3</integer-constant>
395
<place>aux9_4</place>
396
<place>aux9_5</place>
397
<place>aux9_6</place>
398
<place>aux9_7</place>
399
<place>aux9_0</place>
400
<place>aux9_1</place>
401
<place>aux9_2</place>
402
<place>aux9_3</place>
404
<integer-constant>3</integer-constant>
410
<integer-constant>2</integer-constant>
419
<integer-constant>3</integer-constant>
425
<place>out4_0</place>
426
<place>out4_1</place>
427
<place>out4_7</place>
428
<place>out4_6</place>
429
<place>out4_3</place>
430
<place>out4_2</place>
431
<place>out4_5</place>
432
<place>out4_4</place>
434
<integer-constant>3</integer-constant>
440
<integer-constant>2</integer-constant>
448
<integer-constant>2</integer-constant>
454
<place>out2_0</place>
455
<place>out2_7</place>
456
<place>out2_5</place>
457
<place>out2_6</place>
458
<place>out2_3</place>
459
<place>out2_4</place>
460
<place>out2_1</place>
461
<place>out2_2</place>
463
<integer-constant>3</integer-constant>
471
<id>PermAdmissibility-COL-01-ReachabilityBounds-9</id>
472
<description>Automatically generated</description>
480
<integer-constant>2</integer-constant>
484
<place>aux13_2</place>
485
<place>aux13_1</place>
486
<place>aux13_0</place>
487
<place>aux13_7</place>
488
<place>aux13_3</place>
489
<place>aux13_4</place>
490
<place>aux13_5</place>
491
<place>aux13_6</place>
493
<integer-constant>2</integer-constant>
503
<integer-constant>1</integer-constant>
509
<integer-constant>3</integer-constant>
515
<place>aux14_0</place>
516
<place>aux14_1</place>
517
<place>aux14_2</place>
518
<place>aux14_3</place>
519
<place>aux14_4</place>
520
<place>aux14_6</place>
521
<place>aux14_5</place>
522
<place>aux14_7</place>
524
<integer-constant>2</integer-constant>
530
<place>aux10_0</place>
531
<place>aux10_2</place>
532
<place>aux10_1</place>
533
<place>aux10_4</place>
534
<place>aux10_3</place>
535
<place>aux10_5</place>
536
<place>aux10_6</place>
537
<place>aux10_7</place>
539
<integer-constant>3</integer-constant>
545
<integer-constant>2</integer-constant>
553
<integer-constant>1</integer-constant>
562
<place>aux15_2</place>
563
<place>aux15_1</place>
564
<place>aux15_0</place>
565
<place>aux15_6</place>
566
<place>aux15_5</place>
567
<place>aux15_4</place>
568
<place>aux15_3</place>
569
<place>aux15_7</place>
571
<integer-constant>3</integer-constant>
577
<integer-constant>2</integer-constant>
585
<integer-constant>2</integer-constant>
591
<integer-constant>1</integer-constant>
600
<id>PermAdmissibility-COL-01-ReachabilityBounds-10</id>
601
<description>Automatically generated</description>
606
<place>aux14_0</place>
607
<place>aux14_1</place>
608
<place>aux14_2</place>
609
<place>aux14_3</place>
610
<place>aux14_4</place>
611
<place>aux14_6</place>
612
<place>aux14_5</place>
613
<place>aux14_7</place>
615
<integer-constant>2</integer-constant>
620
<place>aux14_0</place>
621
<place>aux14_1</place>
622
<place>aux14_2</place>
623
<place>aux14_3</place>
624
<place>aux14_4</place>
625
<place>aux14_6</place>
626
<place>aux14_5</place>
627
<place>aux14_7</place>
629
<integer-constant>3</integer-constant>
636
<integer-constant>1</integer-constant>
644
<integer-constant>2</integer-constant>
650
<place>aux5_1</place>
651
<place>aux5_0</place>
652
<place>aux5_5</place>
653
<place>aux5_4</place>
655
<integer-constant>3</integer-constant>
659
<place>aux11_5</place>
660
<place>aux11_4</place>
661
<place>aux11_3</place>
662
<place>aux11_2</place>
663
<place>aux11_1</place>
664
<place>aux11_0</place>
665
<place>aux11_7</place>
666
<place>aux11_6</place>
668
<integer-constant>1</integer-constant>
676
<integer-constant>2</integer-constant>
686
<id>PermAdmissibility-COL-01-ReachabilityBounds-11</id>
687
<description>Automatically generated</description>
693
<integer-constant>1</integer-constant>
698
<id>PermAdmissibility-COL-01-ReachabilityBounds-12</id>
699
<description>Automatically generated</description>
711
<integer-constant>2</integer-constant>
717
<integer-constant>2</integer-constant>
723
<place>aux5_1</place>
724
<place>aux5_0</place>
725
<place>aux5_5</place>
726
<place>aux5_4</place>
728
<integer-constant>2</integer-constant>
735
<integer-constant>1</integer-constant>
743
<place>out5_1</place>
744
<place>out5_2</place>
745
<place>out5_0</place>
746
<place>out5_5</place>
747
<place>out5_6</place>
748
<place>out5_3</place>
749
<place>out5_4</place>
750
<place>out5_7</place>
752
<integer-constant>2</integer-constant>
759
<integer-constant>1</integer-constant>
764
<place>aux5_1</place>
765
<place>aux5_0</place>
766
<place>aux5_5</place>
767
<place>aux5_4</place>
769
<integer-constant>3</integer-constant>
778
<integer-constant>1</integer-constant>
782
<place>aux5_1</place>
783
<place>aux5_0</place>
784
<place>aux5_5</place>
785
<place>aux5_4</place>
787
<integer-constant>1</integer-constant>
793
<place>out8_1</place>
794
<place>out8_0</place>
795
<place>out8_3</place>
796
<place>out8_2</place>
797
<place>out8_6</place>
798
<place>out8_7</place>
799
<place>out8_4</place>
800
<place>out8_5</place>
802
<integer-constant>3</integer-constant>
807
<place>out8_1</place>
808
<place>out8_0</place>
809
<place>out8_3</place>
810
<place>out8_2</place>
811
<place>out8_6</place>
812
<place>out8_7</place>
813
<place>out8_4</place>
814
<place>out8_5</place>
816
<integer-constant>2</integer-constant>
822
<id>PermAdmissibility-COL-01-ReachabilityBounds-13</id>
823
<description>Automatically generated</description>
829
<place>aux5_1</place>
830
<place>aux5_0</place>
831
<place>aux5_5</place>
832
<place>aux5_4</place>
834
<integer-constant>2</integer-constant>
839
<place>aux10_0</place>
840
<place>aux10_2</place>
841
<place>aux10_1</place>
842
<place>aux10_4</place>
843
<place>aux10_3</place>
844
<place>aux10_5</place>
845
<place>aux10_6</place>
846
<place>aux10_7</place>
848
<integer-constant>3</integer-constant>
855
<integer-constant>3</integer-constant>
862
<integer-constant>3</integer-constant>
871
<integer-constant>3</integer-constant>
877
<id>PermAdmissibility-COL-01-ReachabilityBounds-14</id>
878
<description>Automatically generated</description>
884
<place>aux10_0</place>
885
<place>aux10_2</place>
886
<place>aux10_1</place>
887
<place>aux10_4</place>
888
<place>aux10_3</place>
889
<place>aux10_5</place>
890
<place>aux10_6</place>
891
<place>aux10_7</place>
893
<integer-constant>2</integer-constant>
898
<place>out2_0</place>
899
<place>out2_7</place>
900
<place>out2_5</place>
901
<place>out2_6</place>
902
<place>out2_3</place>
903
<place>out2_4</place>
904
<place>out2_1</place>
905
<place>out2_2</place>
907
<integer-constant>1</integer-constant>
913
<integer-constant>1</integer-constant>
920
<place>out5_1</place>
921
<place>out5_2</place>
922
<place>out5_0</place>
923
<place>out5_5</place>
924
<place>out5_6</place>
925
<place>out5_3</place>
926
<place>out5_4</place>
927
<place>out5_7</place>
929
<integer-constant>3</integer-constant>
935
<integer-constant>3</integer-constant>
942
<id>PermAdmissibility-COL-01-ReachabilityBounds-15</id>
943
<description>Automatically generated</description>
949
<integer-constant>3</integer-constant>