2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>CircadianClock-PT-000010-ReachabilityCardinality-0</id>
5
<description>Automatically generated</description>
21
<integer-constant>3</integer-constant>
52
<id>CircadianClock-PT-000010-ReachabilityCardinality-1</id>
53
<description>Automatically generated</description>
77
<integer-constant>2</integer-constant>
90
<id>CircadianClock-PT-000010-ReachabilityCardinality-2</id>
91
<description>Automatically generated</description>
107
<integer-constant>2</integer-constant>
124
<place>mr_cap</place>
146
<id>CircadianClock-PT-000010-ReachabilityCardinality-3</id>
147
<description>Automatically generated</description>
154
<integer-constant>3</integer-constant>
169
<integer-constant>3</integer-constant>
204
<id>CircadianClock-PT-000010-ReachabilityCardinality-4</id>
205
<description>Automatically generated</description>
213
<integer-constant>2</integer-constant>
234
<id>CircadianClock-PT-000010-ReachabilityCardinality-5</id>
235
<description>Automatically generated</description>
240
<integer-constant>2</integer-constant>
250
<id>CircadianClock-PT-000010-ReachabilityCardinality-6</id>
251
<description>Automatically generated</description>
267
<integer-constant>3</integer-constant>
285
<integer-constant>2</integer-constant>
292
<integer-constant>2</integer-constant>
304
<id>CircadianClock-PT-000010-ReachabilityCardinality-7</id>
305
<description>Automatically generated</description>
310
<integer-constant>2</integer-constant>
320
<id>CircadianClock-PT-000010-ReachabilityCardinality-8</id>
321
<description>Automatically generated</description>
326
<integer-constant>1</integer-constant>
336
<id>CircadianClock-PT-000010-ReachabilityCardinality-9</id>
337
<description>Automatically generated</description>
356
<id>CircadianClock-PT-000010-ReachabilityCardinality-10</id>
357
<description>Automatically generated</description>
376
<id>CircadianClock-PT-000010-ReachabilityCardinality-11</id>
377
<description>Automatically generated</description>
393
<integer-constant>2</integer-constant>
401
<integer-constant>2</integer-constant>
407
<integer-constant>1</integer-constant>
420
<id>CircadianClock-PT-000010-ReachabilityCardinality-12</id>
421
<description>Automatically generated</description>
427
<integer-constant>1</integer-constant>
446
<id>CircadianClock-PT-000010-ReachabilityCardinality-13</id>
447
<description>Automatically generated</description>
467
<place>mr_cap</place>
471
<integer-constant>3</integer-constant>
484
<id>CircadianClock-PT-000010-ReachabilityCardinality-14</id>
485
<description>Automatically generated</description>
491
<integer-constant>1</integer-constant>
522
<id>CircadianClock-PT-000010-ReachabilityCardinality-15</id>
523
<description>Automatically generated</description>
531
<integer-constant>2</integer-constant>