2
<property-set xmlns="http://mcc.lip6.fr/">
4
<id>MAPK-PT-160-ReachabilityBounds-0</id>
5
<description>Automatically generated</description>
12
<place>ERKP_MEKPP</place>
14
<integer-constant>1</integer-constant>
18
<place>RafP_Phase1</place>
20
<integer-constant>3</integer-constant>
25
<place>MEKPP_Phase2</place>
27
<integer-constant>2</integer-constant>
34
<integer-constant>2</integer-constant>
40
<id>MAPK-PT-160-ReachabilityBounds-1</id>
41
<description>Automatically generated</description>
45
<place>ERK_MEKPP</place>
47
<integer-constant>2</integer-constant>
52
<id>MAPK-PT-160-ReachabilityBounds-2</id>
53
<description>Automatically generated</description>
59
<place>MEKP_RafP</place>
61
<integer-constant>1</integer-constant>
65
<place>ERK_MEKPP</place>
67
<integer-constant>3</integer-constant>
74
<integer-constant>3</integer-constant>
80
<id>MAPK-PT-160-ReachabilityBounds-3</id>
81
<description>Automatically generated</description>
92
<integer-constant>2</integer-constant>
98
<integer-constant>3</integer-constant>
103
<place>RasGTP</place>
105
<integer-constant>1</integer-constant>
112
<integer-constant>2</integer-constant>
117
<place>ERK_MEKPP</place>
119
<integer-constant>3</integer-constant>
126
<integer-constant>1</integer-constant>
132
<id>MAPK-PT-160-ReachabilityBounds-4</id>
133
<description>Automatically generated</description>
137
<place>Raf_RasGTP</place>
139
<integer-constant>2</integer-constant>
144
<id>MAPK-PT-160-ReachabilityBounds-5</id>
145
<description>Automatically generated</description>
150
<place>ERKPP_Phase3</place>
152
<integer-constant>1</integer-constant>
159
<integer-constant>1</integer-constant>
167
<integer-constant>1</integer-constant>
171
<place>ERKP_Phase3</place>
173
<integer-constant>3</integer-constant>
178
<place>ERKP_Phase3</place>
180
<integer-constant>2</integer-constant>
188
<id>MAPK-PT-160-ReachabilityBounds-6</id>
189
<description>Automatically generated</description>
193
<place>ERKP_MEKPP</place>
195
<integer-constant>2</integer-constant>
200
<id>MAPK-PT-160-ReachabilityBounds-7</id>
201
<description>Automatically generated</description>
206
<place>Phase1</place>
208
<integer-constant>3</integer-constant>
214
<integer-constant>3</integer-constant>
220
<id>MAPK-PT-160-ReachabilityBounds-8</id>
221
<description>Automatically generated</description>
231
<integer-constant>1</integer-constant>
236
<place>Raf_RasGTP</place>
238
<integer-constant>1</integer-constant>
244
<integer-constant>2</integer-constant>
250
<place>Raf_RasGTP</place>
252
<integer-constant>1</integer-constant>
259
<integer-constant>1</integer-constant>
266
<place>Raf_RasGTP</place>
268
<integer-constant>3</integer-constant>
276
<integer-constant>1</integer-constant>
280
<place>MEKP_RafP</place>
282
<integer-constant>3</integer-constant>
287
<place>ERKPP_Phase3</place>
289
<integer-constant>2</integer-constant>
299
<place>RasGTP</place>
301
<integer-constant>1</integer-constant>
305
<place>Raf_RasGTP</place>
307
<integer-constant>2</integer-constant>
312
<place>ERKP_MEKPP</place>
314
<integer-constant>1</integer-constant>
319
<place>RafP_Phase1</place>
321
<integer-constant>1</integer-constant>
328
<place>MEKPP_Phase2</place>
330
<integer-constant>2</integer-constant>
334
<place>ERKP_Phase3</place>
336
<integer-constant>2</integer-constant>
343
<integer-constant>2</integer-constant>
352
<id>MAPK-PT-160-ReachabilityBounds-9</id>
353
<description>Automatically generated</description>
357
<place>ERKP_MEKPP</place>
359
<integer-constant>3</integer-constant>
364
<id>MAPK-PT-160-ReachabilityBounds-10</id>
365
<description>Automatically generated</description>
370
<place>Phase2</place>
372
<integer-constant>1</integer-constant>
378
<place>RasGTP</place>
380
<integer-constant>3</integer-constant>
385
<place>MEKP_RafP</place>
387
<integer-constant>3</integer-constant>
392
<place>MEKP_RafP</place>
394
<integer-constant>1</integer-constant>
400
<integer-constant>2</integer-constant>
407
<place>ERKPP_Phase3</place>
409
<integer-constant>2</integer-constant>
416
<id>MAPK-PT-160-ReachabilityBounds-11</id>
417
<description>Automatically generated</description>
424
<integer-constant>3</integer-constant>
430
<integer-constant>3</integer-constant>
436
<id>MAPK-PT-160-ReachabilityBounds-12</id>
437
<description>Automatically generated</description>
444
<integer-constant>2</integer-constant>
450
<integer-constant>2</integer-constant>
456
<id>MAPK-PT-160-ReachabilityBounds-13</id>
457
<description>Automatically generated</description>
461
<place>MEKPP_Phase2</place>
463
<integer-constant>3</integer-constant>
468
<id>MAPK-PT-160-ReachabilityBounds-14</id>
469
<description>Automatically generated</description>
474
<place>MEKP_RafP</place>
476
<integer-constant>3</integer-constant>
480
<place>MEK_RafP</place>
482
<integer-constant>3</integer-constant>
488
<id>MAPK-PT-160-ReachabilityBounds-15</id>
489
<description>Automatically generated</description>
495
<place>ERK_MEKPP</place>
497
<integer-constant>2</integer-constant>
501
<place>Phase3</place>
503
<integer-constant>3</integer-constant>
508
<place>ERKP_Phase3</place>
510
<integer-constant>1</integer-constant>