Running command: "" <> buildModelFMU(PNlib.Examples.Models.BicoloredPlaces.Aquarium,fileNamePrefix="PNlib_PNlib_Examples_Models_BicoloredPlaces_Aquarium",fmuType="me",version="2.0",platforms={"static"})
Notification: Performance of loadModel(PNlib): time 2.076/2.076, allocations: 222.9 MB / 235 MB, free: 9.168 MB / 202.7 MB
Notification: Performance of FrontEnd - loaded program: time 4.077e-05/4.084e-05, allocations: 4 kB / 289.7 MB, free: 3.98 MB / 234.7 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 0.1115/0.1115, allocations: 51.68 MB / 341.4 MB, free: 204 kB / 282.7 MB
Notification: Performance of FrontEnd - scodeFlatten: time 0.4401/0.5517, allocations: 81.51 MB / 422.9 MB, free: 8.906 MB / 346.7 MB
Notification: Performance of FrontEnd - mkProgramGraph: time 0.0004229/0.5522, allocations: 79.95 kB / 423 MB, free: 8.828 MB / 346.7 MB
Notification: Performance of FrontEnd - DAE generated: time 0.2012/0.7535, allocations: 53.99 MB / 476.9 MB, free: 2.742 MB / 394.7 MB
Notification: Performance of FrontEnd: time 2.264e-06/0.7536, allocations: 0 / 476.9 MB, free: 2.742 MB / 394.7 MB
Notification: Performance of Transformations before backend: time 0.0001945/0.7538, allocations: 67.94 kB / 477 MB, free: 2.676 MB / 394.7 MB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
 * Number of equations: 1091
 * Number of variables: 1091
Notification: Performance of Generate backend data structure: time 0.01199/0.7658, allocations: 4.318 MB / 481.3 MB, free: 14.05 MB / 410.7 MB
Notification: Performance of prepare preOptimizeDAE: time 5.724e-05/0.7659, allocations: 8.031 kB / 481.3 MB, free: 14.04 MB / 410.7 MB
Notification: Performance of preOpt introduceOutputAliases (simulation): time 0.003202/0.7691, allocations: 0.6425 MB / 482 MB, free: 13.39 MB / 410.7 MB
Notification: Performance of preOpt normalInlineFunction (simulation): time 0.007843/0.777, allocations: 0.8623 MB / 482.8 MB, free: 12.52 MB / 410.7 MB
Notification: Performance of preOpt evaluateParameters (simulation): time 0.007241/0.7843, allocations: 2.027 MB / 484.9 MB, free: 10.45 MB / 410.7 MB
Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.001292/0.7856, allocations: 0.8297 MB / 485.7 MB, free: 9.504 MB / 410.7 MB
Notification: Performance of preOpt expandDerOperator (simulation): time 0.002335/0.788, allocations: 459.9 kB / 486.1 MB, free: 9.055 MB / 410.7 MB
Notification: Performance of preOpt clockPartitioning (simulation): time 0.0248/0.8128, allocations: 7.614 MB / 493.8 MB, free: 1.234 MB / 410.7 MB
Notification: Performance of preOpt findStateOrder (simulation): time 0.000119/0.813, allocations: 3.938 kB / 493.8 MB, free: 1.23 MB / 410.7 MB
Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.001558/0.8145, allocations: 211.9 kB / 494 MB, free: 1.023 MB / 410.7 MB
Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0007838/0.8153, allocations: 286.9 kB / 494.2 MB, free: 0.7422 MB / 410.7 MB
Notification: Performance of preOpt removeEqualRHS (simulation): time 0.01812/0.8335, allocations: 5.602 MB / 499.8 MB, free: 11.13 MB / 426.7 MB
Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.04211/0.8756, allocations: 15.17 MB / 0.5029 GB, free: 11.65 MB / 442.7 MB
Notification: Performance of preOpt comSubExp (simulation): time 0.0125/0.8882, allocations: 6.401 MB / 0.5092 GB, free: 5.145 MB / 442.7 MB
Notification: Performance of preOpt resolveLoops (simulation): time 0.3073/1.196, allocations: 5.771 MB / 0.5148 GB, free: 109 MB / 442.7 MB
Notification: Performance of preOpt evalFunc (simulation): time 0.000299/1.196, allocations: 64.45 kB / 0.5149 GB, free: 109 MB / 442.7 MB
Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.01078/1.207, allocations: 3.654 MB / 0.5185 GB, free: 108.7 MB / 442.7 MB
Notification: Performance of pre-optimization done (n=296): time 6.722e-06/1.207, allocations: 0 / 0.5185 GB, free: 108.7 MB / 442.7 MB
Notification: Performance of matching and sorting (n=296): time 0.02066/1.227, allocations: 6.952 MB / 0.5253 GB, free: 107.5 MB / 442.7 MB
Notification: Performance of inlineWhenForInitialization (initialization): time 0.002181/1.23, allocations: 1.98 MB / 0.5272 GB, free: 105.8 MB / 442.7 MB
Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.003361/1.233, allocations: 1.333 MB / 0.5285 GB, free: 105.6 MB / 442.7 MB
Notification: Performance of collectPreVariables (initialization): time 0.001092/1.234, allocations: 192 kB / 0.5287 GB, free: 105.6 MB / 442.7 MB
Notification: Performance of collectInitialEqns (initialization): time 0.001742/1.236, allocations: 1.258 MB / 0.5299 GB, free: 105 MB / 442.7 MB
Notification: Performance of collectInitialBindings (initialization): time 0.001763/1.238, allocations: 0.7575 MB / 0.5306 GB, free: 104.7 MB / 442.7 MB
Notification: Performance of simplifyInitialFunctions (initialization): time 0.0004484/1.238, allocations: 90.17 kB / 0.5307 GB, free: 104.7 MB / 442.7 MB
Notification: Performance of setup shared object (initialization): time 0.0003956/1.239, allocations: 487 kB / 0.5312 GB, free: 104.4 MB / 442.7 MB
Notification: Performance of preBalanceInitialSystem (initialization): time 0.005593/1.244, allocations: 1.898 MB / 0.533 GB, free: 104.4 MB / 442.7 MB
Notification: Performance of partitionIndependentBlocks (initialization): time 0.006883/1.251, allocations: 3.248 MB / 0.5362 GB, free: 102.8 MB / 442.7 MB
Notification: Performance of analyzeInitialSystem (initialization): time 0.006718/1.258, allocations: 3.384 MB / 0.5395 GB, free: 101.4 MB / 442.7 MB
Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0001168/1.258, allocations: 11.66 kB / 0.5395 GB, free: 101.4 MB / 442.7 MB
Notification: Performance of matching and sorting (n=576) (initialization): time 0.01533/1.274, allocations: 7.088 MB / 0.5465 GB, free: 99.39 MB / 442.7 MB
Notification: Performance of prepare postOptimizeDAE: time 0.0008712/1.274, allocations: 1.387 MB / 0.5478 GB, free: 97.95 MB / 442.7 MB
Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0001322/1.275, allocations: 60.48 kB / 0.5479 GB, free: 97.95 MB / 442.7 MB
Notification: Performance of postOpt tearingSystem (initialization): time 0.003974/1.279, allocations: 0.6157 MB / 0.5485 GB, free: 97.87 MB / 442.7 MB
Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.002848/1.281, allocations: 484.7 kB / 0.5489 GB, free: 97.79 MB / 442.7 MB
Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.001442/1.283, allocations: 1.036 MB / 0.5499 GB, free: 97.09 MB / 442.7 MB
Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.003574/1.287, allocations: 422.3 kB / 0.5503 GB, free: 96.91 MB / 442.7 MB
Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0006637/1.287, allocations: 247.8 kB / 0.5506 GB, free: 96.86 MB / 442.7 MB
Warning: Assuming fixed start value for the following 72 variables:
         P2.place2.enableIn.posTE:DISCRETE(fixed = false protected = true )  "possible enabled transition" type: Integer
         P2.place2.enableIn.k:DISCRETE(fixed = false protected = true )  "iteration index" type: Integer
         P2.place2.enableIn.endWhile:DISCRETE(fixed = false protected = true )  type: Boolean
         P2.place2.enableIn.sumEnablingProbTAin:DISCRETE(fixed = false protected = true )  "sum of the enabling probabilities of the active input transitions" type: Real
         P2.place2.enableIn.nTAin:DISCRETE(fixed = false protected = true )  "number ofactive input transitions" type: Integer
         P2.place2.enableIn.nremTAin:DISCRETE(fixed = false protected = true )  "number of remaining active input transitions" type: Integer
         P2.place2.enableIn.Index:DISCRETE(fixed = false protected = true )  "priority Index" type: Integer
         P2.place2.enableIn.arcWeightSum:DISCRETE(fixed = false protected = true )  "arc weight sum" type: Real
         P2.place1.enableIn.posTE:DISCRETE(fixed = false protected = true )  "possible enabled transition" type: Integer
         P2.place1.enableIn.k:DISCRETE(fixed = false protected = true )  "iteration index" type: Integer
         P2.place1.enableIn.endWhile:DISCRETE(fixed = false protected = true )  type: Boolean
         P2.place1.enableIn.sumEnablingProbTAin:DISCRETE(fixed = false protected = true )  "sum of the enabling probabilities of the active input transitions" type: Real
         P2.place1.enableIn.nTAin:DISCRETE(fixed = false protected = true )  "number ofactive input transitions" type: Integer
         P2.place1.enableIn.nremTAin:DISCRETE(fixed = false protected = true )  "number of remaining active input transitions" type: Integer
         P2.place1.enableIn.Index:DISCRETE(fixed = false protected = true )  "priority Index" type: Integer
         P2.place1.enableIn.arcWeightSum:DISCRETE(fixed = false protected = true )  "arc weight sum" type: Real
         P1.place2.enableOut.posTE:DISCRETE(fixed = false protected = true )  "possible enabled transition" type: Integer
         P1.place2.enableOut.k:DISCRETE(fixed = false protected = true )  "iteration index" type: Integer
         P1.place2.enableOut.endWhile:DISCRETE(fixed = false protected = true )  type: Boolean
         P1.place2.enableOut.sumEnablingProbTAout:DISCRETE(fixed = false protected = true )  "sum of the enabling probabilities of the active output transitions" type: Real
         P1.place2.enableOut.nTAout:DISCRETE(fixed = false protected = true )  "number of active output transitions" type: Integer
         P1.place2.enableOut.nremTAout:DISCRETE(fixed = false protected = true )  "number of remaining active output transitions" type: Integer
         P1.place2.enableOut.Index:DISCRETE(fixed = false protected = true )  type: Integer
         P1.place2.enableOut.arcWeightSum:DISCRETE(fixed = false protected = true )  "arc weight sum" type: Real
         P1.place2.enableIn.posTE:DISCRETE(fixed = false protected = true )  "possible enabled transition" type: Integer
         P1.place2.enableIn.k:DISCRETE(fixed = false protected = true )  "iteration index" type: Integer
         P1.place2.enableIn.endWhile:DISCRETE(fixed = false protected = true )  type: Boolean
         P1.place2.enableIn.sumEnablingProbTAin:DISCRETE(fixed = false protected = true )  "sum of the enabling probabilities of the active input transitions" type: Real
         P1.place2.enableIn.nTAin:DISCRETE(fixed = false protected = true )  "number ofactive input transitions" type: Integer
         P1.place2.enableIn.nremTAin:DISCRETE(fixed = false protected = true )  "number of remaining active input transitions" type: Integer
         P1.place2.enableIn.Index:DISCRETE(fixed = false protected = true )  "priority Index" type: Integer
         P1.place2.enableIn.arcWeightSum:DISCRETE(fixed = false protected = true )  "arc weight sum" type: Real
         P1.place1.enableOut.posTE:DISCRETE(fixed = false protected = true )  "possible enabled transition" type: Integer
         P1.place1.enableOut.k:DISCRETE(fixed = false protected = true )  "iteration index" type: Integer
         P1.place1.enableOut.endWhile:DISCRETE(fixed = false protected = true )  type: Boolean
         P1.place1.enableOut.sumEnablingProbTAout:DISCRETE(fixed = false protected = true )  "sum of the enabling probabilities of the active output transitions" type: Real
         P1.place1.enableOut.nTAout:DISCRETE(fixed = false protected = true )  "number of active output transitions" type: Integer
         P1.place1.enableOut.nremTAout:DISCRETE(fixed = false protected = true )  "number of remaining active output transitions" type: Integer
         P1.place1.enableOut.Index:DISCRETE(fixed = false protected = true )  type: Integer
         P1.place1.enableOut.arcWeightSum:DISCRETE(fixed = false protected = true )  "arc weight sum" type: Real
         P1.place1.enableIn.posTE:DISCRETE(fixed = false protected = true )  "possible enabled transition" type: Integer
         P1.place1.enableIn.k:DISCRETE(fixed = false protected = true )  "iteration index" type: Integer
         P1.place1.enableIn.endWhile:DISCRETE(fixed = false protected = true )  type: Boolean
         P1.place1.enableIn.sumEnablingProbTAin:DISCRETE(fixed = false protected = true )  "sum of the enabling probabilities of the active input transitions" type: Real
         P1.place1.enableIn.nTAin:DISCRETE(fixed = false protected = true )  "number ofactive input transitions" type: Integer
         P1.place1.enableIn.nremTAin:DISCRETE(fixed = false protected = true )  "number of remaining active input transitions" type: Integer
         P1.place1.enableIn.Index:DISCRETE(fixed = false protected = true )  "priority Index" type: Integer
         P1.place1.enableIn.arcWeightSum:DISCRETE(fixed = false protected = true )  "arc weight sum" type: Real
         P2.place2.disMarksOut.anytrue:DISCRETE(fixed = false protected = true )  type: Boolean
         P2.place2.disMarksIn.anytrue:DISCRETE(fixed = false protected = true )  type: Boolean
         P2.place1.disMarksOut.anytrue:DISCRETE(fixed = false protected = true )  type: Boolean
         P2.place1.disMarksIn.anytrue:DISCRETE(fixed = false protected = true )  type: Boolean
         P1.place2.disMarksOut.anytrue:DISCRETE(fixed = false protected = true )  type: Boolean
         P1.place2.disMarksIn.anytrue:DISCRETE(fixed = false protected = true )  type: Boolean
         P1.place1.disMarksOut.anytrue:DISCRETE(fixed = false protected = true )  type: Boolean
         P1.place1.disMarksIn.anytrue:DISCRETE(fixed = false protected = true )  type: Boolean
         P2.place2.enableOut.arcWeightSum:DISCRETE(fixed = false protected = true )  "arc weight sum" type: Real
         P2.place2.enableOut.nremTAout:DISCRETE(fixed = false protected = true )  "number of remaining active output transitions" type: Integer
         P2.place2.enableOut.nTAout:DISCRETE(fixed = false protected = true )  "number of active output transitions" type: Integer
         P2.place2.enableOut.k:DISCRETE(fixed = false protected = true )  "iteration index" type: Integer
         P2.place2.enableOut.posTE:DISCRETE(fixed = false protected = true )  "possible enabled transition" type: Integer
         P2.place2.enableOut.sumEnablingProbTAout:DISCRETE(fixed = false protected = true )  "sum of the enabling probabilities of the active output transitions" type: Real
         P2.place2.enableOut.endWhile:DISCRETE(fixed = false protected = true )  type: Boolean
         P2.place2.enableOut.Index:DISCRETE(fixed = false protected = true )  type: Integer
         P2.place1.enableOut.arcWeightSum:DISCRETE(fixed = false protected = true )  "arc weight sum" type: Real
         P2.place1.enableOut.nremTAout:DISCRETE(fixed = false protected = true )  "number of remaining active output transitions" type: Integer
         P2.place1.enableOut.nTAout:DISCRETE(fixed = false protected = true )  "number of active output transitions" type: Integer
         P2.place1.enableOut.k:DISCRETE(fixed = false protected = true )  "iteration index" type: Integer
         P2.place1.enableOut.posTE:DISCRETE(fixed = false protected = true )  "possible enabled transition" type: Integer
         P2.place1.enableOut.sumEnablingProbTAout:DISCRETE(fixed = false protected = true )  "sum of the enabling probabilities of the active output transitions" type: Real
         P2.place1.enableOut.endWhile:DISCRETE(fixed = false protected = true )  type: Boolean
         P2.place1.enableOut.Index:DISCRETE(fixed = false protected = true )  type: Integer
Notification: Model statistics after passing the back-end for initialization:
 * Number of independent subsystems: 190
 * Number of states: 0 ()
 * Number of discrete variables: 468 ($PRE.P2.place2.enableIn.posTE,P2.place2.enableIn.posTE,$PRE.P2.place2.enableIn.k,P2.place2.enableIn.k,$PRE.P2.place2.enableIn.endWhile,P2.place2.enableIn.endWhile,$PRE.P2.place2.enableIn.state128[1],P2.place2.enableIn.state128[1],$PRE.P2.place2.enableIn.state128[2],P2.place2.enableIn.state128[2],$PRE.P2.place2.enableIn.state128[3],P2.place2.enableIn.state128[3],$PRE.P2.place2.enableIn.state128[4],P2.place2.enableIn.state128[4],$PRE.P2.place2.enableIn.randNum,P2.place2.enableIn.randNum,$PRE.P2.place2.enableIn.cumEnablingProb[1],P2.place2.enableIn.cumEnablingProb[1],$PRE.P2.place2.enableIn.sumEnablingProbTAin,P2.place2.enableIn.sumEnablingProbTAin,$PRE.P2.place2.enableIn.nTAin,P2.place2.enableIn.nTAin,$PRE.P2.place2.enableIn.nremTAin,P2.place2.enableIn.nremTAin,$PRE.P2.place2.enableIn.remTAin[1],P2.place2.enableIn.remTAin[1],$PRE.P2.place2.enableIn.Index,P2.place2.enableIn.Index,$PRE.P2.place2.enableIn.arcWeightSum,P2.place2.enableIn.arcWeightSum,$PRE.P2.place2.enableIn.disTAin[1],P2.place2.enableIn.disTAin[1],$PRE.P2.place1.enableIn.posTE,P2.place1.enableIn.posTE,$PRE.P2.place1.enableIn.k,P2.place1.enableIn.k,$PRE.P2.place1.enableIn.endWhile,P2.place1.enableIn.endWhile,$PRE.P2.place1.enableIn.state128[1],P2.place1.enableIn.state128[1],$PRE.P2.place1.enableIn.state128[2],P2.place1.enableIn.state128[2],$PRE.P2.place1.enableIn.state128[3],P2.place1.enableIn.state128[3],$PRE.P2.place1.enableIn.state128[4],P2.place1.enableIn.state128[4],$PRE.P2.place1.enableIn.randNum,P2.place1.enableIn.randNum,$PRE.P2.place1.enableIn.cumEnablingProb[1],P2.place1.enableIn.cumEnablingProb[1],$PRE.P2.place1.enableIn.sumEnablingProbTAin,P2.place1.enableIn.sumEnablingProbTAin,$PRE.P2.place1.enableIn.nTAin,P2.place1.enableIn.nTAin,$PRE.P2.place1.enableIn.nremTAin,P2.place1.enableIn.nremTAin,$PRE.P2.place1.enableIn.remTAin[1],P2.place1.enableIn.remTAin[1],$PRE.P2.place1.enableIn.Index,P2.place1.enableIn.Index,$PRE.P2.place1.enableIn.arcWeightSum,P2.place1.enableIn.arcWeightSum,$PRE.P2.place1.enableIn.disTAin[1],P2.place1.enableIn.disTAin[1],$PRE.P1.place2.enableOut.posTE,P1.place2.enableOut.posTE,$PRE.P1.place2.enableOut.k,P1.place2.enableOut.k,$PRE.P1.place2.enableOut.endWhile,P1.place2.enableOut.endWhile,$PRE.P1.place2.enableOut.state128[1],P1.place2.enableOut.state128[1],$PRE.P1.place2.enableOut.state128[2],P1.place2.enableOut.state128[2],$PRE.P1.place2.enableOut.state128[3],P1.place2.enableOut.state128[3],$PRE.P1.place2.enableOut.state128[4],P1.place2.enableOut.state128[4],$PRE.P1.place2.enableOut.randNum,P1.place2.enableOut.randNum,$PRE.P1.place2.enableOut.cumEnablingProb[1],P1.place2.enableOut.cumEnablingProb[1],$PRE.P1.place2.enableOut.sumEnablingProbTAout,P1.place2.enableOut.sumEnablingProbTAout,$PRE.P1.place2.enableOut.nTAout,P1.place2.enableOut.nTAout,$PRE.P1.place2.enableOut.nremTAout,P1.place2.enableOut.nremTAout,$PRE.P1.place2.enableOut.remTAout[1],P1.place2.enableOut.remTAout[1],$PRE.P1.place2.enableOut.Index,P1.place2.enableOut.Index,$PRE.P1.place2.enableOut.arcWeightSum,P1.place2.enableOut.arcWeightSum,$PRE.P1.place2.enableOut.disTAout[1],P1.place2.enableOut.disTAout[1],$PRE.P1.place2.enableIn.posTE,P1.place2.enableIn.posTE,$PRE.P1.place2.enableIn.k,P1.place2.enableIn.k,$PRE.P1.place2.enableIn.endWhile,P1.place2.enableIn.endWhile,$PRE.P1.place2.enableIn.state128[1],P1.place2.enableIn.state128[1],$PRE.P1.place2.enableIn.state128[2],P1.place2.enableIn.state128[2],$PRE.P1.place2.enableIn.state128[3],P1.place2.enableIn.state128[3],$PRE.P1.place2.enableIn.state128[4],P1.place2.enableIn.state128[4],$PRE.P1.place2.enableIn.randNum,P1.place2.enableIn.randNum,$PRE.P1.place2.enableIn.cumEnablingProb[1],P1.place2.enableIn.cumEnablingProb[1],$PRE.P1.place2.enableIn.sumEnablingProbTAin,P1.place2.enableIn.sumEnablingProbTAin,$PRE.P1.place2.enableIn.nTAin,P1.place2.enableIn.nTAin,$PRE.P1.place2.enableIn.nremTAin,P1.place2.enableIn.nremTAin,$PRE.P1.place2.enableIn.remTAin[1],P1.place2.enableIn.remTAin[1],$PRE.P1.place2.enableIn.Index,P1.place2.enableIn.Index,$PRE.P1.place2.enableIn.arcWeightSum,P1.place2.enableIn.arcWeightSum,$PRE.P1.place2.enableIn.disTAin[1],P1.place2.enableIn.disTAin[1],$PRE.P1.place1.enableOut.posTE,P1.place1.enableOut.posTE,$PRE.P1.place1.enableOut.k,P1.place1.enableOut.k,$PRE.P1.place1.enableOut.endWhile,P1.place1.enableOut.endWhile,$PRE.P1.place1.enableOut.state128[1],P1.place1.enableOut.state128[1],$PRE.P1.place1.enableOut.state128[2],P1.place1.enableOut.state128[2],$PRE.P1.place1.enableOut.state128[3],P1.place1.enableOut.state128[3],$PRE.P1.place1.enableOut.state128[4],P1.place1.enableOut.state128[4],$PRE.P1.place1.enableOut.randNum,P1.place1.enableOut.randNum,$PRE.P1.place1.enableOut.cumEnablingProb[1],P1.place1.enableOut.cumEnablingProb[1],$PRE.P1.place1.enableOut.sumEnablingProbTAout,P1.place1.enableOut.sumEnablingProbTAout,$PRE.P1.place1.enableOut.nTAout,P1.place1.enableOut.nTAout,$PRE.P1.place1.enableOut.nremTAout,P1.place1.enableOut.nremTAout,$PRE.P1.place1.enableOut.remTAout[1],P1.place1.enableOut.remTAout[1],$PRE.P1.place1.enableOut.Index,P1.place1.enableOut.Index,$PRE.P1.place1.enableOut.arcWeightSum,P1.place1.enableOut.arcWeightSum,$PRE.P1.place1.enableOut.disTAout[1],P1.place1.enableOut.disTAout[1],$PRE.P1.place1.enableIn.posTE,P1.place1.enableIn.posTE,$PRE.P1.place1.enableIn.k,P1.place1.enableIn.k,$PRE.P1.place1.enableIn.endWhile,P1.place1.enableIn.endWhile,$PRE.P1.place1.enableIn.state128[1],P1.place1.enableIn.state128[1],$PRE.P1.place1.enableIn.state128[2],P1.place1.enableIn.state128[2],$PRE.P1.place1.enableIn.state128[3],P1.place1.enableIn.state128[3],$PRE.P1.place1.enableIn.state128[4],P1.place1.enableIn.state128[4],$PRE.P1.place1.enableIn.randNum,P1.place1.enableIn.randNum,$PRE.P1.place1.enableIn.cumEnablingProb[1],P1.place1.enableIn.cumEnablingProb[1],$PRE.P1.place1.enableIn.sumEnablingProbTAin,P1.place1.enableIn.sumEnablingProbTAin,$PRE.P1.place1.enableIn.nTAin,P1.place1.enableIn.nTAin,$PRE.P1.place1.enableIn.nremTAin,P1.place1.enableIn.nremTAin,$PRE.P1.place1.enableIn.remTAin[1],P1.place1.enableIn.remTAin[1],$PRE.P1.place1.enableIn.Index,P1.place1.enableIn.Index,$PRE.P1.place1.enableIn.arcWeightSum,P1.place1.enableIn.arcWeightSum,$PRE.P1.place1.enableIn.disTAin[1],P1.place1.enableIn.disTAin[1],$whenCondition12,P2.place2.disMarksInOut,$PRE.P2.place2.disMarksOut.anytrue,$PRE.P2.place2.disMarksIn.anytrue,P2.place2.disMarksOut.anytrue,P2.place2.disMarksOut.numtrue,$whenCondition11,P2.place1.disMarksInOut,$PRE.P2.place1.disMarksOut.anytrue,$PRE.P2.place1.disMarksIn.anytrue,P2.place1.disMarksOut.anytrue,P2.place1.disMarksOut.numtrue,$whenCondition10,P1.place2.disMarksInOut,$PRE.P1.place2.disMarksOut.anytrue,$PRE.P1.place2.disMarksIn.anytrue,P1.outTransition[1,2].tokenInOut,$PRE.P1.place2.disMarksInOut,$whenCondition9,P1.place1.disMarksInOut,$PRE.P1.place1.disMarksOut.anytrue,$PRE.P1.place1.disMarksIn.anytrue,P1.outTransition[1,1].tokenInOut,$PRE.P1.place1.disMarksInOut,$PRE.P2.place2.enableOut.arcWeightSum,P2.place2.enableOut.arcWeightSum,$PRE.P2.place2.enableOut.nremTAout,P2.place2.enableOut.nremTAout,$PRE.P2.place2.enableOut.nTAout,P2.place2.enableOut.nTAout,$PRE.P2.place2.enableOut.k,P2.place2.enableOut.k,$PRE.P2.place2.enableOut.posTE,P2.place2.enableOut.posTE,$PRE.P2.place2.enableOut.state128[1],P2.place2.enableOut.state128[1],$PRE.P2.place2.enableOut.state128[2],P2.place2.enableOut.state128[2],$PRE.P2.place2.enableOut.state128[3],P2.place2.enableOut.state128[3],$PRE.P2.place2.enableOut.state128[4],P2.place2.enableOut.state128[4],$PRE.P2.place2.enableOut.randNum,P2.place2.enableOut.randNum,$PRE.P2.place2.enableOut.sumEnablingProbTAout,P2.place2.enableOut.sumEnablingProbTAout,$PRE.P2.place2.enableOut.endWhile,P2.place2.enableOut.endWhile,$PRE.P2.place2.enableOut.Index,P2.place2.enableOut.Index,$whenCondition2,P2.place2.delayPassedOut.anytrue,P2.place2.delayPassedOut.numtrue,$PRE.P2.place1.enableOut.arcWeightSum,P2.place1.enableOut.arcWeightSum,$PRE.P2.place1.enableOut.nremTAout,P2.place1.enableOut.nremTAout,$PRE.P2.place1.enableOut.nTAout,P2.place1.enableOut.nTAout,$PRE.P2.place1.enableOut.k,P2.place1.enableOut.k,$PRE.P2.place1.enableOut.posTE,P2.place1.enableOut.posTE,$PRE.P2.place1.enableOut.state128[1],P2.place1.enableOut.state128[1],$PRE.P2.place1.enableOut.state128[2],P2.place1.enableOut.state128[2],$PRE.P2.place1.enableOut.state128[3],P2.place1.enableOut.state128[3],$PRE.P2.place1.enableOut.state128[4],P2.place1.enableOut.state128[4],$PRE.P2.place1.enableOut.randNum,P2.place1.enableOut.randNum,$PRE.P2.place1.enableOut.sumEnablingProbTAout,P2.place1.enableOut.sumEnablingProbTAout,$PRE.P2.place1.enableOut.endWhile,P2.place1.enableOut.endWhile,$PRE.P2.place1.enableOut.Index,P2.place1.enableOut.Index,$whenCondition1,P2.place1.delayPassedOut.anytrue,P2.place1.delayPassedOut.numtrue,P2.place2.inTransition[1].tint,P2.place2.inTransition[1].maxTokensint,t2.transition_.outPlaces[2].enabledByInPlaces,t2.transition_.outPlaces[2].disTransition,P2.place2.inTransition[1].disPlace,P2.place1.inTransition[1].tint,P2.place1.inTransition[1].maxTokensint,t2.transition_.outPlaces[1].enabledByInPlaces,t2.transition_.outPlaces[1].disTransition,P2.place1.inTransition[1].disPlace,P1.place2.outTransition[1].tint,P1.place2.outTransition[1].testValueint,P1.place2.outTransition[1].normalArc,P1.place2.outTransition[1].minTokensint,t2.transition_.inPlaces[2].disTransition,P1.place2.outTransition[1].disPlace,P1.place2.outTransition[1].arcType,P1.place1.outTransition[1].tint,P1.place1.outTransition[1].testValueint,P1.place1.outTransition[1].normalArc,P1.place1.outTransition[1].minTokensint,t2.transition_.inPlaces[1].disTransition,P1.place1.outTransition[1].disPlace,P1.place1.outTransition[1].arcType,P1.place2.inTransition[1].tint,P1.place2.inTransition[1].maxTokensint,t1.transition_.outPlaces[2].enabledByInPlaces,t1.transition_.outPlaces[2].disTransition,P1.place2.inTransition[1].disPlace,P1.place1.inTransition[1].tint,P1.place1.inTransition[1].maxTokensint,t1.transition_.outPlaces[1].enabledByInPlaces,t1.transition_.outPlaces[1].disTransition,P1.place1.inTransition[1].disPlace,t2.transition_.firingCon,t1.transition_.firingCon,P2.place2.enableIn.enablingPrio[1],P2.place2.reStart,P2.place1.enableIn.enablingPrio[1],P2.place1.reStart,P1.place2.enableOut.enablingPrio[1],P1.place2.enableIn.enablingPrio[1],P1.place2.reStart,P1.place1.enableOut.enablingPrio[1],P1.place1.enableIn.enablingPrio[1],P1.place1.reStart,P1.place1.disMarksOut.anytrue,P1.place1.disMarksOut.numtrue,P1.place1.disMarksOut.vec[1],P1.place1.disMarksIn.anytrue,P1.place1.disMarksIn.numtrue,P1.place1.disMarksIn.vec[1],P1.place2.disMarksOut.anytrue,P1.place2.disMarksOut.numtrue,P1.place2.disMarksOut.vec[1],P1.place2.disMarksIn.anytrue,P1.place2.disMarksIn.numtrue,P1.place2.disMarksIn.vec[1],P2.place1.disMarksIn.anytrue,P2.place1.disMarksIn.numtrue,P2.place1.disMarksIn.vec[1],P2.place2.disMarksIn.anytrue,P2.place2.disMarksIn.numtrue,P2.place2.disMarksIn.vec[1],$whenCondition3,$whenCondition4,$whenCondition5,$whenCondition6,$whenCondition7,$whenCondition8,$PRE.P1.place1.fireIn[1],P1.place1.fireIn[1],$PRE.P1.place1.fireOut[1],P1.place1.fireOut[1],P1.place1.enableIn.active[1],P1.place1.enableIn.TEin_[1],$PRE.P1.place1.enableIn.TEin[1],P1.place1.enableIn.TEin[1],P1.place1.enableOut.TAout[1],P1.place1.enableOut.TEout_[1],$PRE.P1.place1.enableOut.TEout[1],P1.place1.enableOut.TEout[1],P1.place1.delayPassedOut.anytrue,P1.place1.delayPassedOut.numtrue,P1.place1.delayPassedIn.anytrue,P1.place1.delayPassedIn.numtrue,P1.place1.feeding.vec[1],P1.place1.feeding.anytrue,P1.place1.feeding.numtrue,P1.place1.emptying.vec[1],P1.place1.emptying.anytrue,P1.place1.emptying.numtrue,$PRE.P1.place2.fireIn[1],P1.place2.fireIn[1],$PRE.P1.place2.fireOut[1],P1.place2.fireOut[1],P1.place2.enableIn.active[1],P1.place2.enableIn.TEin_[1],$PRE.P1.place2.enableIn.TEin[1],P1.place2.enableIn.TEin[1],P1.place2.enableOut.TAout[1],P1.place2.enableOut.TEout_[1],$PRE.P1.place2.enableOut.TEout[1],P1.place2.enableOut.TEout[1],P1.place2.delayPassedOut.anytrue,P1.place2.delayPassedOut.numtrue,P1.place2.delayPassedIn.anytrue,P1.place2.delayPassedIn.numtrue,P1.place2.feeding.vec[1],P1.place2.feeding.anytrue,P1.place2.feeding.numtrue,P1.place2.emptying.vec[1],P1.place2.emptying.anytrue,P1.place2.emptying.numtrue,$PRE.P2.place1.fireIn[1],P2.place1.fireIn[1],P2.place1.enableIn.active[1],P2.place1.enableIn.TEin_[1],$PRE.P2.place1.enableIn.TEin[1],P2.place1.enableIn.TEin[1],P2.place1.delayPassedIn.anytrue,P2.place1.delayPassedIn.numtrue,P2.place1.feeding.vec[1],P2.place1.feeding.anytrue,P2.place1.feeding.numtrue,P2.place1.emptying.anytrue,P2.place1.emptying.numtrue,$PRE.P2.place2.fireIn[1],P2.place2.fireIn[1],P2.place2.enableIn.active[1],P2.place2.enableIn.TEin_[1],$PRE.P2.place2.enableIn.TEin[1],P2.place2.enableIn.TEin[1],P2.place2.delayPassedIn.anytrue,P2.place2.delayPassedIn.numtrue,P2.place2.feeding.vec[1],P2.place2.feeding.anytrue,P2.place2.feeding.numtrue,P2.place2.emptying.anytrue,P2.place2.emptying.numtrue,t1.transition_.activation.emptied[1],t1.transition_.activation.emptied[2],t1.transition_.activation.active,t1.transition_.activation.weaklyOutputActiveVec[1],t1.transition_.activation.weaklyOutputActiveVec[2],t1.transition_.activation.NoTokens,t2.transition_.activation.fed[1],t2.transition_.activation.fed[2],t2.transition_.activation.emptied[1],t2.transition_.activation.emptied[2],t2.transition_.activation.active,t2.transition_.activation.weaklyInputActiveVec[1],t2.transition_.activation.weaklyInputActiveVec[2],t2.transition_.activation.weaklyOutputActiveVec[1],t2.transition_.activation.weaklyOutputActiveVec[2],t2.transition_.activation.NoTokens,t2.transition_.fire_,t1.transition_.activation.disPlaceOut[1],t1.transition_.activation.maxTokensInt[1],t1.transition_.activation.tIntOut[1],t1.transition_.activation.disPlaceOut[2],t1.transition_.activation.maxTokensInt[2],t1.transition_.activation.tIntOut[2],t2.transition_.activation.arcType[1],t2.transition_.activation.disPlaceIn[1],t2.transition_.activation.minTokensInt[1],t2.transition_.activation.normalArc[1],t2.transition_.activation.testValueInt[1],t2.transition_.activation.tIntIn[1],t2.transition_.activation.arcType[2],t2.transition_.activation.disPlaceIn[2],t2.transition_.activation.minTokensInt[2],t2.transition_.activation.normalArc[2],t2.transition_.activation.testValueInt[2],t2.transition_.activation.tIntIn[2],t2.transition_.activation.disPlaceOut[1],t2.transition_.activation.maxTokensInt[1],t2.transition_.activation.tIntOut[1],t2.transition_.activation.disPlaceOut[2],t2.transition_.activation.maxTokensInt[2],t2.transition_.activation.tIntOut[2],t2.transition_.activation.arcWeightIntOut[2],t2.transition_.activation.arcWeightIntOut[1],t2.transition_.activation.arcWeightIntIn[2],t2.transition_.activation.arcWeightIntIn[1],t1.transition_.activation.arcWeightIntOut[2],t1.transition_.activation.arcWeightIntOut[1],P2.place2.delayPassedIn.vec[1],P2.place1.delayPassedIn.vec[1],P1.place2.delayPassedIn.vec[1],P1.place2.delayPassedOut.vec[1],P1.place1.delayPassedIn.vec[1],P1.place1.delayPassedOut.vec[1],t1.transition_.fire_)
 * Number of discrete states: 0 ()
 * Top-level inputs: 0
Notification: Strong component statistics for initialization (486):
 * Single equations (assignments): 443
 * Array equations: 0
 * Algorithm blocks: 42
 * Record equations: 0
 * When equations: 0
 * If-equations: 0
 * Equation systems (linear and non-linear blocks): 0
 * Torn equation systems: 1
 * Mixed (continuous/discrete) equation systems: 0
Notification: Torn system details for strict tearing set:
 * Linear torn systems: 0
 * Non-linear torn systems: 1 {5 8}
Notification: Performance of prepare postOptimizeDAE: time 0.00374/1.291, allocations: 2.431 MB / 0.553 GB, free: 95.16 MB / 442.7 MB
Notification: Performance of postOpt lateInlineFunction (simulation): time 0.001156/1.292, allocations: 285 kB / 0.5532 GB, free: 95.06 MB / 442.7 MB
Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.01724/1.309, allocations: 7.596 MB / 0.5606 GB, free: 91.5 MB / 442.7 MB
Notification: Performance of postOpt inlineArrayEqn (simulation): time 4.423e-05/1.31, allocations: 15.03 kB / 0.5607 GB, free: 91.5 MB / 442.7 MB
Notification: Performance of postOpt constantLinearSystem (simulation): time 1.029e-05/1.31, allocations: 0 / 0.5607 GB, free: 91.5 MB / 442.7 MB
Notification: Performance of postOpt simplifysemiLinear (simulation): time 2.016e-05/1.31, allocations: 12.66 kB / 0.5607 GB, free: 91.5 MB / 442.7 MB
Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.0281/1.338, allocations: 12.75 MB / 0.5731 GB, free: 85.63 MB / 442.7 MB
Notification: Performance of postOpt simplifyComplexFunction (simulation): time 5.565e-05/1.338, allocations: 13.17 kB / 0.5731 GB, free: 85.63 MB / 442.7 MB
Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.0009849/1.339, allocations: 123 kB / 0.5733 GB, free: 85.61 MB / 442.7 MB
Notification: Performance of postOpt tearingSystem (simulation): time 0.002036/1.341, allocations: 0.5174 MB / 0.5738 GB, free: 85.52 MB / 442.7 MB
Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.00122/1.342, allocations: 177.2 kB / 0.5739 GB, free: 85.48 MB / 442.7 MB
Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 0.001343/1.343, allocations: 0.9976 MB / 0.5749 GB, free: 84.79 MB / 442.7 MB
Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 4.458e-06/1.343, allocations: 3.938 kB / 0.5749 GB, free: 84.79 MB / 442.7 MB
Notification: Performance of postOpt symbolicJacobian (simulation): time 0.02854/1.372, allocations: 12.12 MB / 0.5867 GB, free: 75.75 MB / 442.7 MB
Notification: Performance of postOpt removeConstants (simulation): time 0.0004972/1.373, allocations: 270.2 kB / 0.587 GB, free: 75.47 MB / 442.7 MB
Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.002181/1.375, allocations: 377 kB / 0.5874 GB, free: 75.13 MB / 442.7 MB
Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.003881/1.379, allocations: 295.5 kB / 0.5876 GB, free: 74.89 MB / 442.7 MB
Notification: Performance of postOpt findZeroCrossings (simulation): time 0.001863/1.381, allocations: 0.6723 MB / 0.5883 GB, free: 74.38 MB / 442.7 MB
Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.001188/1.382, allocations: 223.1 kB / 0.5885 GB, free: 74.2 MB / 442.7 MB
Notification: Performance of sorting global known variables: time 0.001479/1.383, allocations: 0.752 MB / 0.5892 GB, free: 73.5 MB / 442.7 MB
Notification: Performance of sort global known variables: time 9.42e-07/1.383, allocations: 0 / 0.5892 GB, free: 73.5 MB / 442.7 MB
Notification: Performance of remove unused functions: time 0.005761/1.389, allocations: 1.11 MB / 0.5903 GB, free: 72.42 MB / 442.7 MB
Notification: Model statistics after passing the back-end for simulation:
 * Number of independent subsystems: 3
 * Number of states: 4 (P1.place1.t_,P1.place2.t_,P2.place1.t_,P2.place2.t_)
 * Number of discrete variables: 237 ($whenCondition1,P2.place1.enableOut.state128[1],P2.place1.enableOut.state128[2],P2.place1.enableOut.state128[3],P2.place1.enableOut.state128[4],P2.place1.enableOut.arcWeightSum,P2.place1.enableOut.nremTAout,P2.place1.enableOut.nTAout,P2.place1.enableOut.k,P2.place1.enableOut.posTE,P2.place1.enableOut.randNum,P2.place1.enableOut.sumEnablingProbTAout,P2.place1.enableOut.endWhile,P2.place1.enableOut.Index,P2.place1.delayPassedOut.anytrue,P2.place1.delayPassedOut.numtrue,$whenCondition2,P2.place2.enableOut.state128[1],P2.place2.enableOut.state128[2],P2.place2.enableOut.state128[3],P2.place2.enableOut.state128[4],P2.place2.enableOut.arcWeightSum,P2.place2.enableOut.nremTAout,P2.place2.enableOut.nTAout,P2.place2.enableOut.k,P2.place2.enableOut.posTE,P2.place2.enableOut.randNum,P2.place2.enableOut.sumEnablingProbTAout,P2.place2.enableOut.endWhile,P2.place2.enableOut.Index,P2.place2.delayPassedOut.anytrue,P2.place2.delayPassedOut.numtrue,P2.place1.disMarksInOut,P2.place2.disMarksInOut,$cse4[1],$cse4[2],$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition3,$whenCondition4,$whenCondition5,$whenCondition6,$whenCondition7,$whenCondition8,P1.outTransition[1,1].tokenInOut,P1.outTransition[1,2].tokenInOut,P1.place1.disMarksInOut,P1.place1.fireIn[1],P1.place1.fireOut[1],P1.place1.enableIn.active[1],P1.place1.enableIn.TEin_[1],P1.place1.enableIn.state128[1],P1.place1.enableIn.state128[2],P1.place1.enableIn.state128[3],P1.place1.enableIn.state128[4],P1.place1.enableIn.TEin[1],P1.place1.enableIn.disTAin[1],P1.place1.enableIn.remTAin[1],P1.place1.enableIn.cumEnablingProb[1],P1.place1.enableIn.arcWeightSum,P1.place1.enableIn.nremTAin,P1.place1.enableIn.nTAin,P1.place1.enableIn.k,P1.place1.enableIn.posTE,P1.place1.enableIn.randNum,P1.place1.enableIn.sumEnablingProbTAin,P1.place1.enableIn.endWhile,P1.place1.enableIn.Index,P1.place1.enableOut.TAout[1],P1.place1.enableOut.TEout_[1],P1.place1.enableOut.state128[1],P1.place1.enableOut.state128[2],P1.place1.enableOut.state128[3],P1.place1.enableOut.state128[4],P1.place1.enableOut.TEout[1],P1.place1.enableOut.disTAout[1],P1.place1.enableOut.remTAout[1],P1.place1.enableOut.cumEnablingProb[1],P1.place1.enableOut.arcWeightSum,P1.place1.enableOut.nremTAout,P1.place1.enableOut.nTAout,P1.place1.enableOut.k,P1.place1.enableOut.posTE,P1.place1.enableOut.randNum,P1.place1.enableOut.sumEnablingProbTAout,P1.place1.enableOut.endWhile,P1.place1.enableOut.Index,P1.place1.delayPassedOut.anytrue,P1.place1.delayPassedOut.numtrue,P1.place1.delayPassedIn.anytrue,P1.place1.delayPassedIn.numtrue,P1.place1.disMarksOut.anytrue,P1.place1.disMarksOut.numtrue,P1.place1.disMarksIn.anytrue,P1.place1.disMarksIn.numtrue,P1.place1.feeding.vec[1],P1.place1.feeding.anytrue,P1.place1.feeding.numtrue,P1.place1.emptying.vec[1],P1.place1.emptying.anytrue,P1.place1.emptying.numtrue,P1.place2.disMarksInOut,P1.place2.fireIn[1],P1.place2.fireOut[1],P1.place2.enableIn.active[1],P1.place2.enableIn.TEin_[1],P1.place2.enableIn.state128[1],P1.place2.enableIn.state128[2],P1.place2.enableIn.state128[3],P1.place2.enableIn.state128[4],P1.place2.enableIn.TEin[1],P1.place2.enableIn.disTAin[1],P1.place2.enableIn.remTAin[1],P1.place2.enableIn.cumEnablingProb[1],P1.place2.enableIn.arcWeightSum,P1.place2.enableIn.nremTAin,P1.place2.enableIn.nTAin,P1.place2.enableIn.k,P1.place2.enableIn.posTE,P1.place2.enableIn.randNum,P1.place2.enableIn.sumEnablingProbTAin,P1.place2.enableIn.endWhile,P1.place2.enableIn.Index,P1.place2.enableOut.TAout[1],P1.place2.enableOut.TEout_[1],P1.place2.enableOut.state128[1],P1.place2.enableOut.state128[2],P1.place2.enableOut.state128[3],P1.place2.enableOut.state128[4],P1.place2.enableOut.TEout[1],P1.place2.enableOut.disTAout[1],P1.place2.enableOut.remTAout[1],P1.place2.enableOut.cumEnablingProb[1],P1.place2.enableOut.arcWeightSum,P1.place2.enableOut.nremTAout,P1.place2.enableOut.nTAout,P1.place2.enableOut.k,P1.place2.enableOut.posTE,P1.place2.enableOut.randNum,P1.place2.enableOut.sumEnablingProbTAout,P1.place2.enableOut.endWhile,P1.place2.enableOut.Index,P1.place2.delayPassedOut.anytrue,P1.place2.delayPassedOut.numtrue,P1.place2.delayPassedIn.anytrue,P1.place2.delayPassedIn.numtrue,P1.place2.disMarksOut.anytrue,P1.place2.disMarksOut.numtrue,P1.place2.disMarksIn.anytrue,P1.place2.disMarksIn.numtrue,P1.place2.feeding.vec[1],P1.place2.feeding.anytrue,P1.place2.feeding.numtrue,P1.place2.emptying.vec[1],P1.place2.emptying.anytrue,P1.place2.emptying.numtrue,P2.place1.fireIn[1],P2.place1.enableIn.active[1],P2.place1.enableIn.TEin_[1],P2.place1.enableIn.state128[1],P2.place1.enableIn.state128[2],P2.place1.enableIn.state128[3],P2.place1.enableIn.state128[4],P2.place1.enableIn.TEin[1],P2.place1.enableIn.disTAin[1],P2.place1.enableIn.remTAin[1],P2.place1.enableIn.cumEnablingProb[1],P2.place1.enableIn.arcWeightSum,P2.place1.enableIn.nremTAin,P2.place1.enableIn.nTAin,P2.place1.enableIn.k,P2.place1.enableIn.posTE,P2.place1.enableIn.randNum,P2.place1.enableIn.sumEnablingProbTAin,P2.place1.enableIn.endWhile,P2.place1.enableIn.Index,P2.place1.delayPassedIn.anytrue,P2.place1.delayPassedIn.numtrue,P2.place1.disMarksOut.anytrue,P2.place1.disMarksOut.numtrue,P2.place1.disMarksIn.anytrue,P2.place1.disMarksIn.numtrue,P2.place1.feeding.vec[1],P2.place1.feeding.anytrue,P2.place1.feeding.numtrue,P2.place1.emptying.anytrue,P2.place1.emptying.numtrue,P2.place2.fireIn[1],P2.place2.enableIn.active[1],P2.place2.enableIn.TEin_[1],P2.place2.enableIn.state128[1],P2.place2.enableIn.state128[2],P2.place2.enableIn.state128[3],P2.place2.enableIn.state128[4],P2.place2.enableIn.TEin[1],P2.place2.enableIn.disTAin[1],P2.place2.enableIn.remTAin[1],P2.place2.enableIn.cumEnablingProb[1],P2.place2.enableIn.arcWeightSum,P2.place2.enableIn.nremTAin,P2.place2.enableIn.nTAin,P2.place2.enableIn.k,P2.place2.enableIn.posTE,P2.place2.enableIn.randNum,P2.place2.enableIn.sumEnablingProbTAin,P2.place2.enableIn.endWhile,P2.place2.enableIn.Index,P2.place2.delayPassedIn.anytrue,P2.place2.delayPassedIn.numtrue,P2.place2.disMarksOut.anytrue,P2.place2.disMarksOut.numtrue,P2.place2.disMarksIn.anytrue,P2.place2.disMarksIn.numtrue,P2.place2.feeding.vec[1],P2.place2.feeding.anytrue,P2.place2.feeding.numtrue,P2.place2.emptying.anytrue,P2.place2.emptying.numtrue,t1.transition_.activation.emptied[1],t1.transition_.activation.emptied[2],t1.transition_.activation.active,t1.transition_.activation.weaklyOutputActiveVec[1],t1.transition_.activation.weaklyOutputActiveVec[2],t1.transition_.activation.NoTokens,t2.transition_.activation.fed[1],t2.transition_.activation.fed[2],t2.transition_.activation.emptied[1],t2.transition_.activation.emptied[2],t2.transition_.activation.active,t2.transition_.activation.weaklyInputActiveVec[1],t2.transition_.activation.weaklyInputActiveVec[2],t2.transition_.activation.weaklyOutputActiveVec[1],t2.transition_.activation.weaklyOutputActiveVec[2],t2.transition_.activation.NoTokens,t2.transition_.fire_)
 * Number of discrete states: 212 (P2.place2.fireIn[1],P2.place2.disMarksOut.anytrue,P2.place2.disMarksIn.anytrue,P2.place2.emptying.numtrue,P2.place2.emptying.anytrue,P2.place2.feeding.numtrue,P2.place2.feeding.anytrue,P2.place2.disMarksIn.numtrue,P2.place2.disMarksOut.numtrue,P2.place2.delayPassedIn.numtrue,P2.place2.delayPassedIn.anytrue,P2.place1.fireIn[1],P2.place1.disMarksOut.anytrue,P2.place1.disMarksIn.anytrue,P2.place1.emptying.numtrue,P2.place1.emptying.anytrue,P2.place1.feeding.numtrue,P2.place1.feeding.anytrue,P2.place1.disMarksIn.numtrue,P2.place1.disMarksOut.numtrue,P2.place1.delayPassedIn.numtrue,P2.place1.delayPassedIn.anytrue,P1.place2.fireIn[1],P1.place2.fireOut[1],P1.place2.disMarksOut.anytrue,P1.place2.disMarksIn.anytrue,P1.place2.disMarksInOut,P1.place2.emptying.numtrue,P1.place2.emptying.anytrue,P1.place2.feeding.numtrue,P1.place2.feeding.anytrue,P1.place2.disMarksIn.numtrue,P1.place2.disMarksOut.numtrue,P1.place2.delayPassedIn.numtrue,P1.place2.delayPassedIn.anytrue,P1.place2.delayPassedOut.numtrue,P1.place2.delayPassedOut.anytrue,P1.place1.fireIn[1],P1.place1.fireOut[1],P1.place1.disMarksOut.anytrue,P1.place1.disMarksIn.anytrue,P1.place1.disMarksInOut,P1.place1.emptying.numtrue,P1.place1.emptying.anytrue,t1.transition_.activation.weaklyOutputActiveVec[2],t1.transition_.activation.weaklyOutputActiveVec[1],t1.transition_.activation.active,t1.transition_.activation.NoTokens,P1.place2.enableIn.TEin_[1],P1.place2.enableIn.posTE,P1.place2.enableIn.k,P1.place2.enableIn.endWhile,P1.place2.enableIn.state128[4],P1.place2.enableIn.state128[3],P1.place2.enableIn.state128[2],P1.place2.enableIn.state128[1],P1.place2.enableIn.randNum,P1.place2.enableIn.cumEnablingProb[1],P1.place2.enableIn.sumEnablingProbTAin,P1.place2.enableIn.nTAin,P1.place2.enableIn.nremTAin,P1.place2.enableIn.remTAin[1],P1.place2.enableIn.Index,P1.place2.enableIn.arcWeightSum,P1.place2.enableIn.disTAin[1],$whenCondition5,P1.place2.enableIn.TEin[1],P1.place1.feeding.numtrue,P1.place1.feeding.anytrue,P1.place1.disMarksIn.numtrue,P1.place1.disMarksOut.numtrue,P1.place1.delayPassedIn.numtrue,P1.place1.delayPassedIn.anytrue,P1.place1.delayPassedOut.numtrue,P1.place1.delayPassedOut.anytrue,P1.place1.enableIn.TEin_[1],P1.place1.enableIn.posTE,P1.place1.enableIn.k,P1.place1.enableIn.endWhile,P1.place1.enableIn.state128[4],P1.place1.enableIn.state128[3],P1.place1.enableIn.state128[2],P1.place1.enableIn.state128[1],P1.place1.enableIn.randNum,P1.place1.enableIn.cumEnablingProb[1],P1.place1.enableIn.sumEnablingProbTAin,P1.place1.enableIn.nTAin,P1.place1.enableIn.nremTAin,P1.place1.enableIn.remTAin[1],P1.place1.enableIn.Index,P1.place1.enableIn.arcWeightSum,P1.place1.enableIn.disTAin[1],$whenCondition3,P1.place1.enableIn.TEin[1],t2.transition_.activation.weaklyOutputActiveVec[2],t2.transition_.activation.weaklyOutputActiveVec[1],t2.transition_.activation.weaklyInputActiveVec[2],t2.transition_.activation.weaklyInputActiveVec[1],t2.transition_.activation.active,t2.transition_.activation.NoTokens,P2.place2.enableIn.TEin_[1],P2.place2.enableIn.posTE,P2.place2.enableIn.k,P2.place2.enableIn.endWhile,P2.place2.enableIn.state128[4],P2.place2.enableIn.state128[3],P2.place2.enableIn.state128[2],P2.place2.enableIn.state128[1],P2.place2.enableIn.randNum,P2.place2.enableIn.cumEnablingProb[1],P2.place2.enableIn.sumEnablingProbTAin,P2.place2.enableIn.nTAin,P2.place2.enableIn.nremTAin,P2.place2.enableIn.remTAin[1],P2.place2.enableIn.Index,P2.place2.enableIn.arcWeightSum,P2.place2.enableIn.disTAin[1],$whenCondition8,P2.place2.enableIn.TEin[1],P2.place1.enableIn.TEin_[1],P2.place1.enableIn.posTE,P2.place1.enableIn.k,P2.place1.enableIn.endWhile,P2.place1.enableIn.state128[4],P2.place1.enableIn.state128[3],P2.place1.enableIn.state128[2],P2.place1.enableIn.state128[1],P2.place1.enableIn.randNum,P2.place1.enableIn.cumEnablingProb[1],P2.place1.enableIn.sumEnablingProbTAin,P2.place1.enableIn.nTAin,P2.place1.enableIn.nremTAin,P2.place1.enableIn.remTAin[1],P2.place1.enableIn.Index,P2.place1.enableIn.arcWeightSum,P2.place1.enableIn.disTAin[1],$whenCondition7,P2.place1.enableIn.TEin[1],P1.place2.enableOut.TEout_[1],P1.place2.enableOut.posTE,P1.place2.enableOut.k,P1.place2.enableOut.endWhile,P1.place2.enableOut.state128[4],P1.place2.enableOut.state128[3],P1.place2.enableOut.state128[2],P1.place2.enableOut.state128[1],P1.place2.enableOut.randNum,P1.place2.enableOut.cumEnablingProb[1],P1.place2.enableOut.sumEnablingProbTAout,P1.place2.enableOut.nTAout,P1.place2.enableOut.nremTAout,P1.place2.enableOut.remTAout[1],P1.place2.enableOut.Index,P1.place2.enableOut.arcWeightSum,P1.place2.enableOut.disTAout[1],$whenCondition6,P1.place2.enableOut.TEout[1],P1.place1.enableOut.TEout_[1],P1.place1.enableOut.posTE,P1.place1.enableOut.k,P1.place1.enableOut.endWhile,P1.place1.enableOut.state128[4],P1.place1.enableOut.state128[3],P1.place1.enableOut.state128[2],P1.place1.enableOut.state128[1],P1.place1.enableOut.randNum,P1.place1.enableOut.cumEnablingProb[1],P1.place1.enableOut.sumEnablingProbTAout,P1.place1.enableOut.nTAout,P1.place1.enableOut.nremTAout,P1.place1.enableOut.remTAout[1],P1.place1.enableOut.Index,P1.place1.enableOut.arcWeightSum,P1.place1.enableOut.disTAout[1],$whenCondition4,P1.place1.enableOut.TEout[1],P2.place2.disMarkChange,P2.place1.disMarkChange,P1.place2.disMarkChange,P1.place1.disMarkChange,P2.place2.delayPassedOut.numtrue,P2.place2.delayPassedOut.anytrue,P2.place2.enableOut.arcWeightSum,P2.place2.enableOut.nremTAout,P2.place2.enableOut.nTAout,P2.place2.enableOut.k,P2.place2.enableOut.posTE,P2.place2.enableOut.randNum,P2.place2.enableOut.state128[4],P2.place2.enableOut.state128[3],P2.place2.enableOut.state128[2],P2.place2.enableOut.state128[1],P2.place2.enableOut.sumEnablingProbTAout,P2.place2.enableOut.endWhile,P2.place2.enableOut.Index,$whenCondition2,P2.place1.delayPassedOut.numtrue,P2.place1.delayPassedOut.anytrue,P2.place1.enableOut.arcWeightSum,P2.place1.enableOut.nremTAout,P2.place1.enableOut.nTAout,P2.place1.enableOut.k,P2.place1.enableOut.posTE,P2.place1.enableOut.randNum,P2.place1.enableOut.state128[4],P2.place1.enableOut.state128[3],P2.place1.enableOut.state128[2],P2.place1.enableOut.state128[1],P2.place1.enableOut.sumEnablingProbTAout,P2.place1.enableOut.endWhile,P2.place1.enableOut.Index,$whenCondition1)
 * Top-level inputs: 0
Notification: Strong component statistics for simulation (117):
 * Single equations (assignments): 81
 * Array equations: 1
 * Algorithm blocks: 34
 * Record equations: 0
 * When equations: 0
 * If-equations: 0
 * Equation systems (linear and non-linear blocks): 0
 * Torn equation systems: 1
 * Mixed (continuous/discrete) equation systems: 0
Notification: Torn system details for strict tearing set:
 * Linear torn systems: 0
 * Non-linear torn systems: 1 {5 13}
Notification: Performance of Backend phase and start with SimCode phase: time 0.03107/1.42, allocations: 13.74 MB / 0.6038 GB, free: 59.7 MB / 442.7 MB
Notification: Performance of simCode: created initialization part: time 0.017/1.437, allocations: 9.632 MB / 0.6132 GB, free: 50.08 MB / 442.7 MB
Notification: Performance of simCode: created event and clocks part: time 1.338e-05/1.437, allocations: 5.688 kB / 0.6132 GB, free: 50.08 MB / 442.7 MB
Notification: Performance of simCode: created simulation system equations: time 0.0154/1.453, allocations: 11.95 MB / 0.6248 GB, free: 38.1 MB / 442.7 MB
Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.002592/1.455, allocations: 260.7 kB / 0.6251 GB, free: 37.87 MB / 442.7 MB
Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.02384/1.479, allocations: 8.322 MB / 0.6332 GB, free: 30.54 MB / 442.7 MB
Notification: Performance of simCode: some other stuff during SimCode phase: time 0.002484/1.482, allocations: 2.372 MB / 0.6355 GB, free: 28.68 MB / 442.7 MB
Notification: Performance of simCode: alias equations: time 0.002346/1.484, allocations: 0.5388 MB / 0.6361 GB, free: 28.34 MB / 442.7 MB
Notification: Performance of simCode: all other stuff during SimCode phase: time 0.002169/1.486, allocations: 1.127 MB / 0.6372 GB, free: 27.3 MB / 442.7 MB
Notification: Performance of SimCode: time 1.513e-06/1.486, allocations: 0 / 0.6372 GB, free: 27.3 MB / 442.7 MB
Notification: Performance of buildModelFMU: Generate the FMI files: time 0.4858/1.972, allocations: 71.04 MB / 0.7065 GB, free: 115.4 MB / 458.7 MB
Notification: Performance of buildModelFMU: configured platform static using cached values: time 0.0002505/1.973, allocations: 199.8 kB / 0.7067 GB, free: 115.1 MB / 458.7 MB
Notification: Performance of buildModelFMU: Generate platform static: time 5.121/7.093, allocations: 0 / 0.7067 GB, free: 115.1 MB / 458.7 MB
TODO: How the !@#!# did the simulation report success but simulation result PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium_res.mat does not exist to compare? outputFormat=mat