Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo", uses=false) Using package PNlib with version 3.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(PNlib.Examples.Models.BicoloredPlaces.Aquarium,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.color.1.|P1.color.2.|P1.t|P2.color.1.|P2.color.2.|P2.t|ratio|t1.fire|t1.instantaneousSpeed|t1.maximumSpeed|t2.fire|t2.instantaneousSpeed|t2.maximumSpeed|time",fileNamePrefix="PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium") translateModel(PNlib.Examples.Models.BicoloredPlaces.Aquarium,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.color.1.|P1.color.2.|P1.t|P2.color.1.|P2.color.2.|P2.t|ratio|t1.fire|t1.instantaneousSpeed|t1.maximumSpeed|t2.fire|t2.instantaneousSpeed|t2.maximumSpeed|time",fileNamePrefix="PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.0008083/0.0008083, allocations: 98.27 kB / 15.36 MB, free: 0.7344 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.004988/0.004988, allocations: 169.9 kB / 16.27 MB, free: 6.652 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.153/1.153, allocations: 223.3 MB / 240.3 MB, free: 5.336 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo): time 0.1617/0.1617, allocations: 16.72 MB / 308.2 MB, free: 15.58 MB / 254.1 MB Notification: Performance of FrontEnd - loaded program: time 0.0002417/0.0002418, allocations: 12 kB / 373.4 MB, free: 3.098 MB / 302.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.211/0.2112, allocations: 54.46 MB / 427.9 MB, free: 38.05 MB / 350.1 MB Notification: Performance of NFInst.instantiate(PNlib.Examples.Models.BicoloredPlaces.Aquarium): time 0.00311/0.2144, allocations: 5.103 MB / 433 MB, free: 36.05 MB / 350.1 MB Notification: Performance of NFInst.instExpressions: time 0.005096/0.2195, allocations: 5.251 MB / 438.2 MB, free: 33.53 MB / 350.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0004792/0.22, allocations: 21.44 kB / 438.3 MB, free: 33.52 MB / 350.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0005161/0.2205, allocations: 461 kB / 438.7 MB, free: 33.21 MB / 350.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0007393/0.2212, allocations: 377.2 kB / 439.1 MB, free: 32.94 MB / 350.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.001848/0.2231, allocations: 1.903 MB / 441 MB, free: 31.71 MB / 350.1 MB Notification: Performance of NFFlatten.flatten: time 0.002546/0.2257, allocations: 4.986 MB / 446 MB, free: 29.56 MB / 350.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.001323/0.227, allocations: 1.979 MB / 447.9 MB, free: 28.71 MB / 350.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.00126/0.2283, allocations: 1.585 MB / 449.5 MB, free: 28.08 MB / 350.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0008961/0.2292, allocations: 1.442 MB / 451 MB, free: 27.35 MB / 350.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0002654/0.2294, allocations: 162.4 kB / 451.1 MB, free: 27.35 MB / 350.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0006455/0.2301, allocations: 0.4997 MB / 451.6 MB, free: 27.23 MB / 350.1 MB Notification: Performance of NFScalarize.scalarize: time 0.0003951/0.2305, allocations: 0.7147 MB / 452.3 MB, free: 26.91 MB / 350.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0009365/0.2314, allocations: 1.737 MB / 454.1 MB, free: 25.8 MB / 350.1 MB Notification: Performance of NFConvertDAE.convert: time 0.003217/0.2347, allocations: 5.788 MB / 459.9 MB, free: 24.23 MB / 350.1 MB Notification: Performance of FrontEnd - DAE generated: time 3.847e-06/0.2347, allocations: 3.094 kB / 459.9 MB, free: 24.23 MB / 350.1 MB Notification: Performance of FrontEnd: time 1.343e-06/0.2347, allocations: 0 / 459.9 MB, free: 24.23 MB / 350.1 MB Notification: Performance of Transformations before backend: time 8.722e-05/0.2348, allocations: 0 / 459.9 MB, free: 24.23 MB / 350.1 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.004036/0.2388, allocations: 4.24 MB / 464.1 MB, free: 21.14 MB / 350.1 MB Notification: Performance of prepare preOptimizeDAE: time 3.143e-05/0.2388, allocations: 8.938 kB / 464.1 MB, free: 21.14 MB / 350.1 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.002868/0.2417, allocations: 0.772 MB / 464.9 MB, free: 20.93 MB / 350.1 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.00212/0.2439, allocations: 1.87 MB / 466.8 MB, free: 19.81 MB / 350.1 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0004314/0.2443, allocations: 0.8239 MB / 467.6 MB, free: 19.11 MB / 350.1 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.0005893/0.2449, allocations: 459.8 kB / 468 MB, free: 18.99 MB / 350.1 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.01008/0.255, allocations: 7.907 MB / 475.9 MB, free: 15.82 MB / 350.1 MB Notification: Performance of preOpt findStateOrder (simulation): time 6.362e-05/0.2551, allocations: 7.719 kB / 476 MB, free: 15.81 MB / 350.1 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0004098/0.2555, allocations: 214.9 kB / 476.2 MB, free: 15.69 MB / 350.1 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0004294/0.2559, allocations: 387 kB / 476.5 MB, free: 15.57 MB / 350.1 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.007698/0.2636, allocations: 5.92 MB / 482.5 MB, free: 12.62 MB / 350.1 MB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.0141/0.2777, allocations: 15.36 MB / 497.8 MB, free: 13.95 MB / 366.1 MB Notification: Performance of preOpt comSubExp (simulation): time 0.006334/0.2841, allocations: 6.419 MB / 0.4924 GB, free: 7.504 MB / 366.1 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.0054/0.2895, allocations: 6.03 MB / 0.4983 GB, free: 1.457 MB / 366.1 MB Notification: Performance of preOpt evalFunc (simulation): time 0.0001306/0.2896, allocations: 73.11 kB / 0.4984 GB, free: 1.387 MB / 366.1 MB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.004624/0.2943, allocations: 3.792 MB / 0.5021 GB, free: 13.51 MB / 382.1 MB Notification: Performance of pre-optimization done (n=299): time 3.056e-06/0.2943, allocations: 0 / 0.5021 GB, free: 13.51 MB / 382.1 MB Notification: Performance of matching and sorting (n=299): time 0.01692/0.3112, allocations: 12.08 MB / 0.5139 GB, free: 1.152 MB / 382.1 MB Notification: Performance of inlineWhenForInitialization (initialization): time 0.001056/0.3123, allocations: 2.128 MB / 0.516 GB, free: 14.64 MB / 398.1 MB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.001868/0.3142, allocations: 1.466 MB / 0.5174 GB, free: 13.16 MB / 398.1 MB Notification: Performance of collectPreVariables (initialization): time 0.0003414/0.3145, allocations: 197.6 kB / 0.5176 GB, free: 12.96 MB / 398.1 MB Notification: Performance of collectInitialEqns (initialization): time 0.001031/0.3155, allocations: 1.248 MB / 0.5188 GB, free: 11.7 MB / 398.1 MB Notification: Performance of collectInitialBindings (initialization): time 0.0006973/0.3162, allocations: 0.7757 MB / 0.5195 GB, free: 10.91 MB / 398.1 MB Notification: Performance of simplifyInitialFunctions (initialization): time 0.0006892/0.3169, allocations: 0.5953 MB / 0.5201 GB, free: 10.3 MB / 398.1 MB Notification: Performance of setup shared object (initialization): time 7.671e-05/0.317, allocations: 309.1 kB / 0.5204 GB, free: 10 MB / 398.1 MB Notification: Performance of preBalanceInitialSystem (initialization): time 0.002746/0.3198, allocations: 2.01 MB / 0.5224 GB, free: 7.984 MB / 398.1 MB Notification: Performance of partitionIndependentBlocks (initialization): time 0.003613/0.3234, allocations: 3.406 MB / 0.5257 GB, free: 3.957 MB / 398.1 MB Notification: Performance of analyzeInitialSystem (initialization): time 0.007371/0.3308, allocations: 7.56 MB / 0.5331 GB, free: 11.36 MB / 414.1 MB Notification: Performance of solveInitialSystemEqSystem (initialization): time 4.263e-05/0.3308, allocations: 15.83 kB / 0.5331 GB, free: 11.34 MB / 414.1 MB Notification: Performance of matching and sorting (n=567) (initialization): time 0.009167/0.34, allocations: 7.502 MB / 0.5404 GB, free: 3.57 MB / 414.1 MB Notification: Performance of prepare postOptimizeDAE: time 0.0006689/0.3407, allocations: 1.394 MB / 0.5418 GB, free: 1.918 MB / 414.1 MB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 8.169e-05/0.3408, allocations: 55.97 kB / 0.5419 GB, free: 1.863 MB / 414.1 MB Notification: Performance of postOpt tearingSystem (initialization): time 0.002421/0.3432, allocations: 0.7112 MB / 0.5425 GB, free: 1.148 MB / 414.1 MB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.001213/0.3444, allocations: 470.8 kB / 0.543 GB, free: 0.6875 MB / 414.1 MB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.001059/0.3455, allocations: 1.119 MB / 0.5441 GB, free: 15.55 MB / 430.1 MB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.001676/0.3472, allocations: 0.4963 MB / 0.5446 GB, free: 15.05 MB / 430.1 MB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0003519/0.3476, allocations: 220 kB / 0.5448 GB, free: 14.83 MB / 430.1 MB Warning: Assuming fixed start value for the following 72 variables: P2.place2.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P2.place2.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P2.place2.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P2.place2.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P2.place2.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P2.place2.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P2.place2.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P2.place2.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P2.place1.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P2.place1.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P2.place1.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P2.place1.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P2.place1.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P2.place1.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P2.place1.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P2.place1.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P1.place2.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P1.place2.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P1.place2.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P1.place2.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P1.place2.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P1.place2.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P1.place2.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P1.place2.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P1.place2.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P1.place2.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P1.place2.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P1.place2.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P1.place2.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P1.place2.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P1.place2.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P1.place2.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P1.place1.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P1.place1.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P1.place1.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P1.place1.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P1.place1.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P1.place1.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P1.place1.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P1.place1.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P1.place1.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P1.place1.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P1.place1.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P1.place1.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P1.place1.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P1.place1.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P1.place1.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P1.place1.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P2.place2.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P2.place2.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P2.place1.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P2.place1.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P1.place2.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P1.place2.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P1.place1.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P1.place1.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P2.place2.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P2.place2.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P2.place2.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P2.place2.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P2.place2.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P2.place2.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P2.place2.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P2.place2.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P2.place1.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P2.place1.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P2.place1.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P2.place1.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P2.place1.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P2.place1.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P2.place1.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P2.place1.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 184 * Number of states: 0 () * Number of discrete variables: 462 ($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,P2.place2.enableIn.randNum,$PRE.P2.place2.enableIn.randNum,P2.place2.enableIn.state128[4],$PRE.P2.place2.enableIn.state128[4],P2.place2.enableIn.state128[3],$PRE.P2.place2.enableIn.state128[3],P2.place2.enableIn.state128[2],$PRE.P2.place2.enableIn.state128[2],P2.place2.enableIn.state128[1],$PRE.P2.place2.enableIn.state128[1],P2.place2.enableIn.cumEnablingProb[1],$PRE.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,P2.place2.enableIn.remTAin[1],$PRE.P2.place2.enableIn.remTAin[1],$PRE.P2.place2.enableIn.Index,P2.place2.enableIn.Index,$PRE.P2.place2.enableIn.arcWeightSum,P2.place2.enableIn.arcWeightSum,P2.place2.enableIn.disTAin[1],$PRE.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,P2.place1.enableIn.randNum,$PRE.P2.place1.enableIn.randNum,P2.place1.enableIn.state128[4],$PRE.P2.place1.enableIn.state128[4],P2.place1.enableIn.state128[3],$PRE.P2.place1.enableIn.state128[3],P2.place1.enableIn.state128[2],$PRE.P2.place1.enableIn.state128[2],P2.place1.enableIn.state128[1],$PRE.P2.place1.enableIn.state128[1],P2.place1.enableIn.cumEnablingProb[1],$PRE.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,P2.place1.enableIn.remTAin[1],$PRE.P2.place1.enableIn.remTAin[1],$PRE.P2.place1.enableIn.Index,P2.place1.enableIn.Index,$PRE.P2.place1.enableIn.arcWeightSum,P2.place1.enableIn.arcWeightSum,P2.place1.enableIn.disTAin[1],$PRE.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,P1.place2.enableOut.randNum,$PRE.P1.place2.enableOut.randNum,P1.place2.enableOut.state128[4],$PRE.P1.place2.enableOut.state128[4],P1.place2.enableOut.state128[3],$PRE.P1.place2.enableOut.state128[3],P1.place2.enableOut.state128[2],$PRE.P1.place2.enableOut.state128[2],P1.place2.enableOut.state128[1],$PRE.P1.place2.enableOut.state128[1],P1.place2.enableOut.cumEnablingProb[1],$PRE.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,P1.place2.enableOut.remTAout[1],$PRE.P1.place2.enableOut.remTAout[1],$PRE.P1.place2.enableOut.Index,P1.place2.enableOut.Index,$PRE.P1.place2.enableOut.arcWeightSum,P1.place2.enableOut.arcWeightSum,P1.place2.enableOut.disTAout[1],$PRE.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,P1.place2.enableIn.randNum,$PRE.P1.place2.enableIn.randNum,P1.place2.enableIn.state128[4],$PRE.P1.place2.enableIn.state128[4],P1.place2.enableIn.state128[3],$PRE.P1.place2.enableIn.state128[3],P1.place2.enableIn.state128[2],$PRE.P1.place2.enableIn.state128[2],P1.place2.enableIn.state128[1],$PRE.P1.place2.enableIn.state128[1],P1.place2.enableIn.cumEnablingProb[1],$PRE.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,P1.place2.enableIn.remTAin[1],$PRE.P1.place2.enableIn.remTAin[1],$PRE.P1.place2.enableIn.Index,P1.place2.enableIn.Index,$PRE.P1.place2.enableIn.arcWeightSum,P1.place2.enableIn.arcWeightSum,P1.place2.enableIn.disTAin[1],$PRE.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,P1.place1.enableOut.randNum,$PRE.P1.place1.enableOut.randNum,P1.place1.enableOut.state128[4],$PRE.P1.place1.enableOut.state128[4],P1.place1.enableOut.state128[3],$PRE.P1.place1.enableOut.state128[3],P1.place1.enableOut.state128[2],$PRE.P1.place1.enableOut.state128[2],P1.place1.enableOut.state128[1],$PRE.P1.place1.enableOut.state128[1],P1.place1.enableOut.cumEnablingProb[1],$PRE.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,P1.place1.enableOut.remTAout[1],$PRE.P1.place1.enableOut.remTAout[1],$PRE.P1.place1.enableOut.Index,P1.place1.enableOut.Index,$PRE.P1.place1.enableOut.arcWeightSum,P1.place1.enableOut.arcWeightSum,P1.place1.enableOut.disTAout[1],$PRE.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,P1.place1.enableIn.randNum,$PRE.P1.place1.enableIn.randNum,P1.place1.enableIn.state128[4],$PRE.P1.place1.enableIn.state128[4],P1.place1.enableIn.state128[3],$PRE.P1.place1.enableIn.state128[3],P1.place1.enableIn.state128[2],$PRE.P1.place1.enableIn.state128[2],P1.place1.enableIn.state128[1],$PRE.P1.place1.enableIn.state128[1],P1.place1.enableIn.cumEnablingProb[1],$PRE.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,P1.place1.enableIn.remTAin[1],$PRE.P1.place1.enableIn.remTAin[1],$PRE.P1.place1.enableIn.Index,P1.place1.enableIn.Index,$PRE.P1.place1.enableIn.arcWeightSum,P1.place1.enableIn.arcWeightSum,P1.place1.enableIn.disTAin[1],$PRE.P1.place1.enableIn.disTAin[1],$PRE.P1.place2.disMarksInOut,P1.outTransition[1,2].tokenInOut,$PRE.P1.place1.disMarksInOut,P1.outTransition[1,1].tokenInOut,$PRE.P2.place2.disMarksIn.anytrue,$PRE.P2.place2.disMarksOut.anytrue,P2.place2.disMarksInOut,$whenCondition12,$PRE.P2.place1.disMarksIn.anytrue,$PRE.P2.place1.disMarksOut.anytrue,P2.place1.disMarksInOut,$whenCondition11,$PRE.P1.place2.disMarksIn.anytrue,$PRE.P1.place2.disMarksOut.anytrue,P1.place2.disMarksInOut,$whenCondition10,$PRE.P1.place1.disMarksIn.anytrue,$PRE.P1.place1.disMarksOut.anytrue,P1.place1.disMarksInOut,$whenCondition9,P2.place2.disMarksOut.numtrue,P2.place2.disMarksOut.anytrue,P2.place1.disMarksOut.numtrue,P2.place1.disMarksOut.anytrue,$PRE.P2.place2.enableOut.Index,P2.place2.enableOut.Index,$PRE.P2.place2.enableOut.endWhile,P2.place2.enableOut.endWhile,$PRE.P2.place2.enableOut.sumEnablingProbTAout,P2.place2.enableOut.sumEnablingProbTAout,P2.place2.enableOut.randNum,$PRE.P2.place2.enableOut.randNum,P2.place2.enableOut.state128[4],$PRE.P2.place2.enableOut.state128[4],P2.place2.enableOut.state128[3],$PRE.P2.place2.enableOut.state128[3],P2.place2.enableOut.state128[2],$PRE.P2.place2.enableOut.state128[2],P2.place2.enableOut.state128[1],$PRE.P2.place2.enableOut.state128[1],$PRE.P2.place2.enableOut.posTE,P2.place2.enableOut.posTE,$PRE.P2.place2.enableOut.k,P2.place2.enableOut.k,$PRE.P2.place2.enableOut.nTAout,P2.place2.enableOut.nTAout,$PRE.P2.place2.enableOut.nremTAout,P2.place2.enableOut.nremTAout,$PRE.P2.place2.enableOut.arcWeightSum,P2.place2.enableOut.arcWeightSum,P2.place2.delayPassedOut.numtrue,P2.place2.delayPassedOut.anytrue,$whenCondition2,$PRE.P2.place1.enableOut.Index,P2.place1.enableOut.Index,$PRE.P2.place1.enableOut.endWhile,P2.place1.enableOut.endWhile,$PRE.P2.place1.enableOut.sumEnablingProbTAout,P2.place1.enableOut.sumEnablingProbTAout,P2.place1.enableOut.randNum,$PRE.P2.place1.enableOut.randNum,P2.place1.enableOut.state128[4],$PRE.P2.place1.enableOut.state128[4],P2.place1.enableOut.state128[3],$PRE.P2.place1.enableOut.state128[3],P2.place1.enableOut.state128[2],$PRE.P2.place1.enableOut.state128[2],P2.place1.enableOut.state128[1],$PRE.P2.place1.enableOut.state128[1],$PRE.P2.place1.enableOut.posTE,P2.place1.enableOut.posTE,$PRE.P2.place1.enableOut.k,P2.place1.enableOut.k,$PRE.P2.place1.enableOut.nTAout,P2.place1.enableOut.nTAout,$PRE.P2.place1.enableOut.nremTAout,P2.place1.enableOut.nremTAout,$PRE.P2.place1.enableOut.arcWeightSum,P2.place1.enableOut.arcWeightSum,P2.place1.delayPassedOut.numtrue,P2.place1.delayPassedOut.anytrue,$whenCondition1,t2.transition_.firingCon,t2.transition_.outPlaces[2].disTransition,t2.transition_.outPlaces[2].enabledByInPlaces,P2.place2.inTransition[1].disPlace,P2.place2.inTransition[1].maxTokensint,P2.place2.inTransition[1].tint,t2.transition_.outPlaces[1].disTransition,t2.transition_.outPlaces[1].enabledByInPlaces,P2.place1.inTransition[1].disPlace,P2.place1.inTransition[1].maxTokensint,P2.place1.inTransition[1].tint,t2.transition_.inPlaces[2].disTransition,P1.place2.outTransition[1].normalArc,P1.place2.outTransition[1].testValueint,P1.place2.outTransition[1].arcType,P1.place2.outTransition[1].disPlace,P1.place2.outTransition[1].minTokensint,P1.place2.outTransition[1].tint,t2.transition_.inPlaces[1].disTransition,P1.place1.outTransition[1].normalArc,P1.place1.outTransition[1].testValueint,P1.place1.outTransition[1].arcType,P1.place1.outTransition[1].disPlace,P1.place1.outTransition[1].minTokensint,P1.place1.outTransition[1].tint,t1.transition_.firingCon,t1.transition_.outPlaces[2].disTransition,t1.transition_.outPlaces[2].enabledByInPlaces,P1.place2.inTransition[1].disPlace,P1.place2.inTransition[1].maxTokensint,P1.place2.inTransition[1].tint,t1.transition_.outPlaces[1].disTransition,t1.transition_.outPlaces[1].enabledByInPlaces,P1.place1.inTransition[1].disPlace,P1.place1.inTransition[1].maxTokensint,P1.place1.inTransition[1].tint,P2.place2.reStart,P2.place1.reStart,P1.place2.reStart,P1.place1.reStart,P1.place1.disMarksOut.vec[1],P1.place1.disMarksOut.numtrue,P1.place1.disMarksOut.anytrue,P1.place1.disMarksIn.vec[1],P1.place1.disMarksIn.numtrue,P1.place1.disMarksIn.anytrue,P1.place2.disMarksOut.vec[1],P1.place2.disMarksOut.numtrue,P1.place2.disMarksOut.anytrue,P1.place2.disMarksIn.vec[1],P1.place2.disMarksIn.numtrue,P1.place2.disMarksIn.anytrue,P2.place1.disMarksIn.vec[1],P2.place1.disMarksIn.numtrue,P2.place1.disMarksIn.anytrue,P2.place2.disMarksIn.vec[1],P2.place2.disMarksIn.numtrue,P2.place2.disMarksIn.anytrue,t1.transition_.fire_,P1.place1.delayPassedOut.vec[1],P1.place1.delayPassedIn.vec[1],P1.place2.delayPassedOut.vec[1],P1.place2.delayPassedIn.vec[1],P2.place1.delayPassedIn.vec[1],P2.place2.delayPassedIn.vec[1],t1.transition_.activation.arcWeightIntOut[1],t1.transition_.activation.arcWeightIntOut[2],t2.transition_.activation.arcWeightIntIn[1],t2.transition_.activation.arcWeightIntIn[2],t2.transition_.activation.arcWeightIntOut[1],t2.transition_.activation.arcWeightIntOut[2],t2.transition_.activation.disPlaceOut[2],t2.transition_.activation.maxTokensInt[2],t2.transition_.activation.tIntOut[2],t2.transition_.activation.disPlaceOut[1],t2.transition_.activation.maxTokensInt[1],t2.transition_.activation.tIntOut[1],t2.transition_.activation.normalArc[2],t2.transition_.activation.testValueInt[2],t2.transition_.activation.arcType[2],t2.transition_.activation.disPlaceIn[2],t2.transition_.activation.minTokensInt[2],t2.transition_.activation.tIntIn[2],t2.transition_.activation.normalArc[1],t2.transition_.activation.testValueInt[1],t2.transition_.activation.arcType[1],t2.transition_.activation.disPlaceIn[1],t2.transition_.activation.minTokensInt[1],t2.transition_.activation.tIntIn[1],t1.transition_.activation.disPlaceOut[2],t1.transition_.activation.maxTokensInt[2],t1.transition_.activation.tIntOut[2],t1.transition_.activation.disPlaceOut[1],t1.transition_.activation.maxTokensInt[1],t1.transition_.activation.tIntOut[1],t2.transition_.fire_,t2.transition_.activation.NoTokens,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.emptied[2],t2.transition_.activation.emptied[1],t2.transition_.activation.fed[2],t2.transition_.activation.fed[1],t1.transition_.activation.NoTokens,t1.transition_.activation.weaklyOutputActiveVec[2],t1.transition_.activation.weaklyOutputActiveVec[1],t1.transition_.activation.active,t1.transition_.activation.emptied[2],t1.transition_.activation.emptied[1],P2.place2.emptying.numtrue,P2.place2.emptying.anytrue,P2.place2.feeding.numtrue,P2.place2.feeding.anytrue,P2.place2.feeding.vec[1],P2.place2.delayPassedIn.numtrue,P2.place2.delayPassedIn.anytrue,P2.place2.enableIn.TEin[1],$PRE.P2.place2.enableIn.TEin[1],P2.place2.enableIn.TEin_[1],P2.place2.enableIn.active[1],P2.place2.fireIn[1],$PRE.P2.place2.fireIn[1],P2.place1.emptying.numtrue,P2.place1.emptying.anytrue,P2.place1.feeding.numtrue,P2.place1.feeding.anytrue,P2.place1.feeding.vec[1],P2.place1.delayPassedIn.numtrue,P2.place1.delayPassedIn.anytrue,P2.place1.enableIn.TEin[1],$PRE.P2.place1.enableIn.TEin[1],P2.place1.enableIn.TEin_[1],P2.place1.enableIn.active[1],P2.place1.fireIn[1],$PRE.P2.place1.fireIn[1],P1.place2.emptying.numtrue,P1.place2.emptying.anytrue,P1.place2.emptying.vec[1],P1.place2.feeding.numtrue,P1.place2.feeding.anytrue,P1.place2.feeding.vec[1],P1.place2.delayPassedIn.numtrue,P1.place2.delayPassedIn.anytrue,P1.place2.delayPassedOut.numtrue,P1.place2.delayPassedOut.anytrue,P1.place2.enableOut.TEout[1],$PRE.P1.place2.enableOut.TEout[1],P1.place2.enableOut.TEout_[1],P1.place2.enableOut.TAout[1],P1.place2.enableIn.TEin[1],$PRE.P1.place2.enableIn.TEin[1],P1.place2.enableIn.TEin_[1],P1.place2.enableIn.active[1],P1.place2.fireOut[1],$PRE.P1.place2.fireOut[1],P1.place2.fireIn[1],$PRE.P1.place2.fireIn[1],P1.place1.emptying.numtrue,P1.place1.emptying.anytrue,P1.place1.emptying.vec[1],P1.place1.feeding.numtrue,P1.place1.feeding.anytrue,P1.place1.feeding.vec[1],P1.place1.delayPassedIn.numtrue,P1.place1.delayPassedIn.anytrue,P1.place1.delayPassedOut.numtrue,P1.place1.delayPassedOut.anytrue,P1.place1.enableOut.TEout[1],$PRE.P1.place1.enableOut.TEout[1],P1.place1.enableOut.TEout_[1],P1.place1.enableOut.TAout[1],P1.place1.enableIn.TEin[1],$PRE.P1.place1.enableIn.TEin[1],P1.place1.enableIn.TEin_[1],P1.place1.enableIn.active[1],P1.place1.fireOut[1],$PRE.P1.place1.fireOut[1],P1.place1.fireIn[1],$PRE.P1.place1.fireIn[1],$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition5,$whenCondition4,$whenCondition3) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (477): * Single equations (assignments): 434 * Array equations: 0 * Algorithm blocks: 42 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 1 * Mixed (continuous/discrete) equation systems: 0 Notification: Torn system details for strict tearing set: * Linear torn systems (#iteration vars, #inner vars, density): 0 systems * Non-linear torn systems (#iteration vars, #inner vars): 1 system {(3,10)} Notification: Performance of prepare postOptimizeDAE: time 0.004032/0.3516, allocations: 3.319 MB / 0.548 GB, free: 11.3 MB / 430.1 MB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0008428/0.3524, allocations: 289.8 kB / 0.5483 GB, free: 11.02 MB / 430.1 MB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.0126/0.3651, allocations: 9.619 MB / 0.5577 GB, free: 1.156 MB / 430.1 MB Notification: Performance of postOpt inlineArrayEqn (simulation): time 2.136e-05/0.3651, allocations: 16 kB / 0.5577 GB, free: 1.141 MB / 430.1 MB Notification: Performance of postOpt constantLinearSystem (simulation): time 7.805e-06/0.3651, allocations: 3.938 kB / 0.5577 GB, free: 1.137 MB / 430.1 MB Notification: Performance of postOpt simplifysemiLinear (simulation): time 1.427e-05/0.3651, allocations: 11.97 kB / 0.5577 GB, free: 1.125 MB / 430.1 MB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.01807/0.3832, allocations: 14.72 MB / 0.5721 GB, free: 2.117 MB / 446.1 MB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 2.383e-05/0.3832, allocations: 7.984 kB / 0.5721 GB, free: 2.109 MB / 446.1 MB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.0004278/0.3837, allocations: 127.8 kB / 0.5722 GB, free: 1.984 MB / 446.1 MB Notification: Performance of postOpt tearingSystem (simulation): time 0.001117/0.3848, allocations: 0.5064 MB / 0.5727 GB, free: 1.477 MB / 446.1 MB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0003111/0.3851, allocations: 175.9 kB / 0.5729 GB, free: 1.305 MB / 446.1 MB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 0.0009607/0.3861, allocations: 1.06 MB / 0.5739 GB, free: 224 kB / 446.1 MB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 1.573e-06/0.3861, allocations: 4 kB / 0.5739 GB, free: 220 kB / 446.1 MB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.01809/0.4042, allocations: 14.16 MB / 0.5878 GB, free: 1.777 MB / 462.1 MB Notification: Performance of postOpt removeConstants (simulation): time 0.0003676/0.4046, allocations: 290.2 kB / 0.588 GB, free: 1.473 MB / 462.1 MB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0008489/0.4055, allocations: 359.9 kB / 0.5884 GB, free: 1.121 MB / 462.1 MB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.001711/0.4072, allocations: 299.7 kB / 0.5887 GB, free: 0.8281 MB / 462.1 MB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.0008961/0.4081, allocations: 0.6492 MB / 0.5893 GB, free: 180 kB / 462.1 MB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.1481/0.5562, allocations: 202.7 kB / 0.5895 GB, free: 136.5 MB / 462.1 MB Notification: Performance of sorting global known variables: time 0.0009676/0.5572, allocations: 0.7684 MB / 0.5902 GB, free: 136.4 MB / 462.1 MB Notification: Performance of sort global known variables: time 2e-07/0.5572, allocations: 0.5312 kB / 0.5902 GB, free: 136.4 MB / 462.1 MB Notification: Performance of remove unused functions: time 0.003306/0.5605, allocations: 1.193 MB / 0.5914 GB, free: 136.4 MB / 462.1 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,$cse6[1],$cse6[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 (P1.place2.disMarksInOut,P1.place1.disMarksInOut,P2.place2.fireIn[1],P2.place2.disMarksOut.anytrue,P2.place2.disMarksIn.anytrue,P2.place1.fireIn[1],P2.place1.disMarksOut.anytrue,P2.place1.disMarksIn.anytrue,P1.place2.fireIn[1],P1.place2.fireOut[1],P1.place2.disMarksOut.anytrue,P1.place2.disMarksIn.anytrue,P1.place1.fireIn[1],P1.place1.fireOut[1],P1.place1.disMarksOut.anytrue,P1.place1.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.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.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.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,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.disMarksIn.numtrue,P1.place1.disMarksOut.numtrue,P1.place1.delayPassedIn.numtrue,P1.place1.delayPassedIn.anytrue,P1.place1.delayPassedOut.numtrue,P1.place1.delayPassedOut.anytrue,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],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],P2.place2.disMarkChange,P2.place1.disMarkChange,P1.place2.disMarkChange,P1.place1.disMarkChange,P2.place2.delayPassedOut.numtrue,P2.place2.delayPassedOut.anytrue,P2.place2.enableOut.Index,P2.place2.enableOut.endWhile,P2.place2.enableOut.sumEnablingProbTAout,P2.place2.enableOut.state128[4],P2.place2.enableOut.state128[3],P2.place2.enableOut.state128[2],P2.place2.enableOut.state128[1],P2.place2.enableOut.randNum,P2.place2.enableOut.posTE,P2.place2.enableOut.k,P2.place2.enableOut.nTAout,P2.place2.enableOut.nremTAout,P2.place2.enableOut.arcWeightSum,$whenCondition2,P2.place1.delayPassedOut.numtrue,P2.place1.delayPassedOut.anytrue,P2.place1.enableOut.Index,P2.place1.enableOut.endWhile,P2.place1.enableOut.sumEnablingProbTAout,P2.place1.enableOut.state128[4],P2.place1.enableOut.state128[3],P2.place1.enableOut.state128[2],P2.place1.enableOut.state128[1],P2.place1.enableOut.randNum,P2.place1.enableOut.posTE,P2.place1.enableOut.k,P2.place1.enableOut.nTAout,P2.place1.enableOut.nremTAout,P2.place1.enableOut.arcWeightSum,$whenCondition1) * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for simulation (120): * Single equations (assignments): 84 * Array equations: 1 * Algorithm blocks: 34 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 1 * Mixed (continuous/discrete) equation systems: 0 Notification: Torn system details for strict tearing set: * Linear torn systems (#iteration vars, #inner vars, density): 0 systems * Non-linear torn systems (#iteration vars, #inner vars): 1 system {(3,15)} Notification: Performance of Backend phase and start with SimCode phase: time 0.001011/0.5615, allocations: 0.8492 MB / 0.5922 GB, free: 136.2 MB / 462.1 MB Notification: Performance of simCode: created initialization part: time 0.00788/0.5694, allocations: 9.817 MB / 0.6018 GB, free: 133.3 MB / 462.1 MB Notification: Performance of simCode: created event and clocks part: time 4.559e-06/0.5694, allocations: 6.75 kB / 0.6018 GB, free: 133.3 MB / 462.1 MB Notification: Performance of simCode: created simulation system equations: time 0.006473/0.5759, allocations: 12.26 MB / 0.6138 GB, free: 124.4 MB / 462.1 MB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.001309/0.5772, allocations: 376.5 kB / 0.6142 GB, free: 124.3 MB / 462.1 MB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.01081/0.588, allocations: 10.15 MB / 0.6241 GB, free: 119.4 MB / 462.1 MB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.001528/0.5896, allocations: 2.307 MB / 0.6263 GB, free: 118.5 MB / 462.1 MB Notification: Performance of simCode: alias equations: time 0.0009706/0.5906, allocations: 0.5372 MB / 0.6269 GB, free: 118.4 MB / 462.1 MB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.00024/0.5908, allocations: 137.9 kB / 0.627 GB, free: 118.4 MB / 462.1 MB Notification: Performance of SimCode: time 7.12e-07/0.5908, allocations: 4 kB / 0.627 GB, free: 118.4 MB / 462.1 MB Notification: Performance of Templates: time 0.05215/0.643, allocations: 48.43 MB / 0.6743 GB, free: 81.9 MB / 462.1 MB make -j1 -f PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium.makefile (rm -f PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium.pipe ; mkfifo PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium.pipe ; head -c 1048576 < PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium.pipe >> ../files/PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium.sim & ./PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium -abortSlowSimulation -alarm=480 -emit_protected -lv LOG_STATS > PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium.pipe 2>&1) diffSimulationResults("PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium_res.mat","/mnt/ReferenceFiles/PNlib/ReferenceFiles/PNlib.Examples.Models.BicoloredPlaces.Aquarium.mat","../files/PNlib_PNlib.Examples.Models.BicoloredPlaces.Aquarium.diff",relTol=0.003,relTolDiffMinMax=0.003,rangeDelta=0.001) Reference file matches