Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r002-oct2-167813589500224.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool pnmc
Input is AirplaneLD-COL-1000, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r002-oct2-167813589500224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 7.2K Feb 26 12:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 12:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 11:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 11:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 13:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 13:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 12:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 12:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 181K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678463929236

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=pnmc
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AirplaneLD-COL-1000
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 15:58:51] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 15:58:51] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 15:58:51] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 15:58:52] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 15:58:52] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 836 ms
[2023-03-10 15:58:52] [INFO ] Detected 3 constant HL places corresponding to 3002 PT places.
[2023-03-10 15:58:52] [INFO ] Imported 20 HL places and 15 HL transitions for a total of 7019 PT places and 12012.0 transition bindings in 28 ms.
[2023-03-10 15:58:53] [INFO ] Unfolded HLPN to a Petri net with 7019 places and 8008 transitions 22520 arcs in 199 ms.
[2023-03-10 15:58:53] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 15:58:53] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 7019 places, 8008 transitions and 22520 arcs took 123 ms.
Total runtime 1843 ms.
force : 0.0404099s
firing rule : 0.00998433s
rewrite : 0.958871s
state space : 5.21344s
count tokens : 0.00582741s
total : 6.63756s

-- Results
34087074023 state(s)
STATE_SPACE STATES 34087074023 TECHNIQUES DECISION_DIAGRAMS
maximal number of tokens per marking : 3008
STATE_SPACE MAX_TOKEN_PER_MARKING 3008 TECHNIQUES DECISION_DIAGRAMS
maximal number of tokens in a place : 1
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES DECISION_DIAGRAMS

BK_STOP 1678463941915

--------------------
content from stderr:

environ({'SHELL': '/bin/bash', 'BK_INPUT': 'AirplaneLD-COL-1000', 'PWD': '/home/mcc/execution/unfStateSpace', 'LOGNAME': 'mcc', 'BK_TOOL': 'pnmc', 'MOTD_SHOWN': 'pam', 'HOME': '/home/mcc', 'BK_RESULT_DIR': '/tmp/BK_RESULTS/OUTPUTS', 'BK_MEMORY_CONFINEMENT': '16384', 'SSH_CONNECTION': '10.0.2.2 57418 10.0.2.15 22', 'USER': 'mcc', 'BIN_DIR': '/home/mcc/BenchKit/bin', 'SHLVL': '4', 'SSH_CLIENT': '10.0.2.2 57418 22', 'LC_ALL': 'C', 'BK_BIN_PATH': '/home/mcc/BenchKit/bin//../pnmc/bin/', 'PATH': '/usr/local/bin:/usr/bin:/bin:/usr/games:/home/mcc/BenchKit/bin//../pnmc/bin/', 'BK_EXAMINATION': 'StateSpace', 'BK_TIME_CONFINEMENT': '3600', 'OLDPWD': '/home/mcc/execution', '_': '/home/mcc/BenchKit/bin//../pnmc/bin//pnmc.py', 'LD_LIBRARY_PATH': '/usr/local/lib:/usr/local/lib64:'})
Running NUPN extraction with model=/home/mcc/execution/unfStateSpace/model.pnml and bpn=/home/mcc/execution/unfStateSpace/model.bpn

['/home/mcc/BenchKit/bin//../pnmc/bin//pnmc', '--cache-size=hom:16000000,sum:16000000,inter:8000000,diff:8000000', '--json=stats', '--format=pnml', '--count-tokens', '/home/mcc/execution/unfStateSpace/model.pnml', '--order-force']
Warning: place p5 is not connected and has an initial marking.
Warning: place p6 is not connected and has an initial marking.
Warning: place p7 is not connected and has an initial marking.
Warning: place p8 is not connected and has an initial marking.
Warning: place p9 is not connected and has an initial marking.
Warning: place p10 is not connected and has an initial marking.
Warning: place p11 is not connected and has an initial marking.
Warning: place p12 is not connected and has an initial marking.
Warning: place p13 is not connected and has an initial marking.
Warning: place p14 is not connected and has an initial marking.
Warning: place p15 is not connected and has an initial marking.
Warning: place p16 is not connected and has an initial marking.
Warning: place p17 is not connected and has an initial marking.
Warning: place p18 is not connected and has an initial marking.
Warning: place p19 is not connected and has an initial marking.
Warning: place p20 is not connected and has an initial marking.
Warning: place p21 is not connected and has an initial marking.
Warning: place p22 is not connected and has an initial marking.
Warning: place p23 is not connected and has an initial marking.
Warning: place p24 is not connected and has an initial marking.
Warning: place p25 is not connected and has an initial marking.
Warning: place p26 is not connected and has an initial marking.
Warning: place p27 is not connected and has an initial marking.
Warning: place p28 is not connected and has an initial marking.
Warning: place p29 is not connected and has an initial marking.
Warning: place p30 is not connected and has an initial marking.
Warning: place p31 is not connected and has an initial marking.
Warning: place p32 is not connected and has an initial marking.
Warning: place p33 is not connected and has an initial marking.
Warning: place p34 is not connected and has an initial marking.
Warning: place p35 is not connected and has an initial marking.
Warning: place p36 is not connected and has an initial marking.
Warning: place p37 is not connected and has an initial marking.
Warning: place p38 is not connected and has an initial marking.
Warning: place p39 is not connected and has an initial marking.
Warning: place p40 is not connected and has an initial marking.
Warning: place p41 is not connected and has an initial marking.
Warning: place p42 is not connected and has an initial marking.
Warning: place p43 is not connected and has an initial marking.
Warning: place p44 is not connected and has an initial marking.
Warning: place p45 is not connected and has an initial marking.
Warning: place p46 is not connected and has an initial marking.
Warning: place p47 is not connected and has an initial marking.
Warning: place p48 is not connected and has an initial marking.
Warning: place p49 is not connected and has an initial marking.
Warning: place p50 is not connected and has an initial marking.
Warning: place p51 is not connected and has an initial marking.
Warning: place p52 is not connected and has an initial marking.
Warning: place p53 is not connected and has an initial marking.
Warning: place p54 is not connected and has an initial marking.
Warning: place p55 is not connected and has an initial marking.
Warning: place p56 is not connected and has an initial marking.
Warning: place p57 is not connected and has an initial marking.
Warning: place p58 is not connected and has an initial marking.
Warning: place p59 is not connected and has an initial marking.
Warning: place p60 is not connected and has an initial marking.
Warning: place p61 is not connected and has an initial marking.
Warning: place p62 is not connected and has an initial marking.
Warning: place p63 is not connected and has an initial marking.
Warning: place p64 is not connected and has an initial marking.
Warning: place p65 is not connected and has an initial marking.
Warning: place p66 is not connected and has an initial marking.
Warning: place p67 is not connected and has an initial marking.
Warning: place p68 is not connected and has an initial marking.
Warning: place p69 is not connected and has an initial marking.
Warning: place p70 is not connected and has an initial marking.
Warning: place p71 is not connected and has an initial marking.
Warning: place p72 is not connected and has an initial marking.
Warning: place p73 is not connected and has an initial marking.
Warning: place p74 is not connected and has an initial marking.
Warning: place p75 is not connected and has an initial marking.
Warning: place p76 is not connected and has an initial marking.
Warning: place p77 is not connected and has an initial marking.
Warning: place p78 is not connected and has an initial marking.
Warning: place p79 is not connected and has an initial marking.
Warning: place p80 is not connected and has an initial marking.
Warning: place p81 is not connected and has an initial marking.
Warning: place p82 is not connected and has an initial marking.
Warning: place p83 is not connected and has an initial marking.
Warning: place p84 is not connected and has an initial marking.
Warning: place p85 is not connected and has an initial marking.
Warning: place p86 is not connected and has an initial marking.
Warning: place p87 is not connected and has an initial marking.
Warning: place p88 is not connected and has an initial marking.
Warning: place p89 is not connected and has an initial marking.
Warning: place p90 is not connected and has an initial marking.
Warning: place p91 is not connected and has an initial marking.
Warning: place p92 is not connected and has an initial marking.
Warning: place p93 is not connected and has an initial marking.
Warning: place p94 is not connected and has an initial marking.
Warning: place p95 is not connected and has an initial marking.
Warning: place p96 is not connected and has an initial marking.
Warning: place p97 is not connected and has an initial marking.
Warning: place p98 is not connected and has an initial marking.
Warning: place p99 is not connected and has an initial marking.
Warning: place p100 is not connected and has an initial marking.
Warning: place p101 is not connected and has an initial marking.
Warning: place p102 is not connected and has an initial marking.
Warning: place p103 is not connected and has an initial marking.
Warning: place p104 is not connected and has an initial marking.
Warning: place p105 is not connected and has an initial marking.
Warning: place p106 is not connected and has an initial marking.
Warning: place p107 is not connected and has an initial marking.
Warning: place p108 is not connected and has an initial marking.
Warning: place p109 is not connected and has an initial marking.
Warning: place p110 is not connected and has an initial marking.
Warning: place p111 is not connected and has an initial marking.
Warning: place p112 is not connected and has an initial marking.
Warning: place p113 is not connected and has an initial marking.
Warning: place p114 is not connected and has an initial marking.
Warning: place p115 is not connected and has an initial marking.
Warning: place p116 is not connected and has an initial marking.
Warning: place p117 is not connected and has an initial marking.
Warning: place p118 is not connected and has an initial marking.
Warning: place p119 is not connected and has an initial marking.
Warning: place p120 is not connected and has an initial marking.
Warning: place p121 is not connected and has an initial marking.
Warning: place p122 is not connected and has an initial marking.
Warning: place p123 is not connected and has an initial marking.
Warning: place p124 is not connected and has an initial marking.
Warning: place p125 is not connected and has an initial marking.
Warning: place p126 is not connected and has an initial marking.
Warning: place p127 is not connected and has an initial marking.
Warning: place p128 is not connected and has an initial marking.
Warning: place p129 is not connected and has an initial marking.
Warning: place p130 is not connected and has an initial marking.
Warning: place p131 is not connected and has an initial marking.
Warning: place p132 is not connected and has an initial marking.
Warning: place p133 is not connected and has an initial marking.
Warning: place p134 is not connected and has an initial marking.
Warning: place p135 is not connected and has an initial marking.
Warning: place p136 is not connected and has an initial marking.
Warning: place p137 is not connected and has an initial marking.
Warning: place p138 is not connected and has an initial marking.
Warning: place p139 is not connected and has an initial marking.
Warning: place p140 is not connected and has an initial marking.
Warning: place p141 is not connected and has an initial marking.
Warning: place p142 is not connected and has an initial marking.
Warning: place p143 is not connected and has an initial marking.
Warning: place p144 is not connected and has an initial marking.
Warning: place p145 is not connected and has an initial marking.
Warning: place p146 is not connected and has an initial marking.
Warning: place p147 is not connected and has an initial marking.
Warning: place p148 is not connected and has an initial marking.
Warning: place p149 is not connected and has an initial marking.
Warning: place p150 is not connected and has an initial marking.
Warning: place p151 is not connected and has an initial marking.
Warning: place p152 is not connected and has an initial marking.
Warning: place p153 is not connected and has an initial marking.
Warning: place p154 is not connected and has an initial marking.
Warning: place p155 is not connected and has an initial marking.
Warning: place p156 is not connected and has an initial marking.
Warning: place p157 is not connected and has an initial marking.
Warning: place p158 is not connected and has an initial marking.
Warning: place p159 is not connected and has an initial marking.
Warning: place p160 is not connected and has an initial marking.
Warning: place p161 is not connected and has an initial marking.
Warning: place p162 is not connected and has an initial marking.
Warning: place p163 is not connected and has an initial marking.
Warning: place p164 is not connected and has an initial marking.
Warning: place p165 is not connected and has an initial marking.
Warning: place p166 is not connected and has an initial marking.
Warning: place p167 is not connected and has an initial marking.
Warning: place p168 is not connected and has an initial marking.
Warning: place p169 is not connected and has an initial marking.
Warning: place p170 is not connected and has an initial marking.
Warning: place p171 is not connected and has an initial marking.
Warning: place p172 is not connected and has an initial marking.
Warning: place p173 is not connected and has an initial marking.
Warning: place p174 is not connected and has an initial marking.
Warning: place p175 is not connected and has an initial marking.
Warning: place p176 is not connected and has an initial marking.
Warning: place p177 is not connected and has an initial marking.
Warning: place p178 is not connected and has an initial marking.
Warning: place p179 is not connected and has an initial marking.
Warning: place p180 is not connected and has an initial marking.
Warning: place p181 is not connected and has an initial marking.
Warning: place p182 is not connected and has an initial marking.
Warning: place p183 is not connected and has an initial marking.
Warning: place p184 is not connected and has an initial marking.
Warning: place p185 is not connected and has an initial marking.
Warning: place p186 is not connected and has an initial marking.
Warning: place p187 is not connected and has an initial marking.
Warning: place p188 is not connected and has an initial marking.
Warning: place p189 is not connected and has an initial marking.
Warning: place p190 is not connected and has an initial marking.
Warning: place p191 is not connected and has an initial marking.
Warning: place p192 is not connected and has an initial marking.
Warning: place p193 is not connected and has an initial marking.
Warning: place p194 is not connected and has an initial marking.
Warning: place p195 is not connected and has an initial marking.
Warning: place p196 is not connected and has an initial marking.
Warning: place p197 is not connected and has an initial marking.
Warning: place p198 is not connected and has an initial marking.
Warning: place p199 is not connected and has an initial marking.
Warning: place p200 is not connected and has an initial marking.
Warning: place p201 is not connected and has an initial marking.
Warning: place p202 is not connected and has an initial marking.
Warning: place p203 is not connected and has an initial marking.
Warning: place p204 is not connected and has an initial marking.
Warning: place p205 is not connected and has an initial marking.
Warning: place p206 is not connected and has an initial marking.
Warning: place p207 is not connected and has an initial marking.
Warning: place p208 is not connected and has an initial marking.
Warning: place p209 is not connected and has an initial marking.
Warning: place p210 is not connected and has an initial marking.
Warning: place p211 is not connected and has an initial marking.
Warning: place p212 is not connected and has an initial marking.
Warning: place p213 is not connected and has an initial marking.
Warning: place p214 is not connected and has an initial marking.
Warning: place p215 is not connected and has an initial marking.
Warning: place p216 is not connected and has an initial marking.
Warning: place p217 is not connected and has an initial marking.
Warning: place p218 is not connected and has an initial marking.
Warning: place p219 is not connected and has an initial marking.
Warning: place p220 is not connected and has an initial marking.
Warning: place p221 is not connected and has an initial marking.
Warning: place p222 is not connected and has an initial marking.
Warning: place p223 is not connected and has an initial marking.
Warning: place p224 is not connected and has an initial marking.
Warning: place p225 is not connected and has an initial marking.
Warning: place p226 is not connected and has an initial marking.
Warning: place p227 is not connected and has an initial marking.
Warning: place p228 is not connected and has an initial marking.
Warning: place p229 is not connected and has an initial marking.
Warning: place p230 is not connected and has an initial marking.
Warning: place p231 is not connected and has an initial marking.
Warning: place p232 is not connected and has an initial marking.
Warning: place p233 is not connected and has an initial marking.
Warning: place p234 is not connected and has an initial marking.
Warning: place p235 is not connected and has an initial marking.
Warning: place p236 is not connected and has an initial marking.
Warning: place p237 is not connected and has an initial marking.
Warning: place p238 is not connected and has an initial marking.
Warning: place p239 is not connected and has an initial marking.
Warning: place p240 is not connected and has an initial marking.
Warning: place p241 is not connected and has an initial marking.
Warning: place p242 is not connected and has an initial marking.
Warning: place p243 is not connected and has an initial marking.
Warning: place p244 is not connected and has an initial marking.
Warning: place p245 is not connected and has an initial marking.
Warning: place p246 is not connected and has an initial marking.
Warning: place p247 is not connected and has an initial marking.
Warning: place p248 is not connected and has an initial marking.
Warning: place p249 is not connected and has an initial marking.
Warning: place p250 is not connected and has an initial marking.
Warning: place p251 is not connected and has an initial marking.
Warning: place p252 is not connected and has an initial marking.
Warning: place p253 is not connected and has an initial marking.
Warning: place p254 is not connected and has an initial marking.
Warning: place p255 is not connected and has an initial marking.
Warning: place p256 is not connected and has an initial marking.
Warning: place p257 is not connected and has an initial marking.
Warning: place p258 is not connected and has an initial marking.
Warning: place p259 is not connected and has an initial marking.
Warning: place p260 is not connected and has an initial marking.
Warning: place p261 is not connected and has an initial marking.
Warning: place p262 is not connected and has an initial marking.
Warning: place p263 is not connected and has an initial marking.
Warning: place p264 is not connected and has an initial marking.
Warning: place p265 is not connected and has an initial marking.
Warning: place p266 is not connected and has an initial marking.
Warning: place p267 is not connected and has an initial marking.
Warning: place p268 is not connected and has an initial marking.
Warning: place p269 is not connected and has an initial marking.
Warning: place p270 is not connected and has an initial marking.
Warning: place p271 is not connected and has an initial marking.
Warning: place p272 is not connected and has an initial marking.
Warning: place p273 is not connected and has an initial marking.
Warning: place p274 is not connected and has an initial marking.
Warning: place p275 is not connected and has an initial marking.
Warning: place p276 is not connected and has an initial marking.
Warning: place p277 is not connected and has an initial marking.
Warning: place p278 is not connected and has an initial marking.
Warning: place p279 is not connected and has an initial marking.
Warning: place p280 is not connected and has an initial marking.
Warning: place p281 is not connected and has an initial marking.
Warning: place p282 is not connected and has an initial marking.
Warning: place p283 is not connected and has an initial marking.
Warning: place p284 is not connected and has an initial marking.
Warning: place p285 is not connected and has an initial marking.
Warning: place p286 is not connected and has an initial marking.
Warning: place p287 is not connected and has an initial marking.
Warning: place p288 is not connected and has an initial marking.
Warning: place p289 is not connected and has an initial marking.
Warning: place p290 is not connected and has an initial marking.
Warning: place p291 is not connected and has an initial marking.
Warning: place p292 is not connected and has an initial marking.
Warning: place p293 is not connected and has an initial marking.
Warning: place p294 is not connected and has an initial marking.
Warning: place p295 is not connected and has an initial marking.
Warning: place p296 is not connected and has an initial marking.
Warning: place p297 is not connected and has an initial marking.
Warning: place p298 is not connected and has an initial marking.
Warning: place p299 is not connected and has an initial marking.
Warning: place p300 is not connected and has an initial marking.
Warning: place p301 is not connected and has an initial marking.
Warning: place p302 is not connected and has an initial marking.
Warning: place p303 is not connected and has an initial marking.
Warning: place p304 is not connected and has an initial marking.
Warning: place p305 is not connected and has an initial marking.
Warning: place p306 is not connected and has an initial marking.
Warning: place p307 is not connected and has an initial marking.
Warning: place p308 is not connected and has an initial marking.
Warning: place p309 is not connected and has an initial marking.
Warning: place p310 is not connected and has an initial marking.
Warning: place p311 is not connected and has an initial marking.
Warning: place p312 is not connected and has an initial marking.
Warning: place p313 is not connected and has an initial marking.
Warning: place p314 is not connected and has an initial marking.
Warning: place p315 is not connected and has an initial marking.
Warning: place p316 is not connected and has an initial marking.
Warning: place p317 is not connected and has an initial marking.
Warning: place p318 is not connected and has an initial marking.
Warning: place p319 is not connected and has an initial marking.
Warning: place p320 is not connected and has an initial marking.
Warning: place p321 is not connected and has an initial marking.
Warning: place p322 is not connected and has an initial marking.
Warning: place p323 is not connected and has an initial marking.
Warning: place p324 is not connected and has an initial marking.
Warning: place p325 is not connected and has an initial marking.
Warning: place p326 is not connected and has an initial marking.
Warning: place p327 is not connected and has an initial marking.
Warning: place p328 is not connected and has an initial marking.
Warning: place p329 is not connected and has an initial marking.
Warning: place p330 is not connected and has an initial marking.
Warning: place p331 is not connected and has an initial marking.
Warning: place p332 is not connected and has an initial marking.
Warning: place p333 is not connected and has an initial marking.
Warning: place p334 is not connected and has an initial marking.
Warning: place p335 is not connected and has an initial marking.
Warning: place p336 is not connected and has an initial marking.
Warning: place p337 is not connected and has an initial marking.
Warning: place p338 is not connected and has an initial marking.
Warning: place p339 is not connected and has an initial marking.
Warning: place p340 is not connected and has an initial marking.
Warning: place p341 is not connected and has an initial marking.
Warning: place p342 is not connected and has an initial marking.
Warning: place p343 is not connected and has an initial marking.
Warning: place p344 is not connected and has an initial marking.
Warning: place p345 is not connected and has an initial marking.
Warning: place p346 is not connected and has an initial marking.
Warning: place p347 is not connected and has an initial marking.
Warning: place p348 is not connected and has an initial marking.
Warning: place p349 is not connected and has an initial marking.
Warning: place p350 is not connected and has an initial marking.
Warning: place p351 is not connected and has an initial marking.
Warning: place p352 is not connected and has an initial marking.
Warning: place p353 is not connected and has an initial marking.
Warning: place p354 is not connected and has an initial marking.
Warning: place p355 is not connected and has an initial marking.
Warning: place p356 is not connected and has an initial marking.
Warning: place p357 is not connected and has an initial marking.
Warning: place p358 is not connected and has an initial marking.
Warning: place p359 is not connected and has an initial marking.
Warning: place p360 is not connected and has an initial marking.
Warning: place p361 is not connected and has an initial marking.
Warning: place p362 is not connected and has an initial marking.
Warning: place p363 is not connected and has an initial marking.
Warning: place p364 is not connected and has an initial marking.
Warning: place p365 is not connected and has an initial marking.
Warning: place p366 is not connected and has an initial marking.
Warning: place p367 is not connected and has an initial marking.
Warning: place p368 is not connected and has an initial marking.
Warning: place p369 is not connected and has an initial marking.
Warning: place p370 is not connected and has an initial marking.
Warning: place p371 is not connected and has an initial marking.
Warning: place p372 is not connected and has an initial marking.
Warning: place p373 is not connected and has an initial marking.
Warning: place p374 is not connected and has an initial marking.
Warning: place p375 is not connected and has an initial marking.
Warning: place p376 is not connected and has an initial marking.
Warning: place p377 is not connected and has an initial marking.
Warning: place p378 is not connected and has an initial marking.
Warning: place p379 is not connected and has an initial marking.
Warning: place p380 is not connected and has an initial marking.
Warning: place p381 is not connected and has an initial marking.
Warning: place p382 is not connected and has an initial marking.
Warning: place p383 is not connected and has an initial marking.
Warning: place p384 is not connected and has an initial marking.
Warning: place p385 is not connected and has an initial marking.
Warning: place p386 is not connected and has an initial marking.
Warning: place p387 is not connected and has an initial marking.
Warning: place p388 is not connected and has an initial marking.
Warning: place p389 is not connected and has an initial marking.
Warning: place p390 is not connected and has an initial marking.
Warning: place p391 is not connected and has an initial marking.
Warning: place p392 is not connected and has an initial marking.
Warning: place p393 is not connected and has an initial marking.
Warning: place p394 is not connected and has an initial marking.
Warning: place p395 is not connected and has an initial marking.
Warning: place p396 is not connected and has an initial marking.
Warning: place p397 is not connected and has an initial marking.
Warning: place p398 is not connected and has an initial marking.
Warning: place p399 is not connected and has an initial marking.
Warning: place p400 is not connected and has an initial marking.
Warning: place p401 is not connected and has an initial marking.
Warning: place p402 is not connected and has an initial marking.
Warning: place p403 is not connected and has an initial marking.
Warning: place p404 is not connected and has an initial marking.
Warning: place p405 is not connected and has an initial marking.
Warning: place p406 is not connected and has an initial marking.
Warning: place p407 is not connected and has an initial marking.
Warning: place p408 is not connected and has an initial marking.
Warning: place p409 is not connected and has an initial marking.
Warning: place p410 is not connected and has an initial marking.
Warning: place p411 is not connected and has an initial marking.
Warning: place p412 is not connected and has an initial marking.
Warning: place p413 is not connected and has an initial marking.
Warning: place p414 is not connected and has an initial marking.
Warning: place p415 is not connected and has an initial marking.
Warning: place p416 is not connected and has an initial marking.
Warning: place p417 is not connected and has an initial marking.
Warning: place p418 is not connected and has an initial marking.
Warning: place p419 is not connected and has an initial marking.
Warning: place p420 is not connected and has an initial marking.
Warning: place p421 is not connected and has an initial marking.
Warning: place p422 is not connected and has an initial marking.
Warning: place p423 is not connected and has an initial marking.
Warning: place p424 is not connected and has an initial marking.
Warning: place p425 is not connected and has an initial marking.
Warning: place p426 is not connected and has an initial marking.
Warning: place p427 is not connected and has an initial marking.
Warning: place p428 is not connected and has an initial marking.
Warning: place p429 is not connected and has an initial marking.
Warning: place p430 is not connected and has an initial marking.
Warning: place p431 is not connected and has an initial marking.
Warning: place p432 is not connected and has an initial marking.
Warning: place p433 is not connected and has an initial marking.
Warning: place p434 is not connected and has an initial marking.
Warning: place p435 is not connected and has an initial marking.
Warning: place p436 is not connected and has an initial marking.
Warning: place p437 is not connected and has an initial marking.
Warning: place p438 is not connected and has an initial marking.
Warning: place p439 is not connected and has an initial marking.
Warning: place p440 is not connected and has an initial marking.
Warning: place p441 is not connected and has an initial marking.
Warning: place p442 is not connected and has an initial marking.
Warning: place p443 is not connected and has an initial marking.
Warning: place p444 is not connected and has an initial marking.
Warning: place p445 is not connected and has an initial marking.
Warning: place p446 is not connected and has an initial marking.
Warning: place p447 is not connected and has an initial marking.
Warning: place p448 is not connected and has an initial marking.
Warning: place p449 is not connected and has an initial marking.
Warning: place p450 is not connected and has an initial marking.
Warning: place p451 is not connected and has an initial marking.
Warning: place p452 is not connected and has an initial marking.
Warning: place p453 is not connected and has an initial marking.
Warning: place p454 is not connected and has an initial marking.
Warning: place p455 is not connected and has an initial marking.
Warning: place p456 is not connected and has an initial marking.
Warning: place p457 is not connected and has an initial marking.
Warning: place p458 is not connected and has an initial marking.
Warning: place p459 is not connected and has an initial marking.
Warning: place p460 is not connected and has an initial marking.
Warning: place p461 is not connected and has an initial marking.
Warning: place p462 is not connected and has an initial marking.
Warning: place p463 is not connected and has an initial marking.
Warning: place p464 is not connected and has an initial marking.
Warning: place p465 is not connected and has an initial marking.
Warning: place p466 is not connected and has an initial marking.
Warning: place p467 is not connected and has an initial marking.
Warning: place p468 is not connected and has an initial marking.
Warning: place p469 is not connected and has an initial marking.
Warning: place p470 is not connected and has an initial marking.
Warning: place p471 is not connected and has an initial marking.
Warning: place p472 is not connected and has an initial marking.
Warning: place p473 is not connected and has an initial marking.
Warning: place p474 is not connected and has an initial marking.
Warning: place p475 is not connected and has an initial marking.
Warning: place p476 is not connected and has an initial marking.
Warning: place p477 is not connected and has an initial marking.
Warning: place p478 is not connected and has an initial marking.
Warning: place p479 is not connected and has an initial marking.
Warning: place p480 is not connected and has an initial marking.
Warning: place p481 is not connected and has an initial marking.
Warning: place p482 is not connected and has an initial marking.
Warning: place p483 is not connected and has an initial marking.
Warning: place p484 is not connected and has an initial marking.
Warning: place p485 is not connected and has an initial marking.
Warning: place p486 is not connected and has an initial marking.
Warning: place p487 is not connected and has an initial marking.
Warning: place p488 is not connected and has an initial marking.
Warning: place p489 is not connected and has an initial marking.
Warning: place p490 is not connected and has an initial marking.
Warning: place p491 is not connected and has an initial marking.
Warning: place p492 is not connected and has an initial marking.
Warning: place p493 is not connected and has an initial marking.
Warning: place p494 is not connected and has an initial marking.
Warning: place p495 is not connected and has an initial marking.
Warning: place p496 is not connected and has an initial marking.
Warning: place p497 is not connected and has an initial marking.
Warning: place p498 is not connected and has an initial marking.
Warning: place p499 is not connected and has an initial marking.
Warning: place p500 is not connected and has an initial marking.
Warning: place p501 is not connected and has an initial marking.
Warning: place p502 is not connected and has an initial marking.
Warning: place p503 is not connected and has an initial marking.
Warning: place p504 is not connected and has an initial marking.
Warning: place p505 is not connected and has an initial marking.
Warning: place p506 is not connected and has an initial marking.
Warning: place p507 is not connected and has an initial marking.
Warning: place p508 is not connected and has an initial marking.
Warning: place p509 is not connected and has an initial marking.
Warning: place p510 is not connected and has an initial marking.
Warning: place p511 is not connected and has an initial marking.
Warning: place p512 is not connected and has an initial marking.
Warning: place p513 is not connected and has an initial marking.
Warning: place p514 is not connected and has an initial marking.
Warning: place p515 is not connected and has an initial marking.
Warning: place p516 is not connected and has an initial marking.
Warning: place p517 is not connected and has an initial marking.
Warning: place p518 is not connected and has an initial marking.
Warning: place p519 is not connected and has an initial marking.
Warning: place p520 is not connected and has an initial marking.
Warning: place p521 is not connected and has an initial marking.
Warning: place p522 is not connected and has an initial marking.
Warning: place p523 is not connected and has an initial marking.
Warning: place p524 is not connected and has an initial marking.
Warning: place p525 is not connected and has an initial marking.
Warning: place p526 is not connected and has an initial marking.
Warning: place p527 is not connected and has an initial marking.
Warning: place p528 is not connected and has an initial marking.
Warning: place p529 is not connected and has an initial marking.
Warning: place p530 is not connected and has an initial marking.
Warning: place p531 is not connected and has an initial marking.
Warning: place p532 is not connected and has an initial marking.
Warning: place p533 is not connected and has an initial marking.
Warning: place p534 is not connected and has an initial marking.
Warning: place p535 is not connected and has an initial marking.
Warning: place p536 is not connected and has an initial marking.
Warning: place p537 is not connected and has an initial marking.
Warning: place p538 is not connected and has an initial marking.
Warning: place p539 is not connected and has an initial marking.
Warning: place p540 is not connected and has an initial marking.
Warning: place p541 is not connected and has an initial marking.
Warning: place p542 is not connected and has an initial marking.
Warning: place p543 is not connected and has an initial marking.
Warning: place p544 is not connected and has an initial marking.
Warning: place p545 is not connected and has an initial marking.
Warning: place p546 is not connected and has an initial marking.
Warning: place p547 is not connected and has an initial marking.
Warning: place p548 is not connected and has an initial marking.
Warning: place p549 is not connected and has an initial marking.
Warning: place p550 is not connected and has an initial marking.
Warning: place p551 is not connected and has an initial marking.
Warning: place p552 is not connected and has an initial marking.
Warning: place p553 is not connected and has an initial marking.
Warning: place p554 is not connected and has an initial marking.
Warning: place p555 is not connected and has an initial marking.
Warning: place p556 is not connected and has an initial marking.
Warning: place p557 is not connected and has an initial marking.
Warning: place p558 is not connected and has an initial marking.
Warning: place p559 is not connected and has an initial marking.
Warning: place p560 is not connected and has an initial marking.
Warning: place p561 is not connected and has an initial marking.
Warning: place p562 is not connected and has an initial marking.
Warning: place p563 is not connected and has an initial marking.
Warning: place p564 is not connected and has an initial marking.
Warning: place p565 is not connected and has an initial marking.
Warning: place p566 is not connected and has an initial marking.
Warning: place p567 is not connected and has an initial marking.
Warning: place p568 is not connected and has an initial marking.
Warning: place p569 is not connected and has an initial marking.
Warning: place p570 is not connected and has an initial marking.
Warning: place p571 is not connected and has an initial marking.
Warning: place p572 is not connected and has an initial marking.
Warning: place p573 is not connected and has an initial marking.
Warning: place p574 is not connected and has an initial marking.
Warning: place p575 is not connected and has an initial marking.
Warning: place p576 is not connected and has an initial marking.
Warning: place p577 is not connected and has an initial marking.
Warning: place p578 is not connected and has an initial marking.
Warning: place p579 is not connected and has an initial marking.
Warning: place p580 is not connected and has an initial marking.
Warning: place p581 is not connected and has an initial marking.
Warning: place p582 is not connected and has an initial marking.
Warning: place p583 is not connected and has an initial marking.
Warning: place p584 is not connected and has an initial marking.
Warning: place p585 is not connected and has an initial marking.
Warning: place p586 is not connected and has an initial marking.
Warning: place p587 is not connected and has an initial marking.
Warning: place p588 is not connected and has an initial marking.
Warning: place p589 is not connected and has an initial marking.
Warning: place p590 is not connected and has an initial marking.
Warning: place p591 is not connected and has an initial marking.
Warning: place p592 is not connected and has an initial marking.
Warning: place p593 is not connected and has an initial marking.
Warning: place p594 is not connected and has an initial marking.
Warning: place p595 is not connected and has an initial marking.
Warning: place p596 is not connected and has an initial marking.
Warning: place p597 is not connected and has an initial marking.
Warning: place p598 is not connected and has an initial marking.
Warning: place p599 is not connected and has an initial marking.
Warning: place p600 is not connected and has an initial marking.
Warning: place p601 is not connected and has an initial marking.
Warning: place p602 is not connected and has an initial marking.
Warning: place p603 is not connected and has an initial marking.
Warning: place p604 is not connected and has an initial marking.
Warning: place p605 is not connected and has an initial marking.
Warning: place p606 is not connected and has an initial marking.
Warning: place p607 is not connected and has an initial marking.
Warning: place p608 is not connected and has an initial marking.
Warning: place p609 is not connected and has an initial marking.
Warning: place p610 is not connected and has an initial marking.
Warning: place p611 is not connected and has an initial marking.
Warning: place p612 is not connected and has an initial marking.
Warning: place p613 is not connected and has an initial marking.
Warning: place p614 is not connected and has an initial marking.
Warning: place p615 is not connected and has an initial marking.
Warning: place p616 is not connected and has an initial marking.
Warning: place p617 is not connected and has an initial marking.
Warning: place p618 is not connected and has an initial marking.
Warning: place p619 is not connected and has an initial marking.
Warning: place p620 is not connected and has an initial marking.
Warning: place p621 is not connected and has an initial marking.
Warning: place p622 is not connected and has an initial marking.
Warning: place p623 is not connected and has an initial marking.
Warning: place p624 is not connected and has an initial marking.
Warning: place p625 is not connected and has an initial marking.
Warning: place p626 is not connected and has an initial marking.
Warning: place p627 is not connected and has an initial marking.
Warning: place p628 is not connected and has an initial marking.
Warning: place p629 is not connected and has an initial marking.
Warning: place p630 is not connected and has an initial marking.
Warning: place p631 is not connected and has an initial marking.
Warning: place p632 is not connected and has an initial marking.
Warning: place p633 is not connected and has an initial marking.
Warning: place p634 is not connected and has an initial marking.
Warning: place p635 is not connected and has an initial marking.
Warning: place p636 is not connected and has an initial marking.
Warning: place p637 is not connected and has an initial marking.
Warning: place p638 is not connected and has an initial marking.
Warning: place p639 is not connected and has an initial marking.
Warning: place p640 is not connected and has an initial marking.
Warning: place p641 is not connected and has an initial marking.
Warning: place p642 is not connected and has an initial marking.
Warning: place p643 is not connected and has an initial marking.
Warning: place p644 is not connected and has an initial marking.
Warning: place p645 is not connected and has an initial marking.
Warning: place p646 is not connected and has an initial marking.
Warning: place p647 is not connected and has an initial marking.
Warning: place p648 is not connected and has an initial marking.
Warning: place p649 is not connected and has an initial marking.
Warning: place p650 is not connected and has an initial marking.
Warning: place p651 is not connected and has an initial marking.
Warning: place p652 is not connected and has an initial marking.
Warning: place p653 is not connected and has an initial marking.
Warning: place p654 is not connected and has an initial marking.
Warning: place p655 is not connected and has an initial marking.
Warning: place p656 is not connected and has an initial marking.
Warning: place p657 is not connected and has an initial marking.
Warning: place p658 is not connected and has an initial marking.
Warning: place p659 is not connected and has an initial marking.
Warning: place p660 is not connected and has an initial marking.
Warning: place p661 is not connected and has an initial marking.
Warning: place p662 is not connected and has an initial marking.
Warning: place p663 is not connected and has an initial marking.
Warning: place p664 is not connected and has an initial marking.
Warning: place p665 is not connected and has an initial marking.
Warning: place p666 is not connected and has an initial marking.
Warning: place p667 is not connected and has an initial marking.
Warning: place p668 is not connected and has an initial marking.
Warning: place p669 is not connected and has an initial marking.
Warning: place p670 is not connected and has an initial marking.
Warning: place p671 is not connected and has an initial marking.
Warning: place p672 is not connected and has an initial marking.
Warning: place p673 is not connected and has an initial marking.
Warning: place p674 is not connected and has an initial marking.
Warning: place p675 is not connected and has an initial marking.
Warning: place p676 is not connected and has an initial marking.
Warning: place p677 is not connected and has an initial marking.
Warning: place p678 is not connected and has an initial marking.
Warning: place p679 is not connected and has an initial marking.
Warning: place p680 is not connected and has an initial marking.
Warning: place p681 is not connected and has an initial marking.
Warning: place p682 is not connected and has an initial marking.
Warning: place p683 is not connected and has an initial marking.
Warning: place p684 is not connected and has an initial marking.
Warning: place p685 is not connected and has an initial marking.
Warning: place p686 is not connected and has an initial marking.
Warning: place p687 is not connected and has an initial marking.
Warning: place p688 is not connected and has an initial marking.
Warning: place p689 is not connected and has an initial marking.
Warning: place p690 is not connected and has an initial marking.
Warning: place p691 is not connected and has an initial marking.
Warning: place p692 is not connected and has an initial marking.
Warning: place p693 is not connected and has an initial marking.
Warning: place p694 is not connected and has an initial marking.
Warning: place p695 is not connected and has an initial marking.
Warning: place p696 is not connected and has an initial marking.
Warning: place p697 is not connected and has an initial marking.
Warning: place p698 is not connected and has an initial marking.
Warning: place p699 is not connected and has an initial marking.
Warning: place p700 is not connected and has an initial marking.
Warning: place p701 is not connected and has an initial marking.
Warning: place p702 is not connected and has an initial marking.
Warning: place p703 is not connected and has an initial marking.
Warning: place p704 is not connected and has an initial marking.
Warning: place p705 is not connected and has an initial marking.
Warning: place p706 is not connected and has an initial marking.
Warning: place p707 is not connected and has an initial marking.
Warning: place p708 is not connected and has an initial marking.
Warning: place p709 is not connected and has an initial marking.
Warning: place p710 is not connected and has an initial marking.
Warning: place p711 is not connected and has an initial marking.
Warning: place p712 is not connected and has an initial marking.
Warning: place p713 is not connected and has an initial marking.
Warning: place p714 is not connected and has an initial marking.
Warning: place p715 is not connected and has an initial marking.
Warning: place p716 is not connected and has an initial marking.
Warning: place p717 is not connected and has an initial marking.
Warning: place p718 is not connected and has an initial marking.
Warning: place p719 is not connected and has an initial marking.
Warning: place p720 is not connected and has an initial marking.
Warning: place p721 is not connected and has an initial marking.
Warning: place p722 is not connected and has an initial marking.
Warning: place p723 is not connected and has an initial marking.
Warning: place p724 is not connected and has an initial marking.
Warning: place p725 is not connected and has an initial marking.
Warning: place p726 is not connected and has an initial marking.
Warning: place p727 is not connected and has an initial marking.
Warning: place p728 is not connected and has an initial marking.
Warning: place p729 is not connected and has an initial marking.
Warning: place p730 is not connected and has an initial marking.
Warning: place p731 is not connected and has an initial marking.
Warning: place p732 is not connected and has an initial marking.
Warning: place p733 is not connected and has an initial marking.
Warning: place p734 is not connected and has an initial marking.
Warning: place p735 is not connected and has an initial marking.
Warning: place p736 is not connected and has an initial marking.
Warning: place p737 is not connected and has an initial marking.
Warning: place p738 is not connected and has an initial marking.
Warning: place p739 is not connected and has an initial marking.
Warning: place p740 is not connected and has an initial marking.
Warning: place p741 is not connected and has an initial marking.
Warning: place p742 is not connected and has an initial marking.
Warning: place p743 is not connected and has an initial marking.
Warning: place p744 is not connected and has an initial marking.
Warning: place p745 is not connected and has an initial marking.
Warning: place p746 is not connected and has an initial marking.
Warning: place p747 is not connected and has an initial marking.
Warning: place p748 is not connected and has an initial marking.
Warning: place p749 is not connected and has an initial marking.
Warning: place p750 is not connected and has an initial marking.
Warning: place p751 is not connected and has an initial marking.
Warning: place p752 is not connected and has an initial marking.
Warning: place p753 is not connected and has an initial marking.
Warning: place p754 is not connected and has an initial marking.
Warning: place p755 is not connected and has an initial marking.
Warning: place p756 is not connected and has an initial marking.
Warning: place p757 is not connected and has an initial marking.
Warning: place p758 is not connected and has an initial marking.
Warning: place p759 is not connected and has an initial marking.
Warning: place p760 is not connected and has an initial marking.
Warning: place p761 is not connected and has an initial marking.
Warning: place p762 is not connected and has an initial marking.
Warning: place p763 is not connected and has an initial marking.
Warning: place p764 is not connected and has an initial marking.
Warning: place p765 is not connected and has an initial marking.
Warning: place p766 is not connected and has an initial marking.
Warning: place p767 is not connected and has an initial marking.
Warning: place p768 is not connected and has an initial marking.
Warning: place p769 is not connected and has an initial marking.
Warning: place p770 is not connected and has an initial marking.
Warning: place p771 is not connected and has an initial marking.
Warning: place p772 is not connected and has an initial marking.
Warning: place p773 is not connected and has an initial marking.
Warning: place p774 is not connected and has an initial marking.
Warning: place p775 is not connected and has an initial marking.
Warning: place p776 is not connected and has an initial marking.
Warning: place p777 is not connected and has an initial marking.
Warning: place p778 is not connected and has an initial marking.
Warning: place p779 is not connected and has an initial marking.
Warning: place p780 is not connected and has an initial marking.
Warning: place p781 is not connected and has an initial marking.
Warning: place p782 is not connected and has an initial marking.
Warning: place p783 is not connected and has an initial marking.
Warning: place p784 is not connected and has an initial marking.
Warning: place p785 is not connected and has an initial marking.
Warning: place p786 is not connected and has an initial marking.
Warning: place p787 is not connected and has an initial marking.
Warning: place p788 is not connected and has an initial marking.
Warning: place p789 is not connected and has an initial marking.
Warning: place p790 is not connected and has an initial marking.
Warning: place p791 is not connected and has an initial marking.
Warning: place p792 is not connected and has an initial marking.
Warning: place p793 is not connected and has an initial marking.
Warning: place p794 is not connected and has an initial marking.
Warning: place p795 is not connected and has an initial marking.
Warning: place p796 is not connected and has an initial marking.
Warning: place p797 is not connected and has an initial marking.
Warning: place p798 is not connected and has an initial marking.
Warning: place p799 is not connected and has an initial marking.
Warning: place p800 is not connected and has an initial marking.
Warning: place p801 is not connected and has an initial marking.
Warning: place p802 is not connected and has an initial marking.
Warning: place p803 is not connected and has an initial marking.
Warning: place p804 is not connected and has an initial marking.
Warning: place p805 is not connected and has an initial marking.
Warning: place p806 is not connected and has an initial marking.
Warning: place p807 is not connected and has an initial marking.
Warning: place p808 is not connected and has an initial marking.
Warning: place p809 is not connected and has an initial marking.
Warning: place p810 is not connected and has an initial marking.
Warning: place p811 is not connected and has an initial marking.
Warning: place p812 is not connected and has an initial marking.
Warning: place p813 is not connected and has an initial marking.
Warning: place p814 is not connected and has an initial marking.
Warning: place p815 is not connected and has an initial marking.
Warning: place p816 is not connected and has an initial marking.
Warning: place p817 is not connected and has an initial marking.
Warning: place p818 is not connected and has an initial marking.
Warning: place p819 is not connected and has an initial marking.
Warning: place p820 is not connected and has an initial marking.
Warning: place p821 is not connected and has an initial marking.
Warning: place p822 is not connected and has an initial marking.
Warning: place p823 is not connected and has an initial marking.
Warning: place p824 is not connected and has an initial marking.
Warning: place p825 is not connected and has an initial marking.
Warning: place p826 is not connected and has an initial marking.
Warning: place p827 is not connected and has an initial marking.
Warning: place p828 is not connected and has an initial marking.
Warning: place p829 is not connected and has an initial marking.
Warning: place p830 is not connected and has an initial marking.
Warning: place p831 is not connected and has an initial marking.
Warning: place p832 is not connected and has an initial marking.
Warning: place p833 is not connected and has an initial marking.
Warning: place p834 is not connected and has an initial marking.
Warning: place p835 is not connected and has an initial marking.
Warning: place p836 is not connected and has an initial marking.
Warning: place p837 is not connected and has an initial marking.
Warning: place p838 is not connected and has an initial marking.
Warning: place p839 is not connected and has an initial marking.
Warning: place p840 is not connected and has an initial marking.
Warning: place p841 is not connected and has an initial marking.
Warning: place p842 is not connected and has an initial marking.
Warning: place p843 is not connected and has an initial marking.
Warning: place p844 is not connected and has an initial marking.
Warning: place p845 is not connected and has an initial marking.
Warning: place p846 is not connected and has an initial marking.
Warning: place p847 is not connected and has an initial marking.
Warning: place p848 is not connected and has an initial marking.
Warning: place p849 is not connected and has an initial marking.
Warning: place p850 is not connected and has an initial marking.
Warning: place p851 is not connected and has an initial marking.
Warning: place p852 is not connected and has an initial marking.
Warning: place p853 is not connected and has an initial marking.
Warning: place p854 is not connected and has an initial marking.
Warning: place p855 is not connected and has an initial marking.
Warning: place p856 is not connected and has an initial marking.
Warning: place p857 is not connected and has an initial marking.
Warning: place p858 is not connected and has an initial marking.
Warning: place p859 is not connected and has an initial marking.
Warning: place p860 is not connected and has an initial marking.
Warning: place p861 is not connected and has an initial marking.
Warning: place p862 is not connected and has an initial marking.
Warning: place p863 is not connected and has an initial marking.
Warning: place p864 is not connected and has an initial marking.
Warning: place p865 is not connected and has an initial marking.
Warning: place p866 is not connected and has an initial marking.
Warning: place p867 is not connected and has an initial marking.
Warning: place p868 is not connected and has an initial marking.
Warning: place p869 is not connected and has an initial marking.
Warning: place p870 is not connected and has an initial marking.
Warning: place p871 is not connected and has an initial marking.
Warning: place p872 is not connected and has an initial marking.
Warning: place p873 is not connected and has an initial marking.
Warning: place p874 is not connected and has an initial marking.
Warning: place p875 is not connected and has an initial marking.
Warning: place p876 is not connected and has an initial marking.
Warning: place p877 is not connected and has an initial marking.
Warning: place p878 is not connected and has an initial marking.
Warning: place p879 is not connected and has an initial marking.
Warning: place p880 is not connected and has an initial marking.
Warning: place p881 is not connected and has an initial marking.
Warning: place p882 is not connected and has an initial marking.
Warning: place p883 is not connected and has an initial marking.
Warning: place p884 is not connected and has an initial marking.
Warning: place p885 is not connected and has an initial marking.
Warning: place p886 is not connected and has an initial marking.
Warning: place p887 is not connected and has an initial marking.
Warning: place p888 is not connected and has an initial marking.
Warning: place p889 is not connected and has an initial marking.
Warning: place p890 is not connected and has an initial marking.
Warning: place p891 is not connected and has an initial marking.
Warning: place p892 is not connected and has an initial marking.
Warning: place p893 is not connected and has an initial marking.
Warning: place p894 is not connected and has an initial marking.
Warning: place p895 is not connected and has an initial marking.
Warning: place p896 is not connected and has an initial marking.
Warning: place p897 is not connected and has an initial marking.
Warning: place p898 is not connected and has an initial marking.
Warning: place p899 is not connected and has an initial marking.
Warning: place p900 is not connected and has an initial marking.
Warning: place p901 is not connected and has an initial marking.
Warning: place p902 is not connected and has an initial marking.
Warning: place p903 is not connected and has an initial marking.
Warning: place p904 is not connected and has an initial marking.
Warning: place p905 is not connected and has an initial marking.
Warning: place p906 is not connected and has an initial marking.
Warning: place p907 is not connected and has an initial marking.
Warning: place p908 is not connected and has an initial marking.
Warning: place p909 is not connected and has an initial marking.
Warning: place p910 is not connected and has an initial marking.
Warning: place p911 is not connected and has an initial marking.
Warning: place p912 is not connected and has an initial marking.
Warning: place p913 is not connected and has an initial marking.
Warning: place p914 is not connected and has an initial marking.
Warning: place p915 is not connected and has an initial marking.
Warning: place p916 is not connected and has an initial marking.
Warning: place p917 is not connected and has an initial marking.
Warning: place p918 is not connected and has an initial marking.
Warning: place p919 is not connected and has an initial marking.
Warning: place p920 is not connected and has an initial marking.
Warning: place p921 is not connected and has an initial marking.
Warning: place p922 is not connected and has an initial marking.
Warning: place p923 is not connected and has an initial marking.
Warning: place p924 is not connected and has an initial marking.
Warning: place p925 is not connected and has an initial marking.
Warning: place p926 is not connected and has an initial marking.
Warning: place p927 is not connected and has an initial marking.
Warning: place p928 is not connected and has an initial marking.
Warning: place p929 is not connected and has an initial marking.
Warning: place p930 is not connected and has an initial marking.
Warning: place p931 is not connected and has an initial marking.
Warning: place p932 is not connected and has an initial marking.
Warning: place p933 is not connected and has an initial marking.
Warning: place p934 is not connected and has an initial marking.
Warning: place p935 is not connected and has an initial marking.
Warning: place p936 is not connected and has an initial marking.
Warning: place p937 is not connected and has an initial marking.
Warning: place p938 is not connected and has an initial marking.
Warning: place p939 is not connected and has an initial marking.
Warning: place p940 is not connected and has an initial marking.
Warning: place p941 is not connected and has an initial marking.
Warning: place p942 is not connected and has an initial marking.
Warning: place p943 is not connected and has an initial marking.
Warning: place p944 is not connected and has an initial marking.
Warning: place p945 is not connected and has an initial marking.
Warning: place p946 is not connected and has an initial marking.
Warning: place p947 is not connected and has an initial marking.
Warning: place p948 is not connected and has an initial marking.
Warning: place p949 is not connected and has an initial marking.
Warning: place p950 is not connected and has an initial marking.
Warning: place p951 is not connected and has an initial marking.
Warning: place p952 is not connected and has an initial marking.
Warning: place p953 is not connected and has an initial marking.
Warning: place p954 is not connected and has an initial marking.
Warning: place p955 is not connected and has an initial marking.
Warning: place p956 is not connected and has an initial marking.
Warning: place p957 is not connected and has an initial marking.
Warning: place p958 is not connected and has an initial marking.
Warning: place p959 is not connected and has an initial marking.
Warning: place p960 is not connected and has an initial marking.
Warning: place p961 is not connected and has an initial marking.
Warning: place p962 is not connected and has an initial marking.
Warning: place p963 is not connected and has an initial marking.
Warning: place p964 is not connected and has an initial marking.
Warning: place p965 is not connected and has an initial marking.
Warning: place p966 is not connected and has an initial marking.
Warning: place p967 is not connected and has an initial marking.
Warning: place p968 is not connected and has an initial marking.
Warning: place p969 is not connected and has an initial marking.
Warning: place p970 is not connected and has an initial marking.
Warning: place p971 is not connected and has an initial marking.
Warning: place p972 is not connected and has an initial marking.
Warning: place p973 is not connected and has an initial marking.
Warning: place p974 is not connected and has an initial marking.
Warning: place p975 is not connected and has an initial marking.
Warning: place p976 is not connected and has an initial marking.
Warning: place p977 is not connected and has an initial marking.
Warning: place p978 is not connected and has an initial marking.
Warning: place p979 is not connected and has an initial marking.
Warning: place p980 is not connected and has an initial marking.
Warning: place p981 is not connected and has an initial marking.
Warning: place p982 is not connected and has an initial marking.
Warning: place p983 is not connected and has an initial marking.
Warning: place p984 is not connected and has an initial marking.
Warning: place p985 is not connected and has an initial marking.
Warning: place p986 is not connected and has an initial marking.
Warning: place p987 is not connected and has an initial marking.
Warning: place p988 is not connected and has an initial marking.
Warning: place p989 is not connected and has an initial marking.
Warning: place p990 is not connected and has an initial marking.
Warning: place p991 is not connected and has an initial marking.
Warning: place p992 is not connected and has an initial marking.
Warning: place p993 is not connected and has an initial marking.
Warning: place p994 is not connected and has an initial marking.
Warning: place p995 is not connected and has an initial marking.
Warning: place p996 is not connected and has an initial marking.
Warning: place p997 is not connected and has an initial marking.
Warning: place p998 is not connected and has an initial marking.
Warning: place p999 is not connected and has an initial marking.
Warning: place p1000 is not connected and has an initial marking.
Warning: place p1001 is not connected and has an initial marking.
Warning: place p1002 is not connected and has an initial marking.
Warning: place p1003 is not connected and has an initial marking.
Warning: place p1004 is not connected and has an initial marking.
Warning: place p1005 is not connected and has an initial marking.
Warning: place p1006 is not connected and has an initial marking.
Warning: place p1007 is not connected and has an initial marking.
Warning: place p1008 is not connected and has an initial marking.
Warning: place p1009 is not connected and has an initial marking.
Warning: place p1010 is not connected and has an initial marking.
Warning: place p1011 is not connected and has an initial marking.
Warning: place p1012 is not connected and has an initial marking.
Warning: place p1013 is not connected and has an initial marking.
Warning: place p1014 is not connected and has an initial marking.
Warning: place p1015 is not connected and has an initial marking.
Warning: place p1016 is not connected and has an initial marking.
Warning: place p1017 is not connected and has an initial marking.
Warning: place p1018 is not connected and has an initial marking.
Warning: place p1019 is not connected and has an initial marking.
Warning: place p1020 is not connected and has an initial marking.
Warning: place p1021 is not connected and has an initial marking.
Warning: place p1022 is not connected and has an initial marking.
Warning: place p1023 is not connected and has an initial marking.
Warning: place p1024 is not connected and has an initial marking.
Warning: place p1025 is not connected and has an initial marking.
Warning: place p1026 is not connected and has an initial marking.
Warning: place p1027 is not connected and has an initial marking.
Warning: place p1028 is not connected and has an initial marking.
Warning: place p1029 is not connected and has an initial marking.
Warning: place p1030 is not connected and has an initial marking.
Warning: place p1031 is not connected and has an initial marking.
Warning: place p1032 is not connected and has an initial marking.
Warning: place p1033 is not connected and has an initial marking.
Warning: place p1034 is not connected and has an initial marking.
Warning: place p1035 is not connected and has an initial marking.
Warning: place p1036 is not connected and has an initial marking.
Warning: place p1037 is not connected and has an initial marking.
Warning: place p1038 is not connected and has an initial marking.
Warning: place p1039 is not connected and has an initial marking.
Warning: place p1040 is not connected and has an initial marking.
Warning: place p1041 is not connected and has an initial marking.
Warning: place p1042 is not connected and has an initial marking.
Warning: place p1043 is not connected and has an initial marking.
Warning: place p1044 is not connected and has an initial marking.
Warning: place p1045 is not connected and has an initial marking.
Warning: place p1046 is not connected and has an initial marking.
Warning: place p1047 is not connected and has an initial marking.
Warning: place p1048 is not connected and has an initial marking.
Warning: place p1049 is not connected and has an initial marking.
Warning: place p1050 is not connected and has an initial marking.
Warning: place p1051 is not connected and has an initial marking.
Warning: place p1052 is not connected and has an initial marking.
Warning: place p1053 is not connected and has an initial marking.
Warning: place p1054 is not connected and has an initial marking.
Warning: place p1055 is not connected and has an initial marking.
Warning: place p1056 is not connected and has an initial marking.
Warning: place p1057 is not connected and has an initial marking.
Warning: place p1058 is not connected and has an initial marking.
Warning: place p1059 is not connected and has an initial marking.
Warning: place p1060 is not connected and has an initial marking.
Warning: place p1061 is not connected and has an initial marking.
Warning: place p1062 is not connected and has an initial marking.
Warning: place p1063 is not connected and has an initial marking.
Warning: place p1064 is not connected and has an initial marking.
Warning: place p1065 is not connected and has an initial marking.
Warning: place p1066 is not connected and has an initial marking.
Warning: place p1067 is not connected and has an initial marking.
Warning: place p1068 is not connected and has an initial marking.
Warning: place p1069 is not connected and has an initial marking.
Warning: place p1070 is not connected and has an initial marking.
Warning: place p1071 is not connected and has an initial marking.
Warning: place p1072 is not connected and has an initial marking.
Warning: place p1073 is not connected and has an initial marking.
Warning: place p1074 is not connected and has an initial marking.
Warning: place p1075 is not connected and has an initial marking.
Warning: place p1076 is not connected and has an initial marking.
Warning: place p1077 is not connected and has an initial marking.
Warning: place p1078 is not connected and has an initial marking.
Warning: place p1079 is not connected and has an initial marking.
Warning: place p1080 is not connected and has an initial marking.
Warning: place p1081 is not connected and has an initial marking.
Warning: place p1082 is not connected and has an initial marking.
Warning: place p1083 is not connected and has an initial marking.
Warning: place p1084 is not connected and has an initial marking.
Warning: place p1085 is not connected and has an initial marking.
Warning: place p1086 is not connected and has an initial marking.
Warning: place p1087 is not connected and has an initial marking.
Warning: place p1088 is not connected and has an initial marking.
Warning: place p1089 is not connected and has an initial marking.
Warning: place p1090 is not connected and has an initial marking.
Warning: place p1091 is not connected and has an initial marking.
Warning: place p1092 is not connected and has an initial marking.
Warning: place p1093 is not connected and has an initial marking.
Warning: place p1094 is not connected and has an initial marking.
Warning: place p1095 is not connected and has an initial marking.
Warning: place p1096 is not connected and has an initial marking.
Warning: place p1097 is not connected and has an initial marking.
Warning: place p1098 is not connected and has an initial marking.
Warning: place p1099 is not connected and has an initial marking.
Warning: place p1100 is not connected and has an initial marking.
Warning: place p1101 is not connected and has an initial marking.
Warning: place p1102 is not connected and has an initial marking.
Warning: place p1103 is not connected and has an initial marking.
Warning: place p1104 is not connected and has an initial marking.
Warning: place p1105 is not connected and has an initial marking.
Warning: place p1106 is not connected and has an initial marking.
Warning: place p1107 is not connected and has an initial marking.
Warning: place p1108 is not connected and has an initial marking.
Warning: place p1109 is not connected and has an initial marking.
Warning: place p1110 is not connected and has an initial marking.
Warning: place p1111 is not connected and has an initial marking.
Warning: place p1112 is not connected and has an initial marking.
Warning: place p1113 is not connected and has an initial marking.
Warning: place p1114 is not connected and has an initial marking.
Warning: place p1115 is not connected and has an initial marking.
Warning: place p1116 is not connected and has an initial marking.
Warning: place p1117 is not connected and has an initial marking.
Warning: place p1118 is not connected and has an initial marking.
Warning: place p1119 is not connected and has an initial marking.
Warning: place p1120 is not connected and has an initial marking.
Warning: place p1121 is not connected and has an initial marking.
Warning: place p1122 is not connected and has an initial marking.
Warning: place p1123 is not connected and has an initial marking.
Warning: place p1124 is not connected and has an initial marking.
Warning: place p1125 is not connected and has an initial marking.
Warning: place p1126 is not connected and has an initial marking.
Warning: place p1127 is not connected and has an initial marking.
Warning: place p1128 is not connected and has an initial marking.
Warning: place p1129 is not connected and has an initial marking.
Warning: place p1130 is not connected and has an initial marking.
Warning: place p1131 is not connected and has an initial marking.
Warning: place p1132 is not connected and has an initial marking.
Warning: place p1133 is not connected and has an initial marking.
Warning: place p1134 is not connected and has an initial marking.
Warning: place p1135 is not connected and has an initial marking.
Warning: place p1136 is not connected and has an initial marking.
Warning: place p1137 is not connected and has an initial marking.
Warning: place p1138 is not connected and has an initial marking.
Warning: place p1139 is not connected and has an initial marking.
Warning: place p1140 is not connected and has an initial marking.
Warning: place p1141 is not connected and has an initial marking.
Warning: place p1142 is not connected and has an initial marking.
Warning: place p1143 is not connected and has an initial marking.
Warning: place p1144 is not connected and has an initial marking.
Warning: place p1145 is not connected and has an initial marking.
Warning: place p1146 is not connected and has an initial marking.
Warning: place p1147 is not connected and has an initial marking.
Warning: place p1148 is not connected and has an initial marking.
Warning: place p1149 is not connected and has an initial marking.
Warning: place p1150 is not connected and has an initial marking.
Warning: place p1151 is not connected and has an initial marking.
Warning: place p1152 is not connected and has an initial marking.
Warning: place p1153 is not connected and has an initial marking.
Warning: place p1154 is not connected and has an initial marking.
Warning: place p1155 is not connected and has an initial marking.
Warning: place p1156 is not connected and has an initial marking.
Warning: place p1157 is not connected and has an initial marking.
Warning: place p1158 is not connected and has an initial marking.
Warning: place p1159 is not connected and has an initial marking.
Warning: place p1160 is not connected and has an initial marking.
Warning: place p1161 is not connected and has an initial marking.
Warning: place p1162 is not connected and has an initial marking.
Warning: place p1163 is not connected and has an initial marking.
Warning: place p1164 is not connected and has an initial marking.
Warning: place p1165 is not connected and has an initial marking.
Warning: place p1166 is not connected and has an initial marking.
Warning: place p1167 is not connected and has an initial marking.
Warning: place p1168 is not connected and has an initial marking.
Warning: place p1169 is not connected and has an initial marking.
Warning: place p1170 is not connected and has an initial marking.
Warning: place p1171 is not connected and has an initial marking.
Warning: place p1172 is not connected and has an initial marking.
Warning: place p1173 is not connected and has an initial marking.
Warning: place p1174 is not connected and has an initial marking.
Warning: place p1175 is not connected and has an initial marking.
Warning: place p1176 is not connected and has an initial marking.
Warning: place p1177 is not connected and has an initial marking.
Warning: place p1178 is not connected and has an initial marking.
Warning: place p1179 is not connected and has an initial marking.
Warning: place p1180 is not connected and has an initial marking.
Warning: place p1181 is not connected and has an initial marking.
Warning: place p1182 is not connected and has an initial marking.
Warning: place p1183 is not connected and has an initial marking.
Warning: place p1184 is not connected and has an initial marking.
Warning: place p1185 is not connected and has an initial marking.
Warning: place p1186 is not connected and has an initial marking.
Warning: place p1187 is not connected and has an initial marking.
Warning: place p1188 is not connected and has an initial marking.
Warning: place p1189 is not connected and has an initial marking.
Warning: place p1190 is not connected and has an initial marking.
Warning: place p1191 is not connected and has an initial marking.
Warning: place p1192 is not connected and has an initial marking.
Warning: place p1193 is not connected and has an initial marking.
Warning: place p1194 is not connected and has an initial marking.
Warning: place p1195 is not connected and has an initial marking.
Warning: place p1196 is not connected and has an initial marking.
Warning: place p1197 is not connected and has an initial marking.
Warning: place p1198 is not connected and has an initial marking.
Warning: place p1199 is not connected and has an initial marking.
Warning: place p1200 is not connected and has an initial marking.
Warning: place p1201 is not connected and has an initial marking.
Warning: place p1202 is not connected and has an initial marking.
Warning: place p1203 is not connected and has an initial marking.
Warning: place p1204 is not connected and has an initial marking.
Warning: place p1205 is not connected and has an initial marking.
Warning: place p1206 is not connected and has an initial marking.
Warning: place p1207 is not connected and has an initial marking.
Warning: place p1208 is not connected and has an initial marking.
Warning: place p1209 is not connected and has an initial marking.
Warning: place p1210 is not connected and has an initial marking.
Warning: place p1211 is not connected and has an initial marking.
Warning: place p1212 is not connected and has an initial marking.
Warning: place p1213 is not connected and has an initial marking.
Warning: place p1214 is not connected and has an initial marking.
Warning: place p1215 is not connected and has an initial marking.
Warning: place p1216 is not connected and has an initial marking.
Warning: place p1217 is not connected and has an initial marking.
Warning: place p1218 is not connected and has an initial marking.
Warning: place p1219 is not connected and has an initial marking.
Warning: place p1220 is not connected and has an initial marking.
Warning: place p1221 is not connected and has an initial marking.
Warning: place p1222 is not connected and has an initial marking.
Warning: place p1223 is not connected and has an initial marking.
Warning: place p1224 is not connected and has an initial marking.
Warning: place p1225 is not connected and has an initial marking.
Warning: place p1226 is not connected and has an initial marking.
Warning: place p1227 is not connected and has an initial marking.
Warning: place p1228 is not connected and has an initial marking.
Warning: place p1229 is not connected and has an initial marking.
Warning: place p1230 is not connected and has an initial marking.
Warning: place p1231 is not connected and has an initial marking.
Warning: place p1232 is not connected and has an initial marking.
Warning: place p1233 is not connected and has an initial marking.
Warning: place p1234 is not connected and has an initial marking.
Warning: place p1235 is not connected and has an initial marking.
Warning: place p1236 is not connected and has an initial marking.
Warning: place p1237 is not connected and has an initial marking.
Warning: place p1238 is not connected and has an initial marking.
Warning: place p1239 is not connected and has an initial marking.
Warning: place p1240 is not connected and has an initial marking.
Warning: place p1241 is not connected and has an initial marking.
Warning: place p1242 is not connected and has an initial marking.
Warning: place p1243 is not connected and has an initial marking.
Warning: place p1244 is not connected and has an initial marking.
Warning: place p1245 is not connected and has an initial marking.
Warning: place p1246 is not connected and has an initial marking.
Warning: place p1247 is not connected and has an initial marking.
Warning: place p1248 is not connected and has an initial marking.
Warning: place p1249 is not connected and has an initial marking.
Warning: place p1250 is not connected and has an initial marking.
Warning: place p1251 is not connected and has an initial marking.
Warning: place p1252 is not connected and has an initial marking.
Warning: place p1253 is not connected and has an initial marking.
Warning: place p1254 is not connected and has an initial marking.
Warning: place p1255 is not connected and has an initial marking.
Warning: place p1256 is not connected and has an initial marking.
Warning: place p1257 is not connected and has an initial marking.
Warning: place p1258 is not connected and has an initial marking.
Warning: place p1259 is not connected and has an initial marking.
Warning: place p1260 is not connected and has an initial marking.
Warning: place p1261 is not connected and has an initial marking.
Warning: place p1262 is not connected and has an initial marking.
Warning: place p1263 is not connected and has an initial marking.
Warning: place p1264 is not connected and has an initial marking.
Warning: place p1265 is not connected and has an initial marking.
Warning: place p1266 is not connected and has an initial marking.
Warning: place p1267 is not connected and has an initial marking.
Warning: place p1268 is not connected and has an initial marking.
Warning: place p1269 is not connected and has an initial marking.
Warning: place p1270 is not connected and has an initial marking.
Warning: place p1271 is not connected and has an initial marking.
Warning: place p1272 is not connected and has an initial marking.
Warning: place p1273 is not connected and has an initial marking.
Warning: place p1274 is not connected and has an initial marking.
Warning: place p1275 is not connected and has an initial marking.
Warning: place p1276 is not connected and has an initial marking.
Warning: place p1277 is not connected and has an initial marking.
Warning: place p1278 is not connected and has an initial marking.
Warning: place p1279 is not connected and has an initial marking.
Warning: place p1280 is not connected and has an initial marking.
Warning: place p1281 is not connected and has an initial marking.
Warning: place p1282 is not connected and has an initial marking.
Warning: place p1283 is not connected and has an initial marking.
Warning: place p1284 is not connected and has an initial marking.
Warning: place p1285 is not connected and has an initial marking.
Warning: place p1286 is not connected and has an initial marking.
Warning: place p1287 is not connected and has an initial marking.
Warning: place p1288 is not connected and has an initial marking.
Warning: place p1289 is not connected and has an initial marking.
Warning: place p1290 is not connected and has an initial marking.
Warning: place p1291 is not connected and has an initial marking.
Warning: place p1292 is not connected and has an initial marking.
Warning: place p1293 is not connected and has an initial marking.
Warning: place p1294 is not connected and has an initial marking.
Warning: place p1295 is not connected and has an initial marking.
Warning: place p1296 is not connected and has an initial marking.
Warning: place p1297 is not connected and has an initial marking.
Warning: place p1298 is not connected and has an initial marking.
Warning: place p1299 is not connected and has an initial marking.
Warning: place p1300 is not connected and has an initial marking.
Warning: place p1301 is not connected and has an initial marking.
Warning: place p1302 is not connected and has an initial marking.
Warning: place p1303 is not connected and has an initial marking.
Warning: place p1304 is not connected and has an initial marking.
Warning: place p1305 is not connected and has an initial marking.
Warning: place p1306 is not connected and has an initial marking.
Warning: place p1307 is not connected and has an initial marking.
Warning: place p1308 is not connected and has an initial marking.
Warning: place p1309 is not connected and has an initial marking.
Warning: place p1310 is not connected and has an initial marking.
Warning: place p1311 is not connected and has an initial marking.
Warning: place p1312 is not connected and has an initial marking.
Warning: place p1313 is not connected and has an initial marking.
Warning: place p1314 is not connected and has an initial marking.
Warning: place p1315 is not connected and has an initial marking.
Warning: place p1316 is not connected and has an initial marking.
Warning: place p1317 is not connected and has an initial marking.
Warning: place p1318 is not connected and has an initial marking.
Warning: place p1319 is not connected and has an initial marking.
Warning: place p1320 is not connected and has an initial marking.
Warning: place p1321 is not connected and has an initial marking.
Warning: place p1322 is not connected and has an initial marking.
Warning: place p1323 is not connected and has an initial marking.
Warning: place p1324 is not connected and has an initial marking.
Warning: place p1325 is not connected and has an initial marking.
Warning: place p1326 is not connected and has an initial marking.
Warning: place p1327 is not connected and has an initial marking.
Warning: place p1328 is not connected and has an initial marking.
Warning: place p1329 is not connected and has an initial marking.
Warning: place p1330 is not connected and has an initial marking.
Warning: place p1331 is not connected and has an initial marking.
Warning: place p1332 is not connected and has an initial marking.
Warning: place p1333 is not connected and has an initial marking.
Warning: place p1334 is not connected and has an initial marking.
Warning: place p1335 is not connected and has an initial marking.
Warning: place p1336 is not connected and has an initial marking.
Warning: place p1337 is not connected and has an initial marking.
Warning: place p1338 is not connected and has an initial marking.
Warning: place p1339 is not connected and has an initial marking.
Warning: place p1340 is not connected and has an initial marking.
Warning: place p1341 is not connected and has an initial marking.
Warning: place p1342 is not connected and has an initial marking.
Warning: place p1343 is not connected and has an initial marking.
Warning: place p1344 is not connected and has an initial marking.
Warning: place p1345 is not connected and has an initial marking.
Warning: place p1346 is not connected and has an initial marking.
Warning: place p1347 is not connected and has an initial marking.
Warning: place p1348 is not connected and has an initial marking.
Warning: place p1349 is not connected and has an initial marking.
Warning: place p1350 is not connected and has an initial marking.
Warning: place p1351 is not connected and has an initial marking.
Warning: place p1352 is not connected and has an initial marking.
Warning: place p1353 is not connected and has an initial marking.
Warning: place p1354 is not connected and has an initial marking.
Warning: place p1355 is not connected and has an initial marking.
Warning: place p1356 is not connected and has an initial marking.
Warning: place p1357 is not connected and has an initial marking.
Warning: place p1358 is not connected and has an initial marking.
Warning: place p1359 is not connected and has an initial marking.
Warning: place p1360 is not connected and has an initial marking.
Warning: place p1361 is not connected and has an initial marking.
Warning: place p1362 is not connected and has an initial marking.
Warning: place p1363 is not connected and has an initial marking.
Warning: place p1364 is not connected and has an initial marking.
Warning: place p1365 is not connected and has an initial marking.
Warning: place p1366 is not connected and has an initial marking.
Warning: place p1367 is not connected and has an initial marking.
Warning: place p1368 is not connected and has an initial marking.
Warning: place p1369 is not connected and has an initial marking.
Warning: place p1370 is not connected and has an initial marking.
Warning: place p1371 is not connected and has an initial marking.
Warning: place p1372 is not connected and has an initial marking.
Warning: place p1373 is not connected and has an initial marking.
Warning: place p1374 is not connected and has an initial marking.
Warning: place p1375 is not connected and has an initial marking.
Warning: place p1376 is not connected and has an initial marking.
Warning: place p1377 is not connected and has an initial marking.
Warning: place p1378 is not connected and has an initial marking.
Warning: place p1379 is not connected and has an initial marking.
Warning: place p1380 is not connected and has an initial marking.
Warning: place p1381 is not connected and has an initial marking.
Warning: place p1382 is not connected and has an initial marking.
Warning: place p1383 is not connected and has an initial marking.
Warning: place p1384 is not connected and has an initial marking.
Warning: place p1385 is not connected and has an initial marking.
Warning: place p1386 is not connected and has an initial marking.
Warning: place p1387 is not connected and has an initial marking.
Warning: place p1388 is not connected and has an initial marking.
Warning: place p1389 is not connected and has an initial marking.
Warning: place p1390 is not connected and has an initial marking.
Warning: place p1391 is not connected and has an initial marking.
Warning: place p1392 is not connected and has an initial marking.
Warning: place p1393 is not connected and has an initial marking.
Warning: place p1394 is not connected and has an initial marking.
Warning: place p1395 is not connected and has an initial marking.
Warning: place p1396 is not connected and has an initial marking.
Warning: place p1397 is not connected and has an initial marking.
Warning: place p1398 is not connected and has an initial marking.
Warning: place p1399 is not connected and has an initial marking.
Warning: place p1400 is not connected and has an initial marking.
Warning: place p1401 is not connected and has an initial marking.
Warning: place p1402 is not connected and has an initial marking.
Warning: place p1403 is not connected and has an initial marking.
Warning: place p1404 is not connected and has an initial marking.
Warning: place p1405 is not connected and has an initial marking.
Warning: place p1406 is not connected and has an initial marking.
Warning: place p1407 is not connected and has an initial marking.
Warning: place p1408 is not connected and has an initial marking.
Warning: place p1409 is not connected and has an initial marking.
Warning: place p1410 is not connected and has an initial marking.
Warning: place p1411 is not connected and has an initial marking.
Warning: place p1412 is not connected and has an initial marking.
Warning: place p1413 is not connected and has an initial marking.
Warning: place p1414 is not connected and has an initial marking.
Warning: place p1415 is not connected and has an initial marking.
Warning: place p1416 is not connected and has an initial marking.
Warning: place p1417 is not connected and has an initial marking.
Warning: place p1418 is not connected and has an initial marking.
Warning: place p1419 is not connected and has an initial marking.
Warning: place p1420 is not connected and has an initial marking.
Warning: place p1421 is not connected and has an initial marking.
Warning: place p1422 is not connected and has an initial marking.
Warning: place p1423 is not connected and has an initial marking.
Warning: place p1424 is not connected and has an initial marking.
Warning: place p1425 is not connected and has an initial marking.
Warning: place p1426 is not connected and has an initial marking.
Warning: place p1427 is not connected and has an initial marking.
Warning: place p1428 is not connected and has an initial marking.
Warning: place p1429 is not connected and has an initial marking.
Warning: place p1430 is not connected and has an initial marking.
Warning: place p1431 is not connected and has an initial marking.
Warning: place p1432 is not connected and has an initial marking.
Warning: place p1433 is not connected and has an initial marking.
Warning: place p1434 is not connected and has an initial marking.
Warning: place p1435 is not connected and has an initial marking.
Warning: place p1436 is not connected and has an initial marking.
Warning: place p1437 is not connected and has an initial marking.
Warning: place p1438 is not connected and has an initial marking.
Warning: place p1439 is not connected and has an initial marking.
Warning: place p1440 is not connected and has an initial marking.
Warning: place p1441 is not connected and has an initial marking.
Warning: place p1442 is not connected and has an initial marking.
Warning: place p1443 is not connected and has an initial marking.
Warning: place p1444 is not connected and has an initial marking.
Warning: place p1445 is not connected and has an initial marking.
Warning: place p1446 is not connected and has an initial marking.
Warning: place p1447 is not connected and has an initial marking.
Warning: place p1448 is not connected and has an initial marking.
Warning: place p1449 is not connected and has an initial marking.
Warning: place p1450 is not connected and has an initial marking.
Warning: place p1451 is not connected and has an initial marking.
Warning: place p1452 is not connected and has an initial marking.
Warning: place p1453 is not connected and has an initial marking.
Warning: place p1454 is not connected and has an initial marking.
Warning: place p1455 is not connected and has an initial marking.
Warning: place p1456 is not connected and has an initial marking.
Warning: place p1457 is not connected and has an initial marking.
Warning: place p1458 is not connected and has an initial marking.
Warning: place p1459 is not connected and has an initial marking.
Warning: place p1460 is not connected and has an initial marking.
Warning: place p1461 is not connected and has an initial marking.
Warning: place p1462 is not connected and has an initial marking.
Warning: place p1463 is not connected and has an initial marking.
Warning: place p1464 is not connected and has an initial marking.
Warning: place p1465 is not connected and has an initial marking.
Warning: place p1466 is not connected and has an initial marking.
Warning: place p1467 is not connected and has an initial marking.
Warning: place p1468 is not connected and has an initial marking.
Warning: place p1469 is not connected and has an initial marking.
Warning: place p1470 is not connected and has an initial marking.
Warning: place p1471 is not connected and has an initial marking.
Warning: place p1472 is not connected and has an initial marking.
Warning: place p1473 is not connected and has an initial marking.
Warning: place p1474 is not connected and has an initial marking.
Warning: place p1475 is not connected and has an initial marking.
Warning: place p1476 is not connected and has an initial marking.
Warning: place p1477 is not connected and has an initial marking.
Warning: place p1478 is not connected and has an initial marking.
Warning: place p1479 is not connected and has an initial marking.
Warning: place p1480 is not connected and has an initial marking.
Warning: place p1481 is not connected and has an initial marking.
Warning: place p1482 is not connected and has an initial marking.
Warning: place p1483 is not connected and has an initial marking.
Warning: place p1484 is not connected and has an initial marking.
Warning: place p1485 is not connected and has an initial marking.
Warning: place p1486 is not connected and has an initial marking.
Warning: place p1487 is not connected and has an initial marking.
Warning: place p1488 is not connected and has an initial marking.
Warning: place p1489 is not connected and has an initial marking.
Warning: place p1490 is not connected and has an initial marking.
Warning: place p1491 is not connected and has an initial marking.
Warning: place p1492 is not connected and has an initial marking.
Warning: place p1493 is not connected and has an initial marking.
Warning: place p1494 is not connected and has an initial marking.
Warning: place p1495 is not connected and has an initial marking.
Warning: place p1496 is not connected and has an initial marking.
Warning: place p1497 is not connected and has an initial marking.
Warning: place p1498 is not connected and has an initial marking.
Warning: place p1499 is not connected and has an initial marking.
Warning: place p1500 is not connected and has an initial marking.
Warning: place p1501 is not connected and has an initial marking.
Warning: place p1502 is not connected and has an initial marking.
Warning: place p1503 is not connected and has an initial marking.
Warning: place p1504 is not connected and has an initial marking.
Warning: place p1505 is not connected and has an initial marking.
Warning: place p1506 is not connected and has an initial marking.
Warning: place p1507 is not connected and has an initial marking.
Warning: place p1508 is not connected and has an initial marking.
Warning: place p1509 is not connected and has an initial marking.
Warning: place p1510 is not connected and has an initial marking.
Warning: place p1511 is not connected and has an initial marking.
Warning: place p1512 is not connected and has an initial marking.
Warning: place p1513 is not connected and has an initial marking.
Warning: place p1514 is not connected and has an initial marking.
Warning: place p1515 is not connected and has an initial marking.
Warning: place p1516 is not connected and has an initial marking.
Warning: place p1517 is not connected and has an initial marking.
Warning: place p1518 is not connected and has an initial marking.
Warning: place p1519 is not connected and has an initial marking.
Warning: place p1520 is not connected and has an initial marking.
Warning: place p1521 is not connected and has an initial marking.
Warning: place p1522 is not connected and has an initial marking.
Warning: place p1523 is not connected and has an initial marking.
Warning: place p1524 is not connected and has an initial marking.
Warning: place p1525 is not connected and has an initial marking.
Warning: place p1526 is not connected and has an initial marking.
Warning: place p1527 is not connected and has an initial marking.
Warning: place p1528 is not connected and has an initial marking.
Warning: place p1529 is not connected and has an initial marking.
Warning: place p1530 is not connected and has an initial marking.
Warning: place p1531 is not connected and has an initial marking.
Warning: place p1532 is not connected and has an initial marking.
Warning: place p1533 is not connected and has an initial marking.
Warning: place p1534 is not connected and has an initial marking.
Warning: place p1535 is not connected and has an initial marking.
Warning: place p1536 is not connected and has an initial marking.
Warning: place p1537 is not connected and has an initial marking.
Warning: place p1538 is not connected and has an initial marking.
Warning: place p1539 is not connected and has an initial marking.
Warning: place p1540 is not connected and has an initial marking.
Warning: place p1541 is not connected and has an initial marking.
Warning: place p1542 is not connected and has an initial marking.
Warning: place p1543 is not connected and has an initial marking.
Warning: place p1544 is not connected and has an initial marking.
Warning: place p1545 is not connected and has an initial marking.
Warning: place p1546 is not connected and has an initial marking.
Warning: place p1547 is not connected and has an initial marking.
Warning: place p1548 is not connected and has an initial marking.
Warning: place p1549 is not connected and has an initial marking.
Warning: place p1550 is not connected and has an initial marking.
Warning: place p1551 is not connected and has an initial marking.
Warning: place p1552 is not connected and has an initial marking.
Warning: place p1553 is not connected and has an initial marking.
Warning: place p1554 is not connected and has an initial marking.
Warning: place p1555 is not connected and has an initial marking.
Warning: place p1556 is not connected and has an initial marking.
Warning: place p1557 is not connected and has an initial marking.
Warning: place p1558 is not connected and has an initial marking.
Warning: place p1559 is not connected and has an initial marking.
Warning: place p1560 is not connected and has an initial marking.
Warning: place p1561 is not connected and has an initial marking.
Warning: place p1562 is not connected and has an initial marking.
Warning: place p1563 is not connected and has an initial marking.
Warning: place p1564 is not connected and has an initial marking.
Warning: place p1565 is not connected and has an initial marking.
Warning: place p1566 is not connected and has an initial marking.
Warning: place p1567 is not connected and has an initial marking.
Warning: place p1568 is not connected and has an initial marking.
Warning: place p1569 is not connected and has an initial marking.
Warning: place p1570 is not connected and has an initial marking.
Warning: place p1571 is not connected and has an initial marking.
Warning: place p1572 is not connected and has an initial marking.
Warning: place p1573 is not connected and has an initial marking.
Warning: place p1574 is not connected and has an initial marking.
Warning: place p1575 is not connected and has an initial marking.
Warning: place p1576 is not connected and has an initial marking.
Warning: place p1577 is not connected and has an initial marking.
Warning: place p1578 is not connected and has an initial marking.
Warning: place p1579 is not connected and has an initial marking.
Warning: place p1580 is not connected and has an initial marking.
Warning: place p1581 is not connected and has an initial marking.
Warning: place p1582 is not connected and has an initial marking.
Warning: place p1583 is not connected and has an initial marking.
Warning: place p1584 is not connected and has an initial marking.
Warning: place p1585 is not connected and has an initial marking.
Warning: place p1586 is not connected and has an initial marking.
Warning: place p1587 is not connected and has an initial marking.
Warning: place p1588 is not connected and has an initial marking.
Warning: place p1589 is not connected and has an initial marking.
Warning: place p1590 is not connected and has an initial marking.
Warning: place p1591 is not connected and has an initial marking.
Warning: place p1592 is not connected and has an initial marking.
Warning: place p1593 is not connected and has an initial marking.
Warning: place p1594 is not connected and has an initial marking.
Warning: place p1595 is not connected and has an initial marking.
Warning: place p1596 is not connected and has an initial marking.
Warning: place p1597 is not connected and has an initial marking.
Warning: place p1598 is not connected and has an initial marking.
Warning: place p1599 is not connected and has an initial marking.
Warning: place p1600 is not connected and has an initial marking.
Warning: place p1601 is not connected and has an initial marking.
Warning: place p1602 is not connected and has an initial marking.
Warning: place p1603 is not connected and has an initial marking.
Warning: place p1604 is not connected and has an initial marking.
Warning: place p1605 is not connected and has an initial marking.
Warning: place p1606 is not connected and has an initial marking.
Warning: place p1607 is not connected and has an initial marking.
Warning: place p1608 is not connected and has an initial marking.
Warning: place p1609 is not connected and has an initial marking.
Warning: place p1610 is not connected and has an initial marking.
Warning: place p1611 is not connected and has an initial marking.
Warning: place p1612 is not connected and has an initial marking.
Warning: place p1613 is not connected and has an initial marking.
Warning: place p1614 is not connected and has an initial marking.
Warning: place p1615 is not connected and has an initial marking.
Warning: place p1616 is not connected and has an initial marking.
Warning: place p1617 is not connected and has an initial marking.
Warning: place p1618 is not connected and has an initial marking.
Warning: place p1619 is not connected and has an initial marking.
Warning: place p1620 is not connected and has an initial marking.
Warning: place p1621 is not connected and has an initial marking.
Warning: place p1622 is not connected and has an initial marking.
Warning: place p1623 is not connected and has an initial marking.
Warning: place p1624 is not connected and has an initial marking.
Warning: place p1625 is not connected and has an initial marking.
Warning: place p1626 is not connected and has an initial marking.
Warning: place p1627 is not connected and has an initial marking.
Warning: place p1628 is not connected and has an initial marking.
Warning: place p1629 is not connected and has an initial marking.
Warning: place p1630 is not connected and has an initial marking.
Warning: place p1631 is not connected and has an initial marking.
Warning: place p1632 is not connected and has an initial marking.
Warning: place p1633 is not connected and has an initial marking.
Warning: place p1634 is not connected and has an initial marking.
Warning: place p1635 is not connected and has an initial marking.
Warning: place p1636 is not connected and has an initial marking.
Warning: place p1637 is not connected and has an initial marking.
Warning: place p1638 is not connected and has an initial marking.
Warning: place p1639 is not connected and has an initial marking.
Warning: place p1640 is not connected and has an initial marking.
Warning: place p1641 is not connected and has an initial marking.
Warning: place p1642 is not connected and has an initial marking.
Warning: place p1643 is not connected and has an initial marking.
Warning: place p1644 is not connected and has an initial marking.
Warning: place p1645 is not connected and has an initial marking.
Warning: place p1646 is not connected and has an initial marking.
Warning: place p1647 is not connected and has an initial marking.
Warning: place p1648 is not connected and has an initial marking.
Warning: place p1649 is not connected and has an initial marking.
Warning: place p1650 is not connected and has an initial marking.
Warning: place p1651 is not connected and has an initial marking.
Warning: place p1652 is not connected and has an initial marking.
Warning: place p1653 is not connected and has an initial marking.
Warning: place p1654 is not connected and has an initial marking.
Warning: place p1655 is not connected and has an initial marking.
Warning: place p1656 is not connected and has an initial marking.
Warning: place p1657 is not connected and has an initial marking.
Warning: place p1658 is not connected and has an initial marking.
Warning: place p1659 is not connected and has an initial marking.
Warning: place p1660 is not connected and has an initial marking.
Warning: place p1661 is not connected and has an initial marking.
Warning: place p1662 is not connected and has an initial marking.
Warning: place p1663 is not connected and has an initial marking.
Warning: place p1664 is not connected and has an initial marking.
Warning: place p1665 is not connected and has an initial marking.
Warning: place p1666 is not connected and has an initial marking.
Warning: place p1667 is not connected and has an initial marking.
Warning: place p1668 is not connected and has an initial marking.
Warning: place p1669 is not connected and has an initial marking.
Warning: place p1670 is not connected and has an initial marking.
Warning: place p1671 is not connected and has an initial marking.
Warning: place p1672 is not connected and has an initial marking.
Warning: place p1673 is not connected and has an initial marking.
Warning: place p1674 is not connected and has an initial marking.
Warning: place p1675 is not connected and has an initial marking.
Warning: place p1676 is not connected and has an initial marking.
Warning: place p1677 is not connected and has an initial marking.
Warning: place p1678 is not connected and has an initial marking.
Warning: place p1679 is not connected and has an initial marking.
Warning: place p1680 is not connected and has an initial marking.
Warning: place p1681 is not connected and has an initial marking.
Warning: place p1682 is not connected and has an initial marking.
Warning: place p1683 is not connected and has an initial marking.
Warning: place p1684 is not connected and has an initial marking.
Warning: place p1685 is not connected and has an initial marking.
Warning: place p1686 is not connected and has an initial marking.
Warning: place p1687 is not connected and has an initial marking.
Warning: place p1688 is not connected and has an initial marking.
Warning: place p1689 is not connected and has an initial marking.
Warning: place p1690 is not connected and has an initial marking.
Warning: place p1691 is not connected and has an initial marking.
Warning: place p1692 is not connected and has an initial marking.
Warning: place p1693 is not connected and has an initial marking.
Warning: place p1694 is not connected and has an initial marking.
Warning: place p1695 is not connected and has an initial marking.
Warning: place p1696 is not connected and has an initial marking.
Warning: place p1697 is not connected and has an initial marking.
Warning: place p1698 is not connected and has an initial marking.
Warning: place p1699 is not connected and has an initial marking.
Warning: place p1700 is not connected and has an initial marking.
Warning: place p1701 is not connected and has an initial marking.
Warning: place p1702 is not connected and has an initial marking.
Warning: place p1703 is not connected and has an initial marking.
Warning: place p1704 is not connected and has an initial marking.
Warning: place p1705 is not connected and has an initial marking.
Warning: place p1706 is not connected and has an initial marking.
Warning: place p1707 is not connected and has an initial marking.
Warning: place p1708 is not connected and has an initial marking.
Warning: place p1709 is not connected and has an initial marking.
Warning: place p1710 is not connected and has an initial marking.
Warning: place p1711 is not connected and has an initial marking.
Warning: place p1712 is not connected and has an initial marking.
Warning: place p1713 is not connected and has an initial marking.
Warning: place p1714 is not connected and has an initial marking.
Warning: place p1715 is not connected and has an initial marking.
Warning: place p1716 is not connected and has an initial marking.
Warning: place p1717 is not connected and has an initial marking.
Warning: place p1718 is not connected and has an initial marking.
Warning: place p1719 is not connected and has an initial marking.
Warning: place p1720 is not connected and has an initial marking.
Warning: place p1721 is not connected and has an initial marking.
Warning: place p1722 is not connected and has an initial marking.
Warning: place p1723 is not connected and has an initial marking.
Warning: place p1724 is not connected and has an initial marking.
Warning: place p1725 is not connected and has an initial marking.
Warning: place p1726 is not connected and has an initial marking.
Warning: place p1727 is not connected and has an initial marking.
Warning: place p1728 is not connected and has an initial marking.
Warning: place p1729 is not connected and has an initial marking.
Warning: place p1730 is not connected and has an initial marking.
Warning: place p1731 is not connected and has an initial marking.
Warning: place p1732 is not connected and has an initial marking.
Warning: place p1733 is not connected and has an initial marking.
Warning: place p1734 is not connected and has an initial marking.
Warning: place p1735 is not connected and has an initial marking.
Warning: place p1736 is not connected and has an initial marking.
Warning: place p1737 is not connected and has an initial marking.
Warning: place p1738 is not connected and has an initial marking.
Warning: place p1739 is not connected and has an initial marking.
Warning: place p1740 is not connected and has an initial marking.
Warning: place p1741 is not connected and has an initial marking.
Warning: place p1742 is not connected and has an initial marking.
Warning: place p1743 is not connected and has an initial marking.
Warning: place p1744 is not connected and has an initial marking.
Warning: place p1745 is not connected and has an initial marking.
Warning: place p1746 is not connected and has an initial marking.
Warning: place p1747 is not connected and has an initial marking.
Warning: place p1748 is not connected and has an initial marking.
Warning: place p1749 is not connected and has an initial marking.
Warning: place p1750 is not connected and has an initial marking.
Warning: place p1751 is not connected and has an initial marking.
Warning: place p1752 is not connected and has an initial marking.
Warning: place p1753 is not connected and has an initial marking.
Warning: place p1754 is not connected and has an initial marking.
Warning: place p1755 is not connected and has an initial marking.
Warning: place p1756 is not connected and has an initial marking.
Warning: place p1757 is not connected and has an initial marking.
Warning: place p1758 is not connected and has an initial marking.
Warning: place p1759 is not connected and has an initial marking.
Warning: place p1760 is not connected and has an initial marking.
Warning: place p1761 is not connected and has an initial marking.
Warning: place p1762 is not connected and has an initial marking.
Warning: place p1763 is not connected and has an initial marking.
Warning: place p1764 is not connected and has an initial marking.
Warning: place p1765 is not connected and has an initial marking.
Warning: place p1766 is not connected and has an initial marking.
Warning: place p1767 is not connected and has an initial marking.
Warning: place p1768 is not connected and has an initial marking.
Warning: place p1769 is not connected and has an initial marking.
Warning: place p1770 is not connected and has an initial marking.
Warning: place p1771 is not connected and has an initial marking.
Warning: place p1772 is not connected and has an initial marking.
Warning: place p1773 is not connected and has an initial marking.
Warning: place p1774 is not connected and has an initial marking.
Warning: place p1775 is not connected and has an initial marking.
Warning: place p1776 is not connected and has an initial marking.
Warning: place p1777 is not connected and has an initial marking.
Warning: place p1778 is not connected and has an initial marking.
Warning: place p1779 is not connected and has an initial marking.
Warning: place p1780 is not connected and has an initial marking.
Warning: place p1781 is not connected and has an initial marking.
Warning: place p1782 is not connected and has an initial marking.
Warning: place p1783 is not connected and has an initial marking.
Warning: place p1784 is not connected and has an initial marking.
Warning: place p1785 is not connected and has an initial marking.
Warning: place p1786 is not connected and has an initial marking.
Warning: place p1787 is not connected and has an initial marking.
Warning: place p1788 is not connected and has an initial marking.
Warning: place p1789 is not connected and has an initial marking.
Warning: place p1790 is not connected and has an initial marking.
Warning: place p1791 is not connected and has an initial marking.
Warning: place p1792 is not connected and has an initial marking.
Warning: place p1793 is not connected and has an initial marking.
Warning: place p1794 is not connected and has an initial marking.
Warning: place p1795 is not connected and has an initial marking.
Warning: place p1796 is not connected and has an initial marking.
Warning: place p1797 is not connected and has an initial marking.
Warning: place p1798 is not connected and has an initial marking.
Warning: place p1799 is not connected and has an initial marking.
Warning: place p1800 is not connected and has an initial marking.
Warning: place p1801 is not connected and has an initial marking.
Warning: place p1802 is not connected and has an initial marking.
Warning: place p1803 is not connected and has an initial marking.
Warning: place p1804 is not connected and has an initial marking.
Warning: place p1805 is not connected and has an initial marking.
Warning: place p1806 is not connected and has an initial marking.
Warning: place p1807 is not connected and has an initial marking.
Warning: place p1808 is not connected and has an initial marking.
Warning: place p1809 is not connected and has an initial marking.
Warning: place p1810 is not connected and has an initial marking.
Warning: place p1811 is not connected and has an initial marking.
Warning: place p1812 is not connected and has an initial marking.
Warning: place p1813 is not connected and has an initial marking.
Warning: place p1814 is not connected and has an initial marking.
Warning: place p1815 is not connected and has an initial marking.
Warning: place p1816 is not connected and has an initial marking.
Warning: place p1817 is not connected and has an initial marking.
Warning: place p1818 is not connected and has an initial marking.
Warning: place p1819 is not connected and has an initial marking.
Warning: place p1820 is not connected and has an initial marking.
Warning: place p1821 is not connected and has an initial marking.
Warning: place p1822 is not connected and has an initial marking.
Warning: place p1823 is not connected and has an initial marking.
Warning: place p1824 is not connected and has an initial marking.
Warning: place p1825 is not connected and has an initial marking.
Warning: place p1826 is not connected and has an initial marking.
Warning: place p1827 is not connected and has an initial marking.
Warning: place p1828 is not connected and has an initial marking.
Warning: place p1829 is not connected and has an initial marking.
Warning: place p1830 is not connected and has an initial marking.
Warning: place p1831 is not connected and has an initial marking.
Warning: place p1832 is not connected and has an initial marking.
Warning: place p1833 is not connected and has an initial marking.
Warning: place p1834 is not connected and has an initial marking.
Warning: place p1835 is not connected and has an initial marking.
Warning: place p1836 is not connected and has an initial marking.
Warning: place p1837 is not connected and has an initial marking.
Warning: place p1838 is not connected and has an initial marking.
Warning: place p1839 is not connected and has an initial marking.
Warning: place p1840 is not connected and has an initial marking.
Warning: place p1841 is not connected and has an initial marking.
Warning: place p1842 is not connected and has an initial marking.
Warning: place p1843 is not connected and has an initial marking.
Warning: place p1844 is not connected and has an initial marking.
Warning: place p1845 is not connected and has an initial marking.
Warning: place p1846 is not connected and has an initial marking.
Warning: place p1847 is not connected and has an initial marking.
Warning: place p1848 is not connected and has an initial marking.
Warning: place p1849 is not connected and has an initial marking.
Warning: place p1850 is not connected and has an initial marking.
Warning: place p1851 is not connected and has an initial marking.
Warning: place p1852 is not connected and has an initial marking.
Warning: place p1853 is not connected and has an initial marking.
Warning: place p1854 is not connected and has an initial marking.
Warning: place p1855 is not connected and has an initial marking.
Warning: place p1856 is not connected and has an initial marking.
Warning: place p1857 is not connected and has an initial marking.
Warning: place p1858 is not connected and has an initial marking.
Warning: place p1859 is not connected and has an initial marking.
Warning: place p1860 is not connected and has an initial marking.
Warning: place p1861 is not connected and has an initial marking.
Warning: place p1862 is not connected and has an initial marking.
Warning: place p1863 is not connected and has an initial marking.
Warning: place p1864 is not connected and has an initial marking.
Warning: place p1865 is not connected and has an initial marking.
Warning: place p1866 is not connected and has an initial marking.
Warning: place p1867 is not connected and has an initial marking.
Warning: place p1868 is not connected and has an initial marking.
Warning: place p1869 is not connected and has an initial marking.
Warning: place p1870 is not connected and has an initial marking.
Warning: place p1871 is not connected and has an initial marking.
Warning: place p1872 is not connected and has an initial marking.
Warning: place p1873 is not connected and has an initial marking.
Warning: place p1874 is not connected and has an initial marking.
Warning: place p1875 is not connected and has an initial marking.
Warning: place p1876 is not connected and has an initial marking.
Warning: place p1877 is not connected and has an initial marking.
Warning: place p1878 is not connected and has an initial marking.
Warning: place p1879 is not connected and has an initial marking.
Warning: place p1880 is not connected and has an initial marking.
Warning: place p1881 is not connected and has an initial marking.
Warning: place p1882 is not connected and has an initial marking.
Warning: place p1883 is not connected and has an initial marking.
Warning: place p1884 is not connected and has an initial marking.
Warning: place p1885 is not connected and has an initial marking.
Warning: place p1886 is not connected and has an initial marking.
Warning: place p1887 is not connected and has an initial marking.
Warning: place p1888 is not connected and has an initial marking.
Warning: place p1889 is not connected and has an initial marking.
Warning: place p1890 is not connected and has an initial marking.
Warning: place p1891 is not connected and has an initial marking.
Warning: place p1892 is not connected and has an initial marking.
Warning: place p1893 is not connected and has an initial marking.
Warning: place p1894 is not connected and has an initial marking.
Warning: place p1895 is not connected and has an initial marking.
Warning: place p1896 is not connected and has an initial marking.
Warning: place p1897 is not connected and has an initial marking.
Warning: place p1898 is not connected and has an initial marking.
Warning: place p1899 is not connected and has an initial marking.
Warning: place p1900 is not connected and has an initial marking.
Warning: place p1901 is not connected and has an initial marking.
Warning: place p1902 is not connected and has an initial marking.
Warning: place p1903 is not connected and has an initial marking.
Warning: place p1904 is not connected and has an initial marking.
Warning: place p1905 is not connected and has an initial marking.
Warning: place p1906 is not connected and has an initial marking.
Warning: place p1907 is not connected and has an initial marking.
Warning: place p1908 is not connected and has an initial marking.
Warning: place p1909 is not connected and has an initial marking.
Warning: place p1910 is not connected and has an initial marking.
Warning: place p1911 is not connected and has an initial marking.
Warning: place p1912 is not connected and has an initial marking.
Warning: place p1913 is not connected and has an initial marking.
Warning: place p1914 is not connected and has an initial marking.
Warning: place p1915 is not connected and has an initial marking.
Warning: place p1916 is not connected and has an initial marking.
Warning: place p1917 is not connected and has an initial marking.
Warning: place p1918 is not connected and has an initial marking.
Warning: place p1919 is not connected and has an initial marking.
Warning: place p1920 is not connected and has an initial marking.
Warning: place p1921 is not connected and has an initial marking.
Warning: place p1922 is not connected and has an initial marking.
Warning: place p1923 is not connected and has an initial marking.
Warning: place p1924 is not connected and has an initial marking.
Warning: place p1925 is not connected and has an initial marking.
Warning: place p1926 is not connected and has an initial marking.
Warning: place p1927 is not connected and has an initial marking.
Warning: place p1928 is not connected and has an initial marking.
Warning: place p1929 is not connected and has an initial marking.
Warning: place p1930 is not connected and has an initial marking.
Warning: place p1931 is not connected and has an initial marking.
Warning: place p1932 is not connected and has an initial marking.
Warning: place p1933 is not connected and has an initial marking.
Warning: place p1934 is not connected and has an initial marking.
Warning: place p1935 is not connected and has an initial marking.
Warning: place p1936 is not connected and has an initial marking.
Warning: place p1937 is not connected and has an initial marking.
Warning: place p1938 is not connected and has an initial marking.
Warning: place p1939 is not connected and has an initial marking.
Warning: place p1940 is not connected and has an initial marking.
Warning: place p1941 is not connected and has an initial marking.
Warning: place p1942 is not connected and has an initial marking.
Warning: place p1943 is not connected and has an initial marking.
Warning: place p1944 is not connected and has an initial marking.
Warning: place p1945 is not connected and has an initial marking.
Warning: place p1946 is not connected and has an initial marking.
Warning: place p1947 is not connected and has an initial marking.
Warning: place p1948 is not connected and has an initial marking.
Warning: place p1949 is not connected and has an initial marking.
Warning: place p1950 is not connected and has an initial marking.
Warning: place p1951 is not connected and has an initial marking.
Warning: place p1952 is not connected and has an initial marking.
Warning: place p1953 is not connected and has an initial marking.
Warning: place p1954 is not connected and has an initial marking.
Warning: place p1955 is not connected and has an initial marking.
Warning: place p1956 is not connected and has an initial marking.
Warning: place p1957 is not connected and has an initial marking.
Warning: place p1958 is not connected and has an initial marking.
Warning: place p1959 is not connected and has an initial marking.
Warning: place p1960 is not connected and has an initial marking.
Warning: place p1961 is not connected and has an initial marking.
Warning: place p1962 is not connected and has an initial marking.
Warning: place p1963 is not connected and has an initial marking.
Warning: place p1964 is not connected and has an initial marking.
Warning: place p1965 is not connected and has an initial marking.
Warning: place p1966 is not connected and has an initial marking.
Warning: place p1967 is not connected and has an initial marking.
Warning: place p1968 is not connected and has an initial marking.
Warning: place p1969 is not connected and has an initial marking.
Warning: place p1970 is not connected and has an initial marking.
Warning: place p1971 is not connected and has an initial marking.
Warning: place p1972 is not connected and has an initial marking.
Warning: place p1973 is not connected and has an initial marking.
Warning: place p1974 is not connected and has an initial marking.
Warning: place p1975 is not connected and has an initial marking.
Warning: place p1976 is not connected and has an initial marking.
Warning: place p1977 is not connected and has an initial marking.
Warning: place p1978 is not connected and has an initial marking.
Warning: place p1979 is not connected and has an initial marking.
Warning: place p1980 is not connected and has an initial marking.
Warning: place p1981 is not connected and has an initial marking.
Warning: place p1982 is not connected and has an initial marking.
Warning: place p1983 is not connected and has an initial marking.
Warning: place p1984 is not connected and has an initial marking.
Warning: place p1985 is not connected and has an initial marking.
Warning: place p1986 is not connected and has an initial marking.
Warning: place p1987 is not connected and has an initial marking.
Warning: place p1988 is not connected and has an initial marking.
Warning: place p1989 is not connected and has an initial marking.
Warning: place p1990 is not connected and has an initial marking.
Warning: place p1991 is not connected and has an initial marking.
Warning: place p1992 is not connected and has an initial marking.
Warning: place p1993 is not connected and has an initial marking.
Warning: place p1994 is not connected and has an initial marking.
Warning: place p1995 is not connected and has an initial marking.
Warning: place p1996 is not connected and has an initial marking.
Warning: place p1997 is not connected and has an initial marking.
Warning: place p1998 is not connected and has an initial marking.
Warning: place p1999 is not connected and has an initial marking.
Warning: place p2000 is not connected and has an initial marking.
Warning: place p2001 is not connected and has an initial marking.
Warning: place p2002 is not connected and has an initial marking.
Warning: place p2003 is not connected and has an initial marking.
Warning: place p2004 is not connected and has an initial marking.
Warning: place p2005 is not connected and has an initial marking.
Warning: place p2006 is not connected and has an initial marking.
Warning: place p2007 is not connected and has an initial marking.
Warning: place p2008 is not connected and has an initial marking.
Warning: place p2009 is not connected and has an initial marking.
Warning: place p2010 is not connected and has an initial marking.
Warning: place p2011 is not connected and has an initial marking.
Warning: place p2012 is not connected and has an initial marking.
Warning: place p2013 is not connected and has an initial marking.
Warning: place p2014 is not connected and has an initial marking.
Warning: place p2015 is not connected and has an initial marking.
Warning: place p2016 is not connected and has an initial marking.
Warning: place p2017 is not connected and has an initial marking.
Warning: place p2018 is not connected and has an initial marking.
Warning: place p2019 is not connected and has an initial marking.
Warning: place p2020 is not connected and has an initial marking.
Warning: place p2021 is not connected and has an initial marking.
Warning: place p2022 is not connected and has an initial marking.
Warning: place p2023 is not connected and has an initial marking.
Warning: place p2024 is not connected and has an initial marking.
Warning: place p2025 is not connected and has an initial marking.
Warning: place p2026 is not connected and has an initial marking.
Warning: place p2027 is not connected and has an initial marking.
Warning: place p2028 is not connected and has an initial marking.
Warning: place p2029 is not connected and has an initial marking.
Warning: place p2030 is not connected and has an initial marking.
Warning: place p2031 is not connected and has an initial marking.
Warning: place p2032 is not connected and has an initial marking.
Warning: place p2033 is not connected and has an initial marking.
Warning: place p2034 is not connected and has an initial marking.
Warning: place p2035 is not connected and has an initial marking.
Warning: place p2036 is not connected and has an initial marking.
Warning: place p2037 is not connected and has an initial marking.
Warning: place p2038 is not connected and has an initial marking.
Warning: place p2039 is not connected and has an initial marking.
Warning: place p2040 is not connected and has an initial marking.
Warning: place p2041 is not connected and has an initial marking.
Warning: place p2042 is not connected and has an initial marking.
Warning: place p2043 is not connected and has an initial marking.
Warning: place p2044 is not connected and has an initial marking.
Warning: place p2045 is not connected and has an initial marking.
Warning: place p2046 is not connected and has an initial marking.
Warning: place p2047 is not connected and has an initial marking.
Warning: place p2048 is not connected and has an initial marking.
Warning: place p2049 is not connected and has an initial marking.
Warning: place p2050 is not connected and has an initial marking.
Warning: place p2051 is not connected and has an initial marking.
Warning: place p2052 is not connected and has an initial marking.
Warning: place p2053 is not connected and has an initial marking.
Warning: place p2054 is not connected and has an initial marking.
Warning: place p2055 is not connected and has an initial marking.
Warning: place p2056 is not connected and has an initial marking.
Warning: place p2057 is not connected and has an initial marking.
Warning: place p2058 is not connected and has an initial marking.
Warning: place p2059 is not connected and has an initial marking.
Warning: place p2060 is not connected and has an initial marking.
Warning: place p2061 is not connected and has an initial marking.
Warning: place p2062 is not connected and has an initial marking.
Warning: place p2063 is not connected and has an initial marking.
Warning: place p2064 is not connected and has an initial marking.
Warning: place p2065 is not connected and has an initial marking.
Warning: place p2066 is not connected and has an initial marking.
Warning: place p2067 is not connected and has an initial marking.
Warning: place p2068 is not connected and has an initial marking.
Warning: place p2069 is not connected and has an initial marking.
Warning: place p2070 is not connected and has an initial marking.
Warning: place p2071 is not connected and has an initial marking.
Warning: place p2072 is not connected and has an initial marking.
Warning: place p2073 is not connected and has an initial marking.
Warning: place p2074 is not connected and has an initial marking.
Warning: place p2075 is not connected and has an initial marking.
Warning: place p2076 is not connected and has an initial marking.
Warning: place p2077 is not connected and has an initial marking.
Warning: place p2078 is not connected and has an initial marking.
Warning: place p2079 is not connected and has an initial marking.
Warning: place p2080 is not connected and has an initial marking.
Warning: place p2081 is not connected and has an initial marking.
Warning: place p2082 is not connected and has an initial marking.
Warning: place p2083 is not connected and has an initial marking.
Warning: place p2084 is not connected and has an initial marking.
Warning: place p2085 is not connected and has an initial marking.
Warning: place p2086 is not connected and has an initial marking.
Warning: place p2087 is not connected and has an initial marking.
Warning: place p2088 is not connected and has an initial marking.
Warning: place p2089 is not connected and has an initial marking.
Warning: place p2090 is not connected and has an initial marking.
Warning: place p2091 is not connected and has an initial marking.
Warning: place p2092 is not connected and has an initial marking.
Warning: place p2093 is not connected and has an initial marking.
Warning: place p2094 is not connected and has an initial marking.
Warning: place p2095 is not connected and has an initial marking.
Warning: place p2096 is not connected and has an initial marking.
Warning: place p2097 is not connected and has an initial marking.
Warning: place p2098 is not connected and has an initial marking.
Warning: place p2099 is not connected and has an initial marking.
Warning: place p2100 is not connected and has an initial marking.
Warning: place p2101 is not connected and has an initial marking.
Warning: place p2102 is not connected and has an initial marking.
Warning: place p2103 is not connected and has an initial marking.
Warning: place p2104 is not connected and has an initial marking.
Warning: place p2105 is not connected and has an initial marking.
Warning: place p2106 is not connected and has an initial marking.
Warning: place p2107 is not connected and has an initial marking.
Warning: place p2108 is not connected and has an initial marking.
Warning: place p2109 is not connected and has an initial marking.
Warning: place p2110 is not connected and has an initial marking.
Warning: place p2111 is not connected and has an initial marking.
Warning: place p2112 is not connected and has an initial marking.
Warning: place p2113 is not connected and has an initial marking.
Warning: place p2114 is not connected and has an initial marking.
Warning: place p2115 is not connected and has an initial marking.
Warning: place p2116 is not connected and has an initial marking.
Warning: place p2117 is not connected and has an initial marking.
Warning: place p2118 is not connected and has an initial marking.
Warning: place p2119 is not connected and has an initial marking.
Warning: place p2120 is not connected and has an initial marking.
Warning: place p2121 is not connected and has an initial marking.
Warning: place p2122 is not connected and has an initial marking.
Warning: place p2123 is not connected and has an initial marking.
Warning: place p2124 is not connected and has an initial marking.
Warning: place p2125 is not connected and has an initial marking.
Warning: place p2126 is not connected and has an initial marking.
Warning: place p2127 is not connected and has an initial marking.
Warning: place p2128 is not connected and has an initial marking.
Warning: place p2129 is not connected and has an initial marking.
Warning: place p2130 is not connected and has an initial marking.
Warning: place p2131 is not connected and has an initial marking.
Warning: place p2132 is not connected and has an initial marking.
Warning: place p2133 is not connected and has an initial marking.
Warning: place p2134 is not connected and has an initial marking.
Warning: place p2135 is not connected and has an initial marking.
Warning: place p2136 is not connected and has an initial marking.
Warning: place p2137 is not connected and has an initial marking.
Warning: place p2138 is not connected and has an initial marking.
Warning: place p2139 is not connected and has an initial marking.
Warning: place p2140 is not connected and has an initial marking.
Warning: place p2141 is not connected and has an initial marking.
Warning: place p2142 is not connected and has an initial marking.
Warning: place p2143 is not connected and has an initial marking.
Warning: place p2144 is not connected and has an initial marking.
Warning: place p2145 is not connected and has an initial marking.
Warning: place p2146 is not connected and has an initial marking.
Warning: place p2147 is not connected and has an initial marking.
Warning: place p2148 is not connected and has an initial marking.
Warning: place p2149 is not connected and has an initial marking.
Warning: place p2150 is not connected and has an initial marking.
Warning: place p2151 is not connected and has an initial marking.
Warning: place p2152 is not connected and has an initial marking.
Warning: place p2153 is not connected and has an initial marking.
Warning: place p2154 is not connected and has an initial marking.
Warning: place p2155 is not connected and has an initial marking.
Warning: place p2156 is not connected and has an initial marking.
Warning: place p2157 is not connected and has an initial marking.
Warning: place p2158 is not connected and has an initial marking.
Warning: place p2159 is not connected and has an initial marking.
Warning: place p2160 is not connected and has an initial marking.
Warning: place p2161 is not connected and has an initial marking.
Warning: place p2162 is not connected and has an initial marking.
Warning: place p2163 is not connected and has an initial marking.
Warning: place p2164 is not connected and has an initial marking.
Warning: place p2165 is not connected and has an initial marking.
Warning: place p2166 is not connected and has an initial marking.
Warning: place p2167 is not connected and has an initial marking.
Warning: place p2168 is not connected and has an initial marking.
Warning: place p2169 is not connected and has an initial marking.
Warning: place p2170 is not connected and has an initial marking.
Warning: place p2171 is not connected and has an initial marking.
Warning: place p2172 is not connected and has an initial marking.
Warning: place p2173 is not connected and has an initial marking.
Warning: place p2174 is not connected and has an initial marking.
Warning: place p2175 is not connected and has an initial marking.
Warning: place p2176 is not connected and has an initial marking.
Warning: place p2177 is not connected and has an initial marking.
Warning: place p2178 is not connected and has an initial marking.
Warning: place p2179 is not connected and has an initial marking.
Warning: place p2180 is not connected and has an initial marking.
Warning: place p2181 is not connected and has an initial marking.
Warning: place p2182 is not connected and has an initial marking.
Warning: place p2183 is not connected and has an initial marking.
Warning: place p2184 is not connected and has an initial marking.
Warning: place p2185 is not connected and has an initial marking.
Warning: place p2186 is not connected and has an initial marking.
Warning: place p2187 is not connected and has an initial marking.
Warning: place p2188 is not connected and has an initial marking.
Warning: place p2189 is not connected and has an initial marking.
Warning: place p2190 is not connected and has an initial marking.
Warning: place p2191 is not connected and has an initial marking.
Warning: place p2192 is not connected and has an initial marking.
Warning: place p2193 is not connected and has an initial marking.
Warning: place p2194 is not connected and has an initial marking.
Warning: place p2195 is not connected and has an initial marking.
Warning: place p2196 is not connected and has an initial marking.
Warning: place p2197 is not connected and has an initial marking.
Warning: place p2198 is not connected and has an initial marking.
Warning: place p2199 is not connected and has an initial marking.
Warning: place p2200 is not connected and has an initial marking.
Warning: place p2201 is not connected and has an initial marking.
Warning: place p2202 is not connected and has an initial marking.
Warning: place p2203 is not connected and has an initial marking.
Warning: place p2204 is not connected and has an initial marking.
Warning: place p2205 is not connected and has an initial marking.
Warning: place p2206 is not connected and has an initial marking.
Warning: place p2207 is not connected and has an initial marking.
Warning: place p2208 is not connected and has an initial marking.
Warning: place p2209 is not connected and has an initial marking.
Warning: place p2210 is not connected and has an initial marking.
Warning: place p2211 is not connected and has an initial marking.
Warning: place p2212 is not connected and has an initial marking.
Warning: place p2213 is not connected and has an initial marking.
Warning: place p2214 is not connected and has an initial marking.
Warning: place p2215 is not connected and has an initial marking.
Warning: place p2216 is not connected and has an initial marking.
Warning: place p2217 is not connected and has an initial marking.
Warning: place p2218 is not connected and has an initial marking.
Warning: place p2219 is not connected and has an initial marking.
Warning: place p2220 is not connected and has an initial marking.
Warning: place p2221 is not connected and has an initial marking.
Warning: place p2222 is not connected and has an initial marking.
Warning: place p2223 is not connected and has an initial marking.
Warning: place p2224 is not connected and has an initial marking.
Warning: place p2225 is not connected and has an initial marking.
Warning: place p2226 is not connected and has an initial marking.
Warning: place p2227 is not connected and has an initial marking.
Warning: place p2228 is not connected and has an initial marking.
Warning: place p2229 is not connected and has an initial marking.
Warning: place p2230 is not connected and has an initial marking.
Warning: place p2231 is not connected and has an initial marking.
Warning: place p2232 is not connected and has an initial marking.
Warning: place p2233 is not connected and has an initial marking.
Warning: place p2234 is not connected and has an initial marking.
Warning: place p2235 is not connected and has an initial marking.
Warning: place p2236 is not connected and has an initial marking.
Warning: place p2237 is not connected and has an initial marking.
Warning: place p2238 is not connected and has an initial marking.
Warning: place p2239 is not connected and has an initial marking.
Warning: place p2240 is not connected and has an initial marking.
Warning: place p2241 is not connected and has an initial marking.
Warning: place p2242 is not connected and has an initial marking.
Warning: place p2243 is not connected and has an initial marking.
Warning: place p2244 is not connected and has an initial marking.
Warning: place p2245 is not connected and has an initial marking.
Warning: place p2246 is not connected and has an initial marking.
Warning: place p2247 is not connected and has an initial marking.
Warning: place p2248 is not connected and has an initial marking.
Warning: place p2249 is not connected and has an initial marking.
Warning: place p2250 is not connected and has an initial marking.
Warning: place p2251 is not connected and has an initial marking.
Warning: place p2252 is not connected and has an initial marking.
Warning: place p2253 is not connected and has an initial marking.
Warning: place p2254 is not connected and has an initial marking.
Warning: place p2255 is not connected and has an initial marking.
Warning: place p2256 is not connected and has an initial marking.
Warning: place p2257 is not connected and has an initial marking.
Warning: place p2258 is not connected and has an initial marking.
Warning: place p2259 is not connected and has an initial marking.
Warning: place p2260 is not connected and has an initial marking.
Warning: place p2261 is not connected and has an initial marking.
Warning: place p2262 is not connected and has an initial marking.
Warning: place p2263 is not connected and has an initial marking.
Warning: place p2264 is not connected and has an initial marking.
Warning: place p2265 is not connected and has an initial marking.
Warning: place p2266 is not connected and has an initial marking.
Warning: place p2267 is not connected and has an initial marking.
Warning: place p2268 is not connected and has an initial marking.
Warning: place p2269 is not connected and has an initial marking.
Warning: place p2270 is not connected and has an initial marking.
Warning: place p2271 is not connected and has an initial marking.
Warning: place p2272 is not connected and has an initial marking.
Warning: place p2273 is not connected and has an initial marking.
Warning: place p2274 is not connected and has an initial marking.
Warning: place p2275 is not connected and has an initial marking.
Warning: place p2276 is not connected and has an initial marking.
Warning: place p2277 is not connected and has an initial marking.
Warning: place p2278 is not connected and has an initial marking.
Warning: place p2279 is not connected and has an initial marking.
Warning: place p2280 is not connected and has an initial marking.
Warning: place p2281 is not connected and has an initial marking.
Warning: place p2282 is not connected and has an initial marking.
Warning: place p2283 is not connected and has an initial marking.
Warning: place p2284 is not connected and has an initial marking.
Warning: place p2285 is not connected and has an initial marking.
Warning: place p2286 is not connected and has an initial marking.
Warning: place p2287 is not connected and has an initial marking.
Warning: place p2288 is not connected and has an initial marking.
Warning: place p2289 is not connected and has an initial marking.
Warning: place p2290 is not connected and has an initial marking.
Warning: place p2291 is not connected and has an initial marking.
Warning: place p2292 is not connected and has an initial marking.
Warning: place p2293 is not connected and has an initial marking.
Warning: place p2294 is not connected and has an initial marking.
Warning: place p2295 is not connected and has an initial marking.
Warning: place p2296 is not connected and has an initial marking.
Warning: place p2297 is not connected and has an initial marking.
Warning: place p2298 is not connected and has an initial marking.
Warning: place p2299 is not connected and has an initial marking.
Warning: place p2300 is not connected and has an initial marking.
Warning: place p2301 is not connected and has an initial marking.
Warning: place p2302 is not connected and has an initial marking.
Warning: place p2303 is not connected and has an initial marking.
Warning: place p2304 is not connected and has an initial marking.
Warning: place p2305 is not connected and has an initial marking.
Warning: place p2306 is not connected and has an initial marking.
Warning: place p2307 is not connected and has an initial marking.
Warning: place p2308 is not connected and has an initial marking.
Warning: place p2309 is not connected and has an initial marking.
Warning: place p2310 is not connected and has an initial marking.
Warning: place p2311 is not connected and has an initial marking.
Warning: place p2312 is not connected and has an initial marking.
Warning: place p2313 is not connected and has an initial marking.
Warning: place p2314 is not connected and has an initial marking.
Warning: place p2315 is not connected and has an initial marking.
Warning: place p2316 is not connected and has an initial marking.
Warning: place p2317 is not connected and has an initial marking.
Warning: place p2318 is not connected and has an initial marking.
Warning: place p2319 is not connected and has an initial marking.
Warning: place p2320 is not connected and has an initial marking.
Warning: place p2321 is not connected and has an initial marking.
Warning: place p2322 is not connected and has an initial marking.
Warning: place p2323 is not connected and has an initial marking.
Warning: place p2324 is not connected and has an initial marking.
Warning: place p2325 is not connected and has an initial marking.
Warning: place p2326 is not connected and has an initial marking.
Warning: place p2327 is not connected and has an initial marking.
Warning: place p2328 is not connected and has an initial marking.
Warning: place p2329 is not connected and has an initial marking.
Warning: place p2330 is not connected and has an initial marking.
Warning: place p2331 is not connected and has an initial marking.
Warning: place p2332 is not connected and has an initial marking.
Warning: place p2333 is not connected and has an initial marking.
Warning: place p2334 is not connected and has an initial marking.
Warning: place p2335 is not connected and has an initial marking.
Warning: place p2336 is not connected and has an initial marking.
Warning: place p2337 is not connected and has an initial marking.
Warning: place p2338 is not connected and has an initial marking.
Warning: place p2339 is not connected and has an initial marking.
Warning: place p2340 is not connected and has an initial marking.
Warning: place p2341 is not connected and has an initial marking.
Warning: place p2342 is not connected and has an initial marking.
Warning: place p2343 is not connected and has an initial marking.
Warning: place p2344 is not connected and has an initial marking.
Warning: place p2345 is not connected and has an initial marking.
Warning: place p2346 is not connected and has an initial marking.
Warning: place p2347 is not connected and has an initial marking.
Warning: place p2348 is not connected and has an initial marking.
Warning: place p2349 is not connected and has an initial marking.
Warning: place p2350 is not connected and has an initial marking.
Warning: place p2351 is not connected and has an initial marking.
Warning: place p2352 is not connected and has an initial marking.
Warning: place p2353 is not connected and has an initial marking.
Warning: place p2354 is not connected and has an initial marking.
Warning: place p2355 is not connected and has an initial marking.
Warning: place p2356 is not connected and has an initial marking.
Warning: place p2357 is not connected and has an initial marking.
Warning: place p2358 is not connected and has an initial marking.
Warning: place p2359 is not connected and has an initial marking.
Warning: place p2360 is not connected and has an initial marking.
Warning: place p2361 is not connected and has an initial marking.
Warning: place p2362 is not connected and has an initial marking.
Warning: place p2363 is not connected and has an initial marking.
Warning: place p2364 is not connected and has an initial marking.
Warning: place p2365 is not connected and has an initial marking.
Warning: place p2366 is not connected and has an initial marking.
Warning: place p2367 is not connected and has an initial marking.
Warning: place p2368 is not connected and has an initial marking.
Warning: place p2369 is not connected and has an initial marking.
Warning: place p2370 is not connected and has an initial marking.
Warning: place p2371 is not connected and has an initial marking.
Warning: place p2372 is not connected and has an initial marking.
Warning: place p2373 is not connected and has an initial marking.
Warning: place p2374 is not connected and has an initial marking.
Warning: place p2375 is not connected and has an initial marking.
Warning: place p2376 is not connected and has an initial marking.
Warning: place p2377 is not connected and has an initial marking.
Warning: place p2378 is not connected and has an initial marking.
Warning: place p2379 is not connected and has an initial marking.
Warning: place p2380 is not connected and has an initial marking.
Warning: place p2381 is not connected and has an initial marking.
Warning: place p2382 is not connected and has an initial marking.
Warning: place p2383 is not connected and has an initial marking.
Warning: place p2384 is not connected and has an initial marking.
Warning: place p2385 is not connected and has an initial marking.
Warning: place p2386 is not connected and has an initial marking.
Warning: place p2387 is not connected and has an initial marking.
Warning: place p2388 is not connected and has an initial marking.
Warning: place p2389 is not connected and has an initial marking.
Warning: place p2390 is not connected and has an initial marking.
Warning: place p2391 is not connected and has an initial marking.
Warning: place p2392 is not connected and has an initial marking.
Warning: place p2393 is not connected and has an initial marking.
Warning: place p2394 is not connected and has an initial marking.
Warning: place p2395 is not connected and has an initial marking.
Warning: place p2396 is not connected and has an initial marking.
Warning: place p2397 is not connected and has an initial marking.
Warning: place p2398 is not connected and has an initial marking.
Warning: place p2399 is not connected and has an initial marking.
Warning: place p2400 is not connected and has an initial marking.
Warning: place p2401 is not connected and has an initial marking.
Warning: place p2402 is not connected and has an initial marking.
Warning: place p2403 is not connected and has an initial marking.
Warning: place p2404 is not connected and has an initial marking.
Warning: place p2405 is not connected and has an initial marking.
Warning: place p2406 is not connected and has an initial marking.
Warning: place p2407 is not connected and has an initial marking.
Warning: place p2408 is not connected and has an initial marking.
Warning: place p2409 is not connected and has an initial marking.
Warning: place p2410 is not connected and has an initial marking.
Warning: place p2411 is not connected and has an initial marking.
Warning: place p2412 is not connected and has an initial marking.
Warning: place p2413 is not connected and has an initial marking.
Warning: place p2414 is not connected and has an initial marking.
Warning: place p2415 is not connected and has an initial marking.
Warning: place p2416 is not connected and has an initial marking.
Warning: place p2417 is not connected and has an initial marking.
Warning: place p2418 is not connected and has an initial marking.
Warning: place p2419 is not connected and has an initial marking.
Warning: place p2420 is not connected and has an initial marking.
Warning: place p2421 is not connected and has an initial marking.
Warning: place p2422 is not connected and has an initial marking.
Warning: place p2423 is not connected and has an initial marking.
Warning: place p2424 is not connected and has an initial marking.
Warning: place p2425 is not connected and has an initial marking.
Warning: place p2426 is not connected and has an initial marking.
Warning: place p2427 is not connected and has an initial marking.
Warning: place p2428 is not connected and has an initial marking.
Warning: place p2429 is not connected and has an initial marking.
Warning: place p2430 is not connected and has an initial marking.
Warning: place p2431 is not connected and has an initial marking.
Warning: place p2432 is not connected and has an initial marking.
Warning: place p2433 is not connected and has an initial marking.
Warning: place p2434 is not connected and has an initial marking.
Warning: place p2435 is not connected and has an initial marking.
Warning: place p2436 is not connected and has an initial marking.
Warning: place p2437 is not connected and has an initial marking.
Warning: place p2438 is not connected and has an initial marking.
Warning: place p2439 is not connected and has an initial marking.
Warning: place p2440 is not connected and has an initial marking.
Warning: place p2441 is not connected and has an initial marking.
Warning: place p2442 is not connected and has an initial marking.
Warning: place p2443 is not connected and has an initial marking.
Warning: place p2444 is not connected and has an initial marking.
Warning: place p2445 is not connected and has an initial marking.
Warning: place p2446 is not connected and has an initial marking.
Warning: place p2447 is not connected and has an initial marking.
Warning: place p2448 is not connected and has an initial marking.
Warning: place p2449 is not connected and has an initial marking.
Warning: place p2450 is not connected and has an initial marking.
Warning: place p2451 is not connected and has an initial marking.
Warning: place p2452 is not connected and has an initial marking.
Warning: place p2453 is not connected and has an initial marking.
Warning: place p2454 is not connected and has an initial marking.
Warning: place p2455 is not connected and has an initial marking.
Warning: place p2456 is not connected and has an initial marking.
Warning: place p2457 is not connected and has an initial marking.
Warning: place p2458 is not connected and has an initial marking.
Warning: place p2459 is not connected and has an initial marking.
Warning: place p2460 is not connected and has an initial marking.
Warning: place p2461 is not connected and has an initial marking.
Warning: place p2462 is not connected and has an initial marking.
Warning: place p2463 is not connected and has an initial marking.
Warning: place p2464 is not connected and has an initial marking.
Warning: place p2465 is not connected and has an initial marking.
Warning: place p2466 is not connected and has an initial marking.
Warning: place p2467 is not connected and has an initial marking.
Warning: place p2468 is not connected and has an initial marking.
Warning: place p2469 is not connected and has an initial marking.
Warning: place p2470 is not connected and has an initial marking.
Warning: place p2471 is not connected and has an initial marking.
Warning: place p2472 is not connected and has an initial marking.
Warning: place p2473 is not connected and has an initial marking.
Warning: place p2474 is not connected and has an initial marking.
Warning: place p2475 is not connected and has an initial marking.
Warning: place p2476 is not connected and has an initial marking.
Warning: place p2477 is not connected and has an initial marking.
Warning: place p2478 is not connected and has an initial marking.
Warning: place p2479 is not connected and has an initial marking.
Warning: place p2480 is not connected and has an initial marking.
Warning: place p2481 is not connected and has an initial marking.
Warning: place p2482 is not connected and has an initial marking.
Warning: place p2483 is not connected and has an initial marking.
Warning: place p2484 is not connected and has an initial marking.
Warning: place p2485 is not connected and has an initial marking.
Warning: place p2486 is not connected and has an initial marking.
Warning: place p2487 is not connected and has an initial marking.
Warning: place p2488 is not connected and has an initial marking.
Warning: place p2489 is not connected and has an initial marking.
Warning: place p2490 is not connected and has an initial marking.
Warning: place p2491 is not connected and has an initial marking.
Warning: place p2492 is not connected and has an initial marking.
Warning: place p2493 is not connected and has an initial marking.
Warning: place p2494 is not connected and has an initial marking.
Warning: place p2495 is not connected and has an initial marking.
Warning: place p2496 is not connected and has an initial marking.
Warning: place p2497 is not connected and has an initial marking.
Warning: place p2498 is not connected and has an initial marking.
Warning: place p2499 is not connected and has an initial marking.
Warning: place p2500 is not connected and has an initial marking.
Warning: place p2501 is not connected and has an initial marking.
Warning: place p2502 is not connected and has an initial marking.
Warning: place p2503 is not connected and has an initial marking.
Warning: place p2504 is not connected and has an initial marking.
Warning: place p2505 is not connected and has an initial marking.
Warning: place p2506 is not connected and has an initial marking.
Warning: place p2507 is not connected and has an initial marking.
Warning: place p2508 is not connected and has an initial marking.
Warning: place p2509 is not connected and has an initial marking.
Warning: place p2510 is not connected and has an initial marking.
Warning: place p2511 is not connected and has an initial marking.
Warning: place p2512 is not connected and has an initial marking.
Warning: place p2513 is not connected and has an initial marking.
Warning: place p2514 is not connected and has an initial marking.
Warning: place p2515 is not connected and has an initial marking.
Warning: place p2516 is not connected and has an initial marking.
Warning: place p2517 is not connected and has an initial marking.
Warning: place p2518 is not connected and has an initial marking.
Warning: place p2519 is not connected and has an initial marking.
Warning: place p2520 is not connected and has an initial marking.
Warning: place p2521 is not connected and has an initial marking.
Warning: place p2522 is not connected and has an initial marking.
Warning: place p2523 is not connected and has an initial marking.
Warning: place p2524 is not connected and has an initial marking.
Warning: place p2525 is not connected and has an initial marking.
Warning: place p2526 is not connected and has an initial marking.
Warning: place p2527 is not connected and has an initial marking.
Warning: place p2528 is not connected and has an initial marking.
Warning: place p2529 is not connected and has an initial marking.
Warning: place p2530 is not connected and has an initial marking.
Warning: place p2531 is not connected and has an initial marking.
Warning: place p2532 is not connected and has an initial marking.
Warning: place p2533 is not connected and has an initial marking.
Warning: place p2534 is not connected and has an initial marking.
Warning: place p2535 is not connected and has an initial marking.
Warning: place p2536 is not connected and has an initial marking.
Warning: place p2537 is not connected and has an initial marking.
Warning: place p2538 is not connected and has an initial marking.
Warning: place p2539 is not connected and has an initial marking.
Warning: place p2540 is not connected and has an initial marking.
Warning: place p2541 is not connected and has an initial marking.
Warning: place p2542 is not connected and has an initial marking.
Warning: place p2543 is not connected and has an initial marking.
Warning: place p2544 is not connected and has an initial marking.
Warning: place p2545 is not connected and has an initial marking.
Warning: place p2546 is not connected and has an initial marking.
Warning: place p2547 is not connected and has an initial marking.
Warning: place p2548 is not connected and has an initial marking.
Warning: place p2549 is not connected and has an initial marking.
Warning: place p2550 is not connected and has an initial marking.
Warning: place p2551 is not connected and has an initial marking.
Warning: place p2552 is not connected and has an initial marking.
Warning: place p2553 is not connected and has an initial marking.
Warning: place p2554 is not connected and has an initial marking.
Warning: place p2555 is not connected and has an initial marking.
Warning: place p2556 is not connected and has an initial marking.
Warning: place p2557 is not connected and has an initial marking.
Warning: place p2558 is not connected and has an initial marking.
Warning: place p2559 is not connected and has an initial marking.
Warning: place p2560 is not connected and has an initial marking.
Warning: place p2561 is not connected and has an initial marking.
Warning: place p2562 is not connected and has an initial marking.
Warning: place p2563 is not connected and has an initial marking.
Warning: place p2564 is not connected and has an initial marking.
Warning: place p2565 is not connected and has an initial marking.
Warning: place p2566 is not connected and has an initial marking.
Warning: place p2567 is not connected and has an initial marking.
Warning: place p2568 is not connected and has an initial marking.
Warning: place p2569 is not connected and has an initial marking.
Warning: place p2570 is not connected and has an initial marking.
Warning: place p2571 is not connected and has an initial marking.
Warning: place p2572 is not connected and has an initial marking.
Warning: place p2573 is not connected and has an initial marking.
Warning: place p2574 is not connected and has an initial marking.
Warning: place p2575 is not connected and has an initial marking.
Warning: place p2576 is not connected and has an initial marking.
Warning: place p2577 is not connected and has an initial marking.
Warning: place p2578 is not connected and has an initial marking.
Warning: place p2579 is not connected and has an initial marking.
Warning: place p2580 is not connected and has an initial marking.
Warning: place p2581 is not connected and has an initial marking.
Warning: place p2582 is not connected and has an initial marking.
Warning: place p2583 is not connected and has an initial marking.
Warning: place p2584 is not connected and has an initial marking.
Warning: place p2585 is not connected and has an initial marking.
Warning: place p2586 is not connected and has an initial marking.
Warning: place p2587 is not connected and has an initial marking.
Warning: place p2588 is not connected and has an initial marking.
Warning: place p2589 is not connected and has an initial marking.
Warning: place p2590 is not connected and has an initial marking.
Warning: place p2591 is not connected and has an initial marking.
Warning: place p2592 is not connected and has an initial marking.
Warning: place p2593 is not connected and has an initial marking.
Warning: place p2594 is not connected and has an initial marking.
Warning: place p2595 is not connected and has an initial marking.
Warning: place p2596 is not connected and has an initial marking.
Warning: place p2597 is not connected and has an initial marking.
Warning: place p2598 is not connected and has an initial marking.
Warning: place p2599 is not connected and has an initial marking.
Warning: place p2600 is not connected and has an initial marking.
Warning: place p2601 is not connected and has an initial marking.
Warning: place p2602 is not connected and has an initial marking.
Warning: place p2603 is not connected and has an initial marking.
Warning: place p2604 is not connected and has an initial marking.
Warning: place p2605 is not connected and has an initial marking.
Warning: place p2606 is not connected and has an initial marking.
Warning: place p2607 is not connected and has an initial marking.
Warning: place p2608 is not connected and has an initial marking.
Warning: place p2609 is not connected and has an initial marking.
Warning: place p2610 is not connected and has an initial marking.
Warning: place p2611 is not connected and has an initial marking.
Warning: place p2612 is not connected and has an initial marking.
Warning: place p2613 is not connected and has an initial marking.
Warning: place p2614 is not connected and has an initial marking.
Warning: place p2615 is not connected and has an initial marking.
Warning: place p2616 is not connected and has an initial marking.
Warning: place p2617 is not connected and has an initial marking.
Warning: place p2618 is not connected and has an initial marking.
Warning: place p2619 is not connected and has an initial marking.
Warning: place p2620 is not connected and has an initial marking.
Warning: place p2621 is not connected and has an initial marking.
Warning: place p2622 is not connected and has an initial marking.
Warning: place p2623 is not connected and has an initial marking.
Warning: place p2624 is not connected and has an initial marking.
Warning: place p2625 is not connected and has an initial marking.
Warning: place p2626 is not connected and has an initial marking.
Warning: place p2627 is not connected and has an initial marking.
Warning: place p2628 is not connected and has an initial marking.
Warning: place p2629 is not connected and has an initial marking.
Warning: place p2630 is not connected and has an initial marking.
Warning: place p2631 is not connected and has an initial marking.
Warning: place p2632 is not connected and has an initial marking.
Warning: place p2633 is not connected and has an initial marking.
Warning: place p2634 is not connected and has an initial marking.
Warning: place p2635 is not connected and has an initial marking.
Warning: place p2636 is not connected and has an initial marking.
Warning: place p2637 is not connected and has an initial marking.
Warning: place p2638 is not connected and has an initial marking.
Warning: place p2639 is not connected and has an initial marking.
Warning: place p2640 is not connected and has an initial marking.
Warning: place p2641 is not connected and has an initial marking.
Warning: place p2642 is not connected and has an initial marking.
Warning: place p2643 is not connected and has an initial marking.
Warning: place p2644 is not connected and has an initial marking.
Warning: place p2645 is not connected and has an initial marking.
Warning: place p2646 is not connected and has an initial marking.
Warning: place p2647 is not connected and has an initial marking.
Warning: place p2648 is not connected and has an initial marking.
Warning: place p2649 is not connected and has an initial marking.
Warning: place p2650 is not connected and has an initial marking.
Warning: place p2651 is not connected and has an initial marking.
Warning: place p2652 is not connected and has an initial marking.
Warning: place p2653 is not connected and has an initial marking.
Warning: place p2654 is not connected and has an initial marking.
Warning: place p2655 is not connected and has an initial marking.
Warning: place p2656 is not connected and has an initial marking.
Warning: place p2657 is not connected and has an initial marking.
Warning: place p2658 is not connected and has an initial marking.
Warning: place p2659 is not connected and has an initial marking.
Warning: place p2660 is not connected and has an initial marking.
Warning: place p2661 is not connected and has an initial marking.
Warning: place p2662 is not connected and has an initial marking.
Warning: place p2663 is not connected and has an initial marking.
Warning: place p2664 is not connected and has an initial marking.
Warning: place p2665 is not connected and has an initial marking.
Warning: place p2666 is not connected and has an initial marking.
Warning: place p2667 is not connected and has an initial marking.
Warning: place p2668 is not connected and has an initial marking.
Warning: place p2669 is not connected and has an initial marking.
Warning: place p2670 is not connected and has an initial marking.
Warning: place p2671 is not connected and has an initial marking.
Warning: place p2672 is not connected and has an initial marking.
Warning: place p2673 is not connected and has an initial marking.
Warning: place p2674 is not connected and has an initial marking.
Warning: place p2675 is not connected and has an initial marking.
Warning: place p2676 is not connected and has an initial marking.
Warning: place p2677 is not connected and has an initial marking.
Warning: place p2678 is not connected and has an initial marking.
Warning: place p2679 is not connected and has an initial marking.
Warning: place p2680 is not connected and has an initial marking.
Warning: place p2681 is not connected and has an initial marking.
Warning: place p2682 is not connected and has an initial marking.
Warning: place p2683 is not connected and has an initial marking.
Warning: place p2684 is not connected and has an initial marking.
Warning: place p2685 is not connected and has an initial marking.
Warning: place p2686 is not connected and has an initial marking.
Warning: place p2687 is not connected and has an initial marking.
Warning: place p2688 is not connected and has an initial marking.
Warning: place p2689 is not connected and has an initial marking.
Warning: place p2690 is not connected and has an initial marking.
Warning: place p2691 is not connected and has an initial marking.
Warning: place p2692 is not connected and has an initial marking.
Warning: place p2693 is not connected and has an initial marking.
Warning: place p2694 is not connected and has an initial marking.
Warning: place p2695 is not connected and has an initial marking.
Warning: place p2696 is not connected and has an initial marking.
Warning: place p2697 is not connected and has an initial marking.
Warning: place p2698 is not connected and has an initial marking.
Warning: place p2699 is not connected and has an initial marking.
Warning: place p2700 is not connected and has an initial marking.
Warning: place p2701 is not connected and has an initial marking.
Warning: place p2702 is not connected and has an initial marking.
Warning: place p2703 is not connected and has an initial marking.
Warning: place p2704 is not connected and has an initial marking.
Warning: place p2705 is not connected and has an initial marking.
Warning: place p2706 is not connected and has an initial marking.
Warning: place p2707 is not connected and has an initial marking.
Warning: place p2708 is not connected and has an initial marking.
Warning: place p2709 is not connected and has an initial marking.
Warning: place p2710 is not connected and has an initial marking.
Warning: place p2711 is not connected and has an initial marking.
Warning: place p2712 is not connected and has an initial marking.
Warning: place p2713 is not connected and has an initial marking.
Warning: place p2714 is not connected and has an initial marking.
Warning: place p2715 is not connected and has an initial marking.
Warning: place p2716 is not connected and has an initial marking.
Warning: place p2717 is not connected and has an initial marking.
Warning: place p2718 is not connected and has an initial marking.
Warning: place p2719 is not connected and has an initial marking.
Warning: place p2720 is not connected and has an initial marking.
Warning: place p2721 is not connected and has an initial marking.
Warning: place p2722 is not connected and has an initial marking.
Warning: place p2723 is not connected and has an initial marking.
Warning: place p2724 is not connected and has an initial marking.
Warning: place p2725 is not connected and has an initial marking.
Warning: place p2726 is not connected and has an initial marking.
Warning: place p2727 is not connected and has an initial marking.
Warning: place p2728 is not connected and has an initial marking.
Warning: place p2729 is not connected and has an initial marking.
Warning: place p2730 is not connected and has an initial marking.
Warning: place p2731 is not connected and has an initial marking.
Warning: place p2732 is not connected and has an initial marking.
Warning: place p2733 is not connected and has an initial marking.
Warning: place p2734 is not connected and has an initial marking.
Warning: place p2735 is not connected and has an initial marking.
Warning: place p2736 is not connected and has an initial marking.
Warning: place p2737 is not connected and has an initial marking.
Warning: place p2738 is not connected and has an initial marking.
Warning: place p2739 is not connected and has an initial marking.
Warning: place p2740 is not connected and has an initial marking.
Warning: place p2741 is not connected and has an initial marking.
Warning: place p2742 is not connected and has an initial marking.
Warning: place p2743 is not connected and has an initial marking.
Warning: place p2744 is not connected and has an initial marking.
Warning: place p2745 is not connected and has an initial marking.
Warning: place p2746 is not connected and has an initial marking.
Warning: place p2747 is not connected and has an initial marking.
Warning: place p2748 is not connected and has an initial marking.
Warning: place p2749 is not connected and has an initial marking.
Warning: place p2750 is not connected and has an initial marking.
Warning: place p2751 is not connected and has an initial marking.
Warning: place p2752 is not connected and has an initial marking.
Warning: place p2753 is not connected and has an initial marking.
Warning: place p2754 is not connected and has an initial marking.
Warning: place p2755 is not connected and has an initial marking.
Warning: place p2756 is not connected and has an initial marking.
Warning: place p2757 is not connected and has an initial marking.
Warning: place p2758 is not connected and has an initial marking.
Warning: place p2759 is not connected and has an initial marking.
Warning: place p2760 is not connected and has an initial marking.
Warning: place p2761 is not connected and has an initial marking.
Warning: place p2762 is not connected and has an initial marking.
Warning: place p2763 is not connected and has an initial marking.
Warning: place p2764 is not connected and has an initial marking.
Warning: place p2765 is not connected and has an initial marking.
Warning: place p2766 is not connected and has an initial marking.
Warning: place p2767 is not connected and has an initial marking.
Warning: place p2768 is not connected and has an initial marking.
Warning: place p2769 is not connected and has an initial marking.
Warning: place p2770 is not connected and has an initial marking.
Warning: place p2771 is not connected and has an initial marking.
Warning: place p2772 is not connected and has an initial marking.
Warning: place p2773 is not connected and has an initial marking.
Warning: place p2774 is not connected and has an initial marking.
Warning: place p2775 is not connected and has an initial marking.
Warning: place p2776 is not connected and has an initial marking.
Warning: place p2777 is not connected and has an initial marking.
Warning: place p2778 is not connected and has an initial marking.
Warning: place p2779 is not connected and has an initial marking.
Warning: place p2780 is not connected and has an initial marking.
Warning: place p2781 is not connected and has an initial marking.
Warning: place p2782 is not connected and has an initial marking.
Warning: place p2783 is not connected and has an initial marking.
Warning: place p2784 is not connected and has an initial marking.
Warning: place p2785 is not connected and has an initial marking.
Warning: place p2786 is not connected and has an initial marking.
Warning: place p2787 is not connected and has an initial marking.
Warning: place p2788 is not connected and has an initial marking.
Warning: place p2789 is not connected and has an initial marking.
Warning: place p2790 is not connected and has an initial marking.
Warning: place p2791 is not connected and has an initial marking.
Warning: place p2792 is not connected and has an initial marking.
Warning: place p2793 is not connected and has an initial marking.
Warning: place p2794 is not connected and has an initial marking.
Warning: place p2795 is not connected and has an initial marking.
Warning: place p2796 is not connected and has an initial marking.
Warning: place p2797 is not connected and has an initial marking.
Warning: place p2798 is not connected and has an initial marking.
Warning: place p2799 is not connected and has an initial marking.
Warning: place p2800 is not connected and has an initial marking.
Warning: place p2801 is not connected and has an initial marking.
Warning: place p2802 is not connected and has an initial marking.
Warning: place p2803 is not connected and has an initial marking.
Warning: place p2804 is not connected and has an initial marking.
Warning: place p2805 is not connected and has an initial marking.
Warning: place p2806 is not connected and has an initial marking.
Warning: place p2807 is not connected and has an initial marking.
Warning: place p2808 is not connected and has an initial marking.
Warning: place p2809 is not connected and has an initial marking.
Warning: place p2810 is not connected and has an initial marking.
Warning: place p2811 is not connected and has an initial marking.
Warning: place p2812 is not connected and has an initial marking.
Warning: place p2813 is not connected and has an initial marking.
Warning: place p2814 is not connected and has an initial marking.
Warning: place p2815 is not connected and has an initial marking.
Warning: place p2816 is not connected and has an initial marking.
Warning: place p2817 is not connected and has an initial marking.
Warning: place p2818 is not connected and has an initial marking.
Warning: place p2819 is not connected and has an initial marking.
Warning: place p2820 is not connected and has an initial marking.
Warning: place p2821 is not connected and has an initial marking.
Warning: place p2822 is not connected and has an initial marking.
Warning: place p2823 is not connected and has an initial marking.
Warning: place p2824 is not connected and has an initial marking.
Warning: place p2825 is not connected and has an initial marking.
Warning: place p2826 is not connected and has an initial marking.
Warning: place p2827 is not connected and has an initial marking.
Warning: place p2828 is not connected and has an initial marking.
Warning: place p2829 is not connected and has an initial marking.
Warning: place p2830 is not connected and has an initial marking.
Warning: place p2831 is not connected and has an initial marking.
Warning: place p2832 is not connected and has an initial marking.
Warning: place p2833 is not connected and has an initial marking.
Warning: place p2834 is not connected and has an initial marking.
Warning: place p2835 is not connected and has an initial marking.
Warning: place p2836 is not connected and has an initial marking.
Warning: place p2837 is not connected and has an initial marking.
Warning: place p2838 is not connected and has an initial marking.
Warning: place p2839 is not connected and has an initial marking.
Warning: place p2840 is not connected and has an initial marking.
Warning: place p2841 is not connected and has an initial marking.
Warning: place p2842 is not connected and has an initial marking.
Warning: place p2843 is not connected and has an initial marking.
Warning: place p2844 is not connected and has an initial marking.
Warning: place p2845 is not connected and has an initial marking.
Warning: place p2846 is not connected and has an initial marking.
Warning: place p2847 is not connected and has an initial marking.
Warning: place p2848 is not connected and has an initial marking.
Warning: place p2849 is not connected and has an initial marking.
Warning: place p2850 is not connected and has an initial marking.
Warning: place p2851 is not connected and has an initial marking.
Warning: place p2852 is not connected and has an initial marking.
Warning: place p2853 is not connected and has an initial marking.
Warning: place p2854 is not connected and has an initial marking.
Warning: place p2855 is not connected and has an initial marking.
Warning: place p2856 is not connected and has an initial marking.
Warning: place p2857 is not connected and has an initial marking.
Warning: place p2858 is not connected and has an initial marking.
Warning: place p2859 is not connected and has an initial marking.
Warning: place p2860 is not connected and has an initial marking.
Warning: place p2861 is not connected and has an initial marking.
Warning: place p2862 is not connected and has an initial marking.
Warning: place p2863 is not connected and has an initial marking.
Warning: place p2864 is not connected and has an initial marking.
Warning: place p2865 is not connected and has an initial marking.
Warning: place p2866 is not connected and has an initial marking.
Warning: place p2867 is not connected and has an initial marking.
Warning: place p2868 is not connected and has an initial marking.
Warning: place p2869 is not connected and has an initial marking.
Warning: place p2870 is not connected and has an initial marking.
Warning: place p2871 is not connected and has an initial marking.
Warning: place p2872 is not connected and has an initial marking.
Warning: place p2873 is not connected and has an initial marking.
Warning: place p2874 is not connected and has an initial marking.
Warning: place p2875 is not connected and has an initial marking.
Warning: place p2876 is not connected and has an initial marking.
Warning: place p2877 is not connected and has an initial marking.
Warning: place p2878 is not connected and has an initial marking.
Warning: place p2879 is not connected and has an initial marking.
Warning: place p2880 is not connected and has an initial marking.
Warning: place p2881 is not connected and has an initial marking.
Warning: place p2882 is not connected and has an initial marking.
Warning: place p2883 is not connected and has an initial marking.
Warning: place p2884 is not connected and has an initial marking.
Warning: place p2885 is not connected and has an initial marking.
Warning: place p2886 is not connected and has an initial marking.
Warning: place p2887 is not connected and has an initial marking.
Warning: place p2888 is not connected and has an initial marking.
Warning: place p2889 is not connected and has an initial marking.
Warning: place p2890 is not connected and has an initial marking.
Warning: place p2891 is not connected and has an initial marking.
Warning: place p2892 is not connected and has an initial marking.
Warning: place p2893 is not connected and has an initial marking.
Warning: place p2894 is not connected and has an initial marking.
Warning: place p2895 is not connected and has an initial marking.
Warning: place p2896 is not connected and has an initial marking.
Warning: place p2897 is not connected and has an initial marking.
Warning: place p2898 is not connected and has an initial marking.
Warning: place p2899 is not connected and has an initial marking.
Warning: place p2900 is not connected and has an initial marking.
Warning: place p2901 is not connected and has an initial marking.
Warning: place p2902 is not connected and has an initial marking.
Warning: place p2903 is not connected and has an initial marking.
Warning: place p2904 is not connected and has an initial marking.
Warning: place p2905 is not connected and has an initial marking.
Warning: place p2906 is not connected and has an initial marking.
Warning: place p2907 is not connected and has an initial marking.
Warning: place p2908 is not connected and has an initial marking.
Warning: place p2909 is not connected and has an initial marking.
Warning: place p2910 is not connected and has an initial marking.
Warning: place p2911 is not connected and has an initial marking.
Warning: place p2912 is not connected and has an initial marking.
Warning: place p2913 is not connected and has an initial marking.
Warning: place p2914 is not connected and has an initial marking.
Warning: place p2915 is not connected and has an initial marking.
Warning: place p2916 is not connected and has an initial marking.
Warning: place p2917 is not connected and has an initial marking.
Warning: place p2918 is not connected and has an initial marking.
Warning: place p2919 is not connected and has an initial marking.
Warning: place p2920 is not connected and has an initial marking.
Warning: place p2921 is not connected and has an initial marking.
Warning: place p2922 is not connected and has an initial marking.
Warning: place p2923 is not connected and has an initial marking.
Warning: place p2924 is not connected and has an initial marking.
Warning: place p2925 is not connected and has an initial marking.
Warning: place p2926 is not connected and has an initial marking.
Warning: place p2927 is not connected and has an initial marking.
Warning: place p2928 is not connected and has an initial marking.
Warning: place p2929 is not connected and has an initial marking.
Warning: place p2930 is not connected and has an initial marking.
Warning: place p2931 is not connected and has an initial marking.
Warning: place p2932 is not connected and has an initial marking.
Warning: place p2933 is not connected and has an initial marking.
Warning: place p2934 is not connected and has an initial marking.
Warning: place p2935 is not connected and has an initial marking.
Warning: place p2936 is not connected and has an initial marking.
Warning: place p2937 is not connected and has an initial marking.
Warning: place p2938 is not connected and has an initial marking.
Warning: place p2939 is not connected and has an initial marking.
Warning: place p2940 is not connected and has an initial marking.
Warning: place p2941 is not connected and has an initial marking.
Warning: place p2942 is not connected and has an initial marking.
Warning: place p2943 is not connected and has an initial marking.
Warning: place p2944 is not connected and has an initial marking.
Warning: place p2945 is not connected and has an initial marking.
Warning: place p2946 is not connected and has an initial marking.
Warning: place p2947 is not connected and has an initial marking.
Warning: place p2948 is not connected and has an initial marking.
Warning: place p2949 is not connected and has an initial marking.
Warning: place p2950 is not connected and has an initial marking.
Warning: place p2951 is not connected and has an initial marking.
Warning: place p2952 is not connected and has an initial marking.
Warning: place p2953 is not connected and has an initial marking.
Warning: place p2954 is not connected and has an initial marking.
Warning: place p2955 is not connected and has an initial marking.
Warning: place p2956 is not connected and has an initial marking.
Warning: place p2957 is not connected and has an initial marking.
Warning: place p2958 is not connected and has an initial marking.
Warning: place p2959 is not connected and has an initial marking.
Warning: place p2960 is not connected and has an initial marking.
Warning: place p2961 is not connected and has an initial marking.
Warning: place p2962 is not connected and has an initial marking.
Warning: place p2963 is not connected and has an initial marking.
Warning: place p2964 is not connected and has an initial marking.
Warning: place p2965 is not connected and has an initial marking.
Warning: place p2966 is not connected and has an initial marking.
Warning: place p2967 is not connected and has an initial marking.
Warning: place p2968 is not connected and has an initial marking.
Warning: place p2969 is not connected and has an initial marking.
Warning: place p2970 is not connected and has an initial marking.
Warning: place p2971 is not connected and has an initial marking.
Warning: place p2972 is not connected and has an initial marking.
Warning: place p2973 is not connected and has an initial marking.
Warning: place p2974 is not connected and has an initial marking.
Warning: place p2975 is not connected and has an initial marking.
Warning: place p2976 is not connected and has an initial marking.
Warning: place p2977 is not connected and has an initial marking.
Warning: place p2978 is not connected and has an initial marking.
Warning: place p2979 is not connected and has an initial marking.
Warning: place p2980 is not connected and has an initial marking.
Warning: place p2981 is not connected and has an initial marking.
Warning: place p2982 is not connected and has an initial marking.
Warning: place p2983 is not connected and has an initial marking.
Warning: place p2984 is not connected and has an initial marking.
Warning: place p2985 is not connected and has an initial marking.
Warning: place p2986 is not connected and has an initial marking.
Warning: place p2987 is not connected and has an initial marking.
Warning: place p2988 is not connected and has an initial marking.
Warning: place p2989 is not connected and has an initial marking.
Warning: place p2990 is not connected and has an initial marking.
Warning: place p2991 is not connected and has an initial marking.
Warning: place p2992 is not connected and has an initial marking.
Warning: place p2993 is not connected and has an initial marking.
Warning: place p2994 is not connected and has an initial marking.
Warning: place p2995 is not connected and has an initial marking.
Warning: place p2996 is not connected and has an initial marking.
Warning: place p2997 is not connected and has an initial marking.
Warning: place p2998 is not connected and has an initial marking.
Warning: place p2999 is not connected and has an initial marking.
Warning: place p3000 is not connected and has an initial marking.
Warning: place p3001 is not connected and has an initial marking.
Warning: place p3002 is not connected and has an initial marking.
Warning: place p3003 is not connected and has an initial marking.
Warning: place p3004 is not connected and has an initial marking.
Warning: place p3005 is not connected and has an initial marking.
Warning: place p3006 is not connected and has an initial marking.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-COL-1000"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="pnmc"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool pnmc"
echo " Input is AirplaneLD-COL-1000, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r002-oct2-167813589500224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-1000.tgz
mv AirplaneLD-COL-1000 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;