2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>CSRepetitions-COL-02-ReachabilityCardinality-0</id>
5
<description>Automatically generated</description>
14
<place>Server_Anwering_3_2</place>
15
<place>Server_Anwering_1_2</place>
16
<place>Server_Anwering_4_1</place>
17
<place>Server_Anwering_3_1</place>
18
<place>Server_Anwering_2_1</place>
19
<place>Server_Anwering_1_1</place>
20
<place>Server_Anwering_4_2</place>
21
<place>Server_Anwering_2_2</place>
24
<place>Server_Waiting_2</place>
25
<place>Server_Waiting_1</place>
29
<integer-constant>3</integer-constant>
31
<place>RequestBufferSlots</place>
38
<place>Server_Anwering_3_2</place>
39
<place>Server_Anwering_1_2</place>
40
<place>Server_Anwering_4_1</place>
41
<place>Server_Anwering_3_1</place>
42
<place>Server_Anwering_2_1</place>
43
<place>Server_Anwering_1_1</place>
44
<place>Server_Anwering_4_2</place>
45
<place>Server_Anwering_2_2</place>
48
<place>RequestBufferSlots</place>
52
<integer-constant>1</integer-constant>
54
<place>RequestBuffer_1</place>
55
<place>RequestBuffer_2</place>
56
<place>RequestBuffer_4</place>
57
<place>RequestBuffer_3</place>
64
<place>RequestBuffer_1</place>
65
<place>RequestBuffer_2</place>
66
<place>RequestBuffer_4</place>
67
<place>RequestBuffer_3</place>
70
<place>RequestBuffer_1</place>
71
<place>RequestBuffer_2</place>
72
<place>RequestBuffer_4</place>
73
<place>RequestBuffer_3</place>
82
<id>CSRepetitions-COL-02-ReachabilityCardinality-1</id>
83
<description>Automatically generated</description>
91
<integer-constant>2</integer-constant>
93
<place>Client_Sending_1</place>
94
<place>Client_Sending_2</place>
95
<place>Client_Sending_3</place>
96
<place>Client_Sending_4</place>
100
<integer-constant>1</integer-constant>
102
<place>Client_Sending_1</place>
103
<place>Client_Sending_2</place>
104
<place>Client_Sending_3</place>
105
<place>Client_Sending_4</place>
114
<place>RequestBufferSlots</place>
117
<place>Client_Waiting_4</place>
118
<place>Client_Waiting_3</place>
119
<place>Client_Waiting_2</place>
120
<place>Client_Waiting_1</place>
125
<integer-constant>3</integer-constant>
127
<place>RequestBufferSlots</place>
137
<id>CSRepetitions-COL-02-ReachabilityCardinality-2</id>
138
<description>Automatically generated</description>
144
<integer-constant>3</integer-constant>
146
<place>Server_Waiting_2</place>
147
<place>Server_Waiting_1</place>
153
<integer-constant>2</integer-constant>
155
<place>Client_Waiting_4</place>
156
<place>Client_Waiting_3</place>
157
<place>Client_Waiting_2</place>
158
<place>Client_Waiting_1</place>
162
<integer-constant>1</integer-constant>
164
<place>Client_Sending_1</place>
165
<place>Client_Sending_2</place>
166
<place>Client_Sending_3</place>
167
<place>Client_Sending_4</place>
173
<place>RequestBuffer_1</place>
174
<place>RequestBuffer_2</place>
175
<place>RequestBuffer_4</place>
176
<place>RequestBuffer_3</place>
179
<place>RequestBuffer_1</place>
180
<place>RequestBuffer_2</place>
181
<place>RequestBuffer_4</place>
182
<place>RequestBuffer_3</place>
192
<id>CSRepetitions-COL-02-ReachabilityCardinality-3</id>
193
<description>Automatically generated</description>
201
<integer-constant>1</integer-constant>
203
<place>Server_Anwering_3_2</place>
204
<place>Server_Anwering_1_2</place>
205
<place>Server_Anwering_4_1</place>
206
<place>Server_Anwering_3_1</place>
207
<place>Server_Anwering_2_1</place>
208
<place>Server_Anwering_1_1</place>
209
<place>Server_Anwering_4_2</place>
210
<place>Server_Anwering_2_2</place>
214
<integer-constant>3</integer-constant>
216
<place>Client_Waiting_4</place>
217
<place>Client_Waiting_3</place>
218
<place>Client_Waiting_2</place>
219
<place>Client_Waiting_1</place>
226
<place>RequestBufferSlots</place>
229
<place>RequestBufferSlots</place>
235
<integer-constant>3</integer-constant>
237
<place>RequestBufferSlots</place>
246
<id>CSRepetitions-COL-02-ReachabilityCardinality-4</id>
247
<description>Automatically generated</description>
253
<place>Client_Sending_1</place>
254
<place>Client_Sending_2</place>
255
<place>Client_Sending_3</place>
256
<place>Client_Sending_4</place>
259
<place>Client_Sending_1</place>
260
<place>Client_Sending_2</place>
261
<place>Client_Sending_3</place>
262
<place>Client_Sending_4</place>
270
<id>CSRepetitions-COL-02-ReachabilityCardinality-5</id>
271
<description>Automatically generated</description>
279
<place>Server_Waiting_2</place>
280
<place>Server_Waiting_1</place>
283
<place>Server_Waiting_2</place>
284
<place>Server_Waiting_1</place>
290
<place>Client_Sending_1</place>
291
<place>Client_Sending_2</place>
292
<place>Client_Sending_3</place>
293
<place>Client_Sending_4</place>
296
<place>Client_Sending_1</place>
297
<place>Client_Sending_2</place>
298
<place>Client_Sending_3</place>
299
<place>Client_Sending_4</place>
308
<place>Client_Waiting_4</place>
309
<place>Client_Waiting_3</place>
310
<place>Client_Waiting_2</place>
311
<place>Client_Waiting_1</place>
314
<place>Server_Waiting_2</place>
315
<place>Server_Waiting_1</place>
322
<place>RequestBuffer_1</place>
323
<place>RequestBuffer_2</place>
324
<place>RequestBuffer_4</place>
325
<place>RequestBuffer_3</place>
328
<place>Client_Sending_1</place>
329
<place>Client_Sending_2</place>
330
<place>Client_Sending_3</place>
331
<place>Client_Sending_4</place>
342
<id>CSRepetitions-COL-02-ReachabilityCardinality-6</id>
343
<description>Automatically generated</description>
349
<integer-constant>3</integer-constant>
351
<place>Server_Waiting_2</place>
352
<place>Server_Waiting_1</place>
361
<id>CSRepetitions-COL-02-ReachabilityCardinality-7</id>
362
<description>Automatically generated</description>
368
<place>Client_Sending_1</place>
369
<place>Client_Sending_2</place>
370
<place>Client_Sending_3</place>
371
<place>Client_Sending_4</place>
374
<place>Client_Sending_1</place>
375
<place>Client_Sending_2</place>
376
<place>Client_Sending_3</place>
377
<place>Client_Sending_4</place>
385
<id>CSRepetitions-COL-02-ReachabilityCardinality-8</id>
386
<description>Automatically generated</description>
392
<integer-constant>1</integer-constant>
394
<place>Client_Sending_1</place>
395
<place>Client_Sending_2</place>
396
<place>Client_Sending_3</place>
397
<place>Client_Sending_4</place>
403
<integer-constant>1</integer-constant>
405
<place>Client_Sending_1</place>
406
<place>Client_Sending_2</place>
407
<place>Client_Sending_3</place>
408
<place>Client_Sending_4</place>
412
<integer-constant>2</integer-constant>
414
<place>Client_Sending_1</place>
415
<place>Client_Sending_2</place>
416
<place>Client_Sending_3</place>
417
<place>Client_Sending_4</place>
428
<id>CSRepetitions-COL-02-ReachabilityCardinality-9</id>
429
<description>Automatically generated</description>
437
<integer-constant>3</integer-constant>
439
<place>RequestBuffer_1</place>
440
<place>RequestBuffer_2</place>
441
<place>RequestBuffer_4</place>
442
<place>RequestBuffer_3</place>
453
<id>CSRepetitions-COL-02-ReachabilityCardinality-10</id>
454
<description>Automatically generated</description>
461
<place>Server_Anwering_3_2</place>
462
<place>Server_Anwering_1_2</place>
463
<place>Server_Anwering_4_1</place>
464
<place>Server_Anwering_3_1</place>
465
<place>Server_Anwering_2_1</place>
466
<place>Server_Anwering_1_1</place>
467
<place>Server_Anwering_4_2</place>
468
<place>Server_Anwering_2_2</place>
471
<place>Server_Anwering_3_2</place>
472
<place>Server_Anwering_1_2</place>
473
<place>Server_Anwering_4_1</place>
474
<place>Server_Anwering_3_1</place>
475
<place>Server_Anwering_2_1</place>
476
<place>Server_Anwering_1_1</place>
477
<place>Server_Anwering_4_2</place>
478
<place>Server_Anwering_2_2</place>
485
<place>RequestBuffer_1</place>
486
<place>RequestBuffer_2</place>
487
<place>RequestBuffer_4</place>
488
<place>RequestBuffer_3</place>
491
<place>RequestBufferSlots</place>
497
<integer-constant>3</integer-constant>
499
<place>RequestBufferSlots</place>
504
<place>RequestBufferSlots</place>
507
<place>RequestBuffer_1</place>
508
<place>RequestBuffer_2</place>
509
<place>RequestBuffer_4</place>
510
<place>RequestBuffer_3</place>
521
<id>CSRepetitions-COL-02-ReachabilityCardinality-11</id>
522
<description>Automatically generated</description>
530
<integer-constant>3</integer-constant>
532
<place>RequestBuffer_1</place>
533
<place>RequestBuffer_2</place>
534
<place>RequestBuffer_4</place>
535
<place>RequestBuffer_3</place>
540
<place>RequestBufferSlots</place>
543
<place>RequestBuffer_1</place>
544
<place>RequestBuffer_2</place>
545
<place>RequestBuffer_4</place>
546
<place>RequestBuffer_3</place>
552
<integer-constant>1</integer-constant>
554
<place>RequestBuffer_1</place>
555
<place>RequestBuffer_2</place>
556
<place>RequestBuffer_4</place>
557
<place>RequestBuffer_3</place>
562
<place>RequestBuffer_1</place>
563
<place>RequestBuffer_2</place>
564
<place>RequestBuffer_4</place>
565
<place>RequestBuffer_3</place>
568
<place>Server_Anwering_3_2</place>
569
<place>Server_Anwering_1_2</place>
570
<place>Server_Anwering_4_1</place>
571
<place>Server_Anwering_3_1</place>
572
<place>Server_Anwering_2_1</place>
573
<place>Server_Anwering_1_1</place>
574
<place>Server_Anwering_4_2</place>
575
<place>Server_Anwering_2_2</place>
584
<place>Client_Sending_1</place>
585
<place>Client_Sending_2</place>
586
<place>Client_Sending_3</place>
587
<place>Client_Sending_4</place>
590
<place>Client_Waiting_4</place>
591
<place>Client_Waiting_3</place>
592
<place>Client_Waiting_2</place>
593
<place>Client_Waiting_1</place>
598
<place>Server_Waiting_2</place>
599
<place>Server_Waiting_1</place>
602
<place>Server_Waiting_2</place>
603
<place>Server_Waiting_1</place>
614
<id>CSRepetitions-COL-02-ReachabilityCardinality-12</id>
615
<description>Automatically generated</description>
623
<integer-constant>3</integer-constant>
625
<place>Client_Sending_1</place>
626
<place>Client_Sending_2</place>
627
<place>Client_Sending_3</place>
628
<place>Client_Sending_4</place>
633
<place>Server_Waiting_2</place>
634
<place>Server_Waiting_1</place>
637
<place>Server_Waiting_2</place>
638
<place>Server_Waiting_1</place>
644
<place>Client_Waiting_4</place>
645
<place>Client_Waiting_3</place>
646
<place>Client_Waiting_2</place>
647
<place>Client_Waiting_1</place>
650
<place>Server_Anwering_3_2</place>
651
<place>Server_Anwering_1_2</place>
652
<place>Server_Anwering_4_1</place>
653
<place>Server_Anwering_3_1</place>
654
<place>Server_Anwering_2_1</place>
655
<place>Server_Anwering_1_1</place>
656
<place>Server_Anwering_4_2</place>
657
<place>Server_Anwering_2_2</place>
663
<integer-constant>3</integer-constant>
665
<place>Server_Waiting_2</place>
666
<place>Server_Waiting_1</place>
672
<place>RequestBuffer_1</place>
673
<place>RequestBuffer_2</place>
674
<place>RequestBuffer_4</place>
675
<place>RequestBuffer_3</place>
678
<place>Client_Waiting_4</place>
679
<place>Client_Waiting_3</place>
680
<place>Client_Waiting_2</place>
681
<place>Client_Waiting_1</place>
692
<id>CSRepetitions-COL-02-ReachabilityCardinality-13</id>
693
<description>Automatically generated</description>
701
<integer-constant>3</integer-constant>
703
<place>Server_Anwering_3_2</place>
704
<place>Server_Anwering_1_2</place>
705
<place>Server_Anwering_4_1</place>
706
<place>Server_Anwering_3_1</place>
707
<place>Server_Anwering_2_1</place>
708
<place>Server_Anwering_1_1</place>
709
<place>Server_Anwering_4_2</place>
710
<place>Server_Anwering_2_2</place>
717
<integer-constant>2</integer-constant>
719
<place>RequestBuffer_1</place>
720
<place>RequestBuffer_2</place>
721
<place>RequestBuffer_4</place>
722
<place>RequestBuffer_3</place>
732
<id>CSRepetitions-COL-02-ReachabilityCardinality-14</id>
733
<description>Automatically generated</description>
741
<integer-constant>3</integer-constant>
743
<place>Server_Waiting_2</place>
744
<place>Server_Waiting_1</place>
749
<place>Server_Anwering_3_2</place>
750
<place>Server_Anwering_1_2</place>
751
<place>Server_Anwering_4_1</place>
752
<place>Server_Anwering_3_1</place>
753
<place>Server_Anwering_2_1</place>
754
<place>Server_Anwering_1_1</place>
755
<place>Server_Anwering_4_2</place>
756
<place>Server_Anwering_2_2</place>
759
<place>Client_Waiting_4</place>
760
<place>Client_Waiting_3</place>
761
<place>Client_Waiting_2</place>
762
<place>Client_Waiting_1</place>
769
<place>RequestBufferSlots</place>
772
<place>RequestBufferSlots</place>
776
<integer-constant>3</integer-constant>
778
<place>Client_Sending_1</place>
779
<place>Client_Sending_2</place>
780
<place>Client_Sending_3</place>
781
<place>Client_Sending_4</place>
792
<id>CSRepetitions-COL-02-ReachabilityCardinality-15</id>
793
<description>Automatically generated</description>
799
<place>Server_Anwering_3_2</place>
800
<place>Server_Anwering_1_2</place>
801
<place>Server_Anwering_4_1</place>
802
<place>Server_Anwering_3_1</place>
803
<place>Server_Anwering_2_1</place>
804
<place>Server_Anwering_1_1</place>
805
<place>Server_Anwering_4_2</place>
806
<place>Server_Anwering_2_2</place>
809
<place>Server_Anwering_3_2</place>
810
<place>Server_Anwering_1_2</place>
811
<place>Server_Anwering_4_1</place>
812
<place>Server_Anwering_3_1</place>
813
<place>Server_Anwering_2_1</place>
814
<place>Server_Anwering_1_1</place>
815
<place>Server_Anwering_4_2</place>
816
<place>Server_Anwering_2_2</place>