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.001613/0.001613, allocations: 111.5 kB / 16.42 MB, free: 6.441 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.001694/0.001695, allocations: 187.9 kB / 17.35 MB, free: 5.715 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.327/1.327, allocations: 222.9 MB / 241 MB, free: 15.09 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo): time 0.07611/0.07611, allocations: 16.74 MB / 307.9 MB, free: 14.2 MB / 254.1 MB Notification: Performance of FrontEnd - loaded program: time 0.001353/0.001353, allocations: 63.91 kB / 427 MB, free: 10.47 MB / 302.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.09693/0.0983, allocations: 53.48 MB / 480.5 MB, free: 4.945 MB / 350.1 MB Notification: Performance of NFInst.instantiate(PNlib.Examples.ExtTest.ArcswithPCtoTC): time 0.009621/0.108, allocations: 8.987 MB / 489.5 MB, free: 11.92 MB / 366.1 MB Notification: Performance of NFInst.instExpressions: time 0.01319/0.1212, allocations: 6.599 MB / 496.1 MB, free: 5.309 MB / 366.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.003235/0.1244, allocations: 59.81 kB / 496.1 MB, free: 5.25 MB / 366.1 MB Notification: Performance of NFTyping.typeComponents: time 0.00239/0.1269, allocations: 0.8718 MB / 497 MB, free: 4.371 MB / 366.1 MB Notification: Performance of NFTyping.typeBindings: time 0.003193/0.1301, allocations: 0.837 MB / 497.8 MB, free: 3.527 MB / 366.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.007442/0.1376, allocations: 3.342 MB / 0.4894 GB, free: 188 kB / 366.1 MB Notification: Performance of NFFlatten.flatten: time 0.01385/0.1514, allocations: 10.38 MB / 0.4996 GB, free: 5.785 MB / 382.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.002759/0.1542, allocations: 1.312 MB / 0.5009 GB, free: 4.422 MB / 382.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.006971/0.1612, allocations: 3.883 MB / 0.5047 GB, free: 0.5273 MB / 382.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.237/0.3982, allocations: 2.777 MB / 0.5074 GB, free: 10.98 MB / 382.1 MB Notification: Performance of NFPackage.collectConstants: time 0.002544/0.4008, allocations: 0.6801 MB / 0.508 GB, free: 10.98 MB / 382.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.002626/0.4035, allocations: 1.07 MB / 0.5091 GB, free: 10.98 MB / 382.1 MB Notification: Performance of NFScalarize.scalarize: time 0.001728/0.4052, allocations: 1.315 MB / 0.5104 GB, free: 10.98 MB / 382.1 MB Notification: Performance of NFVerifyModel.verify: time 0.004744/0.41, allocations: 3.004 MB / 0.5133 GB, free: 10.26 MB / 382.1 MB Notification: Performance of NFConvertDAE.convert: time 0.009667/0.4197, allocations: 7.23 MB / 0.5204 GB, free: 9.336 MB / 382.1 MB Notification: Performance of FrontEnd - DAE generated: time 7.504e-06/0.4197, allocations: 0 / 0.5204 GB, free: 9.336 MB / 382.1 MB Notification: Performance of FrontEnd: time 2.805e-06/0.4197, allocations: 1.094 kB / 0.5204 GB, free: 9.336 MB / 382.1 MB Notification: Performance of Transformations before backend: time 0.0003031/0.42, allocations: 2.844 kB / 0.5204 GB, free: 9.336 MB / 382.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.01562/0.4357, allocations: 7.767 MB / 0.5279 GB, free: 4.441 MB / 382.1 MB Notification: Performance of prepare preOptimizeDAE: time 5.43e-05/0.4357, allocations: 14.3 kB / 0.528 GB, free: 4.438 MB / 382.1 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.007018/0.4428, allocations: 1.096 MB / 0.529 GB, free: 4.141 MB / 382.1 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.006085/0.4489, allocations: 2.163 MB / 0.5311 GB, free: 3.055 MB / 382.1 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.001337/0.4503, allocations: 1.368 MB / 0.5325 GB, free: 1.891 MB / 382.1 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.002801/0.4531, allocations: 0.653 MB / 0.5331 GB, free: 1.754 MB / 382.1 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.02419/0.4773, allocations: 10.24 MB / 0.5431 GB, free: 13.66 MB / 398.1 MB Notification: Performance of preOpt findStateOrder (simulation): time 0.0001359/0.4775, allocations: 13.94 kB / 0.5431 GB, free: 13.66 MB / 398.1 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.001397/0.4789, allocations: 326.7 kB / 0.5434 GB, free: 13.52 MB / 398.1 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0007599/0.4796, allocations: 468.6 kB / 0.5439 GB, free: 13.36 MB / 398.1 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.01564/0.4953, allocations: 7.212 MB / 0.5509 GB, free: 8.219 MB / 398.1 MB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.03667/0.532, allocations: 22.66 MB / 0.5731 GB, free: 1.461 MB / 414.1 MB Notification: Performance of preOpt comSubExp (simulation): time 0.01365/0.5456, allocations: 9.822 MB / 0.5826 GB, free: 7.488 MB / 430.1 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.01117/0.5568, allocations: 8.573 MB / 0.591 GB, free: 14.89 MB / 446.1 MB Notification: Performance of preOpt evalFunc (simulation): time 0.004516/0.5614, allocations: 5.78 MB / 0.5967 GB, free: 7.867 MB / 446.1 MB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.01117/0.5726, allocations: 5.703 MB / 0.6022 GB, free: 1.996 MB / 446.1 MB Notification: Performance of pre-optimization done (n=560): time 9.548e-06/0.5726, allocations: 0 / 0.6022 GB, free: 1.996 MB / 446.1 MB Notification: Performance of matching and sorting (n=560): time 0.03105/0.6037, allocations: 18.03 MB / 0.6198 GB, free: 15.5 MB / 478.1 MB Notification: Performance of inlineWhenForInitialization (initialization): time 0.002389/0.6061, allocations: 4.042 MB / 0.6238 GB, free: 10.71 MB / 478.1 MB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.003585/0.6097, allocations: 2.213 MB / 0.6259 GB, free: 8.445 MB / 478.1 MB Notification: Performance of collectPreVariables (initialization): time 0.0009628/0.6107, allocations: 314.6 kB / 0.6262 GB, free: 8.133 MB / 478.1 MB Notification: Performance of collectInitialEqns (initialization): time 0.001702/0.6124, allocations: 1.63 MB / 0.6278 GB, free: 6.535 MB / 478.1 MB Notification: Performance of collectInitialBindings (initialization): time 0.002053/0.6145, allocations: 1.432 MB / 0.6292 GB, free: 5.137 MB / 478.1 MB Notification: Performance of simplifyInitialFunctions (initialization): time 0.003249/0.6177, allocations: 1.637 MB / 0.6308 GB, free: 3.488 MB / 478.1 MB Notification: Performance of setup shared object (initialization): time 9.569e-05/0.6178, allocations: 309.1 kB / 0.6311 GB, free: 3.184 MB / 478.1 MB Notification: Performance of preBalanceInitialSystem (initialization): time 0.006002/0.6239, allocations: 3.203 MB / 0.6343 GB, free: 15.97 MB / 494.1 MB Notification: Performance of partitionIndependentBlocks (initialization): time 0.008049/0.6319, allocations: 5.788 MB / 0.6399 GB, free: 9.062 MB / 494.1 MB Notification: Performance of analyzeInitialSystem (initialization): time 0.01731/0.6493, allocations: 13.37 MB / 0.653 GB, free: 10.06 MB / 0.4981 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0001799/0.6495, allocations: 24 kB / 0.653 GB, free: 10.04 MB / 0.4981 GB Notification: Performance of matching and sorting (n=1040) (initialization): time 0.03688/0.6864, allocations: 13.66 MB / 0.6663 GB, free: 12.3 MB / 0.5137 GB Notification: Performance of prepare postOptimizeDAE: time 0.00301/0.6894, allocations: 2.702 MB / 0.669 GB, free: 9.086 MB / 0.5137 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.01592/0.7054, allocations: 7.257 MB / 0.6761 GB, free: 1.609 MB / 0.5137 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.002116/0.7075, allocations: 0.6837 MB / 0.6767 GB, free: 0.918 MB / 0.5137 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.003139/0.7107, allocations: 0.8798 MB / 0.6776 GB, free: 148 kB / 0.5137 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.002594/0.7133, allocations: 2.932 MB / 0.6804 GB, free: 13.16 MB / 0.5294 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.005415/0.7187, allocations: 0.961 MB / 0.6814 GB, free: 12.19 MB / 0.5294 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.00142/0.7202, allocations: 419.6 kB / 0.6818 GB, free: 11.78 MB / 0.5294 GB 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,7), (1,7), (1,7), (1,7)} Notification: Performance of prepare postOptimizeDAE: time 0.008666/0.7288, allocations: 5.027 MB / 0.6867 GB, free: 6.375 MB / 0.5294 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.002414/0.7313, allocations: 0.496 MB / 0.6872 GB, free: 5.875 MB / 0.5294 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.02326/0.7545, allocations: 14.14 MB / 0.701 GB, free: 7.395 MB / 0.545 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 4.646e-05/0.7546, allocations: 15.95 kB / 0.701 GB, free: 7.379 MB / 0.545 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 0.2643/1.019, allocations: 13.54 MB / 0.7142 GB, free: 190.1 MB / 0.545 GB Notification: Performance of postOpt removeConstants (simulation): time 0.0009377/1.02, allocations: 453.5 kB / 0.7147 GB, free: 190 MB / 0.545 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.002704/1.023, allocations: 0.5418 MB / 0.7152 GB, free: 190 MB / 0.545 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.003719/1.026, allocations: 0.509 MB / 0.7157 GB, free: 190 MB / 0.545 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.002466/1.029, allocations: 1.23 MB / 0.7169 GB, free: 190 MB / 0.545 GB [/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/Compiler/BackEnd/DAEMode.mo:528:7-530:90:writable] Error: Internal error DAEMode.traverserStrongComponents failed on equation: 1/1 (1): ($OMC$CF$sim7, _) = PNlib.Functions.decreasingFactor(1, 0, P2.t_, P2.minMarks, P2.maxMarks, P2.conMarkChange, 0.0, {1.0}, {}, {T1.outPlaces[1].prelimSpeed}, {}, {1.0}, {}, P2.fireIn and not {false}, {} and not {}) Variables: 1: $OMC$CF$sim7[1]:VARIABLE() type: Real [1] [/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/Compiler/BackEnd/DAEMode.mo:528:7-530:90:writable] Error: Internal error DAEMode.traverserStrongComponents failed on equation: 1/1 (1): (_, $OMC$CF$sim8) = PNlib.Functions.decreasingFactor(0, 1, P1.t_, P1.minMarks, P1.maxMarks, 0.0, -P1.conMarkChange, {}, {P1.outTransition[1].maxSpeed}, {}, {P1.outTransition[1].prelimSpeed}, {}, {P1.enableOut.arcWeight[1]}, {} and not {}, P1.fireOut and not {false}) 2/2 (1): $OMC$CF$sim8[1] = T1.inPlaces[1].decreasingFactor 3/3 (1): $cse7 = min(T1.inPlaces[1].decreasingFactor, T1.outPlaces[1].decreasingFactor) 4/4 (1): T1.instantaneousSpeed = min($cse7, T1.outPlaces[1].prelimSpeed) 5/5 (1): P1.outTransition[1].instSpeed = if TA1.normalArc then 0.0 else T1.instantaneousSpeed 6/6 (1): -P1.conMarkChange = if P1.emptying.vec[1] then P1.enableOut.arcWeight[1] * P1.outTransition[1].instSpeed else 0.0 7/7 (1): P2.conMarkChange = if P2.feeding.vec[1] then T1.instantaneousSpeed else 0.0 8/8 (1): ($OMC$CF$sim7, _) = PNlib.Functions.decreasingFactor(1, 0, P2.t_, P2.minMarks, P2.maxMarks, P2.conMarkChange, 0.0, {1.0}, {}, {T1.outPlaces[1].prelimSpeed}, {}, {1.0}, {}, P2.fireIn and not {false}, {} and not {}) 9/9 (1): $OMC$CF$sim7[1] = T1.outPlaces[1].decreasingFactor Variables: 1: T1.outPlaces[1].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous output places for decreasing the speed" type: Real [1] 2: $OMC$CF$sim7[1]:VARIABLE() type: Real [1] 3: P2.conMarkChange:VARIABLE(protected = true ) "continuous mark change" type: Real 4: P1.conMarkChange:VARIABLE(protected = true ) "continuous mark change" type: Real 5: P1.outTransition[1].instSpeed:VARIABLE(flow=false ) "Instantaneous speeds of continuous output transitions" type: Real [1] 6: T1.instantaneousSpeed:VARIABLE() "instantaneous speed" type: Real 7: $cse7:VARIABLE(protected = true ) type: Real unreplaceable 8: T1.inPlaces[1].decreasingFactor:VARIABLE(flow=false ) "Factor of continuous input places for decreasing the speed" type: Real [1] 9: $OMC$CF$sim8[1]:VARIABLE() type: Real [1] [/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/Compiler/BackEnd/BackendDAEUtil.mo:9805:5-9806:77:writable] Error: Internal error BackendDAEUtil.traverseEqSystemStrongComponents failed with function: omc_DAEMode_traverserStrongComponents Notification: Performance of postOpt createDAEmodeBDAE (simulation): time 0.00223/1.031, allocations: 3.052 MB / 0.7199 GB, free: 187.5 MB / 0.545 GB Error: post-optimization module createDAEmodeBDAE (simulation) failed. Error: Internal error SimCode DAEmode: The model PNlib.Examples.ExtTest.ArcswithPCtoTC could not be translated