Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Modelica_StateGraph2_Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.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/Modelica_StateGraph2 2.1.0/package.mo", uses=false) Using package Modelica_StateGraph2 with version 2.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/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(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1") translateModel(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.0009785/0.0009785, allocations: 98.03 kB / 15.36 MB, free: 0.7344 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.007797/0.007797, allocations: 169.8 kB / 16.27 MB, free: 6.66 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.454/1.454, allocations: 223.3 MB / 240.3 MB, free: 5.324 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo): time 0.2941/0.2941, allocations: 13.56 MB / 305 MB, free: 1.402 MB / 238.1 MB Notification: Performance of FrontEnd - loaded program: time 0.0003494/0.0003495, allocations: 11.98 kB / 369.5 MB, free: 6.211 MB / 302.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.123/0.1234, allocations: 53.71 MB / 423.2 MB, free: 468 kB / 350.1 MB Notification: Performance of NFInst.instantiate(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1): time 0.2977/0.4211, allocations: 29.94 MB / 453.1 MB, free: 25.19 MB / 350.1 MB Notification: Performance of NFInst.instExpressions: time 0.01636/0.4375, allocations: 9.293 MB / 462.4 MB, free: 18.57 MB / 350.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.005297/0.4429, allocations: 128.1 kB / 462.5 MB, free: 18.51 MB / 350.1 MB Notification: Performance of NFTyping.typeComponents: time 0.005252/0.4482, allocations: 1.19 MB / 463.7 MB, free: 17.94 MB / 350.1 MB Notification: Performance of NFTyping.typeBindings: time 0.007865/0.456, allocations: 1.452 MB / 465.2 MB, free: 17.11 MB / 350.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: The first argument 'tankController.makeProduct.local_entry.node' of Connections.uniqueRoot must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRootIndices. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The first argument 'tankController.makeProduct.local_entry.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The second argument 'tankController.makeProduct.local_exit.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15046:9-15046:83:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12183:5-12189:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: The first argument 'tankController.shutStep.local_entry.node' of Connections.uniqueRoot must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRootIndices. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The first argument 'tankController.shutStep.local_entry.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The second argument 'tankController.shutStep.local_exit.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15046:9-15046:83:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12183:5-12189:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. Notification: Performance of NFTyping.typeClassSections: time 0.01113/0.4672, allocations: 3.078 MB / 468.3 MB, free: 15.32 MB / 350.1 MB Notification: Performance of NFFlatten.flatten: time 0.01823/0.4854, allocations: 7.795 MB / 476.1 MB, free: 12.25 MB / 350.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.01795/0.5034, allocations: 6.968 MB / 483 MB, free: 8.316 MB / 350.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.007254/0.5107, allocations: 1.95 MB / 485 MB, free: 7.25 MB / 350.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.005117/0.5159, allocations: 2.008 MB / 487 MB, free: 5.926 MB / 350.1 MB Notification: Performance of NFPackage.collectConstants: time 0.001959/0.5179, allocations: 166.2 kB / 487.2 MB, free: 5.926 MB / 350.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.005131/0.5231, allocations: 0.8208 MB / 488 MB, free: 5.578 MB / 350.1 MB Notification: Performance of NFScalarize.scalarize: time 0.003468/0.5266, allocations: 0.982 MB / 489 MB, free: 4.91 MB / 350.1 MB Notification: Performance of NFVerifyModel.verify: time 0.006686/0.5333, allocations: 1.819 MB / 490.8 MB, free: 3.57 MB / 350.1 MB Notification: Performance of NFConvertDAE.convert: time 0.01384/0.5472, allocations: 5.834 MB / 496.6 MB, free: 15.32 MB / 366.1 MB Notification: Performance of FrontEnd - DAE generated: time 8.105e-06/0.5472, allocations: 0 / 496.6 MB, free: 15.32 MB / 366.1 MB Notification: Performance of FrontEnd: time 5.73e-06/0.5473, allocations: 0 / 496.6 MB, free: 15.32 MB / 366.1 MB Notification: Performance of Transformations before backend: time 0.0005641/0.5478, allocations: 0.8438 kB / 496.6 MB, free: 15.32 MB / 366.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 996 * Number of variables: 996 Notification: Performance of Generate backend data structure: time 0.01441/0.5623, allocations: 3.781 MB / 0.4887 GB, free: 11.5 MB / 366.1 MB Notification: Performance of prepare preOptimizeDAE: time 7.068e-05/0.5624, allocations: 12.03 kB / 0.4887 GB, free: 11.49 MB / 366.1 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.003288/0.5657, allocations: 483.4 kB / 0.4891 GB, free: 11.01 MB / 366.1 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.006859/0.5725, allocations: 2.374 MB / 0.4915 GB, free: 8.586 MB / 366.1 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.000794/0.5734, allocations: 0.4943 MB / 0.4919 GB, free: 8.055 MB / 366.1 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.001942/0.5753, allocations: 384 kB / 0.4923 GB, free: 7.68 MB / 366.1 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.0162/0.5916, allocations: 4.967 MB / 0.4972 GB, free: 2.504 MB / 366.1 MB Notification: Performance of preOpt findStateOrder (simulation): time 0.0001931/0.5918, allocations: 7.938 kB / 0.4972 GB, free: 2.496 MB / 366.1 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.00158/0.5934, allocations: 164 kB / 0.4973 GB, free: 2.336 MB / 366.1 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0002405/0.5937, allocations: 163 kB / 0.4975 GB, free: 2.176 MB / 366.1 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.01058/0.6042, allocations: 3.876 MB / 0.5013 GB, free: 14.29 MB / 382.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:14978:9-14978:46:writable] Error: Found equation without time-dependent variables: tankController.shutStep.entry_restart[1] = true Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.03477/0.639, allocations: 16.76 MB / 0.5176 GB, free: 12.87 MB / 398.1 MB Notification: Performance of preOpt comSubExp (simulation): time 0.01857/0.6577, allocations: 9.122 MB / 0.5265 GB, free: 3.734 MB / 398.1 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.01093/0.6686, allocations: 4.712 MB / 0.5311 GB, free: 14.99 MB / 414.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/Fluid/Vessels.mo:268:9-269:69:writable] Error: Found equation without time-dependent variables: tank2.level = true Notification: Performance of preOpt evalFunc (simulation): time 0.01182/0.6805, allocations: 5.535 MB / 0.5365 GB, free: 9.055 MB / 414.1 MB Error: An independent subset of the model has imbalanced number of equations (795) and variables (787). variables: tankController.T18.t_start tankController.T18.enableFire tankController.T18.fire tankController.T18.outPort.checkOneDelayedTransitionPerLoop tankController.T18.outPort.node.resume tankController.T18.outPort.node.suspend tankController.T18.outPort.fire tankController.T18.inPort.checkOneDelayedTransitionPerLoop tankController.T18.inPort.node.resume tankController.T18.inPort.node.suspend tankController.T18.inPort.fire tankController.T18.inPort.available tankController.shutWait2.outport_fire tankController.shutWait2.inport_fire tankController.shutWait2.connectorNode.node.resume tankController.shutWait2.connectorNode.node.suspend tankController.shutWait2.oldActive tankController.shutWait2.newActive tankController.shutWait2.active tankController.shutWait2.outPort[1].checkOneDelayedTransitionPerLoop tankController.shutWait2.outPort[1].node.resume tankController.shutWait2.outPort[1].node.suspend tankController.shutWait2.outPort[1].fire tankController.shutWait2.outPort[1].available tankController.shutWait2.inPort[1].checkOneDelayedTransitionPerLoop tankController.shutWait2.inPort[1].node.resume tankController.shutWait2.inPort[1].node.suspend tankController.shutWait2.inPort[1].fire tankController.T17.t_start tankController.T17.enableFire tankController.T17.fire tankController.T17.outPort.checkOneDelayedTransitionPerLoop tankController.T17.outPort.node.resume tankController.T17.outPort.fire tankController.T17.inPort.checkOneDelayedTransitionPerLoop tankController.T17.inPort.node.resume tankController.T17.inPort.fire tankController.T17.inPort.available tankController.shutWait.outport_fire tankController.shutWait.inport_fire tankController.shutWait.connectorNode.node.resume tankController.shutWait.oldActive tankController.shutWait.newActive tankController.shutWait.active tankController.shutWait.outPort[1].checkOneDelayedTransitionPerLoop tankController.shutWait.outPort[1].node.resume tankController.shutWait.outPort[1].fire tankController.shutWait.outPort[1].available tankController.shutWait.inPort[1].checkOneDelayedTransitionPerLoop tankController.shutWait.inPort[1].node.resume tankController.shutWait.inPort[1].fire tankController.T16.t_start tankController.T16.enableFire tankController.T16.fire tankController.T16.outPort.checkOneDelayedTransitionPerLoop tankController.T16.outPort.node.resume tankController.T16.outPort.fire tankController.T16.inPort.checkOneDelayedTransitionPerLoop tankController.T16.inPort.node.resume tankController.T16.inPort.fire tankController.T16.inPort.available tankController.startWait.outport_fire tankController.startWait.inport_fire tankController.startWait.connectorNode.node.resume tankController.startWait.oldActive tankController.startWait.newActive tankController.startWait.active tankController.startWait.outPort[1].checkOneDelayedTransitionPerLoop tankController.startWait.outPort[1].node.resume tankController.startWait.outPort[1].fire tankController.startWait.outPort[1].available tankController.startWait.inPort[1].checkOneDelayedTransitionPerLoop tankController.startWait.inPort[1].node.resume tankController.startWait.inPort[1].fire tankController.T15.enableFire tankController.T15.fire tankController.T15.outPort.checkOneDelayedTransitionPerLoop tankController.T15.outPort.node.resume tankController.T15.outPort.node.suspend tankController.T15.outPort.fire tankController.T15.inPort.checkOneDelayedTransitionPerLoop tankController.T15.inPort.node.resume tankController.T15.inPort.node.suspend tankController.T15.inPort.fire tankController.T15.inPort.available tankController.stopStep2.outport_fire tankController.stopStep2.inport_fire tankController.stopStep2.connectorNode.node.resume tankController.stopStep2.connectorNode.node.suspend tankController.stopStep2.oldActive tankController.stopStep2.newActive tankController.stopStep2.active tankController.stopStep2.outPort[1].checkOneDelayedTransitionPerLoop tankController.stopStep2.outPort[1].node.resume tankController.stopStep2.outPort[1].node.suspend tankController.stopStep2.outPort[1].fire tankController.stopStep2.outPort[1].available tankController.stopStep2.inPort[1].checkOneDelayedTransitionPerLoop tankController.stopStep2.inPort[1].node.resume tankController.stopStep2.inPort[1].node.suspend tankController.stopStep2.inPort[1].fire tankController.T14.enableFire tankController.T14.fire tankController.T14.outPort.checkOneDelayedTransitionPerLoop tankController.T14.outPort.node.resume tankController.T14.outPort.node.suspend tankController.T14.outPort.fire tankController.T14.inPort.checkOneDelayedTransitionPerLoop tankController.T14.inPort.node.resume tankController.T14.inPort.node.suspend tankController.T14.inPort.fire tankController.T14.inPort.available tankController.T12.enableFire tankController.T12.fire tankController.T12.outPort.checkOneDelayedTransitionPerLoop tankController.T12.outPort.node.resume tankController.T12.outPort.fire tankController.T12.inPort.checkOneDelayedTransitionPerLoop tankController.T12.inPort.node.resume tankController.T12.inPort.fire tankController.T12.inPort.available tankController.T11.enableFire tankController.T11.fire tankController.T11.outPort.checkOneDelayedTransitionPerLoop tankController.T11.outPort.node.resume tankController.T11.outPort.node.suspend tankController.T11.outPort.fire tankController.T11.inPort.checkOneDelayedTransitionPerLoop tankController.T11.inPort.node.resume tankController.T11.inPort.node.suspend tankController.T11.inPort.fire tankController.T11.inPort.available tankController.tank2Empty.outport_fire tankController.tank2Empty.inport_fire tankController.tank2Empty.connectorNode.node.resume tankController.tank2Empty.connectorNode.node.suspend tankController.tank2Empty.oldActive tankController.tank2Empty.newActive tankController.tank2Empty.active tankController.tank2Empty.outPort[1].checkOneDelayedTransitionPerLoop tankController.tank2Empty.outPort[1].node.resume tankController.tank2Empty.outPort[1].node.suspend tankController.tank2Empty.outPort[1].fire tankController.tank2Empty.outPort[1].available tankController.tank2Empty.inPort[1].checkOneDelayedTransitionPerLoop tankController.tank2Empty.inPort[1].node.resume tankController.tank2Empty.inPort[1].node.suspend tankController.tank2Empty.inPort[1].fire tankController.tank1Empty.outport_fire tankController.tank1Empty.inport_fire tankController.tank1Empty.connectorNode.node.resume tankController.tank1Empty.connectorNode.node.suspend tankController.tank1Empty.oldActive tankController.tank1Empty.newActive tankController.tank1Empty.active tankController.tank1Empty.outPort[1].checkOneDelayedTransitionPerLoop tankController.tank1Empty.outPort[1].node.resume tankController.tank1Empty.outPort[1].node.suspend tankController.tank1Empty.outPort[1].fire tankController.tank1Empty.outPort[1].available tankController.tank1Empty.inPort[1].checkOneDelayedTransitionPerLoop tankController.tank1Empty.inPort[1].node.resume tankController.tank1Empty.inPort[1].node.suspend tankController.tank1Empty.inPort[1].fire tankController.shutTank2.outport_fire tankController.shutTank2.inport_fire tankController.shutTank2.connectorNode.node.resume tankController.shutTank2.connectorNode.node.suspend tankController.shutTank2.oldActive tankController.shutTank2.newActive tankController.shutTank2.active tankController.shutTank2.outPort[1].checkOneDelayedTransitionPerLoop tankController.shutTank2.outPort[1].node.resume tankController.shutTank2.outPort[1].node.suspend tankController.shutTank2.outPort[1].fire tankController.shutTank2.outPort[1].available tankController.shutTank2.inPort[1].checkOneDelayedTransitionPerLoop tankController.shutTank2.inPort[1].node.resume tankController.shutTank2.inPort[1].node.suspend tankController.shutTank2.inPort[1].fire tankController.shutStep.exit[2].checkOneDelayedTransitionPerLoop tankController.shutStep.exit[2].node.resume tankController.shutStep.exit[2].node.suspend tankController.shutStep.exit[2].fire tankController.shutStep.exit[2].available tankController.shutStep.exit[1].checkOneDelayedTransitionPerLoop tankController.shutStep.exit[1].node.resume tankController.shutStep.exit[1].node.suspend tankController.shutStep.exit[1].fire tankController.shutStep.exit[1].available tankController.shutStep.entry[2].checkOneDelayedTransitionPerLoop tankController.shutStep.entry[2].node.resume tankController.shutStep.entry[2].node.suspend tankController.shutStep.entry[2].fire tankController.shutStep.entry[1].checkOneDelayedTransitionPerLoop tankController.shutStep.entry[1].node.resume tankController.shutStep.entry[1].node.suspend tankController.shutStep.entry[1].fire tankController.shutStep.resume[1].checkOneDelayedTransitionPerLoop tankController.shutStep.resume[1].node.resume tankController.shutStep.resume[1].fire tankController.shutStep.suspend[1].checkOneDelayedTransitionPerLoop tankController.shutStep.suspend[1].node.resume tankController.shutStep.suspend[1].node.suspend tankController.shutStep.suspend[1].fire tankController.shutStep.suspend[1].available tankController.shutStep.outPort[1].checkOneDelayedTransitionPerLoop tankController.shutStep.outPort[1].node.resume tankController.shutStep.outPort[1].fire tankController.shutStep.outPort[1].available tankController.shutStep.inPort[1].checkOneDelayedTransitionPerLoop tankController.shutStep.inPort[1].node.resume tankController.shutStep.inPort[1].fire tankController.shutStep.oldActive tankController.shutStep.local_exit[2].checkOneDelayedTransitionPerLoop tankController.shutStep.local_exit[2].node.resume tankController.shutStep.local_exit[2].node.suspend tankController.shutStep.local_exit[2].fire tankController.shutStep.local_exit[2].available tankController.shutStep.local_exit[1].checkOneDelayedTransitionPerLoop tankController.shutStep.local_exit[1].node.resume tankController.shutStep.local_exit[1].node.suspend tankController.shutStep.local_exit[1].fire tankController.shutStep.local_exit[1].available tankController.shutStep.local_entry[2].checkOneDelayedTransitionPerLoop tankController.shutStep.local_entry[2].node.resume tankController.shutStep.local_entry[2].node.suspend tankController.shutStep.local_entry[2].fire tankController.shutStep.local_entry[1].checkOneDelayedTransitionPerLoop tankController.shutStep.local_entry[1].node.resume tankController.shutStep.local_entry[1].node.suspend tankController.shutStep.local_entry[1].fire tankController.shutStep.local_resume[1].checkOneDelayedTransitionPerLoop tankController.shutStep.local_resume[1].node.resume tankController.shutStep.local_resume[1].fire tankController.shutStep.local_suspend[1].checkOneDelayedTransitionPerLoop tankController.shutStep.local_suspend[1].node.resume tankController.shutStep.local_suspend[1].fire tankController.shutStep.local_suspend[1].available tankController.shutStep.local_outPort[1].checkOneDelayedTransitionPerLoop tankController.shutStep.local_outPort[1].node.resume tankController.shutStep.local_outPort[1].fire tankController.shutStep.local_outPort[1].available tankController.shutStep.local_inPort[1].checkOneDelayedTransitionPerLoop tankController.shutStep.local_inPort[1].node.resume tankController.shutStep.local_inPort[1].fire tankController.shutStep.entry_restart[2] tankController.shutStep.entry_restart[1] tankController.shutStep.entryIndices[2] tankController.shutStep.entryIndices[1] tankController.shutStep.firstActive tankController.shutStep.checkOneDelayedTransitionPerLoopIn tankController.shutStep.entry_fire tankController.shutStep.resume_fire tankController.shutStep.suspend_fire tankController.shutStep.outport_fire tankController.shutStep.inport_fire tankController.shutStep.finished tankController.shutStep.newActive tankController.shutStep.connectorNode.node.resume tankController.shutStep.active tankController.T13.enableFire tankController.T13.fire tankController.T13.outPort.checkOneDelayedTransitionPerLoop tankController.T13.outPort.node.resume tankController.T13.outPort.node.suspend tankController.T13.outPort.fire tankController.T13.inPort.checkOneDelayedTransitionPerLoop tankController.T13.inPort.node.resume tankController.T13.inPort.node.suspend tankController.T13.inPort.fire tankController.T13.inPort.available tankController.shutTank1.outport_fire tankController.shutTank1.inport_fire tankController.shutTank1.connectorNode.node.resume tankController.shutTank1.connectorNode.node.suspend tankController.shutTank1.oldActive tankController.shutTank1.newActive tankController.shutTank1.active tankController.shutTank1.outPort[1].checkOneDelayedTransitionPerLoop tankController.shutTank1.outPort[1].node.resume tankController.shutTank1.outPort[1].node.suspend tankController.shutTank1.outPort[1].fire tankController.shutTank1.outPort[1].available tankController.shutTank1.inPort[1].checkOneDelayedTransitionPerLoop tankController.shutTank1.inPort[1].node.resume tankController.shutTank1.inPort[1].node.suspend tankController.shutTank1.inPort[1].fire tankController.T10.enableFire tankController.T10.fire tankController.T10.outPort.checkOneDelayedTransitionPerLoop tankController.T10.outPort.node.resume tankController.T10.outPort.fire tankController.T10.inPort.checkOneDelayedTransitionPerLoop tankController.T10.inPort.node.resume tankController.T10.inPort.fire tankController.T10.inPort.available tankController.T9.enableFire tankController.T9.fire tankController.T9.outPort.checkOneDelayedTransitionPerLoop tankController.T9.outPort.node.resume tankController.T9.outPort.fire tankController.T9.inPort.checkOneDelayedTransitionPerLoop tankController.T9.inPort.node.resume tankController.T9.inPort.fire tankController.T9.inPort.available tankController.T8.enableFire tankController.T8.fire tankController.T8.outPort.checkOneDelayedTransitionPerLoop tankController.T8.outPort.node.resume tankController.T8.outPort.fire tankController.T8.inPort.checkOneDelayedTransitionPerLoop tankController.T8.inPort.node.resume tankController.T8.inPort.fire tankController.T8.inPort.available tankController.stopStep1.outport_fire tankController.stopStep1.inport_fire tankController.stopStep1.connectorNode.node.resume tankController.stopStep1.oldActive tankController.stopStep1.newActive tankController.stopStep1.active tankController.stopStep1.outPort[2].checkOneDelayedTransitionPerLoop tankController.stopStep1.outPort[2].node.resume tankController.stopStep1.outPort[2].fire tankController.stopStep1.outPort[2].available tankController.stopStep1.outPort[1].checkOneDelayedTransitionPerLoop tankController.stopStep1.outPort[1].node.resume tankController.stopStep1.outPort[1].fire tankController.stopStep1.outPort[1].available tankController.stopStep1.inPort[1].checkOneDelayedTransitionPerLoop tankController.stopStep1.inPort[1].node.resume tankController.stopStep1.inPort[1].fire tankController.T7.enableFire tankController.T7.fire tankController.T7.outPort.checkOneDelayedTransitionPerLoop tankController.T7.outPort.node.resume tankController.T7.outPort.fire tankController.T7.inPort.checkOneDelayedTransitionPerLoop tankController.T7.inPort.node.resume tankController.T7.inPort.fire tankController.T7.inPort.available tankController.initialStep.outport_fire tankController.initialStep.inport_fire tankController.initialStep.connectorNode.node.resume tankController.initialStep.oldActive tankController.initialStep.newActive tankController.initialStep.active tankController.initialStep.outPort[1].checkOneDelayedTransitionPerLoop tankController.initialStep.outPort[1].node.resume tankController.initialStep.outPort[1].fire tankController.initialStep.outPort[1].available tankController.T6.enableFire tankController.T6.fire tankController.T6.outPort.checkOneDelayedTransitionPerLoop tankController.T6.outPort.node.resume tankController.T6.outPort.node.suspend tankController.T6.outPort.fire tankController.T6.inPort.checkOneDelayedTransitionPerLoop tankController.T6.inPort.node.resume tankController.T6.inPort.node.suspend tankController.T6.inPort.fire tankController.T6.inPort.available tankController.emptyTanks.outport_fire tankController.emptyTanks.inport_fire tankController.emptyTanks.connectorNode.node.resume tankController.emptyTanks.connectorNode.node.suspend tankController.emptyTanks.oldActive tankController.emptyTanks.newActive tankController.emptyTanks.active tankController.emptyTanks.outPort[1].checkOneDelayedTransitionPerLoop tankController.emptyTanks.outPort[1].node.resume tankController.emptyTanks.outPort[1].node.suspend tankController.emptyTanks.outPort[1].fire tankController.emptyTanks.outPort[1].available tankController.emptyTanks.inPort[1].checkOneDelayedTransitionPerLoop tankController.emptyTanks.inPort[1].node.resume tankController.emptyTanks.inPort[1].node.suspend tankController.emptyTanks.inPort[1].fire tankController.T5.t_start tankController.T5.enableFire tankController.T5.fire tankController.T5.outPort.checkOneDelayedTransitionPerLoop tankController.T5.outPort.node.resume tankController.T5.outPort.node.suspend tankController.T5.outPort.fire tankController.T5.inPort.node.resume tankController.T5.inPort.node.suspend tankController.T5.inPort.fire tankController.T5.inPort.available tankController.wait2.outport_fire tankController.wait2.inport_fire tankController.wait2.connectorNode.node.resume tankController.wait2.connectorNode.node.suspend tankController.wait2.oldActive tankController.wait2.newActive tankController.wait2.active tankController.wait2.outPort[1].node.resume tankController.wait2.outPort[1].node.suspend tankController.wait2.outPort[1].fire tankController.wait2.outPort[1].available tankController.wait2.inPort[1].node.resume tankController.wait2.inPort[1].node.suspend tankController.wait2.inPort[1].fire tankController.T4.enableFire tankController.T4.fire tankController.T4.outPort.node.resume tankController.T4.outPort.node.suspend tankController.T4.outPort.fire tankController.T4.inPort.node.resume tankController.T4.inPort.node.suspend tankController.T4.inPort.fire tankController.T4.inPort.available tankController.T3.t_start tankController.T3.enableFire tankController.T3.fire tankController.T3.outPort.node.resume tankController.T3.outPort.node.suspend tankController.T3.outPort.fire tankController.T3.inPort.checkOneDelayedTransitionPerLoop tankController.T3.inPort.node.resume tankController.T3.inPort.node.suspend tankController.T3.inPort.fire tankController.T3.inPort.available tankController.fillTank2.outport_fire tankController.fillTank2.inport_fire tankController.fillTank2.connectorNode.node.resume tankController.fillTank2.connectorNode.node.suspend tankController.fillTank2.oldActive tankController.fillTank2.newActive tankController.fillTank2.active tankController.fillTank2.outPort[1].node.resume tankController.fillTank2.outPort[1].node.suspend tankController.fillTank2.outPort[1].fire tankController.fillTank2.outPort[1].available tankController.fillTank2.inPort[1].node.resume tankController.fillTank2.inPort[1].node.suspend tankController.fillTank2.inPort[1].fire tankController.wait1.outport_fire tankController.wait1.inport_fire tankController.wait1.connectorNode.node.resume tankController.wait1.connectorNode.node.suspend tankController.wait1.oldActive tankController.wait1.newActive tankController.wait1.active tankController.wait1.outPort[1].checkOneDelayedTransitionPerLoop tankController.wait1.outPort[1].node.resume tankController.wait1.outPort[1].node.suspend tankController.wait1.outPort[1].fire tankController.wait1.outPort[1].available tankController.wait1.inPort[1].checkOneDelayedTransitionPerLoop tankController.wait1.inPort[1].node.resume tankController.wait1.inPort[1].node.suspend tankController.wait1.inPort[1].fire tankController.T2.localCondition tankController.T2.enableFire tankController.T2.fire tankController.T2.outPort.checkOneDelayedTransitionPerLoop tankController.T2.outPort.node.resume tankController.T2.outPort.node.suspend tankController.T2.outPort.fire tankController.T2.inPort.checkOneDelayedTransitionPerLoop tankController.T2.inPort.node.resume tankController.T2.inPort.node.suspend tankController.T2.inPort.fire tankController.T2.inPort.available tankController.T2.condition tankController.fillTank1.outport_fire tankController.fillTank1.inport_fire tankController.fillTank1.connectorNode.node.resume tankController.fillTank1.connectorNode.node.suspend tankController.fillTank1.oldActive tankController.fillTank1.newActive tankController.fillTank1.active tankController.fillTank1.outPort[1].checkOneDelayedTransitionPerLoop tankController.fillTank1.outPort[1].node.resume tankController.fillTank1.outPort[1].node.suspend tankController.fillTank1.outPort[1].fire tankController.fillTank1.outPort[1].available tankController.fillTank1.inPort[1].checkOneDelayedTransitionPerLoop tankController.fillTank1.inPort[1].node.resume tankController.fillTank1.inPort[1].node.suspend tankController.fillTank1.inPort[1].fire tankController.T1.enableFire tankController.T1.fire tankController.T1.outPort.checkOneDelayedTransitionPerLoop tankController.T1.outPort.node.resume tankController.T1.outPort.node.suspend tankController.T1.outPort.fire tankController.T1.inPort.checkOneDelayedTransitionPerLoop tankController.T1.inPort.node.resume tankController.T1.inPort.node.suspend tankController.T1.inPort.fire tankController.T1.inPort.available tankController.startStep.outport_fire tankController.startStep.inport_fire tankController.startStep.connectorNode.node.resume tankController.startStep.connectorNode.node.suspend tankController.startStep.oldActive tankController.startStep.newActive tankController.startStep.active tankController.startStep.outPort[1].checkOneDelayedTransitionPerLoop tankController.startStep.outPort[1].node.resume tankController.startStep.outPort[1].node.suspend tankController.startStep.outPort[1].fire tankController.startStep.outPort[1].available tankController.startStep.inPort[2].checkOneDelayedTransitionPerLoop tankController.startStep.inPort[2].node.resume tankController.startStep.inPort[2].node.suspend tankController.startStep.inPort[2].fire tankController.startStep.inPort[1].checkOneDelayedTransitionPerLoop tankController.startStep.inPort[1].node.resume tankController.startStep.inPort[1].node.suspend tankController.startStep.inPort[1].fire tankController.makeProduct.entry[1].checkOneDelayedTransitionPerLoop tankController.makeProduct.entry[1].node.resume tankController.makeProduct.entry[1].node.suspend tankController.makeProduct.entry[1].fire tankController.makeProduct.resume[1].checkOneDelayedTransitionPerLoop tankController.makeProduct.resume[1].node.resume tankController.makeProduct.resume[1].fire tankController.makeProduct.suspend[1].checkOneDelayedTransitionPerLoop tankController.makeProduct.suspend[1].node.resume tankController.makeProduct.suspend[1].fire tankController.makeProduct.suspend[1].available tankController.makeProduct.inPort[2].checkOneDelayedTransitionPerLoop tankController.makeProduct.inPort[2].node.resume tankController.makeProduct.inPort[2].fire tankController.makeProduct.inPort[1].checkOneDelayedTransitionPerLoop tankController.makeProduct.inPort[1].node.resume tankController.makeProduct.inPort[1].fire tankController.makeProduct.oldActive tankController.makeProduct.local_entry[1].checkOneDelayedTransitionPerLoop tankController.makeProduct.local_entry[1].node.resume tankController.makeProduct.local_entry[1].node.suspend tankController.makeProduct.local_entry[1].fire tankController.makeProduct.local_resume[1].checkOneDelayedTransitionPerLoop tankController.makeProduct.local_resume[1].node.resume tankController.makeProduct.local_resume[1].fire tankController.makeProduct.local_suspend[1].checkOneDelayedTransitionPerLoop tankController.makeProduct.local_suspend[1].node.resume tankController.makeProduct.local_suspend[1].fire tankController.makeProduct.local_suspend[1].available tankController.makeProduct.local_inPort[2].checkOneDelayedTransitionPerLoop tankController.makeProduct.local_inPort[2].node.resume tankController.makeProduct.local_inPort[2].node.suspend tankController.makeProduct.local_inPort[2].fire tankController.makeProduct.local_inPort[1].checkOneDelayedTransitionPerLoop tankController.makeProduct.local_inPort[1].node.resume tankController.makeProduct.local_inPort[1].fire tankController.makeProduct.entry_restart[1] tankController.makeProduct.entryIndices[1] tankController.makeProduct.firstActive tankController.makeProduct.checkOneDelayedTransitionPerLoopIn tankController.makeProduct.entry_fire tankController.makeProduct.resume_fire tankController.makeProduct.suspend_fire tankController.makeProduct.outport_fire tankController.makeProduct.inport_fire tankController.makeProduct.finished tankController.makeProduct.newActive tankController.makeProduct.connectorNode.node.resume tankController.makeProduct.active tankController.setValve3.y tankController.setValve2.y tankController.setValve1.y tankController.valve3 tankController.valve2 tankController.valve1 reservoir.T_in_internal reservoir.p_in_internal reservoir.ports[1].h_outflow reservoir.ports[1].p reservoir.ports[1].m_flow reservoir.medium.p_bar reservoir.medium.T_degC reservoir.medium.state.T reservoir.medium.state.p reservoir.medium.u reservoir.medium.X[1] reservoir.medium.T reservoir.medium.h reservoir.medium.p ambient.T_in_internal ambient.p_in_internal ambient.ports[1].h_outflow ambient.ports[1].p ambient.ports[1].m_flow ambient.medium.p_bar ambient.medium.T_degC ambient.medium.state.T ambient.medium.state.p ambient.medium.u ambient.medium.X[1] ambient.medium.T ambient.medium.h ambient.medium.p tank2.inFlow[2] tank2.inFlow[1] tank2.regularFlow[2] tank2.regularFlow[1] tank2.portsData_zeta_out[2] tank2.portsData_zeta_out[1] tank2.portsData_zeta_in[2] tank2.portsData_zeta_in[1] tank2.portsData_height[2] tank2.portsData_height[1] tank2.portsData_diameter[2] tank2.portsData_diameter[1] tank2.portsData_zeta_out_internal[2] tank2.portsData_zeta_out_internal[1] tank2.portsData_zeta_in_internal[2] tank2.portsData_zeta_in_internal[1] tank2.portsData_height_internal[2] tank2.portsData_height_internal[1] tank2.portsData_diameter_internal[2] tank2.portsData_diameter_internal[1] tank2.m_flow_turbulent[2] tank2.m_flow_turbulent[1] tank2.vessel_ps_static[2] tank2.vessel_ps_static[1] tank2.portAreas[2] tank2.portAreas[1] tank2.ports_penetration[2] tank2.ports_penetration[1] tank2.s[2] tank2.s[1] tank2.ports_E_flow[2] tank2.ports_E_flow[1] tank2.portVelocities[2] tank2.portVelocities[1] tank2.portInDensities[2] tank2.portInDensities[1] tank2.heatTransfer.heatPorts[1].Q_flow tank2.heatTransfer.Q_flows[1] tank2.heatTransfer.surfaceAreas[1] tank2.ports_H_flow[2] tank2.ports_H_flow[1] tank2.ports[2].h_outflow tank2.ports[2].p tank2.ports[2].m_flow tank2.ports[1].h_outflow tank2.ports[1].p tank2.ports[1].m_flow tank2.Wb_flow tank2.Qb_flow tank2.Hb_flow tank2.mb_flow tank2.m tank2.U tank2.medium.T_degC tank2.medium.u tank2.medium.X[1] tank2.medium.T tank2.medium.d tank2.medium.h tank2.fluidVolume tank2.level valve3.open valve3.state_b.T valve3.state_b.p valve3.state_a.T valve3.state_a.p valve3.port_b_T valve3.port_a_T valve3.V_flow valve3.dp valve3.m_flow valve3.port_b.h_outflow valve3.port_b.p valve3.port_b.m_flow valve3.port_a.h_outflow valve3.port_a.p valve3.port_a.m_flow valve2.open valve2.state_b.T valve2.state_b.p valve2.state_a.T valve2.state_a.p valve2.port_b_T valve2.port_a_T valve2.V_flow valve2.dp valve2.m_flow valve2.port_b.h_outflow valve2.port_b.p valve2.port_b.m_flow valve2.port_a.h_outflow valve2.port_a.p valve2.port_a.m_flow tank1.inFlow[2] tank1.inFlow[1] tank1.regularFlow[2] tank1.regularFlow[1] tank1.portsData_zeta_out[2] tank1.portsData_zeta_out[1] tank1.portsData_zeta_in[2] tank1.portsData_zeta_in[1] tank1.portsData_height[2] tank1.portsData_height[1] tank1.portsData_diameter[2] tank1.portsData_diameter[1] tank1.portsData_zeta_out_internal[2] tank1.portsData_zeta_out_internal[1] tank1.portsData_zeta_in_internal[2] tank1.portsData_zeta_in_internal[1] tank1.portsData_height_internal[2] tank1.portsData_height_internal[1] tank1.portsData_diameter_internal[2] tank1.portsData_diameter_internal[1] tank1.m_flow_turbulent[2] tank1.m_flow_turbulent[1] tank1.vessel_ps_static[2] tank1.vessel_ps_static[1] tank1.portAreas[2] tank1.portAreas[1] tank1.ports_penetration[2] tank1.ports_penetration[1] tank1.s[2] tank1.s[1] tank1.ports_E_flow[2] tank1.ports_E_flow[1] tank1.portVelocities[2] tank1.portVelocities[1] tank1.portInDensities[2] tank1.portInDensities[1] tank1.heatTransfer.heatPorts[1].Q_flow tank1.heatTransfer.Q_flows[1] tank1.heatTransfer.surfaceAreas[1] tank1.ports_H_flow[2] tank1.ports_H_flow[1] tank1.ports[2].h_outflow tank1.ports[2].p tank1.ports[2].m_flow tank1.ports[1].h_outflow tank1.ports[1].p tank1.ports[1].m_flow tank1.Wb_flow tank1.Qb_flow tank1.Hb_flow tank1.mb_flow tank1.m tank1.U tank1.medium.T_degC tank1.medium.u tank1.medium.X[1] tank1.medium.T tank1.medium.d tank1.medium.h tank1.fluidVolume tank1.level valve1.open valve1.state_b.T valve1.state_b.p valve1.state_a.T valve1.state_a.p valve1.port_b_T valve1.port_a_T valve1.V_flow valve1.dp valve1.m_flow valve1.port_b.h_outflow valve1.port_b.p valve1.port_b.m_flow valve1.port_a.h_outflow valve1.port_a.p valve1.port_a.m_flow $whenCondition13 $whenCondition14 $whenCondition15 $whenCondition16 $whenCondition17 $whenCondition18 $whenCondition19 $whenCondition20 $whenCondition21 $whenCondition22 $whenCondition23 $whenCondition24 $whenCondition25 $whenCondition26 $whenCondition27 $whenCondition28 $whenCondition29 $whenCondition30 $whenCondition31 $whenCondition32 $whenCondition33 equations: 1 : tank1.portsData_diameter[1] = tank1.portsData_diameter_internal[1] 2 : tank1.portsData_diameter[2] = tank1.portsData_diameter_internal[2] 3 : tank1.portsData_height[1] = tank1.portsData_height_internal[1] 4 : tank1.portsData_height[2] = tank1.portsData_height_internal[2] 5 : tank1.portsData_zeta_in[1] = tank1.portsData_zeta_in_internal[1] 6 : tank1.portsData_zeta_in[2] = tank1.portsData_zeta_in_internal[2] 7 : tank1.portsData_zeta_out[1] = tank1.portsData_zeta_out_internal[1] 8 : tank1.portsData_zeta_out[2] = tank1.portsData_zeta_out_internal[2] 9 : tank2.portsData_diameter[1] = tank2.portsData_diameter_internal[1] 10 : tank2.portsData_diameter[2] = tank2.portsData_diameter_internal[2] 11 : tank2.portsData_height[1] = tank2.portsData_height_internal[1] 12 : tank2.portsData_height[2] = tank2.portsData_height_internal[2] 13 : tank2.portsData_zeta_in[1] = tank2.portsData_zeta_in_internal[1] 14 : tank2.portsData_zeta_in[2] = tank2.portsData_zeta_in_internal[2] 15 : tank2.portsData_zeta_out[1] = tank2.portsData_zeta_out_internal[1] 16 : tank2.portsData_zeta_out[2] = tank2.portsData_zeta_out_internal[2] 17 : tankController.makeProduct.inPort[1].checkOneDelayedTransitionPerLoop = tankController.makeProduct.local_inPort[1].checkOneDelayedTransitionPerLoop 18 : tankController.makeProduct.inPort[1].fire = tankController.makeProduct.local_inPort[1].fire 19 : tankController.makeProduct.inPort[1].node.resume = tankController.makeProduct.local_inPort[1].node.resume 20 : tankController.makeProduct.inPort[2].checkOneDelayedTransitionPerLoop = tankController.makeProduct.local_inPort[2].checkOneDelayedTransitionPerLoop 21 : tankController.makeProduct.inPort[2].fire = tankController.makeProduct.local_inPort[2].fire 22 : tankController.makeProduct.suspend[1].available = tankController.makeProduct.local_suspend[1].available 23 : tankController.makeProduct.suspend[1].checkOneDelayedTransitionPerLoop = tankController.makeProduct.local_suspend[1].checkOneDelayedTransitionPerLoop 24 : tankController.makeProduct.suspend[1].fire = tankController.makeProduct.local_suspend[1].fire 25 : tankController.T16.outPort.checkOneDelayedTransitionPerLoop = tankController.makeProduct.local_resume[1].checkOneDelayedTransitionPerLoop 26 : tankController.makeProduct.resume[1].fire = tankController.makeProduct.local_resume[1].fire 27 : tankController.makeProduct.resume[1].node.resume = tankController.makeProduct.local_resume[1].node.resume 28 : tankController.makeProduct.entry[1].checkOneDelayedTransitionPerLoop = tankController.makeProduct.local_entry[1].checkOneDelayedTransitionPerLoop 29 : tankController.makeProduct.entry[1].fire = tankController.makeProduct.local_entry[1].fire 30 : tankController.makeProduct.entry[1].node.suspend = tankController.makeProduct.local_entry[1].node.suspend 31 : tankController.makeProduct.entry[1].node.resume = tankController.makeProduct.local_entry[1].node.resume 32 : tankController.T17.outPort.checkOneDelayedTransitionPerLoop = tankController.shutStep.local_inPort[1].checkOneDelayedTransitionPerLoop 33 : tankController.shutStep.inPort[1].fire = tankController.shutStep.local_inPort[1].fire 34 : tankController.shutStep.inPort[1].node.resume = tankController.shutStep.local_inPort[1].node.resume 35 : tankController.shutStep.outPort[1].available = tankController.shutStep.local_outPort[1].available 36 : tankController.shutStep.outPort[1].checkOneDelayedTransitionPerLoop = tankController.shutStep.local_outPort[1].checkOneDelayedTransitionPerLoop 37 : tankController.shutStep.outPort[1].fire = tankController.shutStep.local_outPort[1].fire 38 : tankController.shutStep.outPort[1].node.resume = tankController.shutStep.local_outPort[1].node.resume 39 : tankController.shutStep.suspend[1].available = tankController.shutStep.local_suspend[1].available 40 : tankController.shutStep.suspend[1].checkOneDelayedTransitionPerLoop = tankController.shutStep.local_suspend[1].checkOneDelayedTransitionPerLoop 41 : tankController.shutStep.suspend[1].fire = tankController.shutStep.local_suspend[1].fire 42 : tankController.T18.outPort.checkOneDelayedTransitionPerLoop = tankController.shutStep.local_resume[1].checkOneDelayedTransitionPerLoop 43 : tankController.shutStep.resume[1].fire = tankController.shutStep.local_resume[1].fire 44 : tankController.shutStep.resume[1].node.resume = tankController.shutStep.local_resume[1].node.resume 45 : tankController.shutStep.entry[1].checkOneDelayedTransitionPerLoop = tankController.shutStep.local_entry[1].checkOneDelayedTransitionPerLoop 46 : tankController.shutStep.entry[1].fire = tankController.shutStep.local_entry[1].fire 47 : tankController.shutStep.entry[1].node.suspend = tankController.shutStep.local_entry[1].node.suspend 48 : tankController.shutStep.entry[1].node.resume = tankController.shutStep.local_entry[1].node.resume 49 : tankController.shutStep.entry[2].checkOneDelayedTransitionPerLoop = tankController.shutStep.local_entry[2].checkOneDelayedTransitionPerLoop 50 : tankController.shutStep.entry[2].fire = tankController.shutStep.local_entry[2].fire 51 : tankController.shutStep.entry[2].node.suspend = tankController.shutStep.local_entry[2].node.suspend 52 : tankController.shutStep.entry[2].node.resume = tankController.shutStep.local_entry[2].node.resume 53 : tankController.tank1Empty.outPort[1].available = tankController.shutStep.local_exit[1].available 54 : tankController.shutStep.exit[1].checkOneDelayedTransitionPerLoop = tankController.shutStep.local_exit[1].checkOneDelayedTransitionPerLoop 55 : tankController.shutStep.exit[1].fire = tankController.shutStep.local_exit[1].fire 56 : tankController.shutStep.exit[1].node.suspend = tankController.shutStep.local_exit[1].node.suspend 57 : tankController.shutStep.exit[1].node.resume = tankController.shutStep.local_exit[1].node.resume 58 : tankController.tank2Empty.outPort[1].available = tankController.shutStep.local_exit[2].available 59 : tankController.shutStep.exit[2].checkOneDelayedTransitionPerLoop = tankController.shutStep.local_exit[2].checkOneDelayedTransitionPerLoop 60 : tankController.shutStep.exit[2].fire = tankController.shutStep.local_exit[2].fire 61 : tankController.shutStep.exit[2].node.suspend = tankController.shutStep.local_exit[2].node.suspend 62 : tankController.shutStep.exit[2].node.resume = tankController.shutStep.local_exit[2].node.resume 63 : tankController.fillTank1.outPort[1].available = tankController.T2.inPort.available 64 : tankController.fillTank1.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T2.inPort.checkOneDelayedTransitionPerLoop 65 : tankController.fillTank1.outPort[1].fire = tankController.T2.inPort.fire 66 : tankController.T2.outPort.checkOneDelayedTransitionPerLoop = tankController.wait1.inPort[1].checkOneDelayedTransitionPerLoop 67 : tankController.T2.outPort.fire = tankController.wait1.inPort[1].fire 68 : tankController.T2.outPort.node.suspend = tankController.wait1.inPort[1].node.suspend 69 : tankController.T2.outPort.node.resume = tankController.wait1.inPort[1].node.resume 70 : tankController.wait1.outPort[1].available = tankController.T3.inPort.available 71 : tankController.wait1.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T3.inPort.checkOneDelayedTransitionPerLoop 72 : tankController.wait1.outPort[1].fire = tankController.T3.inPort.fire 73 : tankController.wait1.outPort[1].node.suspend = tankController.T3.inPort.node.suspend 74 : tankController.wait1.outPort[1].node.resume = tankController.T3.inPort.node.resume 75 : tankController.T3.outPort.fire = tankController.fillTank2.inPort[1].fire 76 : tankController.T3.outPort.node.suspend = tankController.fillTank2.inPort[1].node.suspend 77 : tankController.T3.outPort.node.resume = tankController.fillTank2.inPort[1].node.resume 78 : tankController.fillTank2.outPort[1].available = tankController.T4.inPort.available 79 : tankController.fillTank2.outPort[1].fire = tankController.T4.inPort.fire 80 : tankController.fillTank2.outPort[1].node.suspend = tankController.T4.inPort.node.suspend 81 : tankController.fillTank2.outPort[1].node.resume = tankController.T4.inPort.node.resume 82 : tankController.T4.outPort.fire = tankController.wait2.inPort[1].fire 83 : tankController.T4.outPort.node.suspend = tankController.wait2.inPort[1].node.suspend 84 : tankController.T4.outPort.node.resume = tankController.wait2.inPort[1].node.resume 85 : tankController.wait2.outPort[1].available = tankController.T5.inPort.available 86 : tankController.wait2.outPort[1].fire = tankController.T5.inPort.fire 87 : tankController.wait2.outPort[1].node.suspend = tankController.T5.inPort.node.suspend 88 : tankController.wait2.outPort[1].node.resume = tankController.T5.inPort.node.resume 89 : tankController.T5.outPort.checkOneDelayedTransitionPerLoop = tankController.emptyTanks.inPort[1].checkOneDelayedTransitionPerLoop 90 : tankController.T5.outPort.fire = tankController.emptyTanks.inPort[1].fire 91 : tankController.T5.outPort.node.suspend = tankController.emptyTanks.inPort[1].node.suspend 92 : tankController.T5.outPort.node.resume = tankController.emptyTanks.inPort[1].node.resume 93 : tankController.emptyTanks.outPort[1].available = tankController.T6.inPort.available 94 : tankController.emptyTanks.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T6.inPort.checkOneDelayedTransitionPerLoop 95 : tankController.emptyTanks.outPort[1].fire = tankController.T6.inPort.fire 96 : tankController.emptyTanks.outPort[1].node.suspend = tankController.T6.inPort.node.suspend 97 : tankController.emptyTanks.outPort[1].node.resume = tankController.T6.inPort.node.resume 98 : tankController.T1.outPort.checkOneDelayedTransitionPerLoop = tankController.fillTank1.inPort[1].checkOneDelayedTransitionPerLoop 99 : tankController.T1.outPort.fire = tankController.fillTank1.inPort[1].fire 100 : tankController.T1.outPort.node.suspend = tankController.fillTank1.inPort[1].node.suspend 101 : tankController.T1.outPort.node.resume = tankController.fillTank1.inPort[1].node.resume 102 : tankController.startStep.inPort[1].checkOneDelayedTransitionPerLoop = tankController.makeProduct.entry[1].checkOneDelayedTransitionPerLoop 103 : tankController.startStep.inPort[1].fire = tankController.makeProduct.entry[1].fire 104 : tankController.startStep.inPort[1].node.suspend = tankController.makeProduct.entry[1].node.suspend 105 : tankController.startStep.inPort[1].node.resume = tankController.makeProduct.entry[1].node.resume 106 : tankController.startStep.outPort[1].available = tankController.T1.inPort.available 107 : tankController.startStep.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T1.inPort.checkOneDelayedTransitionPerLoop 108 : tankController.startStep.outPort[1].fire = tankController.T1.inPort.fire 109 : tankController.startStep.outPort[1].node.suspend = tankController.T1.inPort.node.suspend 110 : tankController.startStep.outPort[1].node.resume = tankController.T1.inPort.node.resume 111 : tankController.T6.outPort.checkOneDelayedTransitionPerLoop = tankController.startStep.inPort[2].checkOneDelayedTransitionPerLoop 112 : tankController.T6.outPort.fire = tankController.startStep.inPort[2].fire 113 : tankController.T6.outPort.node.suspend = tankController.startStep.inPort[2].node.suspend 114 : tankController.T6.outPort.node.resume = tankController.startStep.inPort[2].node.resume 115 : tankController.T7.outPort.checkOneDelayedTransitionPerLoop = tankController.makeProduct.inPort[1].checkOneDelayedTransitionPerLoop 116 : tankController.T7.outPort.fire = tankController.makeProduct.inPort[1].fire 117 : tankController.T7.outPort.node.resume = tankController.makeProduct.inPort[1].node.resume 118 : tankController.T8.outPort.checkOneDelayedTransitionPerLoop = tankController.stopStep1.inPort[1].checkOneDelayedTransitionPerLoop 119 : tankController.T8.outPort.fire = tankController.stopStep1.inPort[1].fire 120 : tankController.T8.outPort.node.resume = tankController.stopStep1.inPort[1].node.resume 121 : tankController.makeProduct.suspend[1].available = tankController.T8.inPort.available 122 : tankController.makeProduct.suspend[1].checkOneDelayedTransitionPerLoop = tankController.T8.inPort.checkOneDelayedTransitionPerLoop 123 : tankController.makeProduct.suspend[1].fire = tankController.T8.inPort.fire 124 : tankController.makeProduct.suspend[1].node.resume = tankController.T8.inPort.node.resume 125 : tankController.initialStep.outPort[1].available = tankController.T7.inPort.available 126 : tankController.initialStep.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T7.inPort.checkOneDelayedTransitionPerLoop 127 : tankController.initialStep.outPort[1].fire = tankController.T7.inPort.fire 128 : tankController.initialStep.outPort[1].node.resume = tankController.T7.inPort.node.resume 129 : tankController.stopStep1.outPort[1].available = tankController.T9.inPort.available 130 : tankController.stopStep1.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T9.inPort.checkOneDelayedTransitionPerLoop 131 : tankController.stopStep1.outPort[1].fire = tankController.T9.inPort.fire 132 : tankController.stopStep1.outPort[1].node.resume = tankController.T9.inPort.node.resume 133 : tankController.T10.inPort.available = tankController.stopStep1.outPort[2].available 134 : tankController.T10.inPort.checkOneDelayedTransitionPerLoop = tankController.stopStep1.outPort[2].checkOneDelayedTransitionPerLoop 135 : tankController.T10.inPort.fire = tankController.stopStep1.outPort[2].fire 136 : tankController.T10.inPort.node.resume = tankController.stopStep1.outPort[2].node.resume 137 : tankController.setValve1.y = tankController.valve1 138 : valve2.open = tankController.setValve2.y 139 : valve3.open = tankController.setValve3.y 140 : tankController.shutStep.entry[1].checkOneDelayedTransitionPerLoop = tankController.shutTank1.inPort[1].checkOneDelayedTransitionPerLoop 141 : tankController.shutStep.entry[1].fire = tankController.shutTank1.inPort[1].fire 142 : tankController.shutStep.entry[1].node.suspend = tankController.shutTank1.inPort[1].node.suspend 143 : tankController.shutStep.entry[1].node.resume = tankController.shutTank1.inPort[1].node.resume 144 : tankController.shutStep.entry[2].checkOneDelayedTransitionPerLoop = tankController.shutTank2.inPort[1].checkOneDelayedTransitionPerLoop 145 : tankController.shutStep.entry[2].fire = tankController.shutTank2.inPort[1].fire 146 : tankController.shutStep.entry[2].node.suspend = tankController.shutTank2.inPort[1].node.suspend 147 : tankController.shutStep.entry[2].node.resume = tankController.shutTank2.inPort[1].node.resume 148 : tankController.shutTank1.outPort[1].available = tankController.T13.inPort.available 149 : tankController.shutTank1.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T13.inPort.checkOneDelayedTransitionPerLoop 150 : tankController.shutTank1.outPort[1].fire = tankController.T13.inPort.fire 151 : tankController.shutTank1.outPort[1].node.suspend = tankController.T13.inPort.node.suspend 152 : tankController.shutTank1.outPort[1].node.resume = tankController.T13.inPort.node.resume 153 : tankController.T13.outPort.checkOneDelayedTransitionPerLoop = tankController.tank1Empty.inPort[1].checkOneDelayedTransitionPerLoop 154 : tankController.T13.outPort.fire = tankController.tank1Empty.inPort[1].fire 155 : tankController.T13.outPort.node.suspend = tankController.tank1Empty.inPort[1].node.suspend 156 : tankController.T13.outPort.node.resume = tankController.tank1Empty.inPort[1].node.resume 157 : tankController.shutTank2.outPort[1].available = tankController.T11.inPort.available 158 : tankController.shutTank2.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T11.inPort.checkOneDelayedTransitionPerLoop 159 : tankController.shutTank2.outPort[1].fire = tankController.T11.inPort.fire 160 : tankController.shutTank2.outPort[1].node.suspend = tankController.T11.inPort.node.suspend 161 : tankController.shutTank2.outPort[1].node.resume = tankController.T11.inPort.node.resume 162 : tankController.T11.outPort.checkOneDelayedTransitionPerLoop = tankController.tank2Empty.inPort[1].checkOneDelayedTransitionPerLoop 163 : tankController.T11.outPort.fire = tankController.tank2Empty.inPort[1].fire 164 : tankController.T11.outPort.node.suspend = tankController.tank2Empty.inPort[1].node.suspend 165 : tankController.T11.outPort.node.resume = tankController.tank2Empty.inPort[1].node.resume 166 : tankController.tank1Empty.outPort[1].available = tankController.shutStep.exit[1].available 167 : tankController.tank1Empty.outPort[1].checkOneDelayedTransitionPerLoop = tankController.shutStep.exit[1].checkOneDelayedTransitionPerLoop 168 : tankController.tank1Empty.outPort[1].fire = tankController.shutStep.exit[1].fire 169 : tankController.tank1Empty.outPort[1].node.suspend = tankController.shutStep.exit[1].node.suspend 170 : tankController.tank1Empty.outPort[1].node.resume = tankController.shutStep.exit[1].node.resume 171 : tankController.tank2Empty.outPort[1].available = tankController.shutStep.exit[2].available 172 : tankController.tank2Empty.outPort[1].checkOneDelayedTransitionPerLoop = tankController.shutStep.exit[2].checkOneDelayedTransitionPerLoop 173 : tankController.tank2Empty.outPort[1].fire = tankController.shutStep.exit[2].fire 174 : tankController.tank2Empty.outPort[1].node.suspend = tankController.shutStep.exit[2].node.suspend 175 : tankController.tank2Empty.outPort[1].node.resume = tankController.shutStep.exit[2].node.resume 176 : tankController.shutStep.outPort[1].available = tankController.T12.inPort.available 177 : tankController.shutStep.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T12.inPort.checkOneDelayedTransitionPerLoop 178 : tankController.shutStep.outPort[1].fire = tankController.T12.inPort.fire 179 : tankController.shutStep.outPort[1].node.resume = tankController.T12.inPort.node.resume 180 : tankController.shutStep.suspend[1].available = tankController.T14.inPort.available 181 : tankController.shutStep.suspend[1].checkOneDelayedTransitionPerLoop = tankController.T14.inPort.checkOneDelayedTransitionPerLoop 182 : tankController.shutStep.suspend[1].fire = tankController.T14.inPort.fire 183 : tankController.shutStep.suspend[1].node.suspend = tankController.T14.inPort.node.suspend 184 : tankController.shutStep.suspend[1].node.resume = tankController.T14.inPort.node.resume 185 : tankController.T14.outPort.checkOneDelayedTransitionPerLoop = tankController.stopStep2.inPort[1].checkOneDelayedTransitionPerLoop 186 : tankController.T14.outPort.fire = tankController.stopStep2.inPort[1].fire 187 : tankController.T14.outPort.node.suspend = tankController.stopStep2.inPort[1].node.suspend 188 : tankController.T14.outPort.node.resume = tankController.stopStep2.inPort[1].node.resume 189 : tankController.stopStep2.outPort[1].available = tankController.T15.inPort.available 190 : tankController.stopStep2.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T15.inPort.checkOneDelayedTransitionPerLoop 191 : tankController.stopStep2.outPort[1].fire = tankController.T15.inPort.fire 192 : tankController.stopStep2.outPort[1].node.suspend = tankController.T15.inPort.node.suspend 193 : tankController.stopStep2.outPort[1].node.resume = tankController.T15.inPort.node.resume 194 : tankController.T12.outPort.checkOneDelayedTransitionPerLoop = tankController.makeProduct.inPort[2].checkOneDelayedTransitionPerLoop 195 : tankController.T12.outPort.fire = tankController.makeProduct.inPort[2].fire 196 : tankController.T12.outPort.node.resume = tankController.makeProduct.inPort[2].node.resume 197 : tankController.startWait.outPort[1].available = tankController.T16.inPort.available 198 : tankController.startWait.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T16.inPort.checkOneDelayedTransitionPerLoop 199 : tankController.startWait.outPort[1].fire = tankController.T16.inPort.fire 200 : tankController.startWait.outPort[1].node.resume = tankController.T16.inPort.node.resume 201 : tankController.T16.outPort.checkOneDelayedTransitionPerLoop = tankController.makeProduct.resume[1].checkOneDelayedTransitionPerLoop 202 : tankController.T16.outPort.fire = tankController.makeProduct.resume[1].fire 203 : tankController.T16.outPort.node.resume = tankController.makeProduct.resume[1].node.resume 204 : tankController.T10.outPort.checkOneDelayedTransitionPerLoop = tankController.startWait.inPort[1].checkOneDelayedTransitionPerLoop 205 : tankController.T10.outPort.fire = tankController.startWait.inPort[1].fire 206 : tankController.T10.outPort.node.resume = tankController.startWait.inPort[1].node.resume 207 : tankController.T9.outPort.checkOneDelayedTransitionPerLoop = tankController.shutWait.inPort[1].checkOneDelayedTransitionPerLoop 208 : tankController.T9.outPort.fire = tankController.shutWait.inPort[1].fire 209 : tankController.T9.outPort.node.resume = tankController.shutWait.inPort[1].node.resume 210 : tankController.shutWait.outPort[1].available = tankController.T17.inPort.available 211 : tankController.shutWait.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T17.inPort.checkOneDelayedTransitionPerLoop 212 : tankController.shutWait.outPort[1].fire = tankController.T17.inPort.fire 213 : tankController.shutWait.outPort[1].node.resume = tankController.T17.inPort.node.resume 214 : tankController.T17.outPort.checkOneDelayedTransitionPerLoop = tankController.shutStep.inPort[1].checkOneDelayedTransitionPerLoop 215 : tankController.T17.outPort.fire = tankController.shutStep.inPort[1].fire 216 : tankController.T17.outPort.node.resume = tankController.shutStep.inPort[1].node.resume 217 : tankController.T15.outPort.checkOneDelayedTransitionPerLoop = tankController.shutWait2.inPort[1].checkOneDelayedTransitionPerLoop 218 : tankController.T15.outPort.fire = tankController.shutWait2.inPort[1].fire 219 : tankController.T15.outPort.node.suspend = tankController.shutWait2.inPort[1].node.suspend 220 : tankController.T15.outPort.node.resume = tankController.shutWait2.inPort[1].node.resume 221 : tankController.shutWait2.outPort[1].available = tankController.T18.inPort.available 222 : tankController.shutWait2.outPort[1].checkOneDelayedTransitionPerLoop = tankController.T18.inPort.checkOneDelayedTransitionPerLoop 223 : tankController.shutWait2.outPort[1].fire = tankController.T18.inPort.fire 224 : tankController.shutWait2.outPort[1].node.suspend = tankController.T18.inPort.node.suspend 225 : tankController.shutWait2.outPort[1].node.resume = tankController.T18.inPort.node.resume 226 : tankController.T18.outPort.checkOneDelayedTransitionPerLoop = tankController.shutStep.resume[1].checkOneDelayedTransitionPerLoop 227 : tankController.T18.outPort.fire = tankController.shutStep.resume[1].fire 228 : tankController.T18.outPort.node.suspend = 0.0 229 : tankController.T18.outPort.node.resume = tankController.shutStep.resume[1].node.resume 230 : tankController.valve1 = valve1.open 231 : tankController.valve2 = valve2.open 232 : tankController.valve3 = valve3.open 233 : reservoir.ports[1].p = valve1.port_a.p 234 : valve3.port_b.p = ambient.ports[1].p 235 : valve3.state_a.p = tank2.ports[2].p 236 : valve2.state_b.p = tank2.ports[1].p 237 : valve1.state_b.p = tank1.ports[1].p 238 : valve2.state_a.p = tank1.ports[2].p 239 : tank1.ports[1].m_flow + valve1.port_b.m_flow = 0.0 240 : valve2.port_a.m_flow + tank1.ports[2].m_flow = 0.0 241 : tank1.heatTransfer.heatPorts[1].Q_flow = 0.0 242 : tank2.ports[1].m_flow + valve2.port_b.m_flow = 0.0 243 : ambient.ports[1].m_flow + valve3.port_b.m_flow = 0.0 244 : tank2.ports[2].m_flow + valve3.port_a.m_flow = 0.0 245 : tank2.heatTransfer.heatPorts[1].Q_flow = 0.0 246 : reservoir.ports[1].m_flow + valve1.port_a.m_flow = 0.0 247 : valve1.m_flow = if valve1.open then valve1.k * valve1.dp else valve1.opening_min * valve1.k * valve1.dp 248 : valve1.port_a.h_outflow = tank1.ports[1].h_outflow 249 : valve1.port_b.h_outflow = reservoir.ports[1].h_outflow 250 : valve1.state_a.T = 273.15 + reservoir.ports[1].h_outflow / 4184.0 251 : valve1.state_a.p = valve1.port_a.p 252 : valve1.state_b.T = 273.15 + tank1.ports[1].h_outflow / 4184.0 253 : valve1.state_b.p = valve1.port_b.p 254 : valve1.dp = valve1.port_a.p - valve1.port_b.p 255 : valve1.m_flow = valve1.port_a.m_flow 256 : valve1.port_a.m_flow + valve1.port_b.m_flow = 0.0 257 : tank1.medium.h = Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.tank1.Medium.specificEnthalpy_pTX(true, tank1.medium.T, tank1.medium.X) 258 : tank1.medium.u = 4184.0 * tank1.medium.T_degC 259 : tank1.medium.d = 995.586 260 : 0.0 = tank1.medium.T 261 : tank1.medium.X[1] = 1.0 262 : tank1.heatTransfer.surfaceAreas[1] = tank1.crossArea + 2.0 * sqrt(tank1.crossArea * 3.141592653589793) * tank1.level 263 : tank1.Qb_flow = tank1.heatTransfer.heatPorts[1].Q_flow 264 : tank1.portAreas[1] = 0.7853981633974483 * tank1.portsData_diameter[1] ^ 2.0 265 : tank1.portAreas[2] = 0.7853981633974483 * tank1.portsData_diameter[2] ^ 2.0 266 : tank1.portsData_diameter_internal[1] = tank1.portsData[1].diameter 267 : tank1.portsData_diameter_internal[2] = tank1.portsData[2].diameter 268 : tank1.portsData_height_internal[1] = tank1.portsData[1].height 269 : tank1.portsData_height_internal[2] = tank1.portsData[2].height 270 : tank1.portsData_zeta_in_internal[1] = tank1.portsData[1].zeta_in 271 : tank1.portsData_zeta_in_internal[2] = tank1.portsData[2].zeta_in 272 : tank1.portsData_zeta_out_internal[1] = tank1.portsData[1].zeta_out 273 : tank1.portsData_zeta_out_internal[2] = tank1.portsData[2].zeta_out 274 : 0.0 = tank1.crossArea * tank1.level 275 : tank1.Wb_flow = 0.0 276 : tank1.vessel_ps_static[1] = max(0.0, tank1.level - tank1.portsData_height[1]) * system.g * tank1.medium.d + tank1.p_ambient 277 : tank1.vessel_ps_static[2] = max(0.0, tank1.level - tank1.portsData_height[2]) * system.g * tank1.medium.d + tank1.p_ambient 278 : tank1.mb_flow = tank1.ports[1].m_flow + tank1.ports[2].m_flow 279 : tank1.Hb_flow = tank1.ports_H_flow[1] + tank1.ports_H_flow[2] + tank1.ports_E_flow[1] + tank1.ports_E_flow[2] 280 : tank1.Qb_flow = tank1.heatTransfer.Q_flows[1] 281 : tank1.portInDensities[1] = 995.586 282 : tank1.portVelocities[1] = smooth(0, tank1.ports[1].m_flow / (tank1.portAreas[1] * Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.tank1.Medium.density(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.tank1.Medium.setState_phX(tank1.vessel_ps_static[1], if tank1.ports[1].m_flow > 0.0 then valve1.port_b.h_outflow else tank1.ports[1].h_outflow, {})))) 283 : tank1.ports_penetration[1] = Modelica.Fluid.Utilities.regStep(true - tank1.portsData_height[1] - 0.1 * tank1.portsData_diameter[1], 1.0, 0.001, 0.1 * tank1.portsData_diameter[1]) 284 : tank1.m_flow_turbulent[1] = tank1.m_flow_small 285 : tank1.regularFlow[1] = true >= tank1.portsData_height[1] 286 : tank1.inFlow[1] = not tank1.regularFlow[1] and (tank1.s[1] > 0.0 or tank1.portsData_height[1] >= tank1.fluidLevel_max) 287 : 0.0 = if tank1.regularFlow[1] then tank1.s[1] - (true - tank1.portsData_height[1]) else if tank1.inFlow[1] then tank1.s[1] - tank1.ports[1].m_flow else tank1.s[1] - 9.869232667160129e-06 * (tank1.ports[1].p - tank1.vessel_ps_static[1]) * (tank1.portsData_height[1] - true) 288 : 0.0 = if tank1.regularFlow[1] then tank1.ports[1].p - (tank1.vessel_ps_static[1] + 0.5 * tank1.portAreas[1] ^ (-2.0) * Modelica.Fluid.Utilities.regSquare2(tank1.ports[1].m_flow, tank1.m_flow_turbulent[1], (tank1.portsData_zeta_in[1] - 1.0 + (tank1.portAreas[1] / tank1.vesselArea) ^ 2.0) / tank1.portInDensities[1] * tank1.ports_penetration[1], (tank1.portsData_zeta_out[1] + 1.0 - (tank1.portAreas[1] / tank1.vesselArea) ^ 2.0) / (tank1.medium.d * tank1.ports_penetration[1]), false, 1.0)) else if tank1.inFlow[1] then tank1.ports[1].p - tank1.vessel_ps_static[1] else tank1.ports[1].m_flow 289 : tank1.ports[1].h_outflow = tank1.medium.h 290 : tank1.ports_H_flow[1] = smooth(0, tank1.ports[1].m_flow * (if tank1.ports[1].m_flow > 0.0 then valve1.port_b.h_outflow else tank1.ports[1].h_outflow)) 291 : tank1.ports_E_flow[1] = tank1.ports[1].m_flow * (0.5 * tank1.portVelocities[1] ^ 2.0 + system.g * tank1.portsData_height[1]) 292 : tank1.portInDensities[2] = 995.586 293 : tank1.portVelocities[2] = smooth(0, tank1.ports[2].m_flow / (tank1.portAreas[2] * Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.tank1.Medium.density(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.tank1.Medium.setState_phX(tank1.vessel_ps_static[2], if tank1.ports[2].m_flow > 0.0 then valve2.port_a.h_outflow else tank1.ports[2].h_outflow, {})))) 294 : tank1.ports_penetration[2] = Modelica.Fluid.Utilities.regStep(true - tank1.portsData_height[2] - 0.1 * tank1.portsData_diameter[2], 1.0, 0.001, 0.1 * tank1.portsData_diameter[2]) 295 : tank1.m_flow_turbulent[2] = tank1.m_flow_small 296 : tank1.regularFlow[2] = true >= tank1.portsData_height[2] 297 : tank1.inFlow[2] = not tank1.regularFlow[2] and (tank1.s[2] > 0.0 or tank1.portsData_height[2] >= tank1.fluidLevel_max) 298 : 0.0 = if tank1.regularFlow[2] then tank1.s[2] - (true - tank1.portsData_height[2]) else if tank1.inFlow[2] then tank1.s[2] - tank1.ports[2].m_flow else tank1.s[2] - 9.869232667160129e-06 * (tank1.ports[2].p - tank1.vessel_ps_static[2]) * (tank1.portsData_height[2] - true) 299 : 0.0 = if tank1.regularFlow[2] then tank1.ports[2].p - (tank1.vessel_ps_static[2] + 0.5 * tank1.portAreas[2] ^ (-2.0) * Modelica.Fluid.Utilities.regSquare2(tank1.ports[2].m_flow, tank1.m_flow_turbulent[2], (tank1.portsData_zeta_in[2] - 1.0 + (tank1.portAreas[2] / tank1.vesselArea) ^ 2.0) / tank1.portInDensities[2] * tank1.ports_penetration[2], (tank1.portsData_zeta_out[2] + 1.0 - (tank1.portAreas[2] / tank1.vesselArea) ^ 2.0) / (tank1.medium.d * tank1.ports_penetration[2]), false, 1.0)) else if tank1.inFlow[2] then tank1.ports[2].p - tank1.vessel_ps_static[2] else tank1.ports[2].m_flow 300 : tank1.ports[2].h_outflow = tank1.medium.h 301 : tank1.ports_H_flow[2] = smooth(0, tank1.ports[2].m_flow * (if tank1.ports[2].m_flow > 0.0 then valve2.port_a.h_outflow else tank1.ports[2].h_outflow)) 302 : tank1.ports_E_flow[2] = tank1.ports[2].m_flow * (0.5 * tank1.portVelocities[2] ^ 2.0 + system.g * tank1.portsData_height[2]) 303 : tank1.m = tank1.fluidVolume * tank1.medium.d 304 : tank1.U = tank1.m * tank1.medium.u 305 : der(tank1.U) = tank1.Hb_flow + tank1.Qb_flow + tank1.Wb_flow 306 : der(tank1.m) = tank1.mb_flow 307 : valve2.m_flow = if valve2.open then valve2.k * valve2.dp else valve2.opening_min * valve2.k * valve2.dp 308 : valve2.port_a.h_outflow = tank2.ports[1].h_outflow 309 : valve2.port_b.h_outflow = tank1.ports[2].h_outflow 310 : valve2.state_a.T = 273.15 + tank1.ports[2].h_outflow / 4184.0 311 : valve2.state_a.p = valve2.port_a.p 312 : valve2.state_b.T = 273.15 + tank2.ports[1].h_outflow / 4184.0 313 : valve2.state_b.p = valve2.port_b.p 314 : valve2.dp = valve2.port_a.p - valve2.port_b.p 315 : valve2.m_flow = valve2.port_a.m_flow 316 : valve2.port_a.m_flow + valve2.port_b.m_flow = 0.0 317 : valve3.m_flow = if valve3.open then valve3.k * valve3.dp else valve3.opening_min * valve3.k * valve3.dp 318 : valve3.port_a.h_outflow = ambient.ports[1].h_outflow 319 : valve3.port_b.h_outflow = tank2.ports[2].h_outflow 320 : valve3.state_a.T = 273.15 + tank2.ports[2].h_outflow / 4184.0 321 : valve3.state_a.p = valve3.port_a.p 322 : valve3.state_b.T = 273.15 + ambient.ports[1].h_outflow / 4184.0 323 : valve3.state_b.p = valve3.port_b.p 324 : valve3.dp = valve3.port_a.p - valve3.port_b.p 325 : valve3.m_flow = valve3.port_a.m_flow 326 : valve3.port_a.m_flow + valve3.port_b.m_flow = 0.0 327 : tank2.medium.h = Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.tank2.Medium.specificEnthalpy_pTX(true, tank2.medium.T, tank2.medium.X) 328 : tank2.medium.u = 4184.0 * tank2.medium.T_degC 329 : tank2.medium.d = 995.586 330 : true = tank2.medium.T 331 : tank2.medium.X[1] = 1.0 332 : tank2.heatTransfer.surfaceAreas[1] = tank2.crossArea + 2.0 * sqrt(tank2.crossArea * 3.141592653589793) * tank2.level 333 : tank2.Qb_flow = tank2.heatTransfer.heatPorts[1].Q_flow 334 : tank2.portAreas[1] = 0.7853981633974483 * tank2.portsData_diameter[1] ^ 2.0 335 : tank2.portAreas[2] = 0.7853981633974483 * tank2.portsData_diameter[2] ^ 2.0 336 : tank2.portsData_diameter_internal[1] = tank2.portsData[1].diameter 337 : tank2.portsData_diameter_internal[2] = tank2.portsData[2].diameter 338 : tank2.portsData_height_internal[1] = tank2.portsData[1].height 339 : tank2.portsData_height_internal[2] = tank2.portsData[2].height 340 : tank2.portsData_zeta_in_internal[1] = tank2.portsData[1].zeta_in 341 : tank2.portsData_zeta_in_internal[2] = tank2.portsData[2].zeta_in 342 : tank2.portsData_zeta_out_internal[1] = tank2.portsData[1].zeta_out 343 : tank2.portsData_zeta_out_internal[2] = tank2.portsData[2].zeta_out 344 : false = tank2.crossArea * tank2.level 345 : tank2.Wb_flow = 0.0 346 : tank2.vessel_ps_static[1] = max(0.0, tank2.level - tank2.portsData_height[1]) * system.g * tank2.medium.d + tank2.p_ambient 347 : tank2.vessel_ps_static[2] = max(0.0, tank2.level - tank2.portsData_height[2]) * system.g * tank2.medium.d + tank2.p_ambient 348 : tank2.mb_flow = tank2.ports[1].m_flow + tank2.ports[2].m_flow 349 : tank2.Hb_flow = tank2.ports_H_flow[1] + tank2.ports_H_flow[2] + tank2.ports_E_flow[1] + tank2.ports_E_flow[2] 350 : tank2.Qb_flow = tank2.heatTransfer.Q_flows[1] 351 : tank2.portInDensities[1] = 995.586 352 : tank2.portVelocities[1] = smooth(0, tank2.ports[1].m_flow / (tank2.portAreas[1] * Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.tank2.Medium.density(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.tank2.Medium.setState_phX(tank2.vessel_ps_static[1], if tank2.ports[1].m_flow > 0.0 then valve2.port_b.h_outflow else tank2.ports[1].h_outflow, {})))) 353 : tank2.ports_penetration[1] = Modelica.Fluid.Utilities.regStep(true - tank2.portsData_height[1] - 0.1 * tank2.portsData_diameter[1], 1.0, 0.001, 0.1 * tank2.portsData_diameter[1]) 354 : tank2.m_flow_turbulent[1] = tank2.m_flow_small 355 : tank2.regularFlow[1] = true >= tank2.portsData_height[1] 356 : tank2.inFlow[1] = not tank2.regularFlow[1] and (tank2.s[1] > 0.0 or tank2.portsData_height[1] >= tank2.fluidLevel_max) 357 : 0.0 = if tank2.regularFlow[1] then tank2.s[1] - (true - tank2.portsData_height[1]) else if tank2.inFlow[1] then tank2.s[1] - tank2.ports[1].m_flow else tank2.s[1] - 9.869232667160129e-06 * (tank2.ports[1].p - tank2.vessel_ps_static[1]) * (tank2.portsData_height[1] - true) 358 : 0.0 = if tank2.regularFlow[1] then tank2.ports[1].p - (tank2.vessel_ps_static[1] + 0.5 * tank2.portAreas[1] ^ (-2.0) * Modelica.Fluid.Utilities.regSquare2(tank2.ports[1].m_flow, tank2.m_flow_turbulent[1], (tank2.portsData_zeta_in[1] - 1.0 + (tank2.portAreas[1] / tank2.vesselArea) ^ 2.0) / tank2.portInDensities[1] * tank2.ports_penetration[1], (tank2.portsData_zeta_out[1] + 1.0 - (tank2.portAreas[1] / tank2.vesselArea) ^ 2.0) / (tank2.medium.d * tank2.ports_penetration[1]), false, 1.0)) else if tank2.inFlow[1] then tank2.ports[1].p - tank2.vessel_ps_static[1] else tank2.ports[1].m_flow 359 : tank2.ports[1].h_outflow = tank2.medium.h 360 : tank2.ports_H_flow[1] = smooth(0, tank2.ports[1].m_flow * (if tank2.ports[1].m_flow > 0.0 then valve2.port_b.h_outflow else tank2.ports[1].h_outflow)) 361 : tank2.ports_E_flow[1] = tank2.ports[1].m_flow * (0.5 * tank2.portVelocities[1] ^ 2.0 + system.g * tank2.portsData_height[1]) 362 : tank2.portInDensities[2] = 995.586 363 : tank2.portVelocities[2] = smooth(0, tank2.ports[2].m_flow / (tank2.portAreas[2] * Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.tank2.Medium.density(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.tank2.Medium.setState_phX(tank2.vessel_ps_static[2], if tank2.ports[2].m_flow > 0.0 then valve3.port_a.h_outflow else tank2.ports[2].h_outflow, {})))) 364 : tank2.ports_penetration[2] = Modelica.Fluid.Utilities.regStep(true - tank2.portsData_height[2] - 0.1 * tank2.portsData_diameter[2], 1.0, 0.001, 0.1 * tank2.portsData_diameter[2]) 365 : tank2.m_flow_turbulent[2] = tank2.m_flow_small 366 : tank2.regularFlow[2] = true >= tank2.portsData_height[2] 367 : tank2.inFlow[2] = not tank2.regularFlow[2] and (tank2.s[2] > 0.0 or tank2.portsData_height[2] >= tank2.fluidLevel_max) 368 : 0.0 = if tank2.regularFlow[2] then tank2.s[2] - (true - tank2.portsData_height[2]) else if tank2.inFlow[2] then tank2.s[2] - tank2.ports[2].m_flow else tank2.s[2] - 9.869232667160129e-06 * (tank2.ports[2].p - tank2.vessel_ps_static[2]) * (tank2.portsData_height[2] - true) 369 : 0.0 = if tank2.regularFlow[2] then tank2.ports[2].p - (tank2.vessel_ps_static[2] + 0.5 * tank2.portAreas[2] ^ (-2.0) * Modelica.Fluid.Utilities.regSquare2(tank2.ports[2].m_flow, tank2.m_flow_turbulent[2], (tank2.portsData_zeta_in[2] - 1.0 + (tank2.portAreas[2] / tank2.vesselArea) ^ 2.0) / tank2.portInDensities[2] * tank2.ports_penetration[2], (tank2.portsData_zeta_out[2] + 1.0 - (tank2.portAreas[2] / tank2.vesselArea) ^ 2.0) / (tank2.medium.d * tank2.ports_penetration[2]), false, 1.0)) else if tank2.inFlow[2] then tank2.ports[2].p - tank2.vessel_ps_static[2] else tank2.ports[2].m_flow 370 : tank2.ports[2].h_outflow = tank2.medium.h 371 : tank2.ports_H_flow[2] = smooth(0, tank2.ports[2].m_flow * (if tank2.ports[2].m_flow > 0.0 then valve3.port_a.h_outflow else tank2.ports[2].h_outflow)) 372 : tank2.ports_E_flow[2] = tank2.ports[2].m_flow * (0.5 * tank2.portVelocities[2] ^ 2.0 + system.g * tank2.portsData_height[2]) 373 : tank2.m = tank2.fluidVolume * tank2.medium.d 374 : tank2.U = tank2.m * tank2.medium.u 375 : der(tank2.U) = tank2.Hb_flow + tank2.Qb_flow + tank2.Wb_flow 376 : der(tank2.m) = tank2.mb_flow 377 : ambient.medium.h = Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.ambient.Medium.specificEnthalpy_pTX(ambient.medium.p, ambient.medium.T, ambient.medium.X) 378 : ambient.medium.u = 4184.0 * ambient.medium.T_degC 379 : ambient.medium.state.T = ambient.medium.T 380 : ambient.medium.state.p = ambient.medium.p 381 : ambient.medium.X[1] = 1.0 382 : ambient.p_in_internal = ambient.p 383 : ambient.T_in_internal = ambient.T 384 : ambient.medium.p = ambient.p_in_internal 385 : ambient.medium.T = ambient.T_in_internal 386 : ambient.ports[1].p = ambient.medium.p 387 : ambient.ports[1].h_outflow = ambient.medium.h 388 : reservoir.medium.h = Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.reservoir.Medium.specificEnthalpy_pTX(reservoir.medium.p, reservoir.medium.T, reservoir.medium.X) 389 : reservoir.medium.u = 4184.0 * reservoir.medium.T_degC 390 : reservoir.medium.state.T = reservoir.medium.T 391 : reservoir.medium.state.p = reservoir.medium.p 392 : reservoir.medium.X[1] = 1.0 393 : reservoir.p_in_internal = reservoir.p 394 : reservoir.T_in_internal = reservoir.T 395 : reservoir.medium.p = reservoir.p_in_internal 396 : reservoir.medium.T = reservoir.T_in_internal 397 : reservoir.ports[1].p = reservoir.medium.p 398 : reservoir.ports[1].h_outflow = reservoir.medium.h 399 : tankController.makeProduct.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.makeProduct.local_inPort[1].fire, tankController.makeProduct.local_inPort[2].fire}) 400 : tankController.makeProduct.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({}) 401 : tankController.makeProduct.suspend_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({true, tankController.makeProduct.local_inPort[2].node.suspend}) or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({true}) or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.makeProduct.local_suspend[1].fire}) 402 : tankController.makeProduct.resume_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.makeProduct.local_inPort[1].node.resume, tankController.makeProduct.local_inPort[2].node.resume}) or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.makeProduct.local_resume[1].node.resume}) or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.makeProduct.local_resume[1].fire}) 403 : tankController.makeProduct.entry_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.makeProduct.local_entry[1].fire}) 404 : tankController.makeProduct.active = pre(tankController.makeProduct.newActive) 405 : tankController.makeProduct.newActive = if Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.makeProduct.local_inPort[1].node.resume, tankController.makeProduct.local_inPort[2].node.resume}) then tankController.makeProduct.oldActive else tankController.makeProduct.inport_fire or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.makeProduct.local_resume[1].fire}) or tankController.makeProduct.active and not tankController.makeProduct.outport_fire and not tankController.makeProduct.suspend_fire 406 : tankController.makeProduct.entry_restart[tankController.makeProduct.entryIndices[1]] = true 407 : tankController.makeProduct.firstActive = if tankController.makeProduct.active and not tankController.makeProduct.suspend_fire and pre(tankController.makeProduct.firstActive) <= 1 then pre(tankController.makeProduct.firstActive) + 1 else if tankController.makeProduct.resume_fire and tankController.makeProduct.finished then 0 else pre(tankController.makeProduct.firstActive) 408 : tankController.makeProduct.local_entry[1].fire = if tankController.makeProduct.firstActive == 1 then tankController.makeProduct.entry_restart[1] else tankController.makeProduct.inport_fire 409 : tankController.makeProduct.local_suspend[1].available = tankController.makeProduct.active and not pre(tankController.makeProduct.suspend_fire) 410 : tankController.makeProduct.entryIndices[1] = 1 411 : tankController.makeProduct.local_entry[1].node.suspend = tankController.makeProduct.active and tankController.makeProduct.suspend_fire or not tankController.makeProduct.active and pre(tankController.makeProduct.active) 412 : tankController.makeProduct.local_entry[1].node.resume = tankController.makeProduct.resume_fire and not tankController.makeProduct.entry_fire 413 : tankController.makeProduct.local_inPort[1].node.resume = tankController.makeProduct.connectorNode.node.resume 414 : tankController.makeProduct.local_inPort[2].node.resume = tankController.makeProduct.connectorNode.node.resume 415 : tankController.makeProduct.local_inPort[2].node.suspend = true 416 : tankController.makeProduct.local_resume[1].node.resume = tankController.makeProduct.connectorNode.node.resume 417 : tankController.makeProduct.local_suspend[1].node.resume = tankController.makeProduct.connectorNode.node.resume 418 : tankController.makeProduct.checkOneDelayedTransitionPerLoopIn = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.makeProduct.local_inPort[1].checkOneDelayedTransitionPerLoop, tankController.makeProduct.local_inPort[2].checkOneDelayedTransitionPerLoop}) and Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.makeProduct.local_resume[1].checkOneDelayedTransitionPerLoop}) 419 : tankController.makeProduct.local_suspend[1].checkOneDelayedTransitionPerLoop = tankController.makeProduct.checkOneDelayedTransitionPerLoopIn 420 : tankController.makeProduct.local_entry[1].checkOneDelayedTransitionPerLoop = tankController.makeProduct.checkOneDelayedTransitionPerLoopIn 421 : tankController.startStep.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.startStep.inPort[1].fire, tankController.startStep.inPort[2].fire}) 422 : tankController.startStep.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.startStep.outPort[1].fire}) 423 : tankController.startStep.newActive = if tankController.startStep.connectorNode.node.resume then tankController.startStep.oldActive else tankController.startStep.inport_fire or tankController.startStep.active and not tankController.startStep.outport_fire and not tankController.startStep.connectorNode.node.suspend 424 : tankController.startStep.active = pre(tankController.startStep.newActive) 425 : tankController.startStep.outPort[1].available = tankController.startStep.active and not tankController.startStep.connectorNode.node.suspend 426 : tankController.startStep.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.startStep.inPort[1].checkOneDelayedTransitionPerLoop, tankController.startStep.inPort[2].checkOneDelayedTransitionPerLoop}) 427 : tankController.startStep.inPort[1].node.resume = tankController.startStep.connectorNode.node.resume 428 : tankController.startStep.inPort[1].node.suspend = tankController.startStep.connectorNode.node.suspend 429 : tankController.startStep.inPort[2].node.resume = tankController.startStep.connectorNode.node.resume 430 : tankController.startStep.inPort[2].node.suspend = tankController.startStep.connectorNode.node.suspend 431 : tankController.startStep.outPort[1].node.resume = tankController.startStep.connectorNode.node.resume 432 : tankController.startStep.outPort[1].node.suspend = tankController.startStep.connectorNode.node.suspend 433 : tankController.T1.enableFire = tankController.T1.inPort.available 434 : tankController.T1.fire = tankController.T1.enableFire 435 : tankController.T1.outPort.checkOneDelayedTransitionPerLoop = tankController.T1.inPort.checkOneDelayedTransitionPerLoop 436 : tankController.T1.inPort.fire = tankController.T1.fire 437 : tankController.T1.outPort.fire = tankController.T1.fire 438 : tankController.T1.outPort.node.resume = tankController.T1.inPort.node.resume 439 : tankController.T1.outPort.node.suspend = tankController.T1.inPort.node.suspend 440 : tankController.fillTank1.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.fillTank1.inPort[1].fire}) 441 : tankController.fillTank1.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.fillTank1.outPort[1].fire}) 442 : tankController.fillTank1.newActive = if tankController.fillTank1.connectorNode.node.resume then tankController.fillTank1.oldActive else tankController.fillTank1.inport_fire or tankController.fillTank1.active and not tankController.fillTank1.outport_fire and not tankController.fillTank1.connectorNode.node.suspend 443 : tankController.fillTank1.active = pre(tankController.fillTank1.newActive) 444 : tankController.fillTank1.outPort[1].available = tankController.fillTank1.active and not tankController.fillTank1.connectorNode.node.suspend 445 : tankController.fillTank1.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.fillTank1.inPort[1].checkOneDelayedTransitionPerLoop}) 446 : tankController.fillTank1.inPort[1].node.resume = tankController.fillTank1.connectorNode.node.resume 447 : tankController.fillTank1.inPort[1].node.suspend = tankController.fillTank1.connectorNode.node.suspend 448 : tankController.fillTank1.outPort[1].node.resume = tankController.fillTank1.connectorNode.node.resume 449 : tankController.fillTank1.outPort[1].node.suspend = tankController.fillTank1.connectorNode.node.suspend 450 : tankController.T2.localCondition = tankController.T2.condition 451 : tankController.T2.enableFire = tankController.T2.localCondition and tankController.T2.inPort.available 452 : tankController.T2.fire = tankController.T2.enableFire 453 : tankController.T2.outPort.checkOneDelayedTransitionPerLoop = tankController.T2.inPort.checkOneDelayedTransitionPerLoop 454 : tankController.T2.inPort.fire = tankController.T2.fire 455 : tankController.T2.outPort.fire = tankController.T2.fire 456 : tankController.T2.outPort.node.resume = tankController.T2.inPort.node.resume 457 : tankController.T2.outPort.node.suspend = tankController.T2.inPort.node.suspend 458 : tankController.wait1.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.wait1.inPort[1].fire}) 459 : tankController.wait1.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.wait1.outPort[1].fire}) 460 : tankController.wait1.newActive = if tankController.wait1.connectorNode.node.resume then tankController.wait1.oldActive else tankController.wait1.inport_fire or tankController.wait1.active and not tankController.wait1.outport_fire and not tankController.wait1.connectorNode.node.suspend 461 : tankController.wait1.active = pre(tankController.wait1.newActive) 462 : tankController.wait1.outPort[1].available = tankController.wait1.active and not tankController.wait1.connectorNode.node.suspend 463 : tankController.wait1.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.wait1.inPort[1].checkOneDelayedTransitionPerLoop}) 464 : tankController.wait1.inPort[1].node.resume = tankController.wait1.connectorNode.node.resume 465 : tankController.wait1.inPort[1].node.suspend = tankController.wait1.connectorNode.node.suspend 466 : tankController.wait1.outPort[1].node.resume = tankController.wait1.connectorNode.node.resume 467 : tankController.wait1.outPort[1].node.suspend = tankController.wait1.connectorNode.node.suspend 468 : tankController.fillTank2.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.fillTank2.inPort[1].fire}) 469 : tankController.fillTank2.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.fillTank2.outPort[1].fire}) 470 : tankController.fillTank2.newActive = if tankController.fillTank2.connectorNode.node.resume then tankController.fillTank2.oldActive else tankController.fillTank2.inport_fire or tankController.fillTank2.active and not tankController.fillTank2.outport_fire and not tankController.fillTank2.connectorNode.node.suspend 471 : tankController.fillTank2.active = pre(tankController.fillTank2.newActive) 472 : tankController.fillTank2.outPort[1].available = tankController.fillTank2.active and not tankController.fillTank2.connectorNode.node.suspend 473 : tankController.fillTank2.inPort[1].node.resume = tankController.fillTank2.connectorNode.node.resume 474 : tankController.fillTank2.inPort[1].node.suspend = tankController.fillTank2.connectorNode.node.suspend 475 : tankController.fillTank2.outPort[1].node.resume = tankController.fillTank2.connectorNode.node.resume 476 : tankController.fillTank2.outPort[1].node.suspend = tankController.fillTank2.connectorNode.node.suspend 477 : tankController.T3.enableFire = tankController.T3.inPort.available 478 : tankController.T3.fire = tankController.T3.enableFire and time >= tankController.T3.t_start + tankController.T3.waitTime 479 : tankController.T3.inPort.fire = tankController.T3.fire 480 : tankController.T3.outPort.fire = tankController.T3.fire 481 : tankController.T3.outPort.node.resume = tankController.T3.inPort.node.resume 482 : tankController.T3.outPort.node.suspend = tankController.T3.inPort.node.suspend 483 : tankController.T4.enableFire = tankController.T4.inPort.available 484 : tankController.T4.fire = tankController.T4.enableFire 485 : tankController.T4.inPort.fire = tankController.T4.fire 486 : tankController.T4.outPort.fire = tankController.T4.fire 487 : tankController.T4.outPort.node.resume = tankController.T4.inPort.node.resume 488 : tankController.T4.outPort.node.suspend = tankController.T4.inPort.node.suspend 489 : tankController.wait2.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.wait2.inPort[1].fire}) 490 : tankController.wait2.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.wait2.outPort[1].fire}) 491 : tankController.wait2.newActive = if tankController.wait2.connectorNode.node.resume then tankController.wait2.oldActive else tankController.wait2.inport_fire or tankController.wait2.active and not tankController.wait2.outport_fire and not tankController.wait2.connectorNode.node.suspend 492 : tankController.wait2.active = pre(tankController.wait2.newActive) 493 : tankController.wait2.outPort[1].available = tankController.wait2.active and not tankController.wait2.connectorNode.node.suspend 494 : tankController.wait2.inPort[1].node.resume = tankController.wait2.connectorNode.node.resume 495 : tankController.wait2.inPort[1].node.suspend = tankController.wait2.connectorNode.node.suspend 496 : tankController.wait2.outPort[1].node.resume = tankController.wait2.connectorNode.node.resume 497 : tankController.wait2.outPort[1].node.suspend = tankController.wait2.connectorNode.node.suspend 498 : tankController.T5.enableFire = tankController.T5.inPort.available 499 : tankController.T5.fire = tankController.T5.enableFire and time >= tankController.T5.t_start + tankController.T5.waitTime 500 : tankController.T5.outPort.checkOneDelayedTransitionPerLoop = true 501 : tankController.T5.inPort.fire = tankController.T5.fire 502 : tankController.T5.outPort.fire = tankController.T5.fire 503 : tankController.T5.outPort.node.resume = tankController.T5.inPort.node.resume 504 : tankController.T5.outPort.node.suspend = tankController.T5.inPort.node.suspend 505 : tankController.emptyTanks.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.emptyTanks.inPort[1].fire}) 506 : tankController.emptyTanks.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.emptyTanks.outPort[1].fire}) 507 : tankController.emptyTanks.newActive = if tankController.emptyTanks.connectorNode.node.resume then tankController.emptyTanks.oldActive else tankController.emptyTanks.inport_fire or tankController.emptyTanks.active and not tankController.emptyTanks.outport_fire and not tankController.emptyTanks.connectorNode.node.suspend 508 : tankController.emptyTanks.active = pre(tankController.emptyTanks.newActive) 509 : tankController.emptyTanks.outPort[1].available = tankController.emptyTanks.active and not tankController.emptyTanks.connectorNode.node.suspend 510 : tankController.emptyTanks.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.emptyTanks.inPort[1].checkOneDelayedTransitionPerLoop}) 511 : tankController.emptyTanks.inPort[1].node.resume = tankController.emptyTanks.connectorNode.node.resume 512 : tankController.emptyTanks.inPort[1].node.suspend = tankController.emptyTanks.connectorNode.node.suspend 513 : tankController.emptyTanks.outPort[1].node.resume = tankController.emptyTanks.connectorNode.node.resume 514 : tankController.emptyTanks.outPort[1].node.suspend = tankController.emptyTanks.connectorNode.node.suspend 515 : tankController.T6.enableFire = 0.0 and tankController.T6.inPort.available 516 : tankController.T6.fire = tankController.T6.enableFire 517 : tankController.T6.outPort.checkOneDelayedTransitionPerLoop = tankController.T6.inPort.checkOneDelayedTransitionPerLoop 518 : tankController.T6.inPort.fire = tankController.T6.fire 519 : tankController.T6.outPort.fire = tankController.T6.fire 520 : tankController.T6.outPort.node.resume = tankController.T6.inPort.node.resume 521 : tankController.T6.outPort.node.suspend = tankController.T6.inPort.node.suspend 522 : tankController.initialStep.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({}) 523 : tankController.initialStep.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.initialStep.outPort[1].fire}) 524 : tankController.initialStep.newActive = if tankController.initialStep.connectorNode.node.resume then tankController.initialStep.oldActive else tankController.initialStep.inport_fire 525 : tankController.initialStep.active = pre(tankController.initialStep.newActive) 526 : tankController.initialStep.outPort[1].available = false 527 : tankController.initialStep.outPort[1].checkOneDelayedTransitionPerLoop = true 528 : tankController.initialStep.connectorNode.node.resume = false 529 : tankController.initialStep.outPort[1].node.resume = tankController.initialStep.connectorNode.node.resume 530 : tankController.T7.enableFire = tankController.T7.inPort.available 531 : tankController.T7.fire = tankController.T7.enableFire 532 : tankController.T7.outPort.checkOneDelayedTransitionPerLoop = tankController.T7.inPort.checkOneDelayedTransitionPerLoop 533 : tankController.T7.inPort.fire = tankController.T7.fire 534 : tankController.T7.outPort.fire = tankController.T7.fire 535 : tankController.T7.outPort.node.resume = tankController.T7.inPort.node.resume 536 : tankController.stopStep1.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.stopStep1.inPort[1].fire}) 537 : tankController.stopStep1.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.stopStep1.outPort[1].fire, tankController.stopStep1.outPort[2].fire}) 538 : tankController.stopStep1.newActive = if tankController.stopStep1.connectorNode.node.resume then tankController.stopStep1.oldActive else tankController.stopStep1.inport_fire 539 : tankController.stopStep1.active = pre(tankController.stopStep1.newActive) 540 : tankController.stopStep1.outPort[1].available = false 541 : tankController.stopStep1.outPort[2].available = false 542 : tankController.stopStep1.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.stopStep1.inPort[1].checkOneDelayedTransitionPerLoop}) 543 : tankController.stopStep1.outPort[2].checkOneDelayedTransitionPerLoop = tankController.stopStep1.outPort[1].checkOneDelayedTransitionPerLoop 544 : tankController.stopStep1.inPort[1].node.resume = tankController.stopStep1.connectorNode.node.resume 545 : tankController.stopStep1.outPort[1].node.resume = tankController.stopStep1.connectorNode.node.resume 546 : tankController.stopStep1.outPort[2].node.resume = tankController.stopStep1.connectorNode.node.resume 547 : tankController.T8.enableFire = tankController.T8.inPort.available 548 : tankController.T8.fire = tankController.T8.enableFire 549 : tankController.T8.outPort.checkOneDelayedTransitionPerLoop = tankController.T8.inPort.checkOneDelayedTransitionPerLoop 550 : tankController.T8.inPort.fire = tankController.T8.fire 551 : tankController.T8.outPort.fire = tankController.T8.fire 552 : tankController.T8.outPort.node.resume = tankController.T8.inPort.node.resume 553 : tankController.T9.enableFire = tankController.T9.inPort.available 554 : tankController.T9.fire = tankController.T9.enableFire 555 : tankController.T9.outPort.checkOneDelayedTransitionPerLoop = tankController.T9.inPort.checkOneDelayedTransitionPerLoop 556 : tankController.T9.inPort.fire = tankController.T9.fire 557 : tankController.T9.outPort.fire = tankController.T9.fire 558 : tankController.T9.outPort.node.resume = tankController.T9.inPort.node.resume 559 : tankController.T10.enableFire = tankController.T10.inPort.available 560 : tankController.T10.fire = tankController.T10.enableFire 561 : tankController.T10.outPort.checkOneDelayedTransitionPerLoop = tankController.T10.inPort.checkOneDelayedTransitionPerLoop 562 : tankController.T10.inPort.fire = tankController.T10.fire 563 : tankController.T10.outPort.fire = tankController.T10.fire 564 : tankController.T10.outPort.node.resume = tankController.T10.inPort.node.resume 565 : tankController.shutTank1.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutTank1.inPort[1].fire}) 566 : tankController.shutTank1.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutTank1.outPort[1].fire}) 567 : tankController.shutTank1.newActive = if tankController.shutTank1.connectorNode.node.resume then tankController.shutTank1.oldActive else tankController.shutTank1.inport_fire or tankController.shutTank1.active and not tankController.shutTank1.outport_fire and not tankController.shutTank1.connectorNode.node.suspend 568 : tankController.shutTank1.active = pre(tankController.shutTank1.newActive) 569 : tankController.shutTank1.outPort[1].available = tankController.shutTank1.active and not tankController.shutTank1.connectorNode.node.suspend 570 : tankController.shutTank1.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.shutTank1.inPort[1].checkOneDelayedTransitionPerLoop}) 571 : tankController.shutTank1.inPort[1].node.resume = tankController.shutTank1.connectorNode.node.resume 572 : tankController.shutTank1.inPort[1].node.suspend = tankController.shutTank1.connectorNode.node.suspend 573 : tankController.shutTank1.outPort[1].node.resume = tankController.shutTank1.connectorNode.node.resume 574 : tankController.shutTank1.outPort[1].node.suspend = tankController.shutTank1.connectorNode.node.suspend 575 : tankController.T13.enableFire = tankController.T13.inPort.available 576 : tankController.T13.fire = tankController.T13.enableFire 577 : tankController.T13.outPort.checkOneDelayedTransitionPerLoop = tankController.T13.inPort.checkOneDelayedTransitionPerLoop 578 : tankController.T13.inPort.fire = tankController.T13.fire 579 : tankController.T13.outPort.fire = tankController.T13.fire 580 : tankController.T13.outPort.node.resume = tankController.T13.inPort.node.resume 581 : tankController.T13.outPort.node.suspend = tankController.T13.inPort.node.suspend 582 : tankController.shutStep.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutStep.local_inPort[1].fire}) 583 : tankController.shutStep.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutStep.local_outPort[1].fire}) 584 : tankController.shutStep.suspend_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({0.0}) or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({0.018015268}) or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutStep.local_suspend[1].fire}) 585 : tankController.shutStep.resume_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutStep.local_inPort[1].node.resume}) or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutStep.local_resume[1].node.resume}) or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutStep.local_resume[1].fire}) 586 : tankController.shutStep.entry_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutStep.local_entry[1].fire, tankController.shutStep.local_entry[2].fire}) 587 : tankController.shutStep.active = pre(tankController.shutStep.newActive) 588 : tankController.shutStep.newActive = if Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutStep.local_inPort[1].node.resume}) then tankController.shutStep.oldActive else tankController.shutStep.inport_fire or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutStep.local_resume[1].fire}) or tankController.shutStep.active and not tankController.shutStep.outport_fire and not tankController.shutStep.suspend_fire 589 : tankController.shutStep.entry_restart[tankController.shutStep.entryIndices[1]] = true 590 : tankController.shutStep.entry_restart[tankController.shutStep.entryIndices[2]] = true 591 : tankController.shutStep.firstActive = if tankController.shutStep.active and not tankController.shutStep.suspend_fire and pre(tankController.shutStep.firstActive) <= 1 then pre(tankController.shutStep.firstActive) + 1 else if tankController.shutStep.resume_fire and tankController.shutStep.finished then 0 else pre(tankController.shutStep.firstActive) 592 : tankController.shutStep.local_entry[1].fire = if tankController.shutStep.firstActive == 1 then tankController.shutStep.entry_restart[1] else tankController.shutStep.inport_fire 593 : tankController.shutStep.local_entry[2].fire = if tankController.shutStep.firstActive == 1 then tankController.shutStep.entry_restart[2] else tankController.shutStep.inport_fire 594 : tankController.shutStep.local_exit[1].fire = tankController.shutStep.outport_fire 595 : tankController.shutStep.local_exit[2].fire = tankController.shutStep.outport_fire 596 : tankController.shutStep.local_outPort[1].available = tankController.shutStep.active and Modelica_StateGraph2.Blocks.BooleanFunctions.allTrue({tankController.shutStep.local_exit[1].available, tankController.shutStep.local_exit[2].available}) 597 : tankController.shutStep.local_suspend[1].available = tankController.shutStep.active and not pre(tankController.shutStep.suspend_fire) 598 : tankController.shutStep.entryIndices[1] = 1 599 : tankController.shutStep.entryIndices[2] = 1 600 : tankController.shutStep.local_entry[1].node.suspend = tankController.shutStep.active and tankController.shutStep.suspend_fire or not tankController.shutStep.active and pre(tankController.shutStep.active) 601 : tankController.shutStep.local_entry[1].node.resume = tankController.shutStep.resume_fire and not tankController.shutStep.entry_fire 602 : tankController.shutStep.local_entry[2].node.suspend = tankController.shutStep.local_entry[1].node.suspend 603 : tankController.shutStep.local_entry[2].node.resume = tankController.shutStep.local_entry[1].node.resume 604 : tankController.shutStep.local_inPort[1].node.resume = tankController.shutStep.connectorNode.node.resume 605 : tankController.shutStep.local_resume[1].node.resume = tankController.shutStep.connectorNode.node.resume 606 : tankController.shutStep.local_outPort[1].node.resume = tankController.shutStep.connectorNode.node.resume 607 : tankController.shutStep.local_suspend[1].node.resume = tankController.shutStep.connectorNode.node.resume 608 : tankController.shutStep.checkOneDelayedTransitionPerLoopIn = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.shutStep.local_inPort[1].checkOneDelayedTransitionPerLoop}) and Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.shutStep.local_resume[1].checkOneDelayedTransitionPerLoop}) 609 : tankController.shutStep.local_suspend[1].checkOneDelayedTransitionPerLoop = tankController.shutStep.checkOneDelayedTransitionPerLoopIn 610 : tankController.shutStep.local_entry[tankController.shutStep.entryIndices[1]].checkOneDelayedTransitionPerLoop = tankController.shutStep.checkOneDelayedTransitionPerLoopIn 611 : tankController.shutStep.local_entry[tankController.shutStep.entryIndices[2]].checkOneDelayedTransitionPerLoop = tankController.shutStep.local_exit[1].checkOneDelayedTransitionPerLoop 612 : tankController.shutStep.local_outPort[1].checkOneDelayedTransitionPerLoop = tankController.shutStep.local_exit[2].checkOneDelayedTransitionPerLoop 613 : tankController.shutTank2.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutTank2.inPort[1].fire}) 614 : tankController.shutTank2.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutTank2.outPort[1].fire}) 615 : tankController.shutTank2.newActive = if tankController.shutTank2.connectorNode.node.resume then tankController.shutTank2.oldActive else tankController.shutTank2.inport_fire or tankController.shutTank2.active and not tankController.shutTank2.outport_fire and not tankController.shutTank2.connectorNode.node.suspend 616 : tankController.shutTank2.active = pre(tankController.shutTank2.newActive) 617 : tankController.shutTank2.outPort[1].available = tankController.shutTank2.active and not tankController.shutTank2.connectorNode.node.suspend 618 : tankController.shutTank2.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.shutTank2.inPort[1].checkOneDelayedTransitionPerLoop}) 619 : tankController.shutTank2.inPort[1].node.resume = tankController.shutTank2.connectorNode.node.resume 620 : tankController.shutTank2.inPort[1].node.suspend = tankController.shutTank2.connectorNode.node.suspend 621 : tankController.shutTank2.outPort[1].node.resume = tankController.shutTank2.connectorNode.node.resume 622 : tankController.shutTank2.outPort[1].node.suspend = tankController.shutTank2.connectorNode.node.suspend 623 : tankController.tank1Empty.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.tank1Empty.inPort[1].fire}) 624 : tankController.tank1Empty.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.tank1Empty.outPort[1].fire}) 625 : tankController.tank1Empty.newActive = if tankController.tank1Empty.connectorNode.node.resume then tankController.tank1Empty.oldActive else tankController.tank1Empty.inport_fire or tankController.tank1Empty.active and not tankController.tank1Empty.outport_fire and not tankController.tank1Empty.connectorNode.node.suspend 626 : tankController.tank1Empty.active = pre(tankController.tank1Empty.newActive) 627 : tankController.tank1Empty.outPort[1].available = tankController.tank1Empty.active and not tankController.tank1Empty.connectorNode.node.suspend 628 : tankController.tank1Empty.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.tank1Empty.inPort[1].checkOneDelayedTransitionPerLoop}) 629 : tankController.tank1Empty.inPort[1].node.resume = tankController.tank1Empty.connectorNode.node.resume 630 : tankController.tank1Empty.inPort[1].node.suspend = tankController.tank1Empty.connectorNode.node.suspend 631 : tankController.tank1Empty.outPort[1].node.resume = tankController.tank1Empty.connectorNode.node.resume 632 : tankController.tank1Empty.outPort[1].node.suspend = tankController.tank1Empty.connectorNode.node.suspend 633 : tankController.tank2Empty.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.tank2Empty.inPort[1].fire}) 634 : tankController.tank2Empty.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.tank2Empty.outPort[1].fire}) 635 : tankController.tank2Empty.newActive = if tankController.tank2Empty.connectorNode.node.resume then tankController.tank2Empty.oldActive else tankController.tank2Empty.inport_fire or tankController.tank2Empty.active and not tankController.tank2Empty.outport_fire and not tankController.tank2Empty.connectorNode.node.suspend 636 : tankController.tank2Empty.active = pre(tankController.tank2Empty.newActive) 637 : tankController.tank2Empty.outPort[1].available = tankController.tank2Empty.active and not tankController.tank2Empty.connectorNode.node.suspend 638 : tankController.tank2Empty.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.tank2Empty.inPort[1].checkOneDelayedTransitionPerLoop}) 639 : tankController.tank2Empty.inPort[1].node.resume = tankController.tank2Empty.connectorNode.node.resume 640 : tankController.tank2Empty.inPort[1].node.suspend = tankController.tank2Empty.connectorNode.node.suspend 641 : tankController.tank2Empty.outPort[1].node.resume = tankController.tank2Empty.connectorNode.node.resume 642 : tankController.tank2Empty.outPort[1].node.suspend = tankController.tank2Empty.connectorNode.node.suspend 643 : tankController.T11.enableFire = 0.0 and tankController.T11.inPort.available 644 : tankController.T11.fire = tankController.T11.enableFire 645 : tankController.T11.outPort.checkOneDelayedTransitionPerLoop = tankController.T11.inPort.checkOneDelayedTransitionPerLoop 646 : tankController.T11.inPort.fire = tankController.T11.fire 647 : tankController.T11.outPort.fire = tankController.T11.fire 648 : tankController.T11.outPort.node.resume = tankController.T11.inPort.node.resume 649 : tankController.T11.outPort.node.suspend = tankController.T11.inPort.node.suspend 650 : tankController.T12.enableFire = tankController.T12.inPort.available 651 : tankController.T12.fire = tankController.T12.enableFire 652 : tankController.T12.outPort.checkOneDelayedTransitionPerLoop = tankController.T12.inPort.checkOneDelayedTransitionPerLoop 653 : tankController.T12.inPort.fire = tankController.T12.fire 654 : tankController.T12.outPort.fire = tankController.T12.fire 655 : tankController.T12.outPort.node.resume = tankController.T12.inPort.node.resume 656 : tankController.T14.enableFire = 0.0 and tankController.T14.inPort.available 657 : tankController.T14.fire = tankController.T14.enableFire 658 : tankController.T14.outPort.checkOneDelayedTransitionPerLoop = tankController.T14.inPort.checkOneDelayedTransitionPerLoop 659 : tankController.T14.inPort.fire = tankController.T14.fire 660 : tankController.T14.outPort.fire = tankController.T14.fire 661 : tankController.T14.outPort.node.resume = tankController.T14.inPort.node.resume 662 : tankController.T14.outPort.node.suspend = tankController.T14.inPort.node.suspend 663 : tankController.stopStep2.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.stopStep2.inPort[1].fire}) 664 : tankController.stopStep2.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.stopStep2.outPort[1].fire}) 665 : tankController.stopStep2.newActive = if tankController.stopStep2.connectorNode.node.resume then tankController.stopStep2.oldActive else tankController.stopStep2.inport_fire or tankController.stopStep2.active and not tankController.stopStep2.outport_fire and not tankController.stopStep2.connectorNode.node.suspend 666 : tankController.stopStep2.active = pre(tankController.stopStep2.newActive) 667 : tankController.stopStep2.outPort[1].available = tankController.stopStep2.active and not tankController.stopStep2.connectorNode.node.suspend 668 : tankController.stopStep2.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.stopStep2.inPort[1].checkOneDelayedTransitionPerLoop}) 669 : tankController.stopStep2.inPort[1].node.resume = tankController.stopStep2.connectorNode.node.resume 670 : tankController.stopStep2.inPort[1].node.suspend = tankController.stopStep2.connectorNode.node.suspend 671 : tankController.stopStep2.outPort[1].node.resume = tankController.stopStep2.connectorNode.node.resume 672 : tankController.stopStep2.outPort[1].node.suspend = tankController.stopStep2.connectorNode.node.suspend 673 : tankController.T15.enableFire = tankController.T15.inPort.available 674 : tankController.T15.fire = tankController.T15.enableFire 675 : tankController.T15.outPort.checkOneDelayedTransitionPerLoop = tankController.T15.inPort.checkOneDelayedTransitionPerLoop 676 : tankController.T15.inPort.fire = tankController.T15.fire 677 : tankController.T15.outPort.fire = tankController.T15.fire 678 : tankController.T15.outPort.node.resume = tankController.T15.inPort.node.resume 679 : tankController.T15.outPort.node.suspend = tankController.T15.inPort.node.suspend 680 : tankController.startWait.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.startWait.inPort[1].fire}) 681 : tankController.startWait.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.startWait.outPort[1].fire}) 682 : tankController.startWait.newActive = if tankController.startWait.connectorNode.node.resume then tankController.startWait.oldActive else tankController.startWait.inport_fire 683 : tankController.startWait.active = pre(tankController.startWait.newActive) 684 : tankController.startWait.outPort[1].available = false 685 : tankController.startWait.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.startWait.inPort[1].checkOneDelayedTransitionPerLoop}) 686 : tankController.startWait.inPort[1].node.resume = tankController.startWait.connectorNode.node.resume 687 : tankController.startWait.outPort[1].node.resume = tankController.startWait.connectorNode.node.resume 688 : tankController.T16.enableFire = tankController.T16.inPort.available 689 : tankController.T16.fire = tankController.T16.enableFire and time >= tankController.T16.t_start + tankController.T16.waitTime 690 : tankController.T16.outPort.checkOneDelayedTransitionPerLoop = true 691 : tankController.T16.inPort.fire = tankController.T16.fire 692 : tankController.T16.outPort.fire = tankController.T16.fire 693 : tankController.T16.outPort.node.resume = tankController.T16.inPort.node.resume 694 : tankController.shutWait.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutWait.inPort[1].fire}) 695 : tankController.shutWait.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutWait.outPort[1].fire}) 696 : tankController.shutWait.newActive = if tankController.shutWait.connectorNode.node.resume then tankController.shutWait.oldActive else tankController.shutWait.inport_fire 697 : tankController.shutWait.active = pre(tankController.shutWait.newActive) 698 : tankController.shutWait.outPort[1].available = false 699 : tankController.shutWait.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.shutWait.inPort[1].checkOneDelayedTransitionPerLoop}) 700 : tankController.shutWait.inPort[1].node.resume = tankController.shutWait.connectorNode.node.resume 701 : tankController.shutWait.outPort[1].node.resume = tankController.shutWait.connectorNode.node.resume 702 : tankController.T17.enableFire = tankController.T17.inPort.available 703 : tankController.T17.fire = tankController.T17.enableFire and time >= tankController.T17.t_start + tankController.T17.waitTime 704 : tankController.T17.outPort.checkOneDelayedTransitionPerLoop = true 705 : tankController.T17.inPort.fire = tankController.T17.fire 706 : tankController.T17.outPort.fire = tankController.T17.fire 707 : tankController.T17.outPort.node.resume = tankController.T17.inPort.node.resume 708 : tankController.shutWait2.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutWait2.inPort[1].fire}) 709 : tankController.shutWait2.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({tankController.shutWait2.outPort[1].fire}) 710 : tankController.shutWait2.newActive = if tankController.shutWait2.connectorNode.node.resume then tankController.shutWait2.oldActive else tankController.shutWait2.inport_fire or tankController.shutWait2.active and not tankController.shutWait2.outport_fire and not tankController.shutWait2.connectorNode.node.suspend 711 : tankController.shutWait2.active = pre(tankController.shutWait2.newActive) 712 : tankController.shutWait2.outPort[1].available = tankController.shutWait2.active and not tankController.shutWait2.connectorNode.node.suspend 713 : tankController.shutWait2.outPort[1].checkOneDelayedTransitionPerLoop = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck({tankController.shutWait2.inPort[1].checkOneDelayedTransitionPerLoop}) 714 : tankController.shutWait2.inPort[1].node.resume = tankController.shutWait2.connectorNode.node.resume 715 : tankController.shutWait2.inPort[1].node.suspend = tankController.shutWait2.connectorNode.node.suspend 716 : tankController.shutWait2.outPort[1].node.resume = tankController.shutWait2.connectorNode.node.resume 717 : tankController.shutWait2.outPort[1].node.suspend = tankController.shutWait2.connectorNode.node.suspend 718 : tankController.T18.enableFire = tankController.T18.inPort.available 719 : tankController.T18.fire = tankController.T18.enableFire and time >= tankController.T18.t_start + tankController.T18.waitTime 720 : tankController.T18.outPort.checkOneDelayedTransitionPerLoop = true 721 : tankController.T18.inPort.fire = tankController.T18.fire 722 : tankController.T18.outPort.fire = tankController.T18.fire 723 : tankController.T18.outPort.node.resume = tankController.T18.inPort.node.resume 724 : tankController.T18.outPort.node.suspend = tankController.T18.inPort.node.suspend 725 : valve1.V_flow = valve1.m_flow / Modelica.Fluid.Utilities.regStep(valve1.m_flow, Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve1.Medium.density(valve1.state_a), Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve1.Medium.density(valve1.state_b), valve1.m_flow_small) 726 : valve1.port_a_T = Modelica.Fluid.Utilities.regStep(valve1.port_a.m_flow, Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve1.Medium.temperature(valve1.state_a), Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve1.Medium.temperature(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve1.Medium.setState_phX(valve1.port_a.p, valve1.port_a.h_outflow, {})), valve1.m_flow_small) 727 : valve1.port_b_T = Modelica.Fluid.Utilities.regStep(valve1.port_b.m_flow, Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve1.Medium.temperature(valve1.state_b), Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve1.Medium.temperature(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve1.Medium.setState_phX(valve1.port_b.p, valve1.port_b.h_outflow, {})), valve1.m_flow_small) 728 : tank1.fluidVolume = 0.0 729 : tank1.medium.T_degC = -273.15 + tank1.medium.T 730 : true = tank1.level 731 : valve2.V_flow = valve2.m_flow / Modelica.Fluid.Utilities.regStep(valve2.m_flow, Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve2.Medium.density(valve2.state_a), Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve2.Medium.density(valve2.state_b), valve2.m_flow_small) 732 : valve2.port_a_T = Modelica.Fluid.Utilities.regStep(valve2.port_a.m_flow, Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve2.Medium.temperature(valve2.state_a), Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve2.Medium.temperature(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve2.Medium.setState_phX(valve2.port_a.p, valve2.port_a.h_outflow, {})), valve2.m_flow_small) 733 : valve2.port_b_T = Modelica.Fluid.Utilities.regStep(valve2.port_b.m_flow, Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve2.Medium.temperature(valve2.state_b), Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve2.Medium.temperature(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve2.Medium.setState_phX(valve2.port_b.p, valve2.port_b.h_outflow, {})), valve2.m_flow_small) 734 : valve3.V_flow = valve3.m_flow / Modelica.Fluid.Utilities.regStep(valve3.m_flow, Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve3.Medium.density(valve3.state_a), Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve3.Medium.density(valve3.state_b), valve3.m_flow_small) 735 : valve3.port_a_T = Modelica.Fluid.Utilities.regStep(valve3.port_a.m_flow, Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve3.Medium.temperature(valve3.state_a), Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve3.Medium.temperature(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve3.Medium.setState_phX(valve3.port_a.p, valve3.port_a.h_outflow, {})), valve3.m_flow_small) 736 : valve3.port_b_T = Modelica.Fluid.Utilities.regStep(valve3.port_b.m_flow, Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve3.Medium.temperature(valve3.state_b), Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve3.Medium.temperature(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks1.valve3.Medium.setState_phX(valve3.port_b.p, valve3.port_b.h_outflow, {})), valve3.m_flow_small) 737 : tank2.fluidVolume = false 738 : tank2.medium.T_degC = -273.15 + tank2.medium.T 739 : true = tank2.level 740 : ambient.medium.T_degC = -273.15 + ambient.medium.T 741 : ambient.medium.p_bar = 1e-05 * ambient.medium.p 742 : reservoir.medium.T_degC = -273.15 + reservoir.medium.T 743 : reservoir.medium.p_bar = 1e-05 * reservoir.medium.p 744 : tankController.setValve1.y = tankController.fillTank1.active and true <= 1.01 * tankController.limit1 745 : tankController.setValve2.y = (tankController.fillTank2.active or tankController.emptyTanks.active or tankController.shutTank1.active) and true <= 1.01 * tankController.limit2 746 : tankController.setValve3.y = tankController.emptyTanks.active or tankController.shutTank2.active 747 : tankController.T2.condition = true > tankController.limit1 748 : true = tank1.level 749 : true = tank2.level 750 : when $whenCondition13 then tankController.T18.t_start := time; end when; 751 : when $whenCondition14 then tankController.shutWait2.oldActive := tankController.shutWait2.active; end when; 752 : when $whenCondition15 then tankController.T17.t_start := time; end when; 753 : when true then tankController.shutWait.oldActive := tankController.shutWait.active; end when; 754 : when $whenCondition16 then tankController.T16.t_start := time; end when; 755 : when true then tankController.startWait.oldActive := tankController.startWait.active; end when; 756 : when $whenCondition17 then tankController.stopStep2.oldActive := tankController.stopStep2.active; end when; 757 : when $whenCondition18 then tankController.tank2Empty.oldActive := tankController.tank2Empty.active; end when; 758 : when $whenCondition19 then tankController.tank1Empty.oldActive := tankController.tank1Empty.active; end when; 759 : when $whenCondition20 then tankController.shutTank2.oldActive := tankController.shutTank2.active; end when; 760 : when 995.586 then tankController.shutStep.oldActive := tankController.shutStep.active; end when; 761 : when {$whenCondition21, $whenCondition22} then tankController.shutStep.finished := tankController.shutStep.outport_fire; end when; 762 : when $whenCondition23 then tankController.shutTank1.oldActive := tankController.shutTank1.active; end when; 763 : when true then tankController.stopStep1.oldActive := tankController.stopStep1.active; end when; 764 : when true then tankController.initialStep.oldActive := tankController.initialStep.active; end when; 765 : when $whenCondition24 then tankController.emptyTanks.oldActive := tankController.emptyTanks.active; end when; 766 : when $whenCondition25 then tankController.T5.t_start := time; end when; 767 : when $whenCondition26 then tankController.wait2.oldActive := tankController.wait2.active; end when; 768 : when $whenCondition27 then tankController.T3.t_start := time; end when; 769 : when $whenCondition28 then tankController.fillTank2.oldActive := tankController.fillTank2.active; end when; 770 : when $whenCondition29 then tankController.wait1.oldActive := tankController.wait1.active; end when; 771 : when $whenCondition30 then tankController.fillTank1.oldActive := tankController.fillTank1.active; end when; 772 : when $whenCondition31 then tankController.startStep.oldActive := tankController.startStep.active; end when; 773 : when true then tankController.makeProduct.oldActive := tankController.makeProduct.active; end when; 774 : when {$whenCondition32, $whenCondition33} then tankController.makeProduct.finished := tankController.makeProduct.outport_fire; end when; 775 : $whenCondition13 = tankController.T18.enableFire 776 : $whenCondition14 = tankController.shutWait2.connectorNode.node.suspend 777 : $whenCondition15 = tankController.T17.enableFire 778 : $whenCondition16 = tankController.T16.enableFire 779 : $whenCondition17 = tankController.stopStep2.connectorNode.node.suspend 780 : $whenCondition18 = tankController.tank2Empty.connectorNode.node.suspend 781 : $whenCondition19 = tankController.tank1Empty.connectorNode.node.suspend 782 : $whenCondition20 = tankController.shutTank2.connectorNode.node.suspend 783 : $whenCondition21 = tankController.shutStep.outport_fire 784 : $whenCondition22 = pre(tankController.shutStep.entry_fire) 785 : $whenCondition23 = tankController.shutTank1.connectorNode.node.suspend 786 : $whenCondition24 = tankController.emptyTanks.connectorNode.node.suspend 787 : $whenCondition25 = tankController.T5.enableFire 788 : $whenCondition26 = tankController.wait2.connectorNode.node.suspend 789 : $whenCondition27 = tankController.T3.enableFire 790 : $whenCondition28 = tankController.fillTank2.connectorNode.node.suspend 791 : $whenCondition29 = tankController.wait1.connectorNode.node.suspend 792 : $whenCondition30 = tankController.fillTank1.connectorNode.node.suspend 793 : $whenCondition31 = tankController.startStep.connectorNode.node.suspend 794 : $whenCondition32 = tankController.makeProduct.outport_fire 795 : $whenCondition33 = pre(tankController.makeProduct.entry_fire) Notification: Performance of preOpt encapsulateWhenConditions (simulation) : time 0.01498/0.6955, allocations: 9.004 MB / 0.5453 GB, free: 64 kB / 414.1 MB Error: pre-optimization module encapsulateWhenConditions (simulation) failed.