Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_latest_Buildings.Fluid.CHPs.BaseClasses.Validation.Controller.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/Buildings 11.0.1-master/package.mo", uses=false) Using package Buildings with version 11.0.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.1-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(Buildings.Fluid.CHPs.BaseClasses.Validation.Controller,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|con.runSig|con.avaSig|con.mWat_flow|con.opeMod",fileNamePrefix="Buildings_latest_Buildings.Fluid.CHPs.BaseClasses.Validation.Controller") translateModel(Buildings.Fluid.CHPs.BaseClasses.Validation.Controller,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|con.runSig|con.avaSig|con.mWat_flow|con.opeMod",fileNamePrefix="Buildings_latest_Buildings.Fluid.CHPs.BaseClasses.Validation.Controller") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001104/0.001104, allocations: 110.5 kB / 16.42 MB, free: 6.461 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.0009127/0.0009125, allocations: 191.8 kB / 17.36 MB, free: 5.707 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.131/1.131, allocations: 222.9 MB / 241.1 MB, free: 15.14 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.1-master/package.mo): time 2.173/2.173, allocations: 461.9 MB / 0.7354 GB, free: 11.08 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 1.156e-05/1.158e-05, allocations: 2.5 kB / 1.055 GB, free: 7.754 MB / 0.8262 GB Notification: Performance of NFInst.instantiate(Buildings.Fluid.CHPs.BaseClasses.Validation.Controller): time 0.004704/0.004723, allocations: 4.526 MB / 1.059 GB, free: 3.211 MB / 0.8262 GB Notification: Performance of NFInst.instExpressions: time 0.003656/0.008391, allocations: 3.06 MB / 1.062 GB, free: 144 kB / 0.8262 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0002969/0.008699, allocations: 23.88 kB / 1.062 GB, free: 120 kB / 0.8262 GB Notification: Performance of NFTyping.typeComponents: time 0.00126/0.009965, allocations: 0.6803 MB / 1.063 GB, free: 15.43 MB / 0.8419 GB Notification: Performance of NFTyping.typeBindings: time 0.0006586/0.01063, allocations: 421.7 kB / 1.063 GB, free: 15.02 MB / 0.8419 GB Notification: Performance of NFTyping.typeClassSections: time 0.001348/0.01199, allocations: 0.9184 MB / 1.064 GB, free: 14.1 MB / 0.8419 GB Notification: Performance of NFFlatten.flatten: time 0.001398/0.0134, allocations: 1.919 MB / 1.066 GB, free: 12.18 MB / 0.8419 GB Notification: Performance of NFFlatten.resolveConnections: time 0.001054/0.01446, allocations: 1.226 MB / 1.067 GB, free: 10.93 MB / 0.8419 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0006022/0.01507, allocations: 0.7672 MB / 1.068 GB, free: 10.16 MB / 0.8419 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0005807/0.01566, allocations: 0.7585 MB / 1.069 GB, free: 9.398 MB / 0.8419 GB Notification: Performance of NFPackage.collectConstants: time 0.0001867/0.01585, allocations: 180 kB / 1.069 GB, free: 9.223 MB / 0.8419 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0004718/0.01633, allocations: 363.7 kB / 1.069 GB, free: 8.867 MB / 0.8419 GB Notification: Performance of combineBinaries: time 0.001114/0.01745, allocations: 2.178 MB / 1.071 GB, free: 6.664 MB / 0.8419 GB Notification: Performance of replaceArrayConstructors: time 0.0005816/0.01804, allocations: 1.331 MB / 1.073 GB, free: 5.312 MB / 0.8419 GB Notification: Performance of NFVerifyModel.verify: time 0.0001989/0.01825, allocations: 231.3 kB / 1.073 GB, free: 5.086 MB / 0.8419 GB Notification: Performance of FrontEnd: time 0.0001906/0.01844, allocations: 151.1 kB / 1.073 GB, free: 4.938 MB / 0.8419 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 305 (289) * Number of variables: 285 (269) Notification: Performance of Bindings: time 0.4223/0.4407, allocations: 6.732 MB / 1.079 GB, free: 19.23 MB / 0.8419 GB Notification: Performance of FunctionAlias: time 0.0005364/0.4413, allocations: 0.6736 MB / 1.08 GB, free: 19.14 MB / 0.8419 GB Notification: Performance of Early Inline: time 0.003299/0.4446, allocations: 4.275 MB / 1.084 GB, free: 17.98 MB / 0.8419 GB Notification: Performance of simplify1: time 0.0002362/0.4448, allocations: 236.1 kB / 1.085 GB, free: 17.86 MB / 0.8419 GB Notification: Performance of Alias: time 0.005878/0.4507, allocations: 6.531 MB / 1.091 GB, free: 14.25 MB / 0.8419 GB Notification: Performance of simplify2: time 0.0001802/0.4509, allocations: 163.9 kB / 1.091 GB, free: 14.18 MB / 0.8419 GB Notification: Performance of Events: time 0.001141/0.452, allocations: 1.082 MB / 1.092 GB, free: 13.61 MB / 0.8419 GB Notification: Performance of Detect States: time 0.00137/0.4534, allocations: 1.802 MB / 1.094 GB, free: 12.41 MB / 0.8419 GB Notification: Performance of Partitioning: time 0.001312/0.4547, allocations: 1.494 MB / 1.095 GB, free: 11.47 MB / 0.8419 GB Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (206/233) ********************************* (1) [DISC] (1) Boolean $SEV_29 (2) [DISC] (1) Boolean $SEV_28 (3) [DISC] (1) Boolean $SEV_27 (4) [DISC] (3) protected Boolean[3] con.plaOff.inPort.occupied (5) [DISC] (1) Boolean $SEV_26 (6) [DISC] (1) protected Boolean con.transition8.outPort.set (7) [DISC] (1) Boolean $SEV_25 (8) [DISC] (1) Boolean $SEV_24 (9) [DISC] (1) Boolean $SEV_23 (10) [DISC] (1) Boolean $SEV_22 (11) [DISC] (1) Boolean $SEV_21 (12) [DISC] (1) Boolean $SEV_20 (13) [DISC] (1) Boolean $TEV_9 (14) [DISC] (1) Boolean[1] con.pumOn.inPort.set (15) [DISC] (1) Boolean $TEV_8 (16) [DISC] (3) protected Boolean[3] con.plaOff.inPort.set (17) [DISC] (1) Boolean $TEV_6 (18) [DISC] (1) protected Boolean con.transition1.outPort.set (19) [DISC] (1) protected Boolean con.transition7.inPort.available (20) [DISC] (1) Boolean $TEV_5 (21) [DISC] (1) Boolean $TEV_4 (22) [DISC] (1) Boolean $TEV_3 (23) [DISC] (1) protected Boolean con.transition6.outPort.set (24) [DISC] (1) Boolean $TEV_2 (25) [DISC] (1) Boolean $TEV_1 (26) [DISC] (1) Boolean $TEV_0 (27) [DISC] (1) Boolean $TEV_39 (28) [DISC] (1) protected Boolean con.transition7.outPort.occupied (29) [DISC] (1) Boolean $TEV_38 (30) [ALGB] (1) protected Real con.transition4.t_dummy (31) [DISC] (1) Boolean $TEV_37 (32) [DISC] (1) Boolean $TEV_36 (33) [DISC] (1) Boolean $TEV_35 (34) [DISC] (1) protected Boolean con.transition6.outPort.occupied (35) [DISC] (1) protected Boolean con.transition3.outPort.set (36) [DISC] (1) Boolean $TEV_34 (37) [DISC] (1) Boolean $TEV_33 (38) [DISC] (1) Boolean $TEV_32 (39) [DISC] (2) Boolean[2] con.cooDow.inPort.set (40) [DISC] (1) Boolean $TEV_31 (41) [DISC] (1) Boolean[1] con.staBy.inPort.set (42) [DISC] (1) Boolean $TEV_30 (43) [DISC] (1) Boolean $SEV_19 (44) [DISC] (2) Boolean[2] $SEV_36[$i1] (45) [DISC] (1) Boolean $SEV_18 (46) [DISC] (1) Boolean $SEV_17 (47) [DISS] (1) protected Boolean con.and1.u2 (48) [DISC] (1) Boolean $SEV_16 (49) [DISC] (1) Boolean $SEV_15 (50) [DISC] (1) protected final Boolean con.transition9.localCondition = con.transition9.localCondition (51) [DISC] (3) Boolean[3] $SEV_14[$i1] (52) [DISC] (1) Boolean $SEV_12 (53) [DISC] (1) Boolean $SEV_11 (54) [DISC] (1) Boolean $SEV_10 (55) [DISS] (1) protected discrete Real avaSig.combiTimeTable.nextTimeEvent (fixed = true, start = 0.0) (56) [DISC] (1) protected Boolean con.staBy.newActive (57) [DISS] (1) protected discrete Real avaSig.combiTimeTable.nextTimeEventScaled (fixed = true, start = 0.0) (58) [ALGB] (1) protected Real con.sub1.y (59) [DISC] (1) Boolean $TEV_28 (60) [DISC] (1) protected Boolean con.plaOff.outerStatePort.localActive = con.plaOff.outerStatePort.localActive (61) [DISC] (1) Boolean $TEV_26 (62) [DISS] (1) protected discrete Real runSig.combiTimeTable.nextTimeEvent (fixed = true, start = 0.0) (63) [DISC] (1) Boolean $TEV_24 (64) [DISS] (1) protected Boolean con.pumOn.oldActive (65) [DISC] (1) protected Boolean[1] con.nor.outPort.reset (66) [ALGB] (1) protected flow Real con.staBy.outerStatePort.subgraphStatePort.activeSteps (67) [DISC] (1) Boolean $TEV_22 (68) [DISC] (1) Boolean $TEV_20 (69) [DISC] (1) protected Boolean[1] con.plaOff.outPort.available (70) [DISC] (1) protected Boolean con.warUp.outerStatePort.localActive = con.warUp.outerStatePort.localActive (71) [DISC] (1) protected Boolean[1] con.nor.inPort.set (72) [ALGB] (1) protected flow Real con.pumOn.outerStatePort.subgraphStatePort.activeSteps (73) [DISC] (2) Boolean[2] con.cooDow.outPort.reset (74) [DISS] (1) protected Boolean con.nor.oldActive (75) [DISS] (1) protected Boolean con.staBy.oldActive (76) [ALGB] (1) Real[1] avaSig.combiTimeTable.y (77) [ALGB] (1) protected Real[1] mWat_flow.tab.y (78) [DISC] (1) Boolean $FUN_9 (79) [DISC] (1) Boolean $FUN_8 (80) [DISC] (1) Boolean $FUN_7 (81) [DISC] (1) protected Boolean con.transition2.outPort.set (82) [DISC] (1) Boolean $FUN_6 (83) [DISC] (1) Boolean $FUN_5 (84) [DISC] (1) Boolean $FUN_4 (85) [ALGB] (1) Real avaSig.realToBoolean.u (86) [DISC] (1) protected Boolean con.transition3.outPort.occupied (87) [DISC] (1) Boolean $FUN_3 (88) [DISC] (1) Boolean $TEV_19 (89) [DISC] (1) Boolean $FUN_2 (90) [DISC] (2) Boolean[2] $SEV_35[$i1] (91) [DISC] (1) protected Boolean con.pumOn.newActive (92) [ALGB] (1) Real $FUN_1 (93) [DISC] (1) Boolean $TEV_17 (94) [DISS] (1) protected discrete Real runSig.combiTimeTable.nextTimeEventScaled (fixed = true, start = 0.0) (95) [DISC] (1) Boolean $TEV_15 (96) [DISC] (1) Boolean $TEV_14 (97) [DISC] (1) enumeration Buildings.Fluid.CHPs.BaseClasses.Types.Mode(Off, StandBy, PumpOn, WarmUp, Normal, CoolDown) con.opeMod (98) [DISC] (2) Boolean[2] $SEV_41[$i1] (99) [DISC] (1) Boolean $TEV_13 (100) [DISC] (1) protected final Boolean con.transition6.localCondition = con.transition6.localCondition (101) [DISC] (3) Boolean[3] $SEV_13[$i1] (102) [DISC] (1) Boolean $TEV_12 (103) [DISC] (1) protected Boolean con.transition4.outPort.set (104) [DISC] (1) Boolean $TEV_10 (105) [DISC] (1) protected Boolean con.transition10.outPort.set (106) [DISC] (1) protected Boolean con.nor.newActive (107) [DISC] (1) protected Boolean con.transition10.inPort.available (108) [DISS] (1) protected discrete Real mWat_flow.tab.nextTimeEvent (fixed = true, start = 0.0) (109) [ALGB] (1) protected Real con.warUpCtr.timer.y (110) [DISC] (1) protected final Boolean con.transition3.localCondition = con.transition3.localCondition (111) [ALGB] (1) protected flow Real con.plaOff.outerStatePort.subgraphStatePort.activeSteps (112) [DISC] (1) protected Boolean con.transition9.outPort.occupied (113) [DISC] (1) protected Boolean[1] con.nor.inPort.occupied (114) [DISS] (1) protected discrete Real con.timer.entryTime (115) [ALGB] (1) protected flow Real con.cooDow.outerStatePort.subgraphStatePort.activeSteps (116) [ALGB] (1) Real $FUN_15 (117) [DISC] (2) Boolean[2] con.pumOn.outPort.reset (118) [DISC] (1) protected Boolean con.hys.y (119) [DISC] (1) protected Boolean con.transition4.inPort.available (120) [ALGB] (1) Real $FUN_14 (121) [DISC] (2) Boolean[2] con.warUp.outPort.available (122) [ALGB] (1) protected Real con.transition4.t (123) [DISC] (1) protected Boolean con.transition2.inPort.available (124) [DISC] (1) Boolean $FUN_13 (125) [DISC] (1) Boolean $FUN_12 (126) [DISC] (1) protected Boolean con.assWatMas.not1.u (127) [DISC] (1) Boolean $FUN_11 (128) [DISC] (1) Boolean $FUN_10 (129) [DISC] (1) protected Boolean con.transition3.inPort.available (130) [ALGB] (1) Real runSig.realToBoolean.u (131) [DISC] (1) Boolean[1] con.pumOn.inPort.occupied (132) [DISC] (2) Boolean[2] $SEV_39[$i1] (133) [DISC] (1) Boolean $SEV_9 (134) [DISS] (1) protected discrete Real con.warUpCtr.timer.entryTime (135) [DISC] (1) Boolean $SEV_8 (136) [DISC] (1) Boolean $SEV_6 (137) [ALGB] (1) protected flow Real con.nor.outerStatePort.subgraphStatePort.activeSteps (138) [ALGB] (1) protected flow Real stateGraphRoot.subgraphStatePort.activeSteps (139) [DISC] (2) Boolean[2] $SEV_34[$i1] (140) [DISC] (1) protected Boolean con.plaOff.newActive (141) [ALGB] (1) Real[1] mWat_flow.y (142) [DISC] (1) protected Boolean con.transition8.inPort.available (143) [DISC] (1) protected Boolean con.transition8.outPort.occupied (144) [DISC] (1) protected Boolean con.transition9.inPort.available (145) [DISS] (1) protected Boolean con.warUp.oldActive (146) [DISC] (1) Boolean[1] con.staBy.inPort.occupied (147) [DISC] (1) protected Boolean con.transition5.outPort.set (148) [DISC] (1) protected Boolean con.nor.outerStatePort.localActive = con.nor.outerStatePort.localActive (149) [DISC] (1) protected Boolean con.transition2.outPort.occupied (150) [DISC] (1) protected Boolean con.staBy.outerStatePort.localActive = con.staBy.outerStatePort.localActive (151) [DISS] (1) protected Boolean con.plaOff.oldActive (152) [DISC] (1) protected Boolean con.transition1.outPort.occupied (153) [DISC] (1) protected final Boolean con.transition7.localCondition = con.transition7.localCondition (154) [DISS] (1) protected Boolean con.cooDow.oldActive (155) [DISC] (2) Boolean[2] con.cooDow.outPort.available (156) [DISC] (1) protected Boolean con.warUp.newActive (157) [DISC] (1) protected Boolean con.pumOn.outerStatePort.localActive = con.pumOn.outerStatePort.localActive (158) [DISC] (1) protected Boolean con.transition4.enableFire (159) [DISC] (2) Boolean[2] con.warUp.inPort.set (160) [DISC] (2) Boolean[2] $SEV_38[$i1] (161) [DISC] (1) protected Boolean con.transition10.outPort.occupied (162) [DISS] (1) protected discrete Real mWat_flow.tab.nextTimeEventScaled (fixed = true, start = 0.0) (163) [DISC] (1) protected Boolean con.transition9.outPort.set (164) [DISC] (1) Boolean $SEV_47 (165) [DISC] (2) Boolean[2] con.pumOn.outPort.available (166) [DISC] (1) Boolean $SEV_46 (167) [DISC] (1) protected Boolean[1] con.nor.outPort.available (168) [ALGB] (1) Real[1] runSig.combiTimeTable.y (169) [DISC] (1) Boolean $SEV_44 (170) [DISC] (1) Boolean $SEV_42 (171) [ALGB] (1) protected Real con.timer.y (172) [DISC] (1) Boolean $SEV_40 (173) [DISC] (2) Boolean[2] con.cooDow.inPort.occupied (174) [DISC] (2) Boolean[2] con.staBy.outPort.available (175) [DISC] (2) Boolean[2] con.staBy.outPort.reset (176) [DISC] (1) protected Boolean con.transition7.outPort.set (177) [DISC] (2) Boolean[2] con.warUp.inPort.occupied (178) [DISC] (1) protected Boolean con.cooDow.outerStatePort.localActive = con.cooDow.outerStatePort.localActive (179) [DISC] (1) protected Boolean con.cooDow.newActive (180) [ALGB] (1) protected flow Real con.warUp.outerStatePort.subgraphStatePort.activeSteps (181) [DISC] (1) protected Boolean[1] con.plaOff.outPort.reset (182) [DISC] (1) protected Boolean con.transition4.outPort.occupied (183) [ALGB] (1) protected Real con.assWatMas.hys.u (184) [DISC] (1) protected Boolean con.transition5.outPort.occupied (185) [ALGB] (1) protected Real con.max.y (186) [DISC] (1) Boolean $SEV_37 (187) [DISS] (1) protected Boolean con.timer.passed (188) [DISC] (1) Boolean $SEV_33 (189) [DISC] (1) Boolean $SEV_32 (190) [DISC] (1) Boolean $SEV_31 (191) [DISC] (1) protected Boolean con.assWatMas.nand.y (192) [DISC] (1) Boolean $SEV_30 (193) [DISC] (2) Boolean[2] con.warUp.outPort.reset (194) [DISC] (1) protected final Boolean con.transition5.localCondition = con.transition5.localCondition (195) [DISC] (1) protected final Boolean con.transition10.localCondition = con.transition10.localCondition (196) [DISC] (1) protected Boolean con.transition6.inPort.available (197) [DISC] (2) Boolean[2] $SEV_43[$i1] (198) [DISC] (1) protected Boolean con.transition5.inPort.available (199) [DISC] (1) protected Boolean con.transition1.inPort.available (200) [DISC] (1) Boolean $TEV_45 (201) [DISC] (1) protected Integer stateGraphRoot.activeSteps (202) [DISC] (1) Boolean $TEV_44 (203) [DISC] (1) Boolean $TEV_43 (204) [DISC] (1) Boolean $TEV_42 (205) [DISC] (1) Boolean $TEV_41 (206) [DISC] (1) Boolean $TEV_40 system eqns Equations (226/253) ********************************* (1) [FOR-] (2) ($RES_SIM_204) (1) [----] for $i1 in 1:2 loop (1) [----] [SCAL] (1) con.warUp.inPort[$i1].occupied = if $SEV_34[$i1] then con.warUp.outerStatePort.localActive else $SEV_39[$i1] ($RES_SIM_205) (1) [----] end for; (2) [SCAL] (1) con.transition4.t = if con.transition4.enableFire then con.transition4.t_dummy else 0.0 ($RES_SIM_80) (3) [SCAL] (1) con.nor.outerStatePort.subgraphStatePort.activeSteps = if con.nor.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_120) (4) [WHEN] (1)when false then (4) [----] con.warUp.oldActive := con.warUp.outerStatePort.localActive (4) [----] end when; (5) [SCAL] (1) con.staBy.outPort[1].available = con.transition2.inPort.available ($RES_SIM_280) (6) [SCAL] (1) con.warUp.newActive = $SEV_40 ($RES_SIM_207) (7) [WHEN] (1)when con.transition4.enableFire then (7) [----] time - con.transition4.t_dummy := time (7) [----] end when; (8) [SCAL] (1) con.transition1.outPort.set = con.staBy.inPort[1].set ($RES_SIM_281) (9) [SCAL] (1) con.warUp.outerStatePort.localActive = $TEV_36 ($RES_SIM_208) (10) [SCAL] (1) con.plaOff.outPort[1].reset = false ($RES_SIM_83) (11) [SCAL] (1) con.transition2.outPort.set = $SEV_20 ($RES_SIM_123) (12) [SCAL] (1) con.transition1.outPort.occupied = con.staBy.inPort[1].occupied ($RES_SIM_282) (13) [FOR-] (3) ($RES_SIM_84) (13) [----] for $i1 in 1:3 loop (13) [----] [SCAL] (1) con.plaOff.inPort[$i1].set = false ($RES_SIM_85) (13) [----] end for; (14) [SCAL] (1) con.transition10.outPort.set = con.plaOff.inPort[3].set ($RES_SIM_284) (15) [SCAL] (1) con.plaOff.outPort[1].available = con.plaOff.outerStatePort.localActive ($RES_SIM_86) (16) [SCAL] (1) con.transition10.outPort.occupied = con.plaOff.inPort[3].occupied ($RES_SIM_285) (17) [FOR-] (3) ($RES_SIM_87) (17) [----] for $i1 in 1:3 loop (17) [----] [SCAL] (1) con.plaOff.inPort[$i1].occupied = if $SEV_13[$i1] then con.plaOff.outerStatePort.localActive else $SEV_14[$i1] ($RES_SIM_88) (17) [----] end for; (18) [SCAL] (1) $FUN_7 = Modelica.Math.BooleanVectors.anyTrue(con.warUp.outPort.reset) ($RES_$AUX_369) (19) [SCAL] (1) con.transition5.outPort.set = con.plaOff.inPort[2].set ($RES_SIM_286) (20) [SCAL] (1) $FUN_8 = Modelica.Math.BooleanVectors.anyTrue(con.cooDow.inPort.set) ($RES_$AUX_368) (21) [SCAL] (1) con.transition5.outPort.occupied = con.plaOff.inPort[2].occupied ($RES_SIM_287) (22) [WHEN] (1)when false then (22) [----] con.plaOff.oldActive := con.plaOff.outerStatePort.localActive (22) [----] end when; (23) [SCAL] (1) $FUN_9 = Modelica.Math.BooleanVectors.anyTrue(con.cooDow.outPort.reset) ($RES_$AUX_367) (24) [SCAL] (1) con.transition3.outPort.set = con.plaOff.inPort[1].set ($RES_SIM_288) (25) [SCAL] (1) $FUN_10 = Modelica.Math.BooleanVectors.anyTrue(con.nor.inPort.set) ($RES_$AUX_366) (26) [SCAL] (1) con.transition3.outPort.occupied = con.plaOff.inPort[1].occupied ($RES_SIM_289) (27) [SCAL] (1) $FUN_11 = Modelica.Math.BooleanVectors.anyTrue(con.nor.outPort.reset) ($RES_$AUX_365) (28) [SCAL] (1) $SEV_25 = (con.transition10.localCondition and con.transition10.inPort.available) and not con.transition10.outPort.occupied ($RES_EVT_450) (29) [SCAL] (1) $FUN_12 = Modelica.Math.BooleanVectors.anyTrue(con.plaOff.inPort.set) ($RES_$AUX_364) (30) [SCAL] (1) $SEV_26 = con.optCooDow.k and not con.transition9.localCondition ($RES_EVT_451) (31) [SCAL] (1) $FUN_13 = Modelica.Math.BooleanVectors.anyTrue(con.plaOff.outPort.reset) ($RES_$AUX_363) (32) [SCAL] (1) $SEV_27 = (con.transition7.localCondition and con.transition7.inPort.available) and not con.transition7.outPort.occupied ($RES_EVT_452) (33) [SCAL] (1) $FUN_14 = Modelica.Blocks.Tables.Internal.getTimeTableValueNoDer(avaSig.combiTimeTable.tableID, 1, time, avaSig.combiTimeTable.nextTimeEventScaled, $TEV_44) ($RES_$AUX_362) (34) [SCAL] (1) $SEV_28 = (con.transition9.localCondition and con.transition9.inPort.available) and not con.transition9.outPort.occupied ($RES_EVT_453) (35) [SCAL] (1) $FUN_15 = Modelica.Blocks.Tables.Internal.getTimeTableValueNoDer(mWat_flow.tab.tableID, 1, time, mWat_flow.tab.nextTimeEventScaled, $TEV_45) ($RES_$AUX_361) (36) [SCAL] (1) $SEV_29 = (con.transition5.localCondition and con.transition5.inPort.available) and not con.transition5.outPort.occupied ($RES_EVT_454) (37) [SCAL] (1) $SEV_30 = (con.transition3.localCondition and con.transition3.inPort.available) and not con.transition3.outPort.occupied ($RES_EVT_455) (38) [SCAL] (1) $SEV_31 = not con.transition9.localCondition and con.and1.u2 ($RES_EVT_456) (39) [SCAL] (1) $SEV_32 = con.hys.y and not con.transition5.localCondition ($RES_EVT_457) (40) [SCAL] (1) $SEV_33 = not $PRE.con.hys.y and con.sub1.y > con.hys.uHigh or $PRE.con.hys.y and con.sub1.y >= con.hys.uLow ($RES_EVT_458) (41) [FOR-] (2) ($RES_EVT_459) (41) [----] for $i1 in 1:2 loop (41) [----] [SCAL] (1) $SEV_34[$i1] = $i1 == 1 ($RES_EVT_460) (41) [----] end for; (42) [SCAL] (1) $TEV_0 = $PRE.con.timer.passed ($RES_EVT_377) (43) [SCAL] (1) $TEV_1 = $PRE.con.timer.entryTime ($RES_EVT_378) (44) [SCAL] (1) $TEV_2 = $PRE.con.transition4.enableFire ($RES_EVT_379) (45) [SCAL] (1) con.warUp.outerStatePort.subgraphStatePort.activeSteps = if con.warUp.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_210) (46) [FOR-] (2) ($RES_SIM_211) (46) [----] for $i1 in 1:2 loop (46) [----] [SCAL] (1) con.pumOn.outPort[$i1].reset = false ($RES_SIM_212) (46) [----] end for; (47) [SCAL] (1) con.pumOn.inPort[1].set = false ($RES_SIM_213) (48) [FOR-] (2) ($RES_SIM_214) (48) [----] for $i1 in 1:2 loop (48) [----] [SCAL] (1) con.pumOn.outPort[$i1].available = if $SEV_34[$i1] then con.pumOn.outerStatePort.localActive else $SEV_41[$i1] ($RES_SIM_215) (48) [----] end for; (49) [SCAL] (1) con.transition1.outPort.set = $SEV_21 ($RES_SIM_130) (50) [SCAL] (1) con.plaOff.newActive = $SEV_15 ($RES_SIM_90) (51) [SCAL] (1) con.pumOn.inPort[1].occupied = con.pumOn.outerStatePort.localActive ($RES_SIM_216) (52) [SCAL] (1) con.plaOff.outerStatePort.localActive = $TEV_5 ($RES_SIM_91) (53) [WHEN] (1)when false then (53) [----] con.pumOn.oldActive := con.pumOn.outerStatePort.localActive (53) [----] end when; (54) [SCAL] (1) con.pumOn.newActive = $SEV_42 ($RES_SIM_218) (55) [SCAL] (1) con.plaOff.outerStatePort.subgraphStatePort.activeSteps = if con.plaOff.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_93) (56) [SCAL] (1) con.pumOn.outerStatePort.localActive = $TEV_39 ($RES_SIM_219) (57) [SCAL] (1) con.transition6.outPort.set = $SEV_16 ($RES_SIM_96) (58) [SCAL] (1) con.assWatMas.not1.u = $SEV_22 ($RES_SIM_136) (59) [SCAL] (1) con.assWatMas.nand.y = not $SEV_23 ($RES_SIM_137) (60) [SCAL] (1) con.transition10.localCondition = $SEV_24 ($RES_SIM_139) (61) [FOR-] (2) ($RES_EVT_461) (61) [----] for $i1 in 1:2 loop (61) [----] [SCAL] (1) $SEV_35[$i1] = con.cooDow.outPort[$i1 - 1].available and not con.cooDow.outPort[$i1 - 1].reset ($RES_EVT_462) (61) [----] end for; (62) [FOR-] (2) ($RES_EVT_463) (62) [----] for $i1 in 1:2 loop (62) [----] [SCAL] (1) $SEV_36[$i1] = con.cooDow.inPort[$i1 - 1].occupied or con.cooDow.inPort[$i1 - 1].set ($RES_EVT_464) (62) [----] end for; (63) [SCAL] (1) $SEV_37 = $FUN_8 or con.cooDow.outerStatePort.localActive and not $FUN_9 ($RES_EVT_465) (64) [SCAL] (1) $TEV_3 = $PRE.con.plaOff.oldActive ($RES_EVT_380) (65) [FOR-] (2) ($RES_EVT_466) (65) [----] for $i1 in 1:2 loop (65) [----] [SCAL] (1) $SEV_38[$i1] = con.warUp.outPort[$i1 - 1].available and not con.warUp.outPort[$i1 - 1].reset ($RES_EVT_467) (65) [----] end for; (66) [SCAL] (1) $TEV_4 = $PRE.con.plaOff.outerStatePort.localActive ($RES_EVT_381) (67) [SCAL] (1) $TEV_5 = $PRE.con.plaOff.newActive ($RES_EVT_382) (68) [FOR-] (2) ($RES_EVT_468) (68) [----] for $i1 in 1:2 loop (68) [----] [SCAL] (1) $SEV_39[$i1] = con.warUp.inPort[$i1 - 1].occupied or con.warUp.inPort[$i1 - 1].set ($RES_EVT_469) (68) [----] end for; (69) [SCAL] (1) $TEV_6 = $PRE.con.transition6.outPort.set ($RES_EVT_383) (70) [SCAL] (1) $TEV_8 = $PRE.con.and1.u2 ($RES_EVT_385) (71) [SCAL] (1) $TEV_9 = $PRE.con.warUpCtr.timer.entryTime ($RES_EVT_386) (72) [SCAL] (1) $TEV_10 = $PRE.con.transition8.outPort.set ($RES_EVT_387) (73) [SCAL] (1) $TEV_12 = $PRE.con.nor.oldActive ($RES_EVT_389) (74) [SCAL] (1) con.pumOn.outerStatePort.subgraphStatePort.activeSteps = if con.pumOn.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_221) (75) [FOR-] (2) ($RES_SIM_222) (75) [----] for $i1 in 1:2 loop (75) [----] [SCAL] (1) con.staBy.outPort[$i1].reset = false ($RES_SIM_223) (75) [----] end for; (76) [SCAL] (1) con.staBy.inPort[1].set = false ($RES_SIM_224) (77) [FOR-] (2) ($RES_SIM_225) (77) [----] for $i1 in 1:2 loop (77) [----] [SCAL] (1) con.staBy.outPort[$i1].available = if $SEV_34[$i1] then con.staBy.outerStatePort.localActive else $SEV_43[$i1] ($RES_SIM_226) (77) [----] end for; (78) [SCAL] (1) con.staBy.inPort[1].occupied = con.staBy.outerStatePort.localActive ($RES_SIM_227) (79) [SCAL] (1) con.transition10.outPort.set = $SEV_25 ($RES_SIM_142) (80) [WHEN] (1)when false then (80) [----] con.staBy.oldActive := con.staBy.outerStatePort.localActive (80) [----] end when; (81) [SCAL] (1) con.staBy.newActive = $SEV_44 ($RES_SIM_229) (82) [SCAL] (1) con.transition7.localCondition = $SEV_26 ($RES_SIM_147) (83) [SCAL] (1) $SEV_40 = $FUN_6 or con.warUp.outerStatePort.localActive and not $FUN_7 ($RES_EVT_470) (84) [FOR-] (2) ($RES_EVT_471) (84) [----] for $i1 in 1:2 loop (84) [----] [SCAL] (1) $SEV_41[$i1] = con.pumOn.outPort[$i1 - 1].available and not con.pumOn.outPort[$i1 - 1].reset ($RES_EVT_472) (84) [----] end for; (85) [SCAL] (1) $SEV_42 = $FUN_4 or con.pumOn.outerStatePort.localActive and not $FUN_5 ($RES_EVT_473) (86) [FOR-] (2) ($RES_EVT_474) (86) [----] for $i1 in 1:2 loop (86) [----] [SCAL] (1) $SEV_43[$i1] = con.staBy.outPort[$i1 - 1].available and not con.staBy.outPort[$i1 - 1].reset ($RES_EVT_475) (86) [----] end for; (87) [SCAL] (1) $TEV_13 = $PRE.con.nor.outerStatePort.localActive ($RES_EVT_390) (88) [SCAL] (1) $SEV_44 = $FUN_2 or con.staBy.outerStatePort.localActive and not $FUN_3 ($RES_EVT_476) (89) [SCAL] (1) $TEV_14 = $PRE.con.nor.newActive ($RES_EVT_391) (90) [SCAL] (1) $TEV_15 = $PRE.con.transition2.outPort.set ($RES_EVT_392) (91) [SCAL] (1) $SEV_46 = runSig.realToBoolean.u >= runSig.realToBoolean.threshold ($RES_EVT_478) (92) [SCAL] (1) $SEV_47 = time >= $PRE.runSig.combiTimeTable.nextTimeEvent ($RES_EVT_479) (93) [SCAL] (1) $TEV_17 = $PRE.con.transition1.outPort.set ($RES_EVT_394) (94) [SCAL] (1) $TEV_19 = $PRE.con.assWatMas.not1.u ($RES_EVT_396) (95) [SCAL] (1) con.transition6.outPort.set = con.nor.inPort[1].set ($RES_SIM_310) (96) [SCAL] (1) $TEV_20 = $PRE.con.transition10.outPort.set ($RES_EVT_397) (97) [SCAL] (1) con.transition6.outPort.occupied = con.nor.inPort[1].occupied ($RES_SIM_311) (98) [SCAL] (1) con.plaOff.outPort[1].reset = con.transition1.outPort.set ($RES_SIM_312) (99) [SCAL] (1) $TEV_22 = $PRE.con.transition7.outPort.set ($RES_EVT_399) (100) [SCAL] (1) con.plaOff.outPort[1].available = con.transition1.inPort.available ($RES_SIM_313) (101) [SCAL] (1) con.nor.outPort[1].reset = con.transition8.outPort.set ($RES_SIM_314) (102) [SCAL] (1) con.nor.outPort[1].available = con.transition8.inPort.available ($RES_SIM_315) (103) [SCAL] (1) con.staBy.outerStatePort.localActive = $TEV_42 ($RES_SIM_230) (104) [SCAL] (1) con.staBy.outerStatePort.subgraphStatePort.activeSteps = if con.staBy.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_232) (105) [SCAL] (1) not con.transition5.localCondition = $SEV_46 ($RES_SIM_234) (106) [SCAL] (1) runSig.combiTimeTable.y[1] = runSig.combiTimeTable.p_offset[1] + $FUN_1 ($RES_SIM_235) (107) [SCAL] (1) con.transition7.outPort.set = $SEV_27 ($RES_SIM_150) (108) [WHEN] (1)when {$SEV_47, initial()} then (108) [----] runSig.combiTimeTable.nextTimeEventScaled := Modelica.Blocks.Tables.Internal.getNextTimeEvent(runSig.combiTimeTable.tableID, time) (108) [----] end when; (109) [WHEN] (1)when {$SEV_47, initial()} then (109) [----] runSig.combiTimeTable.nextTimeEvent := if runSig.combiTimeTable.nextTimeEventScaled < 1e60 then runSig.combiTimeTable.nextTimeEventScaled else 1e60 (109) [----] end when; (110) [SCAL] (1) con.pumOn.outerStatePort.subgraphStatePort.activeSteps + con.warUp.outerStatePort.subgraphStatePort.activeSteps + con.cooDow.outerStatePort.subgraphStatePort.activeSteps + con.nor.outerStatePort.subgraphStatePort.activeSteps + con.plaOff.outerStatePort.subgraphStatePort.activeSteps + stateGraphRoot.subgraphStatePort.activeSteps + con.staBy.outerStatePort.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_239) (111) [SCAL] (1) $TEV_24 = $PRE.con.transition9.outPort.set ($RES_EVT_401) (112) [SCAL] (1) con.transition9.outPort.set = $SEV_28 ($RES_SIM_157) (113) [SCAL] (1) $TEV_26 = $PRE.con.transition5.outPort.set ($RES_EVT_403) (114) [SCAL] (1) $TEV_28 = $PRE.con.transition3.outPort.set ($RES_EVT_405) (115) [SCAL] (1) $TEV_30 = $PRE.con.hys.y ($RES_EVT_407) (116) [SCAL] (1) $TEV_31 = $PRE.con.cooDow.oldActive ($RES_EVT_408) (117) [SCAL] (1) $TEV_32 = $PRE.con.cooDow.outerStatePort.localActive ($RES_EVT_409) (118) [SCAL] (1) mWat_flow.y[1] = con.assWatMas.hys.u ($RES_SIM_240) (119) [ARRY] (1) mWat_flow.tab.y = mWat_flow.y ($RES_SIM_243) (120) [SCAL] (1) avaSig.combiTimeTable.y[1] = avaSig.realToBoolean.u ($RES_SIM_245) (121) [SCAL] (1) con.transition5.outPort.set = $SEV_29 ($RES_SIM_164) (122) [SCAL] (1) $TEV_33 = $PRE.con.cooDow.newActive ($RES_EVT_410) (123) [SCAL] (1) $TEV_34 = $PRE.con.warUp.oldActive ($RES_EVT_411) (124) [SCAL] (1) $TEV_35 = $PRE.con.warUp.outerStatePort.localActive ($RES_EVT_412) (125) [SCAL] (1) $TEV_36 = $PRE.con.warUp.newActive ($RES_EVT_413) (126) [SCAL] (1) $TEV_37 = $PRE.con.pumOn.oldActive ($RES_EVT_414) (127) [SCAL] (1) $TEV_38 = $PRE.con.pumOn.outerStatePort.localActive ($RES_EVT_415) (128) [SCAL] (1) $TEV_39 = $PRE.con.pumOn.newActive ($RES_EVT_416) (129) [SCAL] (1) $TEV_40 = $PRE.con.staBy.oldActive ($RES_EVT_417) (130) [SCAL] (1) $TEV_41 = $PRE.con.staBy.outerStatePort.localActive ($RES_EVT_418) (131) [SCAL] (1) $TEV_42 = $PRE.con.staBy.newActive ($RES_EVT_419) (132) [SCAL] (1) stateGraphRoot.activeSteps = -integer(stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_52) (133) [SCAL] (1) mWat_flow.tab.y[1] = mWat_flow.tab.p_offset[1] + $FUN_15 ($RES_SIM_53) (134) [WHEN] (1)when {$SEV_6, initial()} then (134) [----] mWat_flow.tab.nextTimeEvent := if mWat_flow.tab.nextTimeEventScaled < 1e60 then mWat_flow.tab.nextTimeEventScaled else 1e60 (134) [----] end when; (135) [SCAL] (1) con.cooDow.outPort[2].reset = con.transition7.outPort.set ($RES_SIM_253) (136) [WHEN] (1)when {$SEV_6, initial()} then (136) [----] mWat_flow.tab.nextTimeEventScaled := Modelica.Blocks.Tables.Internal.getNextTimeEvent(mWat_flow.tab.tableID, time) (136) [----] end when; (137) [SCAL] (1) con.cooDow.outPort[2].available = con.transition7.inPort.available ($RES_SIM_254) (138) [SCAL] (1) con.cooDow.outPort[1].reset = con.transition10.outPort.set ($RES_SIM_255) (139) [SCAL] (1) con.cooDow.outPort[1].available = con.transition10.inPort.available ($RES_SIM_256) (140) [SCAL] (1) con.transition3.outPort.set = $SEV_30 ($RES_SIM_171) (141) [SCAL] (1) not con.transition3.localCondition = $SEV_8 ($RES_SIM_58) (142) [SCAL] (1) con.transition9.outPort.set = con.cooDow.inPort[2].set ($RES_SIM_257) (143) [SCAL] (1) avaSig.combiTimeTable.y[1] = avaSig.combiTimeTable.p_offset[1] + $FUN_14 ($RES_SIM_59) (144) [SCAL] (1) con.transition9.outPort.occupied = con.cooDow.inPort[2].occupied ($RES_SIM_258) (145) [SCAL] (1) con.transition8.outPort.set = con.cooDow.inPort[1].set ($RES_SIM_259) (146) [SCAL] (1) $TEV_43 = $PRE.runSig.combiTimeTable.nextTimeEventScaled ($RES_EVT_420) (147) [SCAL] (1) $TEV_44 = $PRE.avaSig.combiTimeTable.nextTimeEventScaled ($RES_EVT_421) (148) [SCAL] (1) con.transition6.localCondition = $SEV_31 ($RES_SIM_176) (149) [SCAL] (1) $TEV_45 = $PRE.mWat_flow.tab.nextTimeEventScaled ($RES_EVT_422) (150) [SCAL] (1) not con.transition9.localCondition = $SEV_32 ($RES_SIM_179) (151) [SCAL] (1) $SEV_6 = time >= $PRE.mWat_flow.tab.nextTimeEvent ($RES_EVT_429) (152) [SCAL] (1) runSig.combiTimeTable.y[1] = runSig.realToBoolean.u ($RES_SIM_342) (153) [WHEN] (1)when {$SEV_9, initial()} then (153) [----] avaSig.combiTimeTable.nextTimeEventScaled := Modelica.Blocks.Tables.Internal.getNextTimeEvent(avaSig.combiTimeTable.tableID, time) (153) [----] end when; (154) [WHEN] (1)when {$SEV_9, initial()} then (154) [----] avaSig.combiTimeTable.nextTimeEvent := if avaSig.combiTimeTable.nextTimeEventScaled < 1e60 then avaSig.combiTimeTable.nextTimeEventScaled else 1e60 (154) [----] end when; (155) [SCAL] (1) con.transition8.outPort.occupied = con.cooDow.inPort[1].occupied ($RES_SIM_260) (156) [SCAL] (1) con.warUpCtr.timer.y = if con.warUp.outerStatePort.localActive then time - con.warUpCtr.timer.entryTime else 0.0 ($RES_SIM_102) (157) [SCAL] (1) con.transition7.outPort.set = con.warUp.inPort[2].set ($RES_SIM_261) (158) [WHEN] (1)when not con.warUp.outerStatePort.localActive then (158) [----] con.warUpCtr.timer.entryTime := $PRE.con.warUpCtr.timer.entryTime (158) [----] else when $SEV_17 then (158) [----] con.warUpCtr.timer.entryTime := $PRE.con.warUpCtr.timer.entryTime (158) [----] else when con.warUp.outerStatePort.localActive then (158) [----] con.warUpCtr.timer.entryTime := time (158) [----] end when; (159) [SCAL] (1) con.transition7.outPort.occupied = con.warUp.inPort[2].occupied ($RES_SIM_262) (160) [-IF-] (1)if con.plaOff.outerStatePort.localActive then (160) [----] [SCAL] (1) con.opeMod = Buildings.Fluid.CHPs.BaseClasses.Types.Mode.Off ($RES_SIM_65) (160) [----] elseif con.staBy.outerStatePort.localActive then (160) [----] [SCAL] (1) con.opeMod = Buildings.Fluid.CHPs.BaseClasses.Types.Mode.StandBy ($RES_SIM_66) (160) [----] elseif con.pumOn.outerStatePort.localActive then (160) [----] [SCAL] (1) con.opeMod = Buildings.Fluid.CHPs.BaseClasses.Types.Mode.PumpOn ($RES_SIM_67) (160) [----] elseif con.warUp.outerStatePort.localActive then (160) [----] [SCAL] (1) con.opeMod = Buildings.Fluid.CHPs.BaseClasses.Types.Mode.WarmUp ($RES_SIM_68) (160) [----] elseif con.nor.outerStatePort.localActive then (160) [----] [SCAL] (1) con.opeMod = Buildings.Fluid.CHPs.BaseClasses.Types.Mode.Normal ($RES_SIM_69) (160) [----] else (160) [----] [SCAL] (1) con.opeMod = Buildings.Fluid.CHPs.BaseClasses.Types.Mode.CoolDown ($RES_SIM_70) (160) [----] end if; (161) [WHEN] (1)when not con.warUp.outerStatePort.localActive then (161) [----] con.and1.u2 := false (161) [----] else when $SEV_17 then (161) [----] con.and1.u2 := true (161) [----] else when con.warUp.outerStatePort.localActive then (161) [----] con.and1.u2 := con.warUpCtr.timer.t <= 0.0 (161) [----] end when; (162) [SCAL] (1) con.transition4.outPort.set = con.warUp.inPort[1].set ($RES_SIM_263) (163) [SCAL] (1) con.transition4.outPort.occupied = con.warUp.inPort[1].occupied ($RES_SIM_264) (164) [SCAL] (1) con.hys.y = $SEV_33 ($RES_SIM_180) (165) [SCAL] (1) con.transition8.outPort.set = $SEV_18 ($RES_SIM_107) (166) [SCAL] (1) con.sub1.y = con.assWatMas.hys.u - con.max.y ($RES_SIM_181) (167) [SCAL] (1) con.warUp.outPort[2].reset = con.transition9.outPort.set ($RES_SIM_267) (168) [SCAL] (1) con.max.y = max(con.minWatFlo.k, con.con.k) ($RES_SIM_182) (169) [SCAL] (1) con.warUp.outPort[2].available = con.transition9.inPort.available ($RES_SIM_268) (170) [SCAL] (1) con.warUp.outPort[1].reset = con.transition6.outPort.set ($RES_SIM_269) (171) [FOR-] (2) ($RES_SIM_185) (171) [----] for $i1 in 1:2 loop (171) [----] [SCAL] (1) con.cooDow.outPort[$i1].reset = false ($RES_SIM_186) (171) [----] end for; (172) [SCAL] (1) $SEV_8 = avaSig.realToBoolean.u >= avaSig.realToBoolean.threshold ($RES_EVT_431) (173) [SCAL] (1) $SEV_9 = time >= $PRE.avaSig.combiTimeTable.nextTimeEvent ($RES_EVT_432) (174) [FOR-] (2) ($RES_SIM_187) (174) [----] for $i1 in 1:2 loop (174) [----] [SCAL] (1) con.cooDow.inPort[$i1].set = false ($RES_SIM_188) (174) [----] end for; (175) [SCAL] (1) $SEV_10 = con.cooDow.outerStatePort.localActive and time >= (con.timer.t + $PRE.con.timer.entryTime) ($RES_EVT_433) (176) [SCAL] (1) $SEV_11 = (not con.transition9.localCondition and con.transition4.inPort.available) and not con.transition4.outPort.occupied ($RES_EVT_434) (177) [FOR-] (2) ($RES_SIM_189) (177) [----] for $i1 in 1:2 loop (177) [----] [SCAL] (1) con.cooDow.outPort[$i1].available = if $SEV_34[$i1] then con.cooDow.outerStatePort.localActive else $SEV_35[$i1] ($RES_SIM_190) (177) [----] end for; (178) [SCAL] (1) $SEV_12 = con.transition4.enableFire and time >= ((time - con.transition4.t_dummy) + con.transition4.waitTime) ($RES_EVT_435) (179) [FOR-] (3) ($RES_EVT_436) (179) [----] for $i1 in 1:3 loop (179) [----] [SCAL] (1) $SEV_13[$i1] = $i1 == 1 ($RES_EVT_437) (179) [----] end for; (180) [FOR-] (3) ($RES_EVT_438) (180) [----] for $i1 in 1:3 loop (180) [----] [SCAL] (1) $SEV_14[$i1] = con.plaOff.inPort[$i1 - 1].occupied or con.plaOff.inPort[$i1 - 1].set ($RES_EVT_439) (180) [----] end for; (181) [SCAL] (1) con.warUp.outPort[1].available = con.transition6.inPort.available ($RES_SIM_270) (182) [SCAL] (1) con.timer.y = if con.cooDow.outerStatePort.localActive then time - con.timer.entryTime else 0.0 ($RES_SIM_72) (183) [SCAL] (1) con.nor.outPort[1].reset = false ($RES_SIM_112) (184) [SCAL] (1) con.pumOn.outPort[2].reset = con.transition5.outPort.set ($RES_SIM_271) (185) [WHEN] (1)when not con.cooDow.outerStatePort.localActive then (185) [----] con.timer.passed := false (185) [----] else when $SEV_10 then (185) [----] con.timer.passed := true (185) [----] else when con.cooDow.outerStatePort.localActive then (185) [----] con.timer.passed := con.timer.t <= 0.0 (185) [----] end when; (186) [SCAL] (1) con.nor.inPort[1].set = false ($RES_SIM_113) (187) [SCAL] (1) con.pumOn.outPort[2].available = con.transition5.inPort.available ($RES_SIM_272) (188) [WHEN] (1)when not con.cooDow.outerStatePort.localActive then (188) [----] con.timer.entryTime := $PRE.con.timer.entryTime (188) [----] else when $SEV_10 then (188) [----] con.timer.entryTime := $PRE.con.timer.entryTime (188) [----] else when con.cooDow.outerStatePort.localActive then (188) [----] con.timer.entryTime := time (188) [----] end when; (189) [SCAL] (1) con.nor.outPort[1].available = con.nor.outerStatePort.localActive ($RES_SIM_114) (190) [SCAL] (1) con.pumOn.outPort[1].reset = con.transition4.outPort.set ($RES_SIM_273) (191) [SCAL] (1) con.nor.inPort[1].occupied = con.nor.outerStatePort.localActive ($RES_SIM_115) (192) [SCAL] (1) con.pumOn.outPort[1].available = con.transition4.inPort.available ($RES_SIM_274) (193) [WHEN] (1)when false then (193) [----] con.nor.oldActive := con.nor.outerStatePort.localActive (193) [----] end when; (194) [SCAL] (1) con.transition2.outPort.set = con.pumOn.inPort[1].set ($RES_SIM_275) (195) [SCAL] (1) con.nor.newActive = $SEV_19 ($RES_SIM_117) (196) [SCAL] (1) con.transition2.outPort.occupied = con.pumOn.inPort[1].occupied ($RES_SIM_276) (197) [SCAL] (1) con.transition4.enableFire = $SEV_11 ($RES_SIM_78) (198) [FOR-] (2) ($RES_SIM_191) (198) [----] for $i1 in 1:2 loop (198) [----] [SCAL] (1) con.cooDow.inPort[$i1].occupied = if $SEV_34[$i1] then con.cooDow.outerStatePort.localActive else $SEV_36[$i1] ($RES_SIM_192) (198) [----] end for; (199) [SCAL] (1) con.nor.outerStatePort.localActive = $TEV_14 ($RES_SIM_118) (200) [SCAL] (1) con.staBy.outPort[2].reset = con.transition3.outPort.set ($RES_SIM_277) (201) [SCAL] (1) con.transition4.outPort.set = $SEV_12 ($RES_SIM_79) (202) [SCAL] (1) con.staBy.outPort[2].available = con.transition3.inPort.available ($RES_SIM_278) (203) [WHEN] (1)when false then (203) [----] con.cooDow.oldActive := con.cooDow.outerStatePort.localActive (203) [----] end when; (204) [SCAL] (1) con.staBy.outPort[1].reset = con.transition2.outPort.set ($RES_SIM_279) (205) [SCAL] (1) con.cooDow.newActive = $SEV_37 ($RES_SIM_194) (206) [SCAL] (1) $FUN_1 = Modelica.Blocks.Tables.Internal.getTimeTableValueNoDer(runSig.combiTimeTable.tableID, 1, time, runSig.combiTimeTable.nextTimeEventScaled, $TEV_43) ($RES_$AUX_375) (207) [SCAL] (1) $SEV_15 = $FUN_12 or con.plaOff.outerStatePort.localActive and not $FUN_13 ($RES_EVT_440) (208) [SCAL] (1) con.cooDow.outerStatePort.localActive = $TEV_33 ($RES_SIM_195) (209) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(con.staBy.inPort.set) ($RES_$AUX_374) (210) [SCAL] (1) $SEV_16 = (con.transition6.localCondition and con.transition6.inPort.available) and not con.transition6.outPort.occupied ($RES_EVT_441) (211) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(con.staBy.outPort.reset) ($RES_$AUX_373) (212) [SCAL] (1) $SEV_17 = con.warUp.outerStatePort.localActive and time >= (con.warUpCtr.timer.t + $PRE.con.warUpCtr.timer.entryTime) ($RES_EVT_442) (213) [SCAL] (1) con.cooDow.outerStatePort.subgraphStatePort.activeSteps = if con.cooDow.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_197) (214) [SCAL] (1) $FUN_4 = Modelica.Math.BooleanVectors.anyTrue(con.pumOn.inPort.set) ($RES_$AUX_372) (215) [SCAL] (1) $SEV_18 = (con.transition9.localCondition and con.transition8.inPort.available) and not con.transition8.outPort.occupied ($RES_EVT_443) (216) [FOR-] (2) ($RES_SIM_198) (216) [----] for $i1 in 1:2 loop (216) [----] [SCAL] (1) con.warUp.outPort[$i1].reset = false ($RES_SIM_199) (216) [----] end for; (217) [SCAL] (1) $FUN_5 = Modelica.Math.BooleanVectors.anyTrue(con.pumOn.outPort.reset) ($RES_$AUX_371) (218) [SCAL] (1) $SEV_19 = $FUN_10 or con.nor.outerStatePort.localActive and not $FUN_11 ($RES_EVT_444) (219) [SCAL] (1) $FUN_6 = Modelica.Math.BooleanVectors.anyTrue(con.warUp.inPort.set) ($RES_$AUX_370) (220) [SCAL] (1) $SEV_20 = (not con.transition5.localCondition and con.transition2.inPort.available) and not con.transition2.outPort.occupied ($RES_EVT_445) (221) [SCAL] (1) $SEV_21 = (not con.transition3.localCondition and con.transition1.inPort.available) and not con.transition1.outPort.occupied ($RES_EVT_446) (222) [SCAL] (1) $SEV_22 = not $PRE.con.assWatMas.not1.u and con.assWatMas.hys.u > con.assWatMas.hys.uHigh or $PRE.con.assWatMas.not1.u and con.assWatMas.hys.u >= con.assWatMas.hys.uLow ($RES_EVT_447) (223) [SCAL] (1) $SEV_23 = not con.transition5.localCondition and not con.assWatMas.not1.u ($RES_EVT_448) (224) [SCAL] (1) $SEV_24 = con.timer.passed and con.transition9.localCondition ($RES_EVT_449) (225) [FOR-] (2) ($RES_SIM_200) (225) [----] for $i1 in 1:2 loop (225) [----] [SCAL] (1) con.warUp.inPort[$i1].set = false ($RES_SIM_201) (225) [----] end for; (226) [FOR-] (2) ($RES_SIM_202) (226) [----] for $i1 in 1:2 loop (226) [----] [SCAL] (1) con.warUp.outPort[$i1].available = if $SEV_34[$i1] then con.warUp.outerStatePort.localActive else $SEV_38[$i1] ($RES_SIM_203) (226) [----] end for; =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 41 var 2 --> eqn 39 var 3 --> eqn 37 var 4 --> eqn 20 var 5 --> eqn 21 var 6 --> eqn 22 var 7 --> eqn 35 var 8 --> eqn 117 var 9 --> eqn 33 var 10 --> eqn 249 var 11 --> eqn 248 var 12 --> eqn 247 var 13 --> eqn 57 var 14 --> eqn 245 var 15 --> eqn 83 var 16 --> eqn 54 var 17 --> eqn 82 var 18 --> eqn 14 var 19 --> eqn 15 var 20 --> eqn 16 var 21 --> eqn 81 var 22 --> eqn 114 var 23 --> eqn 153 var 24 --> eqn 78 var 25 --> eqn 77 var 26 --> eqn 74 var 27 --> eqn 111 var 28 --> eqn 50 var 29 --> eqn 49 var 30 --> eqn 48 var 31 --> eqn 144 var 32 --> eqn 175 var 33 --> eqn 143 var 34 --> eqn 8 var 35 --> eqn 142 var 36 --> eqn 141 var 37 --> eqn 140 var 38 --> eqn 113 var 39 --> eqn 29 var 40 --> eqn 139 var 41 --> eqn 138 var 42 --> eqn 133 var 43 --> eqn 161 var 44 --> eqn 158 var 45 --> eqn 132 var 46 --> eqn 9 var 47 --> eqn 131 var 48 --> eqn 243 var 49 --> eqn 71 var 50 --> eqn 72 var 51 --> eqn 181 var 52 --> eqn 236 var 53 --> eqn 177 var 54 --> eqn 65 var 55 --> eqn 231 var 56 --> eqn 166 var 57 --> eqn 201 var 58 --> eqn 202 var 59 --> eqn 203 var 60 --> eqn 197 var 61 --> eqn 194 var 62 --> eqn 193 var 63 --> eqn 170 var 64 --> eqn 95 var 65 --> eqn 169 var 66 --> eqn 182 var 67 --> eqn 130 var 68 --> eqn 60 var 69 --> eqn 129 var 70 --> eqn 125 var 71 --> eqn 127 var 72 --> eqn 61 var 73 --> eqn 206 var 74 --> eqn 120 var 75 --> eqn 115 var 76 --> eqn 112 var 77 --> eqn 18 var 78 --> eqn 10 var 79 --> eqn 209 var 80 --> eqn 86 var 81 --> eqn 154 var 82 --> eqn 151 var 83 --> eqn 216 var 84 --> eqn 94 var 85 --> eqn 159 var 86 --> eqn 149 var 87 --> eqn 28 var 88 --> eqn 25 var 89 --> eqn 23 var 90 --> eqn 12 var 91 --> eqn 244 var 92 --> eqn 242 var 93 --> eqn 238 var 94 --> eqn 136 var 95 --> eqn 31 var 96 --> eqn 235 var 97 --> eqn 110 var 98 --> eqn 233 var 99 --> eqn 69 var 100 --> eqn 70 var 101 --> eqn 62 var 102 --> eqn 230 var 103 --> eqn 109 var 104 --> eqn 124 var 105 --> eqn 106 var 106 --> eqn 105 var 107 --> eqn 176 var 108 --> eqn 98 var 109 --> eqn 99 var 110 --> eqn 103 var 111 --> eqn 164 var 112 --> eqn 198 var 113 --> eqn 199 var 114 --> eqn 200 var 115 --> eqn 85 var 116 --> eqn 213 var 117 --> eqn 84 var 118 --> eqn 17 var 119 --> eqn 218 var 120 --> eqn 155 var 121 --> eqn 150 var 122 --> eqn 172 var 123 --> eqn 157 var 124 --> eqn 63 var 125 --> eqn 160 var 126 --> eqn 214 var 127 --> eqn 211 var 128 --> eqn 237 var 129 --> eqn 40 var 130 --> eqn 52 var 131 --> eqn 53 var 132 --> eqn 180 var 133 --> eqn 215 var 134 --> eqn 38 var 135 --> eqn 252 var 136 --> eqn 253 var 137 --> eqn 3 var 138 --> eqn 6 var 139 --> eqn 36 var 140 --> eqn 34 var 141 --> eqn 66 var 142 --> eqn 32 var 143 --> eqn 30 var 144 --> eqn 226 var 145 --> eqn 168 var 146 --> eqn 59 var 147 --> eqn 79 var 148 --> eqn 80 var 149 --> eqn 190 var 150 --> eqn 174 var 151 --> eqn 189 var 152 --> eqn 167 var 153 --> eqn 4 var 154 --> eqn 126 var 155 --> eqn 46 var 156 --> eqn 47 var 157 --> eqn 58 var 158 --> eqn 135 var 159 --> eqn 118 var 160 --> eqn 171 var 161 --> eqn 185 var 162 --> eqn 5 var 163 --> eqn 92 var 164 --> eqn 24 var 165 --> eqn 223 var 166 --> eqn 219 var 167 --> eqn 119 var 168 --> eqn 27 var 169 --> eqn 13 var 170 --> eqn 96 var 171 --> eqn 227 var 172 --> eqn 195 var 173 --> eqn 196 var 174 --> eqn 7 var 175 --> eqn 64 var 176 --> eqn 220 var 177 --> eqn 178 var 178 --> eqn 173 var 179 --> eqn 75 var 180 --> eqn 76 var 181 --> eqn 19 var 182 --> eqn 152 var 183 --> eqn 128 var 184 --> eqn 108 var 185 --> eqn 55 var 186 --> eqn 56 var 187 --> eqn 107 var 188 --> eqn 212 var 189 --> eqn 122 var 190 --> eqn 104 var 191 --> eqn 100 var 192 --> eqn 205 var 193 --> eqn 97 var 194 --> eqn 221 var 195 --> eqn 222 var 196 --> eqn 90 var 197 --> eqn 91 var 198 --> eqn 87 var 199 --> eqn 88 var 200 --> eqn 123 var 201 --> eqn 1 var 202 --> eqn 2 var 203 --> eqn 232 var 204 --> eqn 229 var 205 --> eqn 51 var 206 --> eqn 11 var 207 --> eqn 179 var 208 --> eqn 134 var 209 --> eqn 26 var 210 --> eqn 184 var 211 --> eqn 73 var 212 --> eqn 208 var 213 --> eqn 45 var 214 --> eqn 44 var 215 --> eqn 43 var 216 --> eqn 67 var 217 --> eqn 42 var 218 --> eqn 186 var 219 --> eqn 183 var 220 --> eqn 121 var 221 --> eqn 68 var 222 --> eqn 204 var 223 --> eqn 101 var 224 --> eqn 102 var 225 --> eqn 210 var 226 --> eqn 116 var 227 --> eqn 165 var 228 --> eqn 148 var 229 --> eqn 163 var 230 --> eqn 162 var 231 --> eqn 147 var 232 --> eqn 146 var 233 --> eqn 145 equation to variable ********************** eqn 1 --> var 201 eqn 2 --> var 202 eqn 3 --> var 137 eqn 4 --> var 153 eqn 5 --> var 162 eqn 6 --> var 138 eqn 7 --> var 174 eqn 8 --> var 34 eqn 9 --> var 46 eqn 10 --> var 78 eqn 11 --> var 206 eqn 12 --> var 90 eqn 13 --> var 169 eqn 14 --> var 18 eqn 15 --> var 19 eqn 16 --> var 20 eqn 17 --> var 118 eqn 18 --> var 77 eqn 19 --> var 181 eqn 20 --> var 4 eqn 21 --> var 5 eqn 22 --> var 6 eqn 23 --> var 89 eqn 24 --> var 164 eqn 25 --> var 88 eqn 26 --> var 209 eqn 27 --> var 168 eqn 28 --> var 87 eqn 29 --> var 39 eqn 30 --> var 143 eqn 31 --> var 95 eqn 32 --> var 142 eqn 33 --> var 9 eqn 34 --> var 140 eqn 35 --> var 7 eqn 36 --> var 139 eqn 37 --> var 3 eqn 38 --> var 134 eqn 39 --> var 2 eqn 40 --> var 129 eqn 41 --> var 1 eqn 42 --> var 217 eqn 43 --> var 215 eqn 44 --> var 214 eqn 45 --> var 213 eqn 46 --> var 155 eqn 47 --> var 156 eqn 48 --> var 30 eqn 49 --> var 29 eqn 50 --> var 28 eqn 51 --> var 205 eqn 52 --> var 130 eqn 53 --> var 131 eqn 54 --> var 16 eqn 55 --> var 185 eqn 56 --> var 186 eqn 57 --> var 13 eqn 58 --> var 157 eqn 59 --> var 146 eqn 60 --> var 68 eqn 61 --> var 72 eqn 62 --> var 101 eqn 63 --> var 124 eqn 64 --> var 175 eqn 65 --> var 54 eqn 66 --> var 141 eqn 67 --> var 216 eqn 68 --> var 221 eqn 69 --> var 99 eqn 70 --> var 100 eqn 71 --> var 49 eqn 72 --> var 50 eqn 73 --> var 211 eqn 74 --> var 26 eqn 75 --> var 179 eqn 76 --> var 180 eqn 77 --> var 25 eqn 78 --> var 24 eqn 79 --> var 147 eqn 80 --> var 148 eqn 81 --> var 21 eqn 82 --> var 17 eqn 83 --> var 15 eqn 84 --> var 117 eqn 85 --> var 115 eqn 86 --> var 80 eqn 87 --> var 198 eqn 88 --> var 199 eqn 89 --> var -1 eqn 90 --> var 196 eqn 91 --> var 197 eqn 92 --> var 163 eqn 93 --> var -1 eqn 94 --> var 84 eqn 95 --> var 64 eqn 96 --> var 170 eqn 97 --> var 193 eqn 98 --> var 108 eqn 99 --> var 109 eqn 100 --> var 191 eqn 101 --> var 223 eqn 102 --> var 224 eqn 103 --> var 110 eqn 104 --> var 190 eqn 105 --> var 106 eqn 106 --> var 105 eqn 107 --> var 187 eqn 108 --> var 184 eqn 109 --> var 103 eqn 110 --> var 97 eqn 111 --> var 27 eqn 112 --> var 76 eqn 113 --> var 38 eqn 114 --> var 22 eqn 115 --> var 75 eqn 116 --> var 226 eqn 117 --> var 8 eqn 118 --> var 159 eqn 119 --> var 167 eqn 120 --> var 74 eqn 121 --> var 220 eqn 122 --> var 189 eqn 123 --> var 200 eqn 124 --> var 104 eqn 125 --> var 70 eqn 126 --> var 154 eqn 127 --> var 71 eqn 128 --> var 183 eqn 129 --> var 69 eqn 130 --> var 67 eqn 131 --> var 47 eqn 132 --> var 45 eqn 133 --> var 42 eqn 134 --> var 208 eqn 135 --> var 158 eqn 136 --> var 94 eqn 137 --> var -1 eqn 138 --> var 41 eqn 139 --> var 40 eqn 140 --> var 37 eqn 141 --> var 36 eqn 142 --> var 35 eqn 143 --> var 33 eqn 144 --> var 31 eqn 145 --> var 233 eqn 146 --> var 232 eqn 147 --> var 231 eqn 148 --> var 228 eqn 149 --> var 86 eqn 150 --> var 121 eqn 151 --> var 82 eqn 152 --> var 182 eqn 153 --> var 23 eqn 154 --> var 81 eqn 155 --> var 120 eqn 156 --> var -1 eqn 157 --> var 123 eqn 158 --> var 44 eqn 159 --> var 85 eqn 160 --> var 125 eqn 161 --> var 43 eqn 162 --> var 230 eqn 163 --> var 229 eqn 164 --> var 111 eqn 165 --> var 227 eqn 166 --> var 56 eqn 167 --> var 152 eqn 168 --> var 145 eqn 169 --> var 65 eqn 170 --> var 63 eqn 171 --> var 160 eqn 172 --> var 122 eqn 173 --> var 178 eqn 174 --> var 150 eqn 175 --> var 32 eqn 176 --> var 107 eqn 177 --> var 53 eqn 178 --> var 177 eqn 179 --> var 207 eqn 180 --> var 132 eqn 181 --> var 51 eqn 182 --> var 66 eqn 183 --> var 219 eqn 184 --> var 210 eqn 185 --> var 161 eqn 186 --> var 218 eqn 187 --> var -1 eqn 188 --> var -1 eqn 189 --> var 151 eqn 190 --> var 149 eqn 191 --> var -1 eqn 192 --> var -1 eqn 193 --> var 62 eqn 194 --> var 61 eqn 195 --> var 172 eqn 196 --> var 173 eqn 197 --> var 60 eqn 198 --> var 112 eqn 199 --> var 113 eqn 200 --> var 114 eqn 201 --> var 57 eqn 202 --> var 58 eqn 203 --> var 59 eqn 204 --> var 222 eqn 205 --> var 192 eqn 206 --> var 73 eqn 207 --> var -1 eqn 208 --> var 212 eqn 209 --> var 79 eqn 210 --> var 225 eqn 211 --> var 127 eqn 212 --> var 188 eqn 213 --> var 116 eqn 214 --> var 126 eqn 215 --> var 133 eqn 216 --> var 83 eqn 217 --> var -1 eqn 218 --> var 119 eqn 219 --> var 166 eqn 220 --> var 176 eqn 221 --> var 194 eqn 222 --> var 195 eqn 223 --> var 165 eqn 224 --> var -1 eqn 225 --> var -1 eqn 226 --> var 144 eqn 227 --> var 171 eqn 228 --> var -1 eqn 229 --> var 204 eqn 230 --> var 102 eqn 231 --> var 55 eqn 232 --> var 203 eqn 233 --> var 98 eqn 234 --> var -1 eqn 235 --> var 96 eqn 236 --> var 52 eqn 237 --> var 128 eqn 238 --> var 93 eqn 239 --> var -1 eqn 240 --> var -1 eqn 241 --> var -1 eqn 242 --> var 92 eqn 243 --> var 48 eqn 244 --> var 91 eqn 245 --> var 14 eqn 246 --> var -1 eqn 247 --> var 12 eqn 248 --> var 11 eqn 249 --> var 10 eqn 250 --> var -1 eqn 251 --> var -1 eqn 252 --> var 135 eqn 253 --> var 136