Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC.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.ExtTest.ArcswithPCtoTC,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|P2.t|P3.t|P4.t|P5.t|P6.t|P7.t|P8.t|T1.fire|T1.instantaneousSpeed|T1.maximumSpeed|T2.fire|T2.instantaneousSpeed|T2.maximumSpeed|T3.fire|T3.instantaneousSpeed|T3.maximumSpeed|T4.fire|T4.instantaneousSpeed|T4.maximumSpeed|time",fileNamePrefix="PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC") translateModel(PNlib.Examples.ExtTest.ArcswithPCtoTC,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|P2.t|P3.t|P4.t|P5.t|P6.t|P7.t|P8.t|T1.fire|T1.instantaneousSpeed|T1.maximumSpeed|T2.fire|T2.instantaneousSpeed|T2.maximumSpeed|T3.fire|T3.instantaneousSpeed|T3.maximumSpeed|T4.fire|T4.instantaneousSpeed|T4.maximumSpeed|time",fileNamePrefix="PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001276/0.001276, allocations: 111.3 kB / 15.23 MB, free: 0.6406 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.001121/0.001121, allocations: 197.9 kB / 16.14 MB, free: 6.703 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.332/1.332, allocations: 222.9 MB / 239.8 MB, free: 4.621 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo): time 0.1895/0.1895, allocations: 16.76 MB / 306.7 MB, free: 15.09 MB / 254.1 MB Notification: Performance of FrontEnd - loaded program: time 0.001328/0.001329, allocations: 59.91 kB / 371 MB, free: 4.012 MB / 302.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.2976/0.299, allocations: 53.45 MB / 424.4 MB, free: 39.11 MB / 350.1 MB Notification: Performance of NFInst.instantiate(PNlib.Examples.ExtTest.ArcswithPCtoTC): time 0.007401/0.3064, allocations: 9.457 MB / 433.9 MB, free: 33.52 MB / 350.1 MB Notification: Performance of NFInst.instExpressions: time 0.01314/0.3196, allocations: 8.137 MB / 442 MB, free: 28.12 MB / 350.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.004976/0.3247, allocations: 36.03 kB / 442 MB, free: 28.11 MB / 350.1 MB Notification: Performance of NFTyping.typeComponents: time 0.002501/0.3272, allocations: 0.6942 MB / 442.7 MB, free: 27.65 MB / 350.1 MB Notification: Performance of NFTyping.typeBindings: time 0.003641/0.3309, allocations: 0.6087 MB / 443.3 MB, free: 27.22 MB / 350.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.006569/0.3375, allocations: 3.067 MB / 446.4 MB, free: 25.36 MB / 350.1 MB Notification: Performance of NFFlatten.flatten: time 0.00921/0.3467, allocations: 8.274 MB / 454.7 MB, free: 22 MB / 350.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.002796/0.3496, allocations: 1.289 MB / 456 MB, free: 21.45 MB / 350.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.007211/0.3568, allocations: 3.154 MB / 459.1 MB, free: 20.21 MB / 350.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.005405/0.3623, allocations: 2.635 MB / 461.8 MB, free: 18.87 MB / 350.1 MB Notification: Performance of NFPackage.collectConstants: time 0.004099/0.3664, allocations: 354.4 kB / 462.1 MB, free: 18.87 MB / 350.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.003904/0.3703, allocations: 0.6848 MB / 462.8 MB, free: 18.75 MB / 350.1 MB Notification: Performance of NFScalarize.scalarize: time 0.002769/0.3731, allocations: 1.235 MB / 464 MB, free: 18.16 MB / 350.1 MB Notification: Performance of NFVerifyModel.verify: time 0.007199/0.3803, allocations: 2.691 MB / 466.7 MB, free: 16.55 MB / 350.1 MB Notification: Performance of NFConvertDAE.convert: time 0.01278/0.3932, allocations: 6.398 MB / 473.1 MB, free: 13.93 MB / 350.1 MB Notification: Performance of FrontEnd - DAE generated: time 6.994e-06/0.3932, allocations: 0 / 473.1 MB, free: 13.93 MB / 350.1 MB Notification: Performance of FrontEnd: time 1.082e-06/0.3932, allocations: 3.938 kB / 473.1 MB, free: 13.93 MB / 350.1 MB Notification: Performance of Transformations before backend: time 0.0003811/0.3936, allocations: 4 kB / 473.1 MB, free: 13.93 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: 1516 * Number of variables: 1516 Notification: Performance of Generate backend data structure: time 0.02443/0.418, allocations: 7.766 MB / 480.9 MB, free: 8.191 MB / 350.1 MB Notification: Performance of prepare preOptimizeDAE: time 4.979e-05/0.4181, allocations: 13.19 kB / 480.9 MB, free: 8.188 MB / 350.1 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.007651/0.4258, allocations: 1.085 MB / 482 MB, free: 7.738 MB / 350.1 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.007075/0.4329, allocations: 2.167 MB / 484.2 MB, free: 6.164 MB / 350.1 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.002112/0.435, allocations: 1.373 MB / 485.5 MB, free: 4.941 MB / 350.1 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.003488/0.4385, allocations: 0.6561 MB / 486.2 MB, free: 4.77 MB / 350.1 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.02746/0.466, allocations: 10.1 MB / 496.3 MB, free: 12.36 MB / 366.1 MB Notification: Performance of preOpt findStateOrder (simulation): time 0.0002629/0.4663, allocations: 19.81 kB / 496.3 MB, free: 12.34 MB / 366.1 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.002762/0.4691, allocations: 319.9 kB / 496.6 MB, free: 12.03 MB / 366.1 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.001012/0.4701, allocations: 472.3 kB / 497.1 MB, free: 11.56 MB / 366.1 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.01792/0.4881, allocations: 7.217 MB / 0.4925 GB, free: 4.312 MB / 366.1 MB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.04557/0.5337, allocations: 22.77 MB / 0.5147 GB, free: 12.93 MB / 398.1 MB Notification: Performance of preOpt comSubExp (simulation): time 0.01471/0.5484, allocations: 9.819 MB / 0.5243 GB, free: 2.926 MB / 398.1 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.01209/0.5606, allocations: 8.556 MB / 0.5327 GB, free: 10.33 MB / 414.1 MB Notification: Performance of preOpt evalFunc (simulation): time 0.0004862/0.5611, allocations: 159.2 kB / 0.5328 GB, free: 10.16 MB / 414.1 MB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.01441/0.5755, allocations: 5.685 MB / 0.5384 GB, free: 4.293 MB / 414.1 MB Notification: Performance of pre-optimization done (n=560): time 1.373e-05/0.5756, allocations: 3.938 kB / 0.5384 GB, free: 4.289 MB / 414.1 MB Notification: Performance of matching and sorting (n=560): time 0.03784/0.6134, allocations: 18 MB / 0.5559 GB, free: 1.789 MB / 430.1 MB Notification: Performance of inlineWhenForInitialization (initialization): time 0.002924/0.6164, allocations: 4.047 MB / 0.5599 GB, free: 12.97 MB / 446.1 MB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.00455/0.621, allocations: 2.205 MB / 0.562 GB, free: 10.72 MB / 446.1 MB Notification: Performance of collectPreVariables (initialization): time 0.001514/0.6225, allocations: 317.6 kB / 0.5623 GB, free: 10.4 MB / 446.1 MB Notification: Performance of collectInitialEqns (initialization): time 0.001977/0.6245, allocations: 1.629 MB / 0.5639 GB, free: 8.754 MB / 446.1 MB Notification: Performance of collectInitialBindings (initialization): time 0.00273/0.6272, allocations: 1.436 MB / 0.5653 GB, free: 7.301 MB / 446.1 MB Notification: Performance of simplifyInitialFunctions (initialization): time 0.005252/0.6325, allocations: 1.633 MB / 0.5669 GB, free: 5.656 MB / 446.1 MB Notification: Performance of setup shared object (initialization): time 0.0001298/0.6327, allocations: 309.1 kB / 0.5672 GB, free: 5.352 MB / 446.1 MB Notification: Performance of preBalanceInitialSystem (initialization): time 0.007854/0.6405, allocations: 3.203 MB / 0.5704 GB, free: 2.141 MB / 446.1 MB Notification: Performance of partitionIndependentBlocks (initialization): time 0.01078/0.6513, allocations: 5.78 MB / 0.576 GB, free: 11.2 MB / 462.1 MB Notification: Performance of analyzeInitialSystem (initialization): time 0.2416/0.893, allocations: 13.35 MB / 0.589 GB, free: 127.2 MB / 462.1 MB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0001829/0.8932, allocations: 24.17 kB / 0.5891 GB, free: 127.2 MB / 462.1 MB Notification: Performance of matching and sorting (n=1040) (initialization): time 0.01942/0.9126, allocations: 13.65 MB / 0.6024 GB, free: 124.1 MB / 462.1 MB Notification: Performance of prepare postOptimizeDAE: time 0.0009923/0.9137, allocations: 2.699 MB / 0.605 GB, free: 121.3 MB / 462.1 MB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.00887/0.9225, allocations: 7.027 MB / 0.6119 GB, free: 118.2 MB / 462.1 MB Notification: Performance of postOpt tearingSystem (initialization): time 0.001846/0.9244, allocations: 0.6329 MB / 0.6125 GB, free: 118.1 MB / 462.1 MB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.003046/0.9275, allocations: 0.8754 MB / 0.6134 GB, free: 118 MB / 462.1 MB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.001864/0.9293, allocations: 2.821 MB / 0.6161 GB, free: 115.7 MB / 462.1 MB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.004577/0.9339, allocations: 0.9444 MB / 0.617 GB, free: 115.6 MB / 462.1 MB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0009333/0.9349, allocations: 416.1 kB / 0.6174 GB, free: 115.5 MB / 462.1 MB Warning: Assuming fixed start value for the following 144 variables: P8.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P8.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P8.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P8.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P8.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P8.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P8.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P8.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P7.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P7.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P7.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P7.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P7.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P7.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P7.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P7.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P8.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P8.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P7.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P7.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P6.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P6.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P6.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P6.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P6.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P6.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P6.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P6.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P5.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P5.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P5.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P5.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P5.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P5.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P5.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P5.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P6.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P6.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P5.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P5.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P4.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P4.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P4.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P4.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P4.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P4.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P4.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P4.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P3.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P3.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P3.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P3.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P3.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P3.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P3.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P3.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P4.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P4.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P3.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P3.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P2.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P2.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P2.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P2.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P2.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P2.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P2.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P2.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P1.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P1.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P1.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P1.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P1.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P1.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P1.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P1.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P2.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P2.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P1.disMarksIn.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P1.disMarksOut.anytrue:DISCRETE(fixed = true protected = true ) type: Boolean P8.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P8.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P8.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P8.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P8.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P8.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P8.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P8.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P7.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P7.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P7.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P7.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P7.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P7.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P7.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P7.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P6.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P6.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P6.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P6.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P6.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P6.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P6.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P6.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P5.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P5.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P5.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P5.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P5.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P5.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P5.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P5.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P4.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P4.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P4.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P4.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P4.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P4.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P4.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P4.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P3.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P3.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P3.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P3.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P3.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P3.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P3.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P3.enableIn.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P2.enableOut.Index:DISCRETE(fixed = true protected = true ) type: Integer P2.enableOut.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P2.enableOut.sumEnablingProbTAout:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P2.enableOut.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P2.enableOut.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P2.enableOut.nTAout:DISCRETE(fixed = true protected = true ) "number of active output transitions" type: Integer P2.enableOut.nremTAout:DISCRETE(fixed = true protected = true ) "number of remaining active output transitions" type: Integer P2.enableOut.arcWeightSum:DISCRETE(fixed = true protected = true ) "arc weight sum" type: Real P1.enableIn.Index:DISCRETE(fixed = true protected = true ) "priority Index" type: Integer P1.enableIn.endWhile:DISCRETE(fixed = true protected = true ) type: Boolean P1.enableIn.sumEnablingProbTAin:DISCRETE(fixed = true protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P1.enableIn.posTE:DISCRETE(fixed = true protected = true ) "possible enabled transition" type: Integer P1.enableIn.k:DISCRETE(fixed = true protected = true ) "iteration index" type: Integer P1.enableIn.nTAin:DISCRETE(fixed = true protected = true ) "number ofactive input transitions" type: Integer P1.enableIn.nremTAin:DISCRETE(fixed = true protected = true ) "number of remaining active input transitions" type: Integer P1.enableIn.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: 344 * Number of states: 0 () * Number of discrete variables: 840 ($PRE.P8.enableIn.posTE,P8.enableIn.posTE,$PRE.P8.enableIn.k,P8.enableIn.k,$PRE.P8.enableIn.endWhile,P8.enableIn.endWhile,P8.enableIn.randNum,$PRE.P8.enableIn.randNum,P8.enableIn.state128[4],$PRE.P8.enableIn.state128[4],P8.enableIn.state128[3],$PRE.P8.enableIn.state128[3],P8.enableIn.state128[2],$PRE.P8.enableIn.state128[2],P8.enableIn.state128[1],$PRE.P8.enableIn.state128[1],P8.enableIn.cumEnablingProb[1],$PRE.P8.enableIn.cumEnablingProb[1],$PRE.P8.enableIn.sumEnablingProbTAin,P8.enableIn.sumEnablingProbTAin,$PRE.P8.enableIn.nTAin,P8.enableIn.nTAin,$PRE.P8.enableIn.nremTAin,P8.enableIn.nremTAin,P8.enableIn.remTAin[1],$PRE.P8.enableIn.remTAin[1],$PRE.P8.enableIn.Index,P8.enableIn.Index,$PRE.P8.enableIn.arcWeightSum,P8.enableIn.arcWeightSum,P8.enableIn.disTAin[1],$PRE.P8.enableIn.disTAin[1],$PRE.P7.enableOut.posTE,P7.enableOut.posTE,$PRE.P7.enableOut.k,P7.enableOut.k,$PRE.P7.enableOut.endWhile,P7.enableOut.endWhile,P7.enableOut.randNum,$PRE.P7.enableOut.randNum,P7.enableOut.state128[4],$PRE.P7.enableOut.state128[4],P7.enableOut.state128[3],$PRE.P7.enableOut.state128[3],P7.enableOut.state128[2],$PRE.P7.enableOut.state128[2],P7.enableOut.state128[1],$PRE.P7.enableOut.state128[1],P7.enableOut.cumEnablingProb[1],$PRE.P7.enableOut.cumEnablingProb[1],$PRE.P7.enableOut.sumEnablingProbTAout,P7.enableOut.sumEnablingProbTAout,$PRE.P7.enableOut.nTAout,P7.enableOut.nTAout,$PRE.P7.enableOut.nremTAout,P7.enableOut.nremTAout,P7.enableOut.remTAout[1],$PRE.P7.enableOut.remTAout[1],$PRE.P7.enableOut.Index,P7.enableOut.Index,$PRE.P7.enableOut.arcWeightSum,P7.enableOut.arcWeightSum,P7.enableOut.disTAout[1],$PRE.P7.enableOut.disTAout[1],T4.inPlaces[1].tokenInOut,$PRE.P7.disMarksInOut,$PRE.P8.disMarksIn.anytrue,$PRE.P8.disMarksOut.anytrue,P8.disMarksInOut,$whenCondition24,$PRE.P7.disMarksIn.anytrue,$PRE.P7.disMarksOut.anytrue,P7.disMarksInOut,$whenCondition23,P8.disMarksOut.numtrue,P8.disMarksOut.anytrue,P7.disMarksIn.numtrue,P7.disMarksIn.anytrue,$PRE.P6.enableIn.posTE,P6.enableIn.posTE,$PRE.P6.enableIn.k,P6.enableIn.k,$PRE.P6.enableIn.endWhile,P6.enableIn.endWhile,P6.enableIn.randNum,$PRE.P6.enableIn.randNum,P6.enableIn.state128[4],$PRE.P6.enableIn.state128[4],P6.enableIn.state128[3],$PRE.P6.enableIn.state128[3],P6.enableIn.state128[2],$PRE.P6.enableIn.state128[2],P6.enableIn.state128[1],$PRE.P6.enableIn.state128[1],P6.enableIn.cumEnablingProb[1],$PRE.P6.enableIn.cumEnablingProb[1],$PRE.P6.enableIn.sumEnablingProbTAin,P6.enableIn.sumEnablingProbTAin,$PRE.P6.enableIn.nTAin,P6.enableIn.nTAin,$PRE.P6.enableIn.nremTAin,P6.enableIn.nremTAin,P6.enableIn.remTAin[1],$PRE.P6.enableIn.remTAin[1],$PRE.P6.enableIn.Index,P6.enableIn.Index,$PRE.P6.enableIn.arcWeightSum,P6.enableIn.arcWeightSum,P6.enableIn.disTAin[1],$PRE.P6.enableIn.disTAin[1],$PRE.P5.enableOut.posTE,P5.enableOut.posTE,$PRE.P5.enableOut.k,P5.enableOut.k,$PRE.P5.enableOut.endWhile,P5.enableOut.endWhile,P5.enableOut.randNum,$PRE.P5.enableOut.randNum,P5.enableOut.state128[4],$PRE.P5.enableOut.state128[4],P5.enableOut.state128[3],$PRE.P5.enableOut.state128[3],P5.enableOut.state128[2],$PRE.P5.enableOut.state128[2],P5.enableOut.state128[1],$PRE.P5.enableOut.state128[1],P5.enableOut.cumEnablingProb[1],$PRE.P5.enableOut.cumEnablingProb[1],$PRE.P5.enableOut.sumEnablingProbTAout,P5.enableOut.sumEnablingProbTAout,$PRE.P5.enableOut.nTAout,P5.enableOut.nTAout,$PRE.P5.enableOut.nremTAout,P5.enableOut.nremTAout,P5.enableOut.remTAout[1],$PRE.P5.enableOut.remTAout[1],$PRE.P5.enableOut.Index,P5.enableOut.Index,$PRE.P5.enableOut.arcWeightSum,P5.enableOut.arcWeightSum,P5.enableOut.disTAout[1],$PRE.P5.enableOut.disTAout[1],T3.inPlaces[1].tokenInOut,$PRE.P5.disMarksInOut,$PRE.P6.disMarksIn.anytrue,$PRE.P6.disMarksOut.anytrue,P6.disMarksInOut,$whenCondition20,$PRE.P5.disMarksIn.anytrue,$PRE.P5.disMarksOut.anytrue,P5.disMarksInOut,$whenCondition19,P6.disMarksOut.numtrue,P6.disMarksOut.anytrue,P5.disMarksIn.numtrue,P5.disMarksIn.anytrue,$PRE.P4.enableIn.posTE,P4.enableIn.posTE,$PRE.P4.enableIn.k,P4.enableIn.k,$PRE.P4.enableIn.endWhile,P4.enableIn.endWhile,P4.enableIn.randNum,$PRE.P4.enableIn.randNum,P4.enableIn.state128[4],$PRE.P4.enableIn.state128[4],P4.enableIn.state128[3],$PRE.P4.enableIn.state128[3],P4.enableIn.state128[2],$PRE.P4.enableIn.state128[2],P4.enableIn.state128[1],$PRE.P4.enableIn.state128[1],P4.enableIn.cumEnablingProb[1],$PRE.P4.enableIn.cumEnablingProb[1],$PRE.P4.enableIn.sumEnablingProbTAin,P4.enableIn.sumEnablingProbTAin,$PRE.P4.enableIn.nTAin,P4.enableIn.nTAin,$PRE.P4.enableIn.nremTAin,P4.enableIn.nremTAin,P4.enableIn.remTAin[1],$PRE.P4.enableIn.remTAin[1],$PRE.P4.enableIn.Index,P4.enableIn.Index,$PRE.P4.enableIn.arcWeightSum,P4.enableIn.arcWeightSum,P4.enableIn.disTAin[1],$PRE.P4.enableIn.disTAin[1],$PRE.P3.enableOut.posTE,P3.enableOut.posTE,$PRE.P3.enableOut.k,P3.enableOut.k,$PRE.P3.enableOut.endWhile,P3.enableOut.endWhile,P3.enableOut.randNum,$PRE.P3.enableOut.randNum,P3.enableOut.state128[4],$PRE.P3.enableOut.state128[4],P3.enableOut.state128[3],$PRE.P3.enableOut.state128[3],P3.enableOut.state128[2],$PRE.P3.enableOut.state128[2],P3.enableOut.state128[1],$PRE.P3.enableOut.state128[1],P3.enableOut.cumEnablingProb[1],$PRE.P3.enableOut.cumEnablingProb[1],$PRE.P3.enableOut.sumEnablingProbTAout,P3.enableOut.sumEnablingProbTAout,$PRE.P3.enableOut.nTAout,P3.enableOut.nTAout,$PRE.P3.enableOut.nremTAout,P3.enableOut.nremTAout,P3.enableOut.remTAout[1],$PRE.P3.enableOut.remTAout[1],$PRE.P3.enableOut.Index,P3.enableOut.Index,$PRE.P3.enableOut.arcWeightSum,P3.enableOut.arcWeightSum,P3.enableOut.disTAout[1],$PRE.P3.enableOut.disTAout[1],T2.inPlaces[1].tokenInOut,$PRE.P3.disMarksInOut,$PRE.P4.disMarksIn.anytrue,$PRE.P4.disMarksOut.anytrue,P4.disMarksInOut,$whenCondition16,$PRE.P3.disMarksIn.anytrue,$PRE.P3.disMarksOut.anytrue,P3.disMarksInOut,$whenCondition15,P4.disMarksOut.numtrue,P4.disMarksOut.anytrue,P3.disMarksIn.numtrue,P3.disMarksIn.anytrue,$PRE.P2.enableIn.posTE,P2.enableIn.posTE,$PRE.P2.enableIn.k,P2.enableIn.k,$PRE.P2.enableIn.endWhile,P2.enableIn.endWhile,P2.enableIn.randNum,$PRE.P2.enableIn.randNum,P2.enableIn.state128[4],$PRE.P2.enableIn.state128[4],P2.enableIn.state128[3],$PRE.P2.enableIn.state128[3],P2.enableIn.state128[2],$PRE.P2.enableIn.state128[2],P2.enableIn.state128[1],$PRE.P2.enableIn.state128[1],P2.enableIn.cumEnablingProb[1],$PRE.P2.enableIn.cumEnablingProb[1],$PRE.P2.enableIn.sumEnablingProbTAin,P2.enableIn.sumEnablingProbTAin,$PRE.P2.enableIn.nTAin,P2.enableIn.nTAin,$PRE.P2.enableIn.nremTAin,P2.enableIn.nremTAin,P2.enableIn.remTAin[1],$PRE.P2.enableIn.remTAin[1],$PRE.P2.enableIn.Index,P2.enableIn.Index,$PRE.P2.enableIn.arcWeightSum,P2.enableIn.arcWeightSum,P2.enableIn.disTAin[1],$PRE.P2.enableIn.disTAin[1],$PRE.P1.enableOut.posTE,P1.enableOut.posTE,$PRE.P1.enableOut.k,P1.enableOut.k,$PRE.P1.enableOut.endWhile,P1.enableOut.endWhile,P1.enableOut.randNum,$PRE.P1.enableOut.randNum,P1.enableOut.state128[4],$PRE.P1.enableOut.state128[4],P1.enableOut.state128[3],$PRE.P1.enableOut.state128[3],P1.enableOut.state128[2],$PRE.P1.enableOut.state128[2],P1.enableOut.state128[1],$PRE.P1.enableOut.state128[1],P1.enableOut.cumEnablingProb[1],$PRE.P1.enableOut.cumEnablingProb[1],$PRE.P1.enableOut.sumEnablingProbTAout,P1.enableOut.sumEnablingProbTAout,$PRE.P1.enableOut.nTAout,P1.enableOut.nTAout,$PRE.P1.enableOut.nremTAout,P1.enableOut.nremTAout,P1.enableOut.remTAout[1],$PRE.P1.enableOut.remTAout[1],$PRE.P1.enableOut.Index,P1.enableOut.Index,$PRE.P1.enableOut.arcWeightSum,P1.enableOut.arcWeightSum,P1.enableOut.disTAout[1],$PRE.P1.enableOut.disTAout[1],T1.inPlaces[1].tokenInOut,$PRE.P1.disMarksInOut,$PRE.P2.disMarksIn.anytrue,$PRE.P2.disMarksOut.anytrue,P2.disMarksInOut,$whenCondition12,$PRE.P1.disMarksIn.anytrue,$PRE.P1.disMarksOut.anytrue,P1.disMarksInOut,$whenCondition11,P2.disMarksOut.numtrue,P2.disMarksOut.anytrue,P1.disMarksIn.numtrue,P1.disMarksIn.anytrue,$PRE.P8.enableOut.Index,P8.enableOut.Index,$PRE.P8.enableOut.endWhile,P8.enableOut.endWhile,$PRE.P8.enableOut.sumEnablingProbTAout,P8.enableOut.sumEnablingProbTAout,P8.enableOut.randNum,$PRE.P8.enableOut.randNum,P8.enableOut.state128[4],$PRE.P8.enableOut.state128[4],P8.enableOut.state128[3],$PRE.P8.enableOut.state128[3],P8.enableOut.state128[2],$PRE.P8.enableOut.state128[2],P8.enableOut.state128[1],$PRE.P8.enableOut.state128[1],$PRE.P8.enableOut.posTE,P8.enableOut.posTE,$PRE.P8.enableOut.k,P8.enableOut.k,$PRE.P8.enableOut.nTAout,P8.enableOut.nTAout,$PRE.P8.enableOut.nremTAout,P8.enableOut.nremTAout,$PRE.P8.enableOut.arcWeightSum,P8.enableOut.arcWeightSum,P8.delayPassedOut.numtrue,P8.delayPassedOut.anytrue,$whenCondition8,$PRE.P7.enableIn.Index,P7.enableIn.Index,$PRE.P7.enableIn.endWhile,P7.enableIn.endWhile,$PRE.P7.enableIn.sumEnablingProbTAin,P7.enableIn.sumEnablingProbTAin,P7.enableIn.randNum,$PRE.P7.enableIn.randNum,P7.enableIn.state128[4],$PRE.P7.enableIn.state128[4],P7.enableIn.state128[3],$PRE.P7.enableIn.state128[3],P7.enableIn.state128[2],$PRE.P7.enableIn.state128[2],P7.enableIn.state128[1],$PRE.P7.enableIn.state128[1],$PRE.P7.enableIn.posTE,P7.enableIn.posTE,$PRE.P7.enableIn.k,P7.enableIn.k,$PRE.P7.enableIn.nTAin,P7.enableIn.nTAin,$PRE.P7.enableIn.nremTAin,P7.enableIn.nremTAin,$PRE.P7.enableIn.arcWeightSum,P7.enableIn.arcWeightSum,P7.delayPassedIn.numtrue,P7.delayPassedIn.anytrue,$whenCondition7,$PRE.P6.enableOut.Index,P6.enableOut.Index,$PRE.P6.enableOut.endWhile,P6.enableOut.endWhile,$PRE.P6.enableOut.sumEnablingProbTAout,P6.enableOut.sumEnablingProbTAout,P6.enableOut.randNum,$PRE.P6.enableOut.randNum,P6.enableOut.state128[4],$PRE.P6.enableOut.state128[4],P6.enableOut.state128[3],$PRE.P6.enableOut.state128[3],P6.enableOut.state128[2],$PRE.P6.enableOut.state128[2],P6.enableOut.state128[1],$PRE.P6.enableOut.state128[1],$PRE.P6.enableOut.posTE,P6.enableOut.posTE,$PRE.P6.enableOut.k,P6.enableOut.k,$PRE.P6.enableOut.nTAout,P6.enableOut.nTAout,$PRE.P6.enableOut.nremTAout,P6.enableOut.nremTAout,$PRE.P6.enableOut.arcWeightSum,P6.enableOut.arcWeightSum,P6.delayPassedOut.numtrue,P6.delayPassedOut.anytrue,$whenCondition6,$PRE.P5.enableIn.Index,P5.enableIn.Index,$PRE.P5.enableIn.endWhile,P5.enableIn.endWhile,$PRE.P5.enableIn.sumEnablingProbTAin,P5.enableIn.sumEnablingProbTAin,P5.enableIn.randNum,$PRE.P5.enableIn.randNum,P5.enableIn.state128[4],$PRE.P5.enableIn.state128[4],P5.enableIn.state128[3],$PRE.P5.enableIn.state128[3],P5.enableIn.state128[2],$PRE.P5.enableIn.state128[2],P5.enableIn.state128[1],$PRE.P5.enableIn.state128[1],$PRE.P5.enableIn.posTE,P5.enableIn.posTE,$PRE.P5.enableIn.k,P5.enableIn.k,$PRE.P5.enableIn.nTAin,P5.enableIn.nTAin,$PRE.P5.enableIn.nremTAin,P5.enableIn.nremTAin,$PRE.P5.enableIn.arcWeightSum,P5.enableIn.arcWeightSum,P5.delayPassedIn.numtrue,P5.delayPassedIn.anytrue,$whenCondition5,$PRE.P4.enableOut.Index,P4.enableOut.Index,$PRE.P4.enableOut.endWhile,P4.enableOut.endWhile,$PRE.P4.enableOut.sumEnablingProbTAout,P4.enableOut.sumEnablingProbTAout,P4.enableOut.randNum,$PRE.P4.enableOut.randNum,P4.enableOut.state128[4],$PRE.P4.enableOut.state128[4],P4.enableOut.state128[3],$PRE.P4.enableOut.state128[3],P4.enableOut.state128[2],$PRE.P4.enableOut.state128[2],P4.enableOut.state128[1],$PRE.P4.enableOut.state128[1],$PRE.P4.enableOut.posTE,P4.enableOut.posTE,$PRE.P4.enableOut.k,P4.enableOut.k,$PRE.P4.enableOut.nTAout,P4.enableOut.nTAout,$PRE.P4.enableOut.nremTAout,P4.enableOut.nremTAout,$PRE.P4.enableOut.arcWeightSum,P4.enableOut.arcWeightSum,P4.delayPassedOut.numtrue,P4.delayPassedOut.anytrue,$whenCondition4,$PRE.P3.enableIn.Index,P3.enableIn.Index,$PRE.P3.enableIn.endWhile,P3.enableIn.endWhile,$PRE.P3.enableIn.sumEnablingProbTAin,P3.enableIn.sumEnablingProbTAin,P3.enableIn.randNum,$PRE.P3.enableIn.randNum,P3.enableIn.state128[4],$PRE.P3.enableIn.state128[4],P3.enableIn.state128[3],$PRE.P3.enableIn.state128[3],P3.enableIn.state128[2],$PRE.P3.enableIn.state128[2],P3.enableIn.state128[1],$PRE.P3.enableIn.state128[1],$PRE.P3.enableIn.posTE,P3.enableIn.posTE,$PRE.P3.enableIn.k,P3.enableIn.k,$PRE.P3.enableIn.nTAin,P3.enableIn.nTAin,$PRE.P3.enableIn.nremTAin,P3.enableIn.nremTAin,$PRE.P3.enableIn.arcWeightSum,P3.enableIn.arcWeightSum,P3.delayPassedIn.numtrue,P3.delayPassedIn.anytrue,$whenCondition3,$PRE.P2.enableOut.Index,P2.enableOut.Index,$PRE.P2.enableOut.endWhile,P2.enableOut.endWhile,$PRE.P2.enableOut.sumEnablingProbTAout,P2.enableOut.sumEnablingProbTAout,P2.enableOut.randNum,$PRE.P2.enableOut.randNum,P2.enableOut.state128[4],$PRE.P2.enableOut.state128[4],P2.enableOut.state128[3],$PRE.P2.enableOut.state128[3],P2.enableOut.state128[2],$PRE.P2.enableOut.state128[2],P2.enableOut.state128[1],$PRE.P2.enableOut.state128[1],$PRE.P2.enableOut.posTE,P2.enableOut.posTE,$PRE.P2.enableOut.k,P2.enableOut.k,$PRE.P2.enableOut.nTAout,P2.enableOut.nTAout,$PRE.P2.enableOut.nremTAout,P2.enableOut.nremTAout,$PRE.P2.enableOut.arcWeightSum,P2.enableOut.arcWeightSum,P2.delayPassedOut.numtrue,P2.delayPassedOut.anytrue,$whenCondition2,$PRE.P1.enableIn.Index,P1.enableIn.Index,$PRE.P1.enableIn.endWhile,P1.enableIn.endWhile,$PRE.P1.enableIn.sumEnablingProbTAin,P1.enableIn.sumEnablingProbTAin,P1.enableIn.randNum,$PRE.P1.enableIn.randNum,P1.enableIn.state128[4],$PRE.P1.enableIn.state128[4],P1.enableIn.state128[3],$PRE.P1.enableIn.state128[3],P1.enableIn.state128[2],$PRE.P1.enableIn.state128[2],P1.enableIn.state128[1],$PRE.P1.enableIn.state128[1],$PRE.P1.enableIn.posTE,P1.enableIn.posTE,$PRE.P1.enableIn.k,P1.enableIn.k,$PRE.P1.enableIn.nTAin,P1.enableIn.nTAin,$PRE.P1.enableIn.nremTAin,P1.enableIn.nremTAin,$PRE.P1.enableIn.arcWeightSum,P1.enableIn.arcWeightSum,P1.delayPassedIn.numtrue,P1.delayPassedIn.anytrue,$whenCondition1,P7.outTransition[1].disPlace,P7.outTransition[1].minTokensint,P7.outTransition[1].tint,T4.inPlaces[1].disTransition,T4.firingCon,T4.outPlaces[1].disTransition,T4.outPlaces[1].enabledByInPlaces,P8.inTransition[1].disPlace,P8.inTransition[1].maxTokensint,P8.inTransition[1].tint,P8.reStart,P7.reStart,P7.disMarksOut.vec[1],P7.disMarksOut.numtrue,P7.disMarksOut.anytrue,P8.disMarksIn.vec[1],P8.disMarksIn.numtrue,P8.disMarksIn.anytrue,IA2.outTransition.arcType,P7.delayPassedOut.vec[1],P8.delayPassedIn.vec[1],T4.activation.arcWeightIntIn[1],T4.activation.arcWeightIntOut[1],T4.activation.testValueInt[1],T4.activation.disPlaceIn[1],T4.activation.minTokensInt[1],T4.activation.tIntIn[1],T4.activation.disPlaceOut[1],T4.activation.maxTokensInt[1],T4.activation.tIntOut[1],P7.outTransition[1].arcWeightint,IA2.testColor[3],IA2.testColor[2],IA2.testColor[1],T4.fire_,T4.activation.NoTokens,T4.activation.weaklyOutputActiveVec[1],T4.activation.weaklyInputActiveVec[1],T4.activation.active,T4.activation.normalArc[1],T4.activation.emptied[1],T4.activation.fed[1],T4.activation.arcType[1],P8.emptying.numtrue,P8.emptying.anytrue,P8.feeding.numtrue,P8.feeding.anytrue,P8.feeding.vec[1],P8.delayPassedIn.numtrue,P8.delayPassedIn.anytrue,P8.enableIn.TEin[1],$PRE.P8.enableIn.TEin[1],P8.enableIn.TEin_[1],P8.enableIn.active[1],P8.fireIn[1],$PRE.P8.fireIn[1],P7.emptying.numtrue,P7.emptying.anytrue,P7.emptying.vec[1],P7.feeding.numtrue,P7.feeding.anytrue,P7.delayPassedOut.numtrue,P7.delayPassedOut.anytrue,P7.enableOut.TEout[1],$PRE.P7.enableOut.TEout[1],P7.enableOut.TEout_[1],P7.enableOut.TAout[1],P7.fireOut[1],$PRE.P7.fireOut[1],$whenCondition22,$whenCondition21,P5.outTransition[1].disPlace,P5.outTransition[1].minTokensint,P5.outTransition[1].tint,T3.inPlaces[1].disTransition,T3.firingCon,T3.outPlaces[1].disTransition,T3.outPlaces[1].enabledByInPlaces,P6.inTransition[1].disPlace,P6.inTransition[1].maxTokensint,P6.inTransition[1].tint,P6.reStart,P5.reStart,P5.disMarksOut.vec[1],P5.disMarksOut.numtrue,P5.disMarksOut.anytrue,P6.disMarksIn.vec[1],P6.disMarksIn.numtrue,P6.disMarksIn.anytrue,IA1.outTransition.arcType,P5.delayPassedOut.vec[1],P6.delayPassedIn.vec[1],T3.activation.arcWeightIntIn[1],T3.activation.arcWeightIntOut[1],T3.activation.testValueInt[1],T3.activation.disPlaceIn[1],T3.activation.minTokensInt[1],T3.activation.tIntIn[1],T3.activation.disPlaceOut[1],T3.activation.maxTokensInt[1],T3.activation.tIntOut[1],P5.outTransition[1].arcWeightint,IA1.testColor[3],IA1.testColor[2],IA1.testColor[1],T3.fire_,T3.activation.NoTokens,T3.activation.weaklyOutputActiveVec[1],T3.activation.weaklyInputActiveVec[1],T3.activation.active,T3.activation.normalArc[1],T3.activation.emptied[1],T3.activation.fed[1],T3.activation.arcType[1],P6.emptying.numtrue,P6.emptying.anytrue,P6.feeding.numtrue,P6.feeding.anytrue,P6.feeding.vec[1],P6.delayPassedIn.numtrue,P6.delayPassedIn.anytrue,P6.enableIn.TEin[1],$PRE.P6.enableIn.TEin[1],P6.enableIn.TEin_[1],P6.enableIn.active[1],P6.fireIn[1],$PRE.P6.fireIn[1],P5.emptying.numtrue,P5.emptying.anytrue,P5.emptying.vec[1],P5.feeding.numtrue,P5.feeding.anytrue,P5.delayPassedOut.numtrue,P5.delayPassedOut.anytrue,P5.enableOut.TEout[1],$PRE.P5.enableOut.TEout[1],P5.enableOut.TEout_[1],P5.enableOut.TAout[1],P5.fireOut[1],$PRE.P5.fireOut[1],$whenCondition18,$whenCondition17,P3.outTransition[1].disPlace,P3.outTransition[1].minTokensint,P3.outTransition[1].tint,T2.inPlaces[1].disTransition,T2.firingCon,T2.outPlaces[1].disTransition,T2.outPlaces[1].enabledByInPlaces,P4.inTransition[1].disPlace,P4.inTransition[1].maxTokensint,P4.inTransition[1].tint,P4.reStart,P3.reStart,P3.disMarksOut.vec[1],P3.disMarksOut.numtrue,P3.disMarksOut.anytrue,P4.disMarksIn.vec[1],P4.disMarksIn.numtrue,P4.disMarksIn.anytrue,TA2.outTransition.arcType,P3.delayPassedOut.vec[1],P4.delayPassedIn.vec[1],T2.activation.arcWeightIntIn[1],T2.activation.arcWeightIntOut[1],T2.activation.testValueInt[1],T2.activation.disPlaceIn[1],T2.activation.minTokensInt[1],T2.activation.tIntIn[1],T2.activation.disPlaceOut[1],T2.activation.maxTokensInt[1],T2.activation.tIntOut[1],P3.outTransition[1].arcWeightint,TA2.testColor[3],TA2.testColor[2],TA2.testColor[1],T2.fire_,T2.activation.NoTokens,T2.activation.weaklyOutputActiveVec[1],T2.activation.weaklyInputActiveVec[1],T2.activation.active,T2.activation.normalArc[1],T2.activation.emptied[1],T2.activation.fed[1],T2.activation.arcType[1],P4.emptying.numtrue,P4.emptying.anytrue,P4.feeding.numtrue,P4.feeding.anytrue,P4.feeding.vec[1],P4.delayPassedIn.numtrue,P4.delayPassedIn.anytrue,P4.enableIn.TEin[1],$PRE.P4.enableIn.TEin[1],P4.enableIn.TEin_[1],P4.enableIn.active[1],P4.fireIn[1],$PRE.P4.fireIn[1],P3.emptying.numtrue,P3.emptying.anytrue,P3.emptying.vec[1],P3.feeding.numtrue,P3.feeding.anytrue,P3.delayPassedOut.numtrue,P3.delayPassedOut.anytrue,P3.enableOut.TEout[1],$PRE.P3.enableOut.TEout[1],P3.enableOut.TEout_[1],P3.enableOut.TAout[1],P3.fireOut[1],$PRE.P3.fireOut[1],$whenCondition14,$whenCondition13,P1.outTransition[1].disPlace,P1.outTransition[1].minTokensint,P1.outTransition[1].tint,T1.inPlaces[1].disTransition,T1.firingCon,T1.outPlaces[1].disTransition,T1.outPlaces[1].enabledByInPlaces,P2.inTransition[1].disPlace,P2.inTransition[1].maxTokensint,P2.inTransition[1].tint,P2.reStart,P1.reStart,P1.disMarksOut.vec[1],P1.disMarksOut.numtrue,P1.disMarksOut.anytrue,P2.disMarksIn.vec[1],P2.disMarksIn.numtrue,P2.disMarksIn.anytrue,TA1.outTransition.arcType,P1.delayPassedOut.vec[1],P2.delayPassedIn.vec[1],T1.activation.arcWeightIntIn[1],T1.activation.arcWeightIntOut[1],T1.activation.testValueInt[1],T1.activation.disPlaceIn[1],T1.activation.minTokensInt[1],T1.activation.tIntIn[1],T1.activation.disPlaceOut[1],T1.activation.maxTokensInt[1],T1.activation.tIntOut[1],P1.outTransition[1].arcWeightint,TA1.testColor[3],TA1.testColor[2],TA1.testColor[1],T1.fire_,T1.activation.NoTokens,T1.activation.weaklyOutputActiveVec[1],T1.activation.weaklyInputActiveVec[1],T1.activation.active,T1.activation.normalArc[1],T1.activation.emptied[1],T1.activation.fed[1],T1.activation.arcType[1],P2.emptying.numtrue,P2.emptying.anytrue,P2.feeding.numtrue,P2.feeding.anytrue,P2.feeding.vec[1],P2.delayPassedIn.numtrue,P2.delayPassedIn.anytrue,P2.enableIn.TEin[1],$PRE.P2.enableIn.TEin[1],P2.enableIn.TEin_[1],P2.enableIn.active[1],P2.fireIn[1],$PRE.P2.fireIn[1],P1.emptying.numtrue,P1.emptying.anytrue,P1.emptying.vec[1],P1.feeding.numtrue,P1.feeding.anytrue,P1.delayPassedOut.numtrue,P1.delayPassedOut.anytrue,P1.enableOut.TEout[1],$PRE.P1.enableOut.TEout[1],P1.enableOut.TEout_[1],P1.enableOut.TAout[1],P1.fireOut[1],$PRE.P1.fireOut[1],$whenCondition10,$whenCondition9,P7.outTransition[1].normalArc,P7.outTransition[1].testValueint,P7.outTransition[1].arcType,P5.outTransition[1].normalArc,P5.outTransition[1].testValueint,P5.outTransition[1].arcType,P3.outTransition[1].normalArc,P3.outTransition[1].testValueint,P3.outTransition[1].arcType,P1.outTransition[1].normalArc,P1.outTransition[1].testValueint,P1.outTransition[1].arcType) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (880): * Single equations (assignments): 792 * Array equations: 0 * Algorithm blocks: 84 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 4 * 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): 4 systems {(1,6), (1,6), (1,6), (1,6)} Notification: Performance of prepare postOptimizeDAE: time 0.006268/0.9412, allocations: 5.022 MB / 0.6223 GB, free: 112.1 MB / 462.1 MB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.001683/0.9429, allocations: 0.5038 MB / 0.6228 GB, free: 112.1 MB / 462.1 MB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.02391/0.9668, allocations: 14.11 MB / 0.6366 GB, free: 106.2 MB / 462.1 MB Notification: Performance of postOpt inlineArrayEqn (simulation): time 7.23e-05/0.9669, allocations: 37.39 kB / 0.6367 GB, free: 106.2 MB / 462.1 MB Notification: Performance of postOpt constantLinearSystem (simulation): time 2.905e-05/0.9669, allocations: 4.141 kB / 0.6367 GB, free: 106.2 MB / 462.1 MB Notification: Performance of postOpt simplifysemiLinear (simulation): time 6.228e-05/0.967, allocations: 19.06 kB / 0.6367 GB, free: 106.2 MB / 462.1 MB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.03941/1.006, allocations: 20.58 MB / 0.6568 GB, free: 91.18 MB / 462.1 MB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 0.0217/1.028, allocations: 13.46 MB / 0.6699 GB, free: 77.4 MB / 462.1 MB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.001212/1.029, allocations: 251.5 kB / 0.6702 GB, free: 77.15 MB / 462.1 MB Notification: Performance of postOpt tearingSystem (simulation): time 0.001204/1.031, allocations: 0.4901 MB / 0.6706 GB, free: 76.65 MB / 462.1 MB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.001449/1.032, allocations: 307.4 kB / 0.6709 GB, free: 76.36 MB / 462.1 MB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 0.001658/1.034, allocations: 2.686 MB / 0.6736 GB, free: 73.59 MB / 462.1 MB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 4.909e-06/1.034, allocations: 11.91 kB / 0.6736 GB, free: 73.57 MB / 462.1 MB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.03286/1.067, allocations: 21.76 MB / 0.6948 GB, free: 51.43 MB / 462.1 MB Notification: Performance of postOpt removeConstants (simulation): time 0.0008001/1.068, allocations: 444 kB / 0.6952 GB, free: 50.99 MB / 462.1 MB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.002462/1.07, allocations: 0.5428 MB / 0.6958 GB, free: 50.45 MB / 462.1 MB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.004441/1.074, allocations: 0.5112 MB / 0.6963 GB, free: 49.93 MB / 462.1 MB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.00256/1.077, allocations: 1.225 MB / 0.6975 GB, free: 48.71 MB / 462.1 MB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.001875/1.079, allocations: 346 kB / 0.6978 GB, free: 48.38 MB / 462.1 MB Notification: Performance of sorting global known variables: time 0.002079/1.081, allocations: 1.141 MB / 0.6989 GB, free: 47.21 MB / 462.1 MB Notification: Performance of sort global known variables: time 2.2e-07/1.081, allocations: 0 / 0.6989 GB, free: 47.21 MB / 462.1 MB Notification: Performance of remove unused functions: time 0.01032/1.091, allocations: 1.84 MB / 0.7007 GB, free: 45.38 MB / 462.1 MB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 12 * Number of states: 8 (P1.t_,P2.t_,P3.t_,P4.t_,P5.t_,P6.t_,P7.t_,P8.t_) * Number of discrete variables: 456 ($whenCondition1,P1.enableIn.state128[1],P1.enableIn.state128[2],P1.enableIn.state128[3],P1.enableIn.state128[4],P1.enableIn.arcWeightSum,P1.enableIn.nremTAin,P1.enableIn.nTAin,P1.enableIn.k,P1.enableIn.posTE,P1.enableIn.randNum,P1.enableIn.sumEnablingProbTAin,P1.enableIn.endWhile,P1.enableIn.Index,P1.delayPassedIn.anytrue,P1.delayPassedIn.numtrue,$whenCondition2,P2.enableOut.state128[1],P2.enableOut.state128[2],P2.enableOut.state128[3],P2.enableOut.state128[4],P2.enableOut.arcWeightSum,P2.enableOut.nremTAout,P2.enableOut.nTAout,P2.enableOut.k,P2.enableOut.posTE,P2.enableOut.randNum,P2.enableOut.sumEnablingProbTAout,P2.enableOut.endWhile,P2.enableOut.Index,P2.delayPassedOut.anytrue,P2.delayPassedOut.numtrue,$whenCondition3,P3.enableIn.state128[1],P3.enableIn.state128[2],P3.enableIn.state128[3],P3.enableIn.state128[4],P3.enableIn.arcWeightSum,P3.enableIn.nremTAin,P3.enableIn.nTAin,P3.enableIn.k,P3.enableIn.posTE,P3.enableIn.randNum,P3.enableIn.sumEnablingProbTAin,P3.enableIn.endWhile,P3.enableIn.Index,P3.delayPassedIn.anytrue,P3.delayPassedIn.numtrue,$whenCondition4,P4.enableOut.state128[1],P4.enableOut.state128[2],P4.enableOut.state128[3],P4.enableOut.state128[4],P4.enableOut.arcWeightSum,P4.enableOut.nremTAout,P4.enableOut.nTAout,P4.enableOut.k,P4.enableOut.posTE,P4.enableOut.randNum,P4.enableOut.sumEnablingProbTAout,P4.enableOut.endWhile,P4.enableOut.Index,P4.delayPassedOut.anytrue,P4.delayPassedOut.numtrue,$whenCondition5,P5.enableIn.state128[1],P5.enableIn.state128[2],P5.enableIn.state128[3],P5.enableIn.state128[4],P5.enableIn.arcWeightSum,P5.enableIn.nremTAin,P5.enableIn.nTAin,P5.enableIn.k,P5.enableIn.posTE,P5.enableIn.randNum,P5.enableIn.sumEnablingProbTAin,P5.enableIn.endWhile,P5.enableIn.Index,P5.delayPassedIn.anytrue,P5.delayPassedIn.numtrue,$whenCondition6,P6.enableOut.state128[1],P6.enableOut.state128[2],P6.enableOut.state128[3],P6.enableOut.state128[4],P6.enableOut.arcWeightSum,P6.enableOut.nremTAout,P6.enableOut.nTAout,P6.enableOut.k,P6.enableOut.posTE,P6.enableOut.randNum,P6.enableOut.sumEnablingProbTAout,P6.enableOut.endWhile,P6.enableOut.Index,P6.delayPassedOut.anytrue,P6.delayPassedOut.numtrue,$whenCondition7,P7.enableIn.state128[1],P7.enableIn.state128[2],P7.enableIn.state128[3],P7.enableIn.state128[4],P7.enableIn.arcWeightSum,P7.enableIn.nremTAin,P7.enableIn.nTAin,P7.enableIn.k,P7.enableIn.posTE,P7.enableIn.randNum,P7.enableIn.sumEnablingProbTAin,P7.enableIn.endWhile,P7.enableIn.Index,P7.delayPassedIn.anytrue,P7.delayPassedIn.numtrue,$whenCondition8,P8.enableOut.state128[1],P8.enableOut.state128[2],P8.enableOut.state128[3],P8.enableOut.state128[4],P8.enableOut.arcWeightSum,P8.enableOut.nremTAout,P8.enableOut.nTAout,P8.enableOut.k,P8.enableOut.posTE,P8.enableOut.randNum,P8.enableOut.sumEnablingProbTAout,P8.enableOut.endWhile,P8.enableOut.Index,P8.delayPassedOut.anytrue,P8.delayPassedOut.numtrue,P2.disMarksInOut,$cse8[1],$whenCondition12,$whenCondition11,$whenCondition9,$whenCondition10,P1.disMarksInOut,P1.fireOut[1],P1.enableOut.TAout[1],P1.enableOut.TEout_[1],P1.enableOut.state128[1],P1.enableOut.state128[2],P1.enableOut.state128[3],P1.enableOut.state128[4],P1.enableOut.TEout[1],P1.enableOut.disTAout[1],P1.enableOut.remTAout[1],P1.enableOut.cumEnablingProb[1],P1.enableOut.arcWeightSum,P1.enableOut.nremTAout,P1.enableOut.nTAout,P1.enableOut.k,P1.enableOut.posTE,P1.enableOut.randNum,P1.enableOut.sumEnablingProbTAout,P1.enableOut.endWhile,P1.enableOut.Index,P1.delayPassedOut.anytrue,P1.delayPassedOut.numtrue,P1.disMarksOut.anytrue,P1.disMarksOut.numtrue,P1.disMarksIn.anytrue,P1.disMarksIn.numtrue,P1.feeding.anytrue,P1.feeding.numtrue,P1.emptying.vec[1],P1.emptying.anytrue,P1.emptying.numtrue,P2.fireIn[1],P2.enableIn.active[1],P2.enableIn.TEin_[1],P2.enableIn.state128[1],P2.enableIn.state128[2],P2.enableIn.state128[3],P2.enableIn.state128[4],P2.enableIn.TEin[1],P2.enableIn.disTAin[1],P2.enableIn.remTAin[1],P2.enableIn.cumEnablingProb[1],P2.enableIn.arcWeightSum,P2.enableIn.nremTAin,P2.enableIn.nTAin,P2.enableIn.k,P2.enableIn.posTE,P2.enableIn.randNum,P2.enableIn.sumEnablingProbTAin,P2.enableIn.endWhile,P2.enableIn.Index,P2.delayPassedIn.anytrue,P2.delayPassedIn.numtrue,P2.disMarksOut.anytrue,P2.disMarksOut.numtrue,P2.disMarksIn.anytrue,P2.disMarksIn.numtrue,P2.feeding.vec[1],P2.feeding.anytrue,P2.feeding.numtrue,P2.emptying.anytrue,P2.emptying.numtrue,T1.inPlaces[1].tokenInOut,T1.activation.arcType[1],T1.activation.fed[1],T1.activation.emptied[1],T1.activation.normalArc[1],T1.activation.active,T1.activation.weaklyInputActiveVec[1],T1.activation.weaklyOutputActiveVec[1],T1.activation.NoTokens,T1.fire_,TA1.testColor[1],TA1.testColor[2],TA1.testColor[3],P4.disMarksInOut,$cse6[1],$whenCondition16,$whenCondition15,$whenCondition13,$whenCondition14,P3.disMarksInOut,P3.fireOut[1],P3.enableOut.TAout[1],P3.enableOut.TEout_[1],P3.enableOut.state128[1],P3.enableOut.state128[2],P3.enableOut.state128[3],P3.enableOut.state128[4],P3.enableOut.TEout[1],P3.enableOut.disTAout[1],P3.enableOut.remTAout[1],P3.enableOut.cumEnablingProb[1],P3.enableOut.arcWeightSum,P3.enableOut.nremTAout,P3.enableOut.nTAout,P3.enableOut.k,P3.enableOut.posTE,P3.enableOut.randNum,P3.enableOut.sumEnablingProbTAout,P3.enableOut.endWhile,P3.enableOut.Index,P3.delayPassedOut.anytrue,P3.delayPassedOut.numtrue,P3.disMarksOut.anytrue,P3.disMarksOut.numtrue,P3.disMarksIn.anytrue,P3.disMarksIn.numtrue,P3.feeding.anytrue,P3.feeding.numtrue,P3.emptying.vec[1],P3.emptying.anytrue,P3.emptying.numtrue,P4.fireIn[1],P4.enableIn.active[1],P4.enableIn.TEin_[1],P4.enableIn.state128[1],P4.enableIn.state128[2],P4.enableIn.state128[3],P4.enableIn.state128[4],P4.enableIn.TEin[1],P4.enableIn.disTAin[1],P4.enableIn.remTAin[1],P4.enableIn.cumEnablingProb[1],P4.enableIn.arcWeightSum,P4.enableIn.nremTAin,P4.enableIn.nTAin,P4.enableIn.k,P4.enableIn.posTE,P4.enableIn.randNum,P4.enableIn.sumEnablingProbTAin,P4.enableIn.endWhile,P4.enableIn.Index,P4.delayPassedIn.anytrue,P4.delayPassedIn.numtrue,P4.disMarksOut.anytrue,P4.disMarksOut.numtrue,P4.disMarksIn.anytrue,P4.disMarksIn.numtrue,P4.feeding.vec[1],P4.feeding.anytrue,P4.feeding.numtrue,P4.emptying.anytrue,P4.emptying.numtrue,T2.inPlaces[1].tokenInOut,T2.activation.arcType[1],T2.activation.fed[1],T2.activation.emptied[1],T2.activation.normalArc[1],T2.activation.active,T2.activation.weaklyInputActiveVec[1],T2.activation.weaklyOutputActiveVec[1],T2.activation.NoTokens,T2.fire_,TA2.testColor[1],TA2.testColor[2],TA2.testColor[3],P6.disMarksInOut,$cse4[1],$whenCondition20,$whenCondition19,$whenCondition17,$whenCondition18,P5.disMarksInOut,P5.fireOut[1],P5.enableOut.TAout[1],P5.enableOut.TEout_[1],P5.enableOut.state128[1],P5.enableOut.state128[2],P5.enableOut.state128[3],P5.enableOut.state128[4],P5.enableOut.TEout[1],P5.enableOut.disTAout[1],P5.enableOut.remTAout[1],P5.enableOut.cumEnablingProb[1],P5.enableOut.arcWeightSum,P5.enableOut.nremTAout,P5.enableOut.nTAout,P5.enableOut.k,P5.enableOut.posTE,P5.enableOut.randNum,P5.enableOut.sumEnablingProbTAout,P5.enableOut.endWhile,P5.enableOut.Index,P5.delayPassedOut.anytrue,P5.delayPassedOut.numtrue,P5.disMarksOut.anytrue,P5.disMarksOut.numtrue,P5.disMarksIn.anytrue,P5.disMarksIn.numtrue,P5.feeding.anytrue,P5.feeding.numtrue,P5.emptying.vec[1],P5.emptying.anytrue,P5.emptying.numtrue,P6.fireIn[1],P6.enableIn.active[1],P6.enableIn.TEin_[1],P6.enableIn.state128[1],P6.enableIn.state128[2],P6.enableIn.state128[3],P6.enableIn.state128[4],P6.enableIn.TEin[1],P6.enableIn.disTAin[1],P6.enableIn.remTAin[1],P6.enableIn.cumEnablingProb[1],P6.enableIn.arcWeightSum,P6.enableIn.nremTAin,P6.enableIn.nTAin,P6.enableIn.k,P6.enableIn.posTE,P6.enableIn.randNum,P6.enableIn.sumEnablingProbTAin,P6.enableIn.endWhile,P6.enableIn.Index,P6.delayPassedIn.anytrue,P6.delayPassedIn.numtrue,P6.disMarksOut.anytrue,P6.disMarksOut.numtrue,P6.disMarksIn.anytrue,P6.disMarksIn.numtrue,P6.feeding.vec[1],P6.feeding.anytrue,P6.feeding.numtrue,P6.emptying.anytrue,P6.emptying.numtrue,T3.inPlaces[1].tokenInOut,T3.activation.arcType[1],T3.activation.fed[1],T3.activation.emptied[1],T3.activation.normalArc[1],T3.activation.active,T3.activation.weaklyInputActiveVec[1],T3.activation.weaklyOutputActiveVec[1],T3.activation.NoTokens,T3.fire_,IA1.testColor[1],IA1.testColor[2],IA1.testColor[3],P8.disMarksInOut,$cse2[1],$whenCondition24,$whenCondition23,$whenCondition21,$whenCondition22,P7.disMarksInOut,P7.fireOut[1],P7.enableOut.TAout[1],P7.enableOut.TEout_[1],P7.enableOut.state128[1],P7.enableOut.state128[2],P7.enableOut.state128[3],P7.enableOut.state128[4],P7.enableOut.TEout[1],P7.enableOut.disTAout[1],P7.enableOut.remTAout[1],P7.enableOut.cumEnablingProb[1],P7.enableOut.arcWeightSum,P7.enableOut.nremTAout,P7.enableOut.nTAout,P7.enableOut.k,P7.enableOut.posTE,P7.enableOut.randNum,P7.enableOut.sumEnablingProbTAout,P7.enableOut.endWhile,P7.enableOut.Index,P7.delayPassedOut.anytrue,P7.delayPassedOut.numtrue,P7.disMarksOut.anytrue,P7.disMarksOut.numtrue,P7.disMarksIn.anytrue,P7.disMarksIn.numtrue,P7.feeding.anytrue,P7.feeding.numtrue,P7.emptying.vec[1],P7.emptying.anytrue,P7.emptying.numtrue,P8.fireIn[1],P8.enableIn.active[1],P8.enableIn.TEin_[1],P8.enableIn.state128[1],P8.enableIn.state128[2],P8.enableIn.state128[3],P8.enableIn.state128[4],P8.enableIn.TEin[1],P8.enableIn.disTAin[1],P8.enableIn.remTAin[1],P8.enableIn.cumEnablingProb[1],P8.enableIn.arcWeightSum,P8.enableIn.nremTAin,P8.enableIn.nTAin,P8.enableIn.k,P8.enableIn.posTE,P8.enableIn.randNum,P8.enableIn.sumEnablingProbTAin,P8.enableIn.endWhile,P8.enableIn.Index,P8.delayPassedIn.anytrue,P8.delayPassedIn.numtrue,P8.disMarksOut.anytrue,P8.disMarksOut.numtrue,P8.disMarksIn.anytrue,P8.disMarksIn.numtrue,P8.feeding.vec[1],P8.feeding.anytrue,P8.feeding.numtrue,P8.emptying.anytrue,P8.emptying.numtrue,T4.inPlaces[1].tokenInOut,T4.activation.arcType[1],T4.activation.fed[1],T4.activation.emptied[1],T4.activation.normalArc[1],T4.activation.active,T4.activation.weaklyInputActiveVec[1],T4.activation.weaklyOutputActiveVec[1],T4.activation.NoTokens,T4.fire_,IA2.testColor[1],IA2.testColor[2],IA2.testColor[3]) * Number of discrete states: 396 (P7.disMarksInOut,P8.fireIn[1],P8.disMarksOut.anytrue,P8.disMarksIn.anytrue,P7.fireOut[1],P7.disMarksOut.anytrue,P7.disMarksIn.anytrue,P8.emptying.numtrue,P8.emptying.anytrue,P8.feeding.numtrue,P8.feeding.anytrue,P8.disMarksIn.numtrue,P8.disMarksOut.numtrue,P8.delayPassedIn.numtrue,P8.delayPassedIn.anytrue,P7.emptying.numtrue,P7.emptying.anytrue,P7.feeding.numtrue,P7.feeding.anytrue,T4.activation.weaklyOutputActiveVec[1],T4.activation.weaklyInputActiveVec[1],T4.activation.active,T4.activation.NoTokens,P8.enableIn.TEin_[1],P8.enableIn.posTE,P8.enableIn.k,P8.enableIn.endWhile,P8.enableIn.state128[4],P8.enableIn.state128[3],P8.enableIn.state128[2],P8.enableIn.state128[1],P8.enableIn.randNum,P8.enableIn.cumEnablingProb[1],P8.enableIn.sumEnablingProbTAin,P8.enableIn.nTAin,P8.enableIn.nremTAin,P8.enableIn.remTAin[1],P8.enableIn.Index,P8.enableIn.arcWeightSum,P8.enableIn.disTAin[1],$whenCondition22,P8.enableIn.TEin[1],P7.disMarksIn.numtrue,P7.disMarksOut.numtrue,P7.delayPassedOut.numtrue,P7.delayPassedOut.anytrue,P7.enableOut.TEout_[1],P7.enableOut.posTE,P7.enableOut.k,P7.enableOut.endWhile,P7.enableOut.state128[4],P7.enableOut.state128[3],P7.enableOut.state128[2],P7.enableOut.state128[1],P7.enableOut.randNum,P7.enableOut.cumEnablingProb[1],P7.enableOut.sumEnablingProbTAout,P7.enableOut.nTAout,P7.enableOut.nremTAout,P7.enableOut.remTAout[1],P7.enableOut.Index,P7.enableOut.arcWeightSum,P7.enableOut.disTAout[1],$whenCondition21,P7.enableOut.TEout[1],P8.disMarkChange,P7.disMarkChange,P5.disMarksInOut,P6.fireIn[1],P6.disMarksOut.anytrue,P6.disMarksIn.anytrue,P5.fireOut[1],P5.disMarksOut.anytrue,P5.disMarksIn.anytrue,P6.emptying.numtrue,P6.emptying.anytrue,P6.feeding.numtrue,P6.feeding.anytrue,P6.disMarksIn.numtrue,P6.disMarksOut.numtrue,P6.delayPassedIn.numtrue,P6.delayPassedIn.anytrue,P5.emptying.numtrue,P5.emptying.anytrue,P5.feeding.numtrue,P5.feeding.anytrue,T3.activation.weaklyOutputActiveVec[1],T3.activation.weaklyInputActiveVec[1],T3.activation.active,T3.activation.NoTokens,P6.enableIn.TEin_[1],P6.enableIn.posTE,P6.enableIn.k,P6.enableIn.endWhile,P6.enableIn.state128[4],P6.enableIn.state128[3],P6.enableIn.state128[2],P6.enableIn.state128[1],P6.enableIn.randNum,P6.enableIn.cumEnablingProb[1],P6.enableIn.sumEnablingProbTAin,P6.enableIn.nTAin,P6.enableIn.nremTAin,P6.enableIn.remTAin[1],P6.enableIn.Index,P6.enableIn.arcWeightSum,P6.enableIn.disTAin[1],$whenCondition18,P6.enableIn.TEin[1],P5.disMarksIn.numtrue,P5.disMarksOut.numtrue,P5.delayPassedOut.numtrue,P5.delayPassedOut.anytrue,P5.enableOut.TEout_[1],P5.enableOut.posTE,P5.enableOut.k,P5.enableOut.endWhile,P5.enableOut.state128[4],P5.enableOut.state128[3],P5.enableOut.state128[2],P5.enableOut.state128[1],P5.enableOut.randNum,P5.enableOut.cumEnablingProb[1],P5.enableOut.sumEnablingProbTAout,P5.enableOut.nTAout,P5.enableOut.nremTAout,P5.enableOut.remTAout[1],P5.enableOut.Index,P5.enableOut.arcWeightSum,P5.enableOut.disTAout[1],$whenCondition17,P5.enableOut.TEout[1],P6.disMarkChange,P5.disMarkChange,P3.disMarksInOut,P4.fireIn[1],P4.disMarksOut.anytrue,P4.disMarksIn.anytrue,P3.fireOut[1],P3.disMarksOut.anytrue,P3.disMarksIn.anytrue,P4.emptying.numtrue,P4.emptying.anytrue,P4.feeding.numtrue,P4.feeding.anytrue,P4.disMarksIn.numtrue,P4.disMarksOut.numtrue,P4.delayPassedIn.numtrue,P4.delayPassedIn.anytrue,P3.emptying.numtrue,P3.emptying.anytrue,P3.feeding.numtrue,P3.feeding.anytrue,T2.activation.weaklyOutputActiveVec[1],T2.activation.weaklyInputActiveVec[1],T2.activation.active,T2.activation.NoTokens,P4.enableIn.TEin_[1],P4.enableIn.posTE,P4.enableIn.k,P4.enableIn.endWhile,P4.enableIn.state128[4],P4.enableIn.state128[3],P4.enableIn.state128[2],P4.enableIn.state128[1],P4.enableIn.randNum,P4.enableIn.cumEnablingProb[1],P4.enableIn.sumEnablingProbTAin,P4.enableIn.nTAin,P4.enableIn.nremTAin,P4.enableIn.remTAin[1],P4.enableIn.Index,P4.enableIn.arcWeightSum,P4.enableIn.disTAin[1],$whenCondition14,P4.enableIn.TEin[1],P3.disMarksIn.numtrue,P3.disMarksOut.numtrue,P3.delayPassedOut.numtrue,P3.delayPassedOut.anytrue,P3.enableOut.TEout_[1],P3.enableOut.posTE,P3.enableOut.k,P3.enableOut.endWhile,P3.enableOut.state128[4],P3.enableOut.state128[3],P3.enableOut.state128[2],P3.enableOut.state128[1],P3.enableOut.randNum,P3.enableOut.cumEnablingProb[1],P3.enableOut.sumEnablingProbTAout,P3.enableOut.nTAout,P3.enableOut.nremTAout,P3.enableOut.remTAout[1],P3.enableOut.Index,P3.enableOut.arcWeightSum,P3.enableOut.disTAout[1],$whenCondition13,P3.enableOut.TEout[1],P4.disMarkChange,P3.disMarkChange,P1.disMarksInOut,P2.fireIn[1],P2.disMarksOut.anytrue,P2.disMarksIn.anytrue,P1.fireOut[1],P1.disMarksOut.anytrue,P1.disMarksIn.anytrue,P2.emptying.numtrue,P2.emptying.anytrue,P2.feeding.numtrue,P2.feeding.anytrue,P2.disMarksIn.numtrue,P2.disMarksOut.numtrue,P2.delayPassedIn.numtrue,P2.delayPassedIn.anytrue,P1.emptying.numtrue,P1.emptying.anytrue,P1.feeding.numtrue,P1.feeding.anytrue,T1.activation.weaklyOutputActiveVec[1],T1.activation.weaklyInputActiveVec[1],T1.activation.active,T1.activation.NoTokens,P2.enableIn.TEin_[1],P2.enableIn.posTE,P2.enableIn.k,P2.enableIn.endWhile,P2.enableIn.state128[4],P2.enableIn.state128[3],P2.enableIn.state128[2],P2.enableIn.state128[1],P2.enableIn.randNum,P2.enableIn.cumEnablingProb[1],P2.enableIn.sumEnablingProbTAin,P2.enableIn.nTAin,P2.enableIn.nremTAin,P2.enableIn.remTAin[1],P2.enableIn.Index,P2.enableIn.arcWeightSum,P2.enableIn.disTAin[1],$whenCondition10,P2.enableIn.TEin[1],P1.disMarksIn.numtrue,P1.disMarksOut.numtrue,P1.delayPassedOut.numtrue,P1.delayPassedOut.anytrue,P1.enableOut.TEout_[1],P1.enableOut.posTE,P1.enableOut.k,P1.enableOut.endWhile,P1.enableOut.state128[4],P1.enableOut.state128[3],P1.enableOut.state128[2],P1.enableOut.state128[1],P1.enableOut.randNum,P1.enableOut.cumEnablingProb[1],P1.enableOut.sumEnablingProbTAout,P1.enableOut.nTAout,P1.enableOut.nremTAout,P1.enableOut.remTAout[1],P1.enableOut.Index,P1.enableOut.arcWeightSum,P1.enableOut.disTAout[1],$whenCondition9,P1.enableOut.TEout[1],P2.disMarkChange,P1.disMarkChange,P8.delayPassedOut.numtrue,P8.delayPassedOut.anytrue,P8.enableOut.Index,P8.enableOut.endWhile,P8.enableOut.sumEnablingProbTAout,P8.enableOut.state128[4],P8.enableOut.state128[3],P8.enableOut.state128[2],P8.enableOut.state128[1],P8.enableOut.randNum,P8.enableOut.posTE,P8.enableOut.k,P8.enableOut.nTAout,P8.enableOut.nremTAout,P8.enableOut.arcWeightSum,$whenCondition8,P7.delayPassedIn.numtrue,P7.delayPassedIn.anytrue,P7.enableIn.Index,P7.enableIn.endWhile,P7.enableIn.sumEnablingProbTAin,P7.enableIn.state128[4],P7.enableIn.state128[3],P7.enableIn.state128[2],P7.enableIn.state128[1],P7.enableIn.randNum,P7.enableIn.posTE,P7.enableIn.k,P7.enableIn.nTAin,P7.enableIn.nremTAin,P7.enableIn.arcWeightSum,$whenCondition7,P6.delayPassedOut.numtrue,P6.delayPassedOut.anytrue,P6.enableOut.Index,P6.enableOut.endWhile,P6.enableOut.sumEnablingProbTAout,P6.enableOut.state128[4],P6.enableOut.state128[3],P6.enableOut.state128[2],P6.enableOut.state128[1],P6.enableOut.randNum,P6.enableOut.posTE,P6.enableOut.k,P6.enableOut.nTAout,P6.enableOut.nremTAout,P6.enableOut.arcWeightSum,$whenCondition6,P5.delayPassedIn.numtrue,P5.delayPassedIn.anytrue,P5.enableIn.Index,P5.enableIn.endWhile,P5.enableIn.sumEnablingProbTAin,P5.enableIn.state128[4],P5.enableIn.state128[3],P5.enableIn.state128[2],P5.enableIn.state128[1],P5.enableIn.randNum,P5.enableIn.posTE,P5.enableIn.k,P5.enableIn.nTAin,P5.enableIn.nremTAin,P5.enableIn.arcWeightSum,$whenCondition5,P4.delayPassedOut.numtrue,P4.delayPassedOut.anytrue,P4.enableOut.Index,P4.enableOut.endWhile,P4.enableOut.sumEnablingProbTAout,P4.enableOut.state128[4],P4.enableOut.state128[3],P4.enableOut.state128[2],P4.enableOut.state128[1],P4.enableOut.randNum,P4.enableOut.posTE,P4.enableOut.k,P4.enableOut.nTAout,P4.enableOut.nremTAout,P4.enableOut.arcWeightSum,$whenCondition4,P3.delayPassedIn.numtrue,P3.delayPassedIn.anytrue,P3.enableIn.Index,P3.enableIn.endWhile,P3.enableIn.sumEnablingProbTAin,P3.enableIn.state128[4],P3.enableIn.state128[3],P3.enableIn.state128[2],P3.enableIn.state128[1],P3.enableIn.randNum,P3.enableIn.posTE,P3.enableIn.k,P3.enableIn.nTAin,P3.enableIn.nremTAin,P3.enableIn.arcWeightSum,$whenCondition3,P2.delayPassedOut.numtrue,P2.delayPassedOut.anytrue,P2.enableOut.Index,P2.enableOut.endWhile,P2.enableOut.sumEnablingProbTAout,P2.enableOut.state128[4],P2.enableOut.state128[3],P2.enableOut.state128[2],P2.enableOut.state128[1],P2.enableOut.randNum,P2.enableOut.posTE,P2.enableOut.k,P2.enableOut.nTAout,P2.enableOut.nremTAout,P2.enableOut.arcWeightSum,$whenCondition2,P1.delayPassedIn.numtrue,P1.delayPassedIn.anytrue,P1.enableIn.Index,P1.enableIn.endWhile,P1.enableIn.sumEnablingProbTAin,P1.enableIn.state128[4],P1.enableIn.state128[3],P1.enableIn.state128[2],P1.enableIn.state128[1],P1.enableIn.randNum,P1.enableIn.posTE,P1.enableIn.k,P1.enableIn.nTAin,P1.enableIn.nremTAin,P1.enableIn.arcWeightSum,$whenCondition1) * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for simulation (236): * Single equations (assignments): 160 * Array equations: 4 * Algorithm blocks: 68 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 4 * 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): 4 systems {(1,7), (1,7), (1,7), (1,7)} Notification: Performance of Backend phase and start with SimCode phase: time 0.004432/1.096, allocations: 1.202 MB / 0.7019 GB, free: 44.19 MB / 462.1 MB Notification: Performance of simCode: created initialization part: time 0.02015/1.116, allocations: 16.34 MB / 0.7178 GB, free: 26.78 MB / 462.1 MB Notification: Performance of simCode: created event and clocks part: time 1.259e-05/1.116, allocations: 8.188 kB / 0.7179 GB, free: 26.77 MB / 462.1 MB Notification: Performance of simCode: created simulation system equations: time 0.01637/1.132, allocations: 19.75 MB / 0.7371 GB, free: 6.145 MB / 462.1 MB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.005361/1.138, allocations: 0.6693 MB / 0.7378 GB, free: 5.473 MB / 462.1 MB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.02891/1.167, allocations: 13.86 MB / 0.7513 GB, free: 7.578 MB / 478.1 MB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.004043/1.171, allocations: 2.779 MB / 0.754 GB, free: 4.773 MB / 478.1 MB Notification: Performance of simCode: alias equations: time 0.002789/1.174, allocations: 0.9178 MB / 0.7549 GB, free: 3.852 MB / 478.1 MB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.0006063/1.174, allocations: 243.4 kB / 0.7552 GB, free: 3.613 MB / 478.1 MB Notification: Performance of SimCode: time 6.41e-07/1.174, allocations: 0 / 0.7552 GB, free: 3.613 MB / 478.1 MB Notification: Performance of Templates: time 0.3068/1.481, allocations: 77.59 MB / 0.8309 GB, free: 102.4 MB / 478.1 MB make -j1 -f PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC.makefile (rm -f PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC.pipe ; mkfifo PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC.pipe ; head -c 1048576 < PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC.pipe >> ../files/PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC.sim & ./PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC -abortSlowSimulation -alarm=480 -emit_protected -lv LOG_STATS > PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC.pipe 2>&1) diffSimulationResults("PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC_res.mat","/mnt/ReferenceFiles/PNlib/ReferenceFiles/PNlib.Examples.ExtTest.ArcswithPCtoTC.mat","../files/PNlib_PNlib.Examples.ExtTest.ArcswithPCtoTC.diff",relTol=0.003,relTolDiffMinMax=0.003,rangeDelta=0.001) Reference file matches