2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>MAPK-PT-040-CTLCardinality-0</id>
5
<description>Automatically generated</description>
13
<integer-constant>3</integer-constant>
15
<place>ERKP_Phase3</place>
20
<place>MEK_RafP</place>
34
<id>MAPK-PT-040-CTLCardinality-1</id>
35
<description>Automatically generated</description>
41
<integer-constant>1</integer-constant>
53
<place>ERKP_MEKPP</place>
64
<id>MAPK-PT-040-CTLCardinality-2</id>
65
<description>Automatically generated</description>
81
<integer-constant>3</integer-constant>
94
<id>MAPK-PT-040-CTLCardinality-3</id>
95
<description>Automatically generated</description>
103
<integer-constant>2</integer-constant>
110
<place>RasGTP</place>
124
<id>MAPK-PT-040-CTLCardinality-4</id>
125
<description>Automatically generated</description>
133
<integer-constant>2</integer-constant>
140
<place>ERKP_Phase3</place>
143
<place>ERKP_Phase3</place>
155
<integer-constant>1</integer-constant>
168
<id>MAPK-PT-040-CTLCardinality-5</id>
169
<description>Automatically generated</description>
178
<place>MEK_RafP</place>
181
<place>ERKP_MEKPP</place>
186
<place>Phase3</place>
189
<place>RasGTP</place>
200
<id>MAPK-PT-040-CTLCardinality-6</id>
201
<description>Automatically generated</description>
210
<place>Phase2</place>
213
<place>ERK_MEKPP</place>
219
<integer-constant>2</integer-constant>
229
<place>Phase1</place>
241
<place>Raf_RasGTP</place>
246
<place>MEKP_Phase2</place>
259
<integer-constant>3</integer-constant>
266
<place>ERKPP_Phase3</place>
277
<integer-constant>2</integer-constant>
279
<place>ERKP_Phase3</place>
292
<place>MEKP_Phase2</place>
295
<place>Phase1</place>
303
<integer-constant>3</integer-constant>
305
<place>ERK_MEKPP</place>
312
<integer-constant>2</integer-constant>
322
<id>MAPK-PT-040-CTLCardinality-7</id>
323
<description>Automatically generated</description>
331
<integer-constant>3</integer-constant>
333
<place>ERKP_Phase3</place>
345
<integer-constant>3</integer-constant>
358
<id>MAPK-PT-040-CTLCardinality-8</id>
359
<description>Automatically generated</description>
368
<place>Raf_RasGTP</place>
371
<place>Phase2</place>
377
<integer-constant>2</integer-constant>
379
<place>Phase3</place>
383
<integer-constant>2</integer-constant>
385
<place>Phase3</place>
396
<integer-constant>1</integer-constant>
402
<integer-constant>2</integer-constant>
414
<id>MAPK-PT-040-CTLCardinality-9</id>
415
<description>Automatically generated</description>
422
<place>ERK_MEKPP</place>
425
<place>Phase3</place>
436
<place>ERKPP_Phase3</place>
442
<integer-constant>2</integer-constant>
444
<place>RafP_Phase1</place>
454
<id>MAPK-PT-040-CTLCardinality-10</id>
455
<description>Automatically generated</description>
464
<place>MEKP_RafP</place>
467
<place>ERKP_Phase3</place>
479
<integer-constant>1</integer-constant>
481
<place>Phase2</place>
492
<id>MAPK-PT-040-CTLCardinality-11</id>
493
<description>Automatically generated</description>
501
<integer-constant>3</integer-constant>
503
<place>MEK_RafP</place>
508
<place>MEKP_Phase2</place>
520
<place>ERKP_Phase3</place>
527
<integer-constant>3</integer-constant>
534
<place>ERKP_MEKPP</place>
537
<place>MEKP_Phase2</place>
542
<integer-constant>3</integer-constant>
554
<id>MAPK-PT-040-CTLCardinality-12</id>
555
<description>Automatically generated</description>
566
<place>MEK_RafP</place>
576
<id>MAPK-PT-040-CTLCardinality-13</id>
577
<description>Automatically generated</description>
585
<integer-constant>2</integer-constant>
592
<place>ERK_MEKPP</place>
595
<place>Phase2</place>
606
<id>MAPK-PT-040-CTLCardinality-14</id>
607
<description>Automatically generated</description>
615
<integer-constant>3</integer-constant>
621
<integer-constant>3</integer-constant>
623
<place>ERKP_MEKPP</place>
633
<integer-constant>2</integer-constant>
635
<place>ERKP_Phase3</place>
646
<id>MAPK-PT-040-CTLCardinality-15</id>
647
<description>Automatically generated</description>
655
<integer-constant>3</integer-constant>
657
<place>ERKP_MEKPP</place>
664
<place>Phase2</place>
667
<place>ERK_MEKPP</place>