Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.1_Modelica.StateGraph.Examples.ControlledTanks.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 3.2.3+maint.om/package.mo", uses=false)
Using package Modelica with version 3.2.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+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.StateGraph.Examples.ControlledTanks,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_Modelica.StateGraph.Examples.ControlledTanks")
translateModel(Modelica.StateGraph.Examples.ControlledTanks,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_Modelica.StateGraph.Examples.ControlledTanks")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.0009971/0.0009972, allocations: 109.4 kB / 16.42 MB, free: 6.496 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.0009134/0.0009135, allocations: 195.6 kB / 17.36 MB, free: 5.75 MB / 14.72 MB
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo): time 1.338/1.338, allocations: 205.1 MB / 223.2 MB, free: 12.23 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 3.262e-05/3.263e-05, allocations: 2.281 kB / 327.2 MB, free: 3.363 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.StateGraph.Examples.ControlledTanks): time 0.005619/0.005662, allocations: 3.79 MB / 330.9 MB, free: 15.55 MB / 286.1 MB
Notification: Performance of NFInst.instExpressions: time 0.004215/0.009895, allocations: 2.44 MB / 333.4 MB, free: 13.1 MB / 286.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0008754/0.01078, allocations: 27.88 kB / 333.4 MB, free: 13.07 MB / 286.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.001624/0.01242, allocations: 0.5561 MB / 334 MB, free: 12.51 MB / 286.1 MB
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/Utilities/Strings.mo:139:3-175:14:writable] Warning: Pure function 'Modelica.Utilities.Strings.isEmpty' contains a call to impure function 'Modelica.Utilities.Strings.Advanced.skipWhiteSpace'.
Notification: Performance of NFTyping.typeBindings: time 0.0013/0.01373, allocations: 429.8 kB / 334.4 MB, free: 12.09 MB / 286.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.0025/0.01624, allocations: 1.03 MB / 335.4 MB, free: 11.06 MB / 286.1 MB
Notification: Performance of NFFlatten.flatten: time 0.002628/0.01888, allocations: 2.04 MB / 337.5 MB, free: 9.016 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.002274/0.02117, allocations: 1.312 MB / 338.8 MB, free: 7.672 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.001461/0.02264, allocations: 0.8491 MB / 339.6 MB, free: 6.82 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0007735/0.02342, allocations: 0.7821 MB / 340.4 MB, free: 6.035 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0002423/0.02367, allocations: 216 kB / 340.6 MB, free: 5.824 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0004528/0.02413, allocations: 315.8 kB / 340.9 MB, free: 5.516 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.001328/0.02547, allocations: 2.183 MB / 343.1 MB, free: 3.309 MB / 286.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0007003/0.02618, allocations: 1.293 MB / 344.4 MB, free: 1.996 MB / 286.1 MB
Notification: Performance of NFVerifyModel.verify: time 0.000357/0.02655, allocations: 239.2 kB / 344.6 MB, free: 1.762 MB / 286.1 MB
Notification: Performance of FrontEnd: time 0.0003226/0.02688, allocations: 147 kB / 344.8 MB, free: 1.617 MB / 286.1 MB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
* Number of equations: 333 (326)
* Number of variables: 313 (306)
Notification: Performance of Bindings: time 0.005752/0.03264, allocations: 6.404 MB / 351.2 MB, free: 11.01 MB / 302.1 MB
Notification: Performance of FunctionAlias: time 0.0009122/0.03356, allocations: 0.9901 MB / 352.2 MB, free: 9.992 MB / 302.1 MB
Notification: Performance of Early Inline: time 0.003808/0.03738, allocations: 4.205 MB / 356.4 MB, free: 5.723 MB / 302.1 MB
Notification: Performance of simplify1: time 0.0003094/0.03771, allocations: 259.6 kB / 356.6 MB, free: 5.469 MB / 302.1 MB
Notification: Performance of Alias: time 0.007207/0.04492, allocations: 6.88 MB / 363.5 MB, free: 13.95 MB / 318.1 MB
Notification: Performance of simplify2: time 0.000276/0.04522, allocations: 179.8 kB / 363.7 MB, free: 13.77 MB / 318.1 MB
Notification: Performance of Events: time 0.001106/0.04634, allocations: 1.009 MB / 364.7 MB, free: 12.73 MB / 318.1 MB
Notification: Performance of Detect States: time 0.00148/0.04783, allocations: 1.737 MB / 366.4 MB, free: 10.95 MB / 318.1 MB
Notification: Performance of Partitioning: time 0.001686/0.04953, allocations: 1.531 MB / 368 MB, free: 9.359 MB / 318.1 MB
Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency shut.on could not be divided by the body size 2 without rest.
Error: Internal error NBAdjacency.Matrix.createPseudo failed for:
[ARRY] (2) start.reset = {stop.on, shut.on} ($RES_BND_377)
Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system:
System Variables (240/250)
****************************
(1) [DISC] (1) final Boolean tankController.makeProduct.T1.localCondition = tankController.makeProduct.T1.localCondition
(2) [ALGB] (1) protected flow Real tankController.s2.outerStatePort.subgraphStatePort.activeSteps
(3) [DISC] (1) Boolean $SEV_29
(4) [DISC] (1) Boolean $SEV_28
(5) [DISC] (1) Boolean $SEV_27
(6) [DISC] (1) Boolean $SEV_26
(7) [DISC] (1) Boolean $SEV_25
(8) [DISC] (1) Boolean $SEV_24
(9) [DISS] (1) protected discrete Real shut.table.combiTimeTable.nextTimeEventScaled (fixed = true, start = 0.0)
(10) [DISC] (1) Boolean $SEV_23
(11) [DISC] (1) Boolean $SEV_22
(12) [DISC] (1) Boolean $SEV_21
(13) [DISC] (1) Boolean $SEV_20
(14) [DISC] (1) Boolean $TEV_9
(15) [DISC] (1) Boolean $TEV_8
(16) [DISC] (1) Boolean $TEV_7
(17) [DISC] (1) Boolean $TEV_6
(18) [DISC] (1) Boolean $TEV_5
(19) [DISC] (1) Boolean $TEV_4
(20) [DISC] (1) Boolean $TEV_3
(21) [DISC] (1) Boolean[1] tankController.makeProduct.fillTank2.outPort.reset
(22) [DISC] (1) Boolean $TEV_2
(23) [DISC] (1) Boolean $TEV_1
(24) [DISC] (1) Boolean $TEV_0
(25) [DISC] (1) Boolean $TEV_39
(26) [DISC] (1) Boolean $TEV_38
(27) [DISC] (1) Boolean tankController.makeProduct.T4.outPort.set
(28) [DISC] (1) Boolean $TEV_37
(29) [DISC] (1) Boolean[1] tankController.makeProduct.wait1.outPort.reset
(30) [DISC] (1) Boolean $TEV_36
(31) [DISC] (1) Boolean $TEV_35
(32) [DISC] (1) Boolean $TEV_34
(33) [DISC] (1) Boolean $TEV_33
(34) [DISC] (1) Boolean[1] tankController.makeProduct.fillTank2.inPort.occupied
(35) [DISS] (1) protected discrete Real shut.table.combiTimeTable.nextTimeEvent (fixed = true, start = 0.0)
(36) [DISC] (1) Boolean $TEV_32
(37) [DISC] (1) Boolean $TEV_31
(38) [ALGB] (1) Real tank1.inflow1.Fi
(39) [DISC] (1) Boolean $TEV_30
(40) [DISC] (1) protected Boolean tankController.s1.outerStatePort.localActive = tankController.s1.outerStatePort.localActive
(41) [DISC] (1) Boolean $SEV_19
(42) [DISC] (1) Boolean[1] tankController.s1.outPort.reset
(43) [DISC] (1) Boolean $SEV_18
(44) [DISC] (1) Boolean tankController.makeProduct.T1.outPort.occupied
(45) [DISC] (1) Boolean $SEV_17
(46) [ALGB] (1) protected Real tankController.makeProduct.T4.t_dummy
(47) [DISC] (1) Boolean $SEV_16
(48) [ALGB] (1) protected flow Real tankController.makeProduct.wait1.outerStatePort.subgraphStatePort.activeSteps
(49) [DISC] (1) Boolean $SEV_15
(50) [DISC] (1) Boolean[1] tankController.makeProduct.wait2.inPort.set
(51) [DISC] (1) Boolean tankController.makeProduct.T2.outPort.occupied
(52) [DER-] (1) Real $DER.tank2.level
(53) [DISC] (2) Boolean[2] $SEV_14[$i1]
(54) [DISC] (1) Boolean $SEV_12
(55) [DISC] (1) Boolean $SEV_11
(56) [DISC] (1) protected Boolean tankController.makeProduct.emptyTank2.newActive
(57) [DISC] (2) Boolean[2] $SEV_31[$i1]
(58) [DISC] (1) Boolean $SEV_10
(59) [DISS] (1) protected Boolean tankController.makeProduct.wait1.oldActive
(60) [DISC] (1) Boolean tankController.makeProduct.T1.inPort.available
(61) [DISS] (1) protected discrete Real stop.table.combiTimeTable.nextTimeEventScaled (fixed = true, start = 0.0)
(62) [DISC] (1) Boolean tankController.T2.outPort.set
(63) [DISC] (1) Boolean tankController.T6.outPort.occupied
(64) [DISC] (1) Boolean $TEV_29
(65) [DISC] (1) Boolean $TEV_28
(66) [DISC] (1) Boolean $TEV_27
(67) [DISC] (1) Boolean $TEV_26
(68) [DISC] (1) Boolean $TEV_25
(69) [DISC] (1) Boolean tankController.T3.outPort.occupied
(70) [DISC] (1) protected Boolean tankController.s2.newActive
(71) [DISC] (1) Boolean $TEV_24
(72) [DISC] (1) Boolean tankController.T4.outPort.set
(73) [DISC] (1) Boolean start.on
(74) [DISC] (1) Boolean $TEV_23
(75) [DISC] (1) Boolean $TEV_22
(76) [DISC] (1) Boolean $TEV_21
(77) [DISS] (1) protected Boolean tankController.makeProduct.wait2.oldActive
(78) [DISC] (1) Boolean $TEV_20
(79) [ALGB] (1) protected flow Real tankController.makeProduct.emptyTank2.outerStatePort.subgraphStatePort.activeSteps
(80) [DISC] (1) Boolean stop.on
(81) [DISS] (1) protected Boolean tankController.makeProduct.emptyTank2.oldActive
(82) [DISC] (1) protected Boolean tankController.makeProduct.wait1.newActive
(83) [DISC] (1) Boolean[1] tankController.makeProduct.emptyTank2.outPort.reset
(84) [DISC] (1) Boolean tankController.T1.inPort.reset
(85) [DISC] (2) Boolean[2] tankController.s1.inPort.occupied
(86) [DISC] (1) Boolean tankController.makeProduct.T4.outPort.occupied
(87) [DISC] (1) protected Boolean tankController.s1.newActive
(88) [DISC] (1) protected Boolean tankController.makeProduct.fillTank2.newActive
(89) [DISC] (1) Boolean $FUN_9
(90) [DISC] (1) Boolean $FUN_8
(91) [ALGB] (1) protected Real[1] start.table.combiTimeTable.y
(92) [DISC] (1) Boolean $FUN_7
(93) [DISC] (1) Boolean tankController.makeProduct.T3.inPort.available
(94) [DISC] (1) Boolean $FUN_6
(95) [DISC] (1) Boolean $FUN_5
(96) [DISC] (1) Boolean[1] tankController.makeProduct.fillTank1.inPort.occupied
(97) [DISC] (1) Boolean[1] tankController.makeProduct.emptyTank2.inPort.occupied
(98) [DISC] (1) Boolean valve2.valveControl
(99) [DISC] (1) Boolean valve3.valveControl
(100) [DISC] (1) Boolean $FUN_4
(101) [DISC] (1) Boolean $FUN_3
(102) [DISC] (1) Boolean $TEV_19
(103) [DISS] (1) protected Boolean tankController.s2.oldActive
(104) [DISC] (1) Boolean tankController.makeProduct.T4.inPort.available
(105) [ALGB] (1) Real tankController.makeProduct.T4.t
(106) [DISC] (1) Boolean $FUN_2
(107) [DISC] (1) Boolean $TEV_18
(108) [DISC] (1) Boolean $FUN_1
(109) [DISC] (1) Boolean $TEV_17
(110) [DISC] (2) Boolean[2] tankController.s2.outPort.reset
(111) [DISC] (1) Boolean $TEV_16
(112) [DISC] (1) Boolean $TEV_15
(113) [DISC] (1) protected Boolean tankController.makeProduct.wait2.newActive
(114) [DISC] (1) Boolean[1] tankController.makeProduct.wait2.outPort.available
(115) [DISC] (1) Boolean $TEV_14
(116) [DISC] (1) Boolean[1] tankController.emptyTanks.inPort.set
(117) [DISC] (1) Boolean $TEV_13
(118) [DISC] (1) Boolean[1] tankController.makeProduct.wait1.outPort.available
(119) [DISC] (2) Boolean[2] $SEV_13[$i1]
(120) [DISC] (1) Boolean $TEV_12
(121) [DISC] (1) final Boolean tankController.T6.localCondition = tankController.T6.localCondition
(122) [DISC] (1) Boolean $TEV_11
(123) [DISC] (1) Boolean $TEV_10
(124) [DISC] (1) protected Boolean tankController.makeProduct.fillTank1.newActive
(125) [DISC] (1) Boolean[1] tankController.makeProduct.wait2.outPort.reset
(126) [DISS] (1) protected Boolean tankController.s1.oldActive
(127) [DISC] (1) Boolean[1] tankController.makeProduct.fillTank1.outPort.reset
(128) [DISC] (1) Boolean tankController.T5.inPort.available
(129) [DISS] (1) protected Boolean tankController.makeProduct.fillTank2.oldActive
(130) [DISC] (1) Boolean tankController.T6.inPort.available
(131) [DISS] (1) protected discrete Real start.table.combiTimeTable.nextTimeEventScaled (fixed = true, start = 0.0)
(132) [DISC] (2) Boolean[2] stop.reset = {start.on, shut.on}
(133) [DISC] (1) Boolean $FUN_18
(134) [DISC] (1) Boolean[1] tankController.makeProduct.wait1.inPort.set
(135) [DISC] (1) Boolean $FUN_17
(136) [DISC] (1) Boolean $FUN_16
(137) [DISC] (1) Boolean tankController.makeProduct.T2.enableFire
(138) [DISC] (1) Boolean $FUN_15
(139) [DISC] (1) Boolean $FUN_14
(140) [DISC] (1) Boolean tankController.T3.outPort.set
(141) [ALGB] (1) protected flow Real tankController.makeProduct.fillTank1.outerStatePort.subgraphStatePort.activeSteps
(142) [DISC] (1) Boolean $FUN_13
(143) [DISC] (1) Boolean $FUN_12
(144) [DISC] (1) Boolean[1] tankController.emptyTanks.outPort.available
(145) [DISC] (1) Boolean $FUN_11
(146) [DISS] (1) protected Boolean tankController.makeProduct.fillTank1.oldActive
(147) [DISC] (1) Boolean[1] tankController.makeProduct.emptyTank2.inPort.set
(148) [DISC] (1) Boolean $FUN_10
(149) [ALGB] (1) protected flow Real tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.activeSteps
(150) [ALGB] (1) protected flow Real tankController.emptyTanks.outerStatePort.subgraphStatePort.activeSteps
(151) [DISC] (1) protected Boolean tankController.makeProduct.wait1.outerStatePort.localActive = tankController.makeProduct.wait1.outerStatePort.localActive
(152) [DISC] (1) Boolean $SEV_9
(153) [DISC] (1) Boolean $SEV_8
(154) [DISC] (1) Boolean $SEV_7
(155) [DISC] (1) Boolean[1] tankController.s2.inPort.set
(156) [DISC] (1) Boolean $SEV_5
(157) [DISC] (1) Boolean $SEV_4
(158) [DISC] (1) Boolean tankController.makeProduct.T2.outPort.set
(159) [DISC] (1) Boolean $SEV_2
(160) [ALGB] (1) flow Real stateGraphRoot.subgraphStatePort.activeSteps
(161) [DISC] (1) Boolean $SEV_1
(162) [ALGB] (1) protected Real start.table.realToBoolean.u
(163) [DISC] (1) Boolean[1] tankController.makeProduct.resume.set
(164) [DISC] (2) Boolean[2] shut.reset = {start.on, stop.on}
(165) [DISC] (1) protected Boolean tankController.emptyTanks.newActive
(166) [DISC] (1) protected Boolean start.table.realToBoolean.y
(167) [DISC] (1) Boolean tankController.T4.inPort.available
(168) [DISC] (1) Boolean[1] tankController.makeProduct.fillTank1.inPort.set
(169) [DISC] (1) Boolean[1] tankController.makeProduct.wait2.inPort.occupied
(170) [DISC] (1) Boolean tankController.T3.inPort.available
(171) [DISC] (1) Boolean shut.on
(172) [DISC] (1) Boolean tankController.makeProduct.stateGraphRoot.suspend = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.suspend.reset) or false
(173) [DISC] (1) protected Boolean tankController.s2.outerStatePort.localActive = tankController.s2.outerStatePort.localActive
(174) [DISC] (1) Boolean[1] tankController.makeProduct.fillTank2.outPort.available
(175) [DISC] (1) Boolean tankController.makeProduct.outPort.available
(176) [ALGB] (1) flow Real tankController.makeProduct.outerState.subgraphStatePort.activeSteps
(177) [DISC] (1) Boolean tankController.makeProduct.T2.inPort.available
(178) [ALGB] (1) protected flow Real tankController.makeProduct.fillTank2.outerStatePort.subgraphStatePort.activeSteps
(179) [DISS] (1) protected Boolean tankController.emptyTanks.oldActive
(180) [DISC] (1) Boolean tankController.T6.outPort.set
(181) [DISC] (1) Boolean[1] tankController.makeProduct.resume.occupied
(182) [DISC] (1) Boolean tankController.T1.outPort.occupied
(183) [DISC] (1) protected Boolean tankController.makeProduct.fillTank2.outerStatePort.localActive = tankController.makeProduct.fillTank2.outerStatePort.localActive
(184) [DISC] (1) protected Boolean tankController.makeProduct.fillTank1.outerStatePort.localActive = tankController.makeProduct.fillTank1.outerStatePort.localActive
(185) [DISC] (1) protected Boolean tankController.makeProduct.newActive
(186) [DISC] (1) Boolean tankController.T2.outPort.occupied
(187) [DISC] (1) Boolean[1] tankController.emptyTanks.outPort.reset
(188) [DISC] (1) Boolean tankController.T5.outPort.occupied
(189) [DISC] (1) Boolean tankController.makeProduct.stateGraphRoot.resume = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.resume.set) or false
(190) [ALGB] (1) protected Real stop.table.realToBoolean.u
(191) [DISC] (1) Boolean tankController.T4.outPort.occupied
(192) [DISC] (2) Boolean[2] tankController.s2.outPort.available
(193) [DISC] (1) Boolean[1] tankController.s1.outPort.available
(194) [DISC] (1) protected Boolean stop.table.realToBoolean.y
(195) [ALGB] (1) protected Real[1] stop.table.combiTimeTable.y
(196) [DISC] (1) Boolean tankController.makeProduct.T1.outPort.set
(197) [ALGB] (1) flow Real tankController.makeProduct.stateGraphRoot.subgraphStatePort.activeSteps
(198) [DISC] (1) protected Integer tankController.makeProduct.activeSteps
(199) [ALGB] (1) Real tank2.inflow1.Fi
(200) [ALGB] (1) protected flow Real tankController.s1.outerStatePort.subgraphStatePort.activeSteps
(201) [DISC] (1) Boolean tankController.makeProduct.T3.outPort.occupied
(202) [DISC] (1) Boolean tankController.makeProduct.T3.outPort.set
(203) [DISC] (1) Boolean[1] tankController.emptyTanks.inPort.occupied
(204) [DISC] (1) Boolean[1] tankController.makeProduct.fillTank1.outPort.available
(205) [DISC] (2) Boolean[2] tankController.s1.inPort.set
(206) [DISC] (1) final Boolean tankController.makeProduct.T3.localCondition = tankController.makeProduct.T3.localCondition
(207) [DISC] (1) Boolean tankController.makeProduct.T4.enableFire
(208) [DISC] (1) Boolean tankController.T1.inPort.available
(209) [DISC] (1) Boolean[1] tankController.makeProduct.wait1.inPort.occupied
(210) [ALGB] (1) Real tankController.makeProduct.T2.t
(211) [DISC] (1) protected Boolean tankController.makeProduct.emptyTank2.outerStatePort.localActive = tankController.makeProduct.emptyTank2.outerStatePort.localActive
(212) [ALGB] (1) protected Real tankController.makeProduct.T2.t_dummy
(213) [DISC] (1) Boolean $SEV_38
(214) [DISC] (1) Boolean $SEV_37
(215) [DISC] (1) Boolean $SEV_36
(216) [DISC] (1) final Boolean tankController.T2.localCondition = tankController.T2.localCondition
(217) [DISC] (1) Boolean $SEV_35
(218) [DISC] (1) Boolean[1] tankController.makeProduct.emptyTank2.outPort.available
(219) [DISC] (1) Boolean $SEV_34
(220) [DISC] (1) Boolean[1] tankController.makeProduct.fillTank2.inPort.set
(221) [DISC] (1) Boolean $SEV_33
(222) [DISC] (1) Boolean $SEV_32
(223) [DISC] (1) Boolean $SEV_30
(224) [ALGB] (1) Real valve3.inflow1.Fi
(225) [DISS] (1) protected discrete Real start.table.combiTimeTable.nextTimeEvent (fixed = true, start = 0.0)
(226) [DISC] (1) Boolean[1] tankController.makeProduct.suspend.reset
(227) [ALGB] (1) protected Real[1] shut.table.combiTimeTable.y
(228) [ALGB] (1) protected Real shut.table.realToBoolean.u
(229) [DISC] (1) Boolean tankController.makeProduct.outerState.active = tankController.makeProduct.outerState.active
(230) [DISC] (1) protected Boolean tankController.emptyTanks.outerStatePort.localActive = tankController.emptyTanks.outerStatePort.localActive
(231) [DISC] (1) protected Boolean shut.table.realToBoolean.y
(232) [DISC] (1) protected Boolean tankController.makeProduct.wait2.outerStatePort.localActive = tankController.makeProduct.wait2.outerStatePort.localActive
(233) [DISC] (1) Boolean tankController.T5.outPort.set
(234) [DER-] (1) Real $DER.tank1.level
(235) [DISC] (2) Boolean[2] start.reset = {stop.on, shut.on}
(236) [DISC] (1) Boolean[1] tankController.s2.inPort.occupied
(237) [DISS] (1) protected discrete Real stop.table.combiTimeTable.nextTimeEvent (fixed = true, start = 0.0)
(238) [DISC] (1) Boolean[1] tankController.makeProduct.suspend.available
(239) [DISC] (1) Integer stateGraphRoot.activeSteps
(240) [DISC] (1) Boolean $TEV_40
System Equations (260/270)
****************************
(1) [SCAL] (1) tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.activeSteps = if tankController.makeProduct.wait2.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_171)
(2) [SCAL] (1) tankController.makeProduct.T2.enableFire = $SEV_23 ($RES_SIM_174)
(3) [SCAL] (1) $SEV_25 = ($FUN_9 or tankController.makeProduct.wait1.outerStatePort.localActive and not $FUN_10) and not tankController.makeProduct.stateGraphRoot.suspend ($RES_EVT_470)
(4) [SCAL] (1) tankController.makeProduct.T2.outPort.set = $SEV_24 ($RES_SIM_175)
(5) [SCAL] (1) $SEV_26 = ($FUN_7 or tankController.makeProduct.emptyTank2.outerStatePort.localActive and not $FUN_8) and not tankController.makeProduct.stateGraphRoot.suspend ($RES_EVT_471)
(6) [SCAL] (1) tankController.makeProduct.T2.t = if tankController.makeProduct.T2.enableFire then tankController.makeProduct.T2.t_dummy else 0.0 ($RES_SIM_176)
(7) [SCAL] (1) $SEV_27 = (tankController.makeProduct.T3.localCondition and tankController.makeProduct.T3.inPort.available) and not tankController.makeProduct.T3.outPort.occupied ($RES_EVT_472)
(8) [SCAL] (1) $SEV_28 = ($FUN_5 or tankController.makeProduct.fillTank2.outerStatePort.localActive and not $FUN_6) and not tankController.makeProduct.stateGraphRoot.suspend ($RES_EVT_473)
(9) [WHEN] (1)when tankController.makeProduct.T2.enableFire then
(9) [----] time - tankController.makeProduct.T2.t_dummy := time
(9) [----] end when;
(10) [SCAL] (1) $SEV_29 = (tankController.makeProduct.T1.localCondition and tankController.makeProduct.T1.inPort.available) and not tankController.makeProduct.T1.outPort.occupied ($RES_EVT_474)
(11) [SCAL] (1) tankController.makeProduct.wait1.outPort[1].reset = false ($RES_SIM_179)
(12) [SCAL] (1) $SEV_30 = ($FUN_3 or tankController.makeProduct.fillTank1.outerStatePort.localActive and not $FUN_4) and not tankController.makeProduct.stateGraphRoot.suspend ($RES_EVT_475)
(13) [FOR-] (2) ($RES_EVT_476)
(13) [----] for $i1 in 1:2 loop
(13) [----] [SCAL] (1) $SEV_31[$i1] = tankController.s1.inPort[$i1 - 1].occupied or tankController.s1.inPort[$i1 - 1].set ($RES_EVT_477)
(13) [----] end for;
(14) [SCAL] (1) $SEV_32 = $FUN_1 or tankController.s1.outerStatePort.localActive and not $FUN_2 ($RES_EVT_478)
(15) [SCAL] (1) $SEV_33 = tankController.makeProduct.emptyTank2.outerStatePort.localActive or tankController.emptyTanks.outerStatePort.localActive ($RES_EVT_479)
(16) [SCAL] (1) shut.table.combiTimeTable.y[1] = shut.table.realToBoolean.u ($RES_SIM_263)
(17) [SCAL] (1) stop.table.combiTimeTable.y[1] = stop.table.realToBoolean.u ($RES_SIM_265)
(18) [SCAL] (1) start.table.combiTimeTable.y[1] = start.table.realToBoolean.u ($RES_SIM_267)
(19) [SCAL] (1) tankController.T6.outPort.set = tankController.s1.inPort[2].set ($RES_SIM_268)
(20) [SCAL] (1) tankController.T6.outPort.occupied = tankController.s1.inPort[2].occupied ($RES_SIM_269)
(21) [SCAL] (1) tankController.makeProduct.wait1.inPort[1].set = false ($RES_SIM_180)
(22) [SCAL] (1) tankController.makeProduct.wait1.outPort[1].available = tankController.makeProduct.wait1.outerStatePort.localActive ($RES_SIM_181)
(23) [SCAL] (1) tankController.makeProduct.wait1.inPort[1].occupied = tankController.makeProduct.wait1.outerStatePort.localActive ($RES_SIM_182)
(24) [WHEN] (1)when tankController.makeProduct.stateGraphRoot.suspend then
(24) [----] tankController.makeProduct.wait1.oldActive := tankController.makeProduct.wait1.outerStatePort.localActive
(24) [----] end when;
(25) [SCAL] (1) tankController.makeProduct.wait1.newActive = if tankController.makeProduct.stateGraphRoot.resume then tankController.makeProduct.wait1.oldActive else $SEV_25 ($RES_SIM_184)
(26) [SCAL] (1) $SEV_34 = tankController.makeProduct.fillTank2.outerStatePort.localActive or tankController.emptyTanks.outerStatePort.localActive ($RES_EVT_480)
(27) [SCAL] (1) tankController.makeProduct.wait1.outerStatePort.localActive = $TEV_23 ($RES_SIM_185)
(28) [SCAL] (1) $SEV_35 = tank2.level + tank1.level < 0.001 ($RES_EVT_481)
(29) [SCAL] (1) $SEV_36 = tank2.level < 0.001 ($RES_EVT_482)
(30) [SCAL] (1) tankController.makeProduct.wait1.outerStatePort.subgraphStatePort.activeSteps = if tankController.makeProduct.wait1.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_187)
(31) [SCAL] (1) $SEV_37 = tank1.level < 0.001 ($RES_EVT_483)
(32) [SCAL] (1) tankController.makeProduct.emptyTank2.outPort[1].reset = false ($RES_SIM_188)
(33) [SCAL] (1) $SEV_38 = tank1.level > tankController.makeProduct.limit ($RES_EVT_484)
(34) [SCAL] (1) tankController.makeProduct.emptyTank2.inPort[1].set = false ($RES_SIM_189)
(35) [SCAL] (1) tankController.T2.outPort.set = tankController.s1.inPort[1].set ($RES_SIM_270)
(36) [SCAL] (1) tankController.T2.outPort.occupied = tankController.s1.inPort[1].occupied ($RES_SIM_271)
(37) [SCAL] (1) tankController.s2.outPort[2].reset = tankController.T4.outPort.set ($RES_SIM_272)
(38) [SCAL] (1) tankController.s2.outPort[2].available = tankController.T4.inPort.available ($RES_SIM_273)
(39) [SCAL] (1) tankController.s2.outPort[1].reset = tankController.T5.outPort.set ($RES_SIM_274)
(40) [SCAL] (1) tankController.s2.outPort[1].available = tankController.T5.inPort.available ($RES_SIM_275)
(41) [SCAL] (1) tankController.T4.outPort.set = tankController.makeProduct.resume[1].set ($RES_SIM_277)
(42) [SCAL] (1) tankController.T4.outPort.occupied = tankController.makeProduct.resume[1].occupied ($RES_SIM_278)
(43) [SCAL] (1) tankController.T3.outPort.set = tankController.s2.inPort[1].set ($RES_SIM_279)
(44) [SCAL] (1) tankController.makeProduct.emptyTank2.outPort[1].available = tankController.makeProduct.emptyTank2.outerStatePort.localActive ($RES_SIM_190)
(45) [SCAL] (1) tankController.makeProduct.emptyTank2.inPort[1].occupied = tankController.makeProduct.emptyTank2.outerStatePort.localActive ($RES_SIM_191)
(46) [WHEN] (1)when tankController.makeProduct.stateGraphRoot.suspend then
(46) [----] tankController.makeProduct.emptyTank2.oldActive := tankController.makeProduct.emptyTank2.outerStatePort.localActive
(46) [----] end when;
(47) [SCAL] (1) tankController.makeProduct.emptyTank2.newActive = if tankController.makeProduct.stateGraphRoot.resume then tankController.makeProduct.emptyTank2.oldActive else $SEV_26 ($RES_SIM_193)
(48) [SCAL] (1) tankController.makeProduct.emptyTank2.outerStatePort.localActive = $TEV_26 ($RES_SIM_194)
(49) [SCAL] (1) tankController.makeProduct.emptyTank2.outerStatePort.subgraphStatePort.activeSteps = if tankController.makeProduct.emptyTank2.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_196)
(50) [SCAL] (1) tankController.makeProduct.T3.outPort.set = $SEV_27 ($RES_SIM_199)
(51) [SCAL] (1) tankController.T3.outPort.occupied = tankController.s2.inPort[1].occupied ($RES_SIM_280)
(52) [SCAL] (1) tankController.makeProduct.suspend[1].reset = tankController.T3.outPort.set ($RES_SIM_281)
(53) [SCAL] (1) tankController.makeProduct.suspend[1].available = tankController.T3.inPort.available ($RES_SIM_282)
(54) [SCAL] (1) tankController.emptyTanks.outPort[1].reset = tankController.T6.outPort.set ($RES_SIM_286)
(55) [SCAL] (1) tankController.emptyTanks.outPort[1].available = tankController.T6.inPort.available ($RES_SIM_287)
(56) [SCAL] (1) tankController.T5.outPort.set = tankController.emptyTanks.inPort[1].set ($RES_SIM_288)
(57) [SCAL] (1) tankController.T5.outPort.occupied = tankController.emptyTanks.inPort[1].occupied ($RES_SIM_289)
(58) [SCAL] (1) tankController.s1.outPort[1].reset = tankController.T1.inPort.reset ($RES_SIM_294)
(59) [SCAL] (1) tankController.s1.outPort[1].available = tankController.T1.inPort.available ($RES_SIM_295)
(60) [SCAL] (1) tankController.makeProduct.T4.outPort.set = tankController.makeProduct.emptyTank2.inPort[1].set ($RES_SIM_296)
(61) [SCAL] (1) tankController.makeProduct.T4.outPort.occupied = tankController.makeProduct.emptyTank2.inPort[1].occupied ($RES_SIM_297)
(62) [SCAL] (1) tankController.makeProduct.T3.outPort.set = tankController.makeProduct.wait2.inPort[1].set ($RES_SIM_298)
(63) [SCAL] (1) tankController.makeProduct.T3.outPort.occupied = tankController.makeProduct.wait2.inPort[1].occupied ($RES_SIM_299)
(64) [ALGO] (1) ($RES_SIM_43)
(64) [----] shut.on := shut.table.realToBoolean.y;
(64) [----] when $PRE.shut.reset then
(64) [----] shut.on := false;
(64) [----] end when;
(65) [ALGO] (1) ($RES_SIM_44)
(65) [----] stop.on := stop.table.realToBoolean.y;
(65) [----] when $PRE.stop.reset then
(65) [----] stop.on := false;
(65) [----] end when;
(66) [ALGO] (1) ($RES_SIM_45)
(66) [----] start.on := start.table.realToBoolean.y;
(66) [----] when $PRE.start.reset then
(66) [----] start.on := false;
(66) [----] end when;
(67) [SCAL] (1) stateGraphRoot.activeSteps = -integer(stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_49)
(68) [-IF-] (1)if tankController.makeProduct.fillTank1.outerStatePort.localActive then
(68) [----] [SCAL] (1) tank1.inflow1.Fi = source.maxflow ($RES_SIM_55)
(68) [----] else
(68) [----] [SCAL] (1) tank1.inflow1.Fi = 0.0 ($RES_SIM_56)
(68) [----] end if;
(69) [SCAL] (1) tankController.emptyTanks.outerStatePort.localActive = $TEV_6 ($RES_SIM_100)
(70) [SCAL] (1) tankController.emptyTanks.outerStatePort.subgraphStatePort.activeSteps = if tankController.emptyTanks.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_102)
(71) [SCAL] (1) tankController.T5.outPort.set = $SEV_11 ($RES_SIM_105)
(72) [SCAL] (1) $TEV_0 = $PRE.shut.reset ($RES_EVT_402)
(73) [SCAL] (1) $TEV_1 = $PRE.stop.reset ($RES_EVT_403)
(74) [SCAL] (1) $TEV_2 = $PRE.start.reset ($RES_EVT_404)
(75) [SCAL] (1) $TEV_3 = $PRE.tankController.T6.outPort.set ($RES_EVT_405)
(76) [SCAL] (1) $TEV_4 = $PRE.tankController.emptyTanks.oldActive ($RES_EVT_406)
(77) [SCAL] (1) $TEV_5 = $PRE.tankController.emptyTanks.outerStatePort.localActive ($RES_EVT_407)
(78) [-IF-] (1)if valve3.valveControl then
(78) [----] [SCAL] (1) valve3.inflow1.Fi = sqrt(max(0.0, tank2.hmax * 19.6133 * tank2.level)) * tank2.a ($RES_SIM_61)
(78) [----] else
(78) [----] [SCAL] (1) valve3.inflow1.Fi = 0.0 ($RES_SIM_62)
(78) [----] end if;
(79) [SCAL] (1) $TEV_6 = $PRE.tankController.emptyTanks.newActive ($RES_EVT_408)
(80) [SCAL] (1) $TEV_7 = $PRE.tankController.T5.outPort.set ($RES_EVT_409)
(81) [SCAL] (1) $DER.tank2.level = (tank2.inflow1.Fi - valve3.inflow1.Fi) / (tank2.A * tank2.hmax) ($RES_SIM_63)
(82) [-IF-] (1)if valve2.valveControl then
(82) [----] [SCAL] (1) tank2.inflow1.Fi = sqrt(max(0.0, tank1.hmax * 19.6133 * tank1.level)) * tank1.a ($RES_SIM_66)
(82) [----] else
(82) [----] [SCAL] (1) tank2.inflow1.Fi = 0.0 ($RES_SIM_67)
(82) [----] end if;
(83) [SCAL] (1) $DER.tank1.level = (tank1.inflow1.Fi - tank2.inflow1.Fi) / (tank1.A * tank1.hmax) ($RES_SIM_68)
(84) [SCAL] (1) tankController.T4.outPort.set = $SEV_12 ($RES_SIM_112)
(85) [SCAL] (1) $TEV_8 = $PRE.tankController.T4.outPort.set ($RES_EVT_410)
(86) [SCAL] (1) $TEV_9 = $PRE.tankController.s2.oldActive ($RES_EVT_411)
(87) [SCAL] (1) $TEV_10 = $PRE.tankController.s2.outerStatePort.localActive ($RES_EVT_412)
(88) [FOR-] (2) ($RES_SIM_117)
(88) [----] for $i1 in 1:2 loop
(88) [----] [SCAL] (1) tankController.s2.outPort[$i1].reset = false ($RES_SIM_118)
(88) [----] end for;
(89) [SCAL] (1) $TEV_11 = $PRE.tankController.s2.newActive ($RES_EVT_413)
(90) [SCAL] (1) $TEV_12 = $PRE.tankController.T3.outPort.set ($RES_EVT_414)
(91) [SCAL] (1) tankController.s2.inPort[1].set = false ($RES_SIM_119)
(92) [SCAL] (1) $TEV_13 = $PRE.tankController.T2.outPort.set ($RES_EVT_415)
(93) [SCAL] (1) $TEV_14 = $PRE.tankController.T1.inPort.reset ($RES_EVT_416)
(94) [SCAL] (1) $TEV_15 = $PRE.tankController.makeProduct.newActive ($RES_EVT_417)
(95) [SCAL] (1) shut.table.realToBoolean.y = $SEV_1 ($RES_SIM_70)
(96) [SCAL] (1) $TEV_16 = $PRE.tankController.makeProduct.T4.enableFire ($RES_EVT_418)
(97) [SCAL] (1) shut.table.combiTimeTable.y[1] = shut.table.combiTimeTable.p_offset[1] + Modelica.Blocks.Tables.Internal.getTimeTableValueNoDer(shut.table.combiTimeTable.tableID, 1, time, shut.table.combiTimeTable.nextTimeEventScaled, $TEV_38) ($RES_SIM_71)
(98) [SCAL] (1) $TEV_17 = $PRE.tankController.makeProduct.wait2.oldActive ($RES_EVT_419)
(99) [WHEN] (1)when {$SEV_2, initial()} then
(99) [----] shut.table.combiTimeTable.nextTimeEventScaled := Modelica.Blocks.Tables.Internal.getNextTimeEvent(shut.table.combiTimeTable.tableID, time)
(99) [----] end when;
(100) [WHEN] (1)when {$SEV_2, initial()} then
(100) [----] shut.table.combiTimeTable.nextTimeEvent := if shut.table.combiTimeTable.nextTimeEventScaled < 1e60 then shut.table.combiTimeTable.nextTimeEventScaled else 1e60
(100) [----] end when;
(101) [SCAL] (1) stop.table.realToBoolean.y = $SEV_4 ($RES_SIM_76)
(102) [SCAL] (1) tankController.makeProduct.fillTank2.outPort[1].reset = false ($RES_SIM_204)
(103) [SCAL] (1) stop.table.combiTimeTable.y[1] = stop.table.combiTimeTable.p_offset[1] + Modelica.Blocks.Tables.Internal.getTimeTableValueNoDer(stop.table.combiTimeTable.tableID, 1, time, stop.table.combiTimeTable.nextTimeEventScaled, $TEV_39) ($RES_SIM_77)
(104) [SCAL] (1) tankController.makeProduct.fillTank2.inPort[1].set = false ($RES_SIM_205)
(105) [WHEN] (1)when {$SEV_5, initial()} then
(105) [----] stop.table.combiTimeTable.nextTimeEvent := if stop.table.combiTimeTable.nextTimeEventScaled < 1e60 then stop.table.combiTimeTable.nextTimeEventScaled else 1e60
(105) [----] end when;
(106) [SCAL] (1) tankController.makeProduct.fillTank2.outPort[1].available = tankController.makeProduct.fillTank2.outerStatePort.localActive ($RES_SIM_206)
(107) [WHEN] (1)when {$SEV_5, initial()} then
(107) [----] stop.table.combiTimeTable.nextTimeEventScaled := Modelica.Blocks.Tables.Internal.getNextTimeEvent(stop.table.combiTimeTable.tableID, time)
(107) [----] end when;
(108) [SCAL] (1) tankController.makeProduct.fillTank2.inPort[1].occupied = tankController.makeProduct.fillTank2.outerStatePort.localActive ($RES_SIM_207)
(109) [WHEN] (1)when tankController.makeProduct.stateGraphRoot.suspend then
(109) [----] tankController.makeProduct.fillTank2.oldActive := tankController.makeProduct.fillTank2.outerStatePort.localActive
(109) [----] end when;
(110) [SCAL] (1) tankController.makeProduct.fillTank2.newActive = if tankController.makeProduct.stateGraphRoot.resume then tankController.makeProduct.fillTank2.oldActive else $SEV_28 ($RES_SIM_209)
(111) [SCAL] (1) $FUN_1 = Modelica.StateGraph.Temporary.anyTrue(tankController.s1.inPort.set) ($RES_$AUX_399)
(112) [SCAL] (1) $FUN_2 = Modelica.StateGraph.Temporary.anyTrue(tankController.s1.outPort.reset) ($RES_$AUX_398)
(113) [SCAL] (1) $FUN_3 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.fillTank1.inPort.set) ($RES_$AUX_397)
(114) [SCAL] (1) $FUN_4 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.fillTank1.outPort.reset) ($RES_$AUX_396)
(115) [SCAL] (1) $FUN_5 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.fillTank2.inPort.set) ($RES_$AUX_395)
(116) [SCAL] (1) $FUN_6 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.fillTank2.outPort.reset) ($RES_$AUX_394)
(117) [SCAL] (1) $FUN_7 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.emptyTank2.inPort.set) ($RES_$AUX_393)
(118) [SCAL] (1) $FUN_8 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.emptyTank2.outPort.reset) ($RES_$AUX_392)
(119) [SCAL] (1) $FUN_9 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.wait1.inPort.set) ($RES_$AUX_391)
(120) [SCAL] (1) $FUN_10 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.wait1.outPort.reset) ($RES_$AUX_390)
(121) [FOR-] (2) ($RES_SIM_120)
(121) [----] for $i1 in 1:2 loop
(121) [----] [SCAL] (1) tankController.s2.outPort[$i1].available = if $SEV_13[$i1] then tankController.s2.outerStatePort.localActive else $SEV_14[$i1] ($RES_SIM_121)
(121) [----] end for;
(122) [SCAL] (1) tankController.s2.inPort[1].occupied = tankController.s2.outerStatePort.localActive ($RES_SIM_122)
(123) [WHEN] (1)when false then
(123) [----] tankController.s2.oldActive := tankController.s2.outerStatePort.localActive
(123) [----] end when;
(124) [SCAL] (1) $TEV_18 = $PRE.tankController.makeProduct.wait2.outerStatePort.localActive ($RES_EVT_420)
(125) [SCAL] (1) tankController.s2.newActive = $SEV_15 ($RES_SIM_124)
(126) [SCAL] (1) $TEV_19 = $PRE.tankController.makeProduct.wait2.newActive ($RES_EVT_421)
(127) [SCAL] (1) tankController.s2.outerStatePort.localActive = $TEV_11 ($RES_SIM_125)
(128) [SCAL] (1) $TEV_20 = $PRE.tankController.makeProduct.T2.enableFire ($RES_EVT_422)
(129) [SCAL] (1) $TEV_21 = $PRE.tankController.makeProduct.wait1.oldActive ($RES_EVT_423)
(130) [SCAL] (1) tankController.s2.outerStatePort.subgraphStatePort.activeSteps = if tankController.s2.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_127)
(131) [SCAL] (1) $TEV_22 = $PRE.tankController.makeProduct.wait1.outerStatePort.localActive ($RES_EVT_424)
(132) [SCAL] (1) $TEV_23 = $PRE.tankController.makeProduct.wait1.newActive ($RES_EVT_425)
(133) [SCAL] (1) $TEV_24 = $PRE.tankController.makeProduct.emptyTank2.oldActive ($RES_EVT_426)
(134) [SCAL] (1) $TEV_25 = $PRE.tankController.makeProduct.emptyTank2.outerStatePort.localActive ($RES_EVT_427)
(135) [SCAL] (1) $TEV_26 = $PRE.tankController.makeProduct.emptyTank2.newActive ($RES_EVT_428)
(136) [SCAL] (1) $TEV_27 = $PRE.tankController.makeProduct.T3.outPort.set ($RES_EVT_429)
(137) [SCAL] (1) tankController.makeProduct.fillTank2.outerStatePort.localActive = $TEV_30 ($RES_SIM_210)
(138) [SCAL] (1) start.table.realToBoolean.y = $SEV_7 ($RES_SIM_82)
(139) [SCAL] (1) start.table.combiTimeTable.y[1] = start.table.combiTimeTable.p_offset[1] + Modelica.Blocks.Tables.Internal.getTimeTableValueNoDer(start.table.combiTimeTable.tableID, 1, time, start.table.combiTimeTable.nextTimeEventScaled, $TEV_40) ($RES_SIM_83)
(140) [SCAL] (1) tankController.makeProduct.fillTank2.outerStatePort.subgraphStatePort.activeSteps = if tankController.makeProduct.fillTank2.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_212)
(141) [WHEN] (1)when {$SEV_8, initial()} then
(141) [----] start.table.combiTimeTable.nextTimeEventScaled := Modelica.Blocks.Tables.Internal.getNextTimeEvent(start.table.combiTimeTable.tableID, time)
(141) [----] end when;
(142) [WHEN] (1)when {$SEV_8, initial()} then
(142) [----] start.table.combiTimeTable.nextTimeEvent := if start.table.combiTimeTable.nextTimeEventScaled < 1e60 then start.table.combiTimeTable.nextTimeEventScaled else 1e60
(142) [----] end when;
(143) [SCAL] (1) tankController.makeProduct.T1.outPort.set = $SEV_29 ($RES_SIM_215)
(144) [SCAL] (1) tankController.T6.outPort.set = $SEV_9 ($RES_SIM_89)
(145) [SCAL] (1) tankController.makeProduct.stateGraphRoot.suspend = $FUN_13 ($RES_BND_344)
(146) [SCAL] (1) $FUN_11 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.wait2.inPort.set) ($RES_$AUX_389)
(147) [SCAL] (1) tankController.makeProduct.stateGraphRoot.resume = $FUN_14 ($RES_BND_345)
(148) [SCAL] (1) $FUN_12 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.wait2.outPort.reset) ($RES_$AUX_388)
(149) [SCAL] (1) $FUN_13 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.suspend.reset) ($RES_$AUX_387)
(150) [SCAL] (1) $FUN_14 = Modelica.StateGraph.Temporary.anyTrue(tankController.makeProduct.resume.set) ($RES_$AUX_386)
(151) [SCAL] (1) tankController.makeProduct.T1.localCondition = $SEV_38 ($RES_BND_348)
(152) [SCAL] (1) $FUN_15 = Modelica.StateGraph.Temporary.anyTrue(tankController.s2.inPort.set) ($RES_$AUX_385)
(153) [SCAL] (1) tankController.makeProduct.wait2.outPort[1].reset = tankController.makeProduct.T4.outPort.set ($RES_SIM_300)
(154) [SCAL] (1) $FUN_16 = Modelica.StateGraph.Temporary.anyTrue(tankController.s2.outPort.reset) ($RES_$AUX_384)
(155) [SCAL] (1) tankController.makeProduct.wait2.outPort[1].available = tankController.makeProduct.T4.inPort.available ($RES_SIM_301)
(156) [SCAL] (1) $FUN_17 = Modelica.StateGraph.Temporary.anyTrue(tankController.emptyTanks.inPort.set) ($RES_$AUX_383)
(157) [SCAL] (1) tankController.makeProduct.T1.outPort.set = tankController.makeProduct.wait1.inPort[1].set ($RES_SIM_302)
(158) [SCAL] (1) $FUN_18 = Modelica.StateGraph.Temporary.anyTrue(tankController.emptyTanks.outPort.reset) ($RES_$AUX_382)
(159) [SCAL] (1) tankController.makeProduct.T1.outPort.occupied = tankController.makeProduct.wait1.inPort[1].occupied ($RES_SIM_303)
(160) [SCAL] (1) tankController.makeProduct.T2.outPort.set = tankController.makeProduct.fillTank2.inPort[1].set ($RES_SIM_304)
(161) [SCAL] (1) tankController.makeProduct.T2.outPort.occupied = tankController.makeProduct.fillTank2.inPort[1].occupied ($RES_SIM_305)
(162) [SCAL] (1) tankController.T3.outPort.set = $SEV_16 ($RES_SIM_130)
(163) [SCAL] (1) tankController.makeProduct.wait1.outPort[1].reset = tankController.makeProduct.T2.outPort.set ($RES_SIM_306)
(164) [SCAL] (1) tankController.makeProduct.wait1.outPort[1].available = tankController.makeProduct.T2.inPort.available ($RES_SIM_307)
(165) [SCAL] (1) tankController.makeProduct.emptyTank2.outPort[1].reset = tankController.T2.outPort.set ($RES_SIM_308)
(166) [SCAL] (1) $TEV_28 = $PRE.tankController.makeProduct.fillTank2.oldActive ($RES_EVT_430)
(167) [SCAL] (1) tankController.makeProduct.emptyTank2.outPort[1].available = tankController.makeProduct.outPort.available ($RES_SIM_309)
(168) [SCAL] (1) $TEV_29 = $PRE.tankController.makeProduct.fillTank2.outerStatePort.localActive ($RES_EVT_431)
(169) [SCAL] (1) $TEV_30 = $PRE.tankController.makeProduct.fillTank2.newActive ($RES_EVT_432)
(170) [SCAL] (1) $TEV_31 = $PRE.tankController.makeProduct.T1.outPort.set ($RES_EVT_433)
(171) [SCAL] (1) tankController.T2.outPort.set = $SEV_17 ($RES_SIM_137)
(172) [SCAL] (1) $TEV_32 = $PRE.tankController.makeProduct.fillTank1.oldActive ($RES_EVT_434)
(173) [SCAL] (1) $TEV_33 = $PRE.tankController.makeProduct.fillTank1.outerStatePort.localActive ($RES_EVT_435)
(174) [SCAL] (1) $TEV_34 = $PRE.tankController.makeProduct.fillTank1.newActive ($RES_EVT_436)
(175) [SCAL] (1) $TEV_35 = $PRE.tankController.s1.oldActive ($RES_EVT_437)
(176) [SCAL] (1) $TEV_36 = $PRE.tankController.s1.outerStatePort.localActive ($RES_EVT_438)
(177) [SCAL] (1) $TEV_37 = $PRE.tankController.s1.newActive ($RES_EVT_439)
(178) [SCAL] (1) tankController.makeProduct.fillTank1.outPort[1].reset = false ($RES_SIM_220)
(179) [SCAL] (1) tankController.makeProduct.fillTank1.inPort[1].set = false ($RES_SIM_221)
(180) [SCAL] (1) tankController.makeProduct.fillTank1.outPort[1].available = tankController.makeProduct.fillTank1.outerStatePort.localActive ($RES_SIM_222)
(181) [SCAL] (1) tankController.emptyTanks.outPort[1].reset = false ($RES_SIM_94)
(182) [SCAL] (1) tankController.makeProduct.fillTank1.inPort[1].occupied = tankController.makeProduct.fillTank1.outerStatePort.localActive ($RES_SIM_223)
(183) [SCAL] (1) tankController.emptyTanks.inPort[1].set = false ($RES_SIM_95)
(184) [WHEN] (1)when tankController.makeProduct.stateGraphRoot.suspend then
(184) [----] tankController.makeProduct.fillTank1.oldActive := tankController.makeProduct.fillTank1.outerStatePort.localActive
(184) [----] end when;
(185) [SCAL] (1) tankController.emptyTanks.outPort[1].available = tankController.emptyTanks.outerStatePort.localActive ($RES_SIM_96)
(186) [SCAL] (1) tankController.makeProduct.fillTank1.newActive = if tankController.makeProduct.stateGraphRoot.resume then tankController.makeProduct.fillTank1.oldActive else $SEV_30 ($RES_SIM_225)
(187) [SCAL] (1) tankController.emptyTanks.inPort[1].occupied = tankController.emptyTanks.outerStatePort.localActive ($RES_SIM_97)
(188) [SCAL] (1) tankController.makeProduct.fillTank1.outerStatePort.localActive = $TEV_34 ($RES_SIM_226)
(189) [SCAL] (1) tankController.makeProduct.T3.localCondition = $SEV_37 ($RES_BND_351)
(190) [WHEN] (1)when false then
(190) [----] tankController.emptyTanks.oldActive := tankController.emptyTanks.outerStatePort.localActive
(190) [----] end when;
(191) [SCAL] (1) tankController.emptyTanks.newActive = $SEV_10 ($RES_SIM_99)
(192) [SCAL] (1) tankController.makeProduct.fillTank1.outerStatePort.subgraphStatePort.activeSteps = if tankController.makeProduct.fillTank1.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_228)
(193) [SCAL] (1) tankController.makeProduct.outerState.subgraphStatePort.activeSteps = if tankController.makeProduct.outerState.active then 1.0 else 0.0 ($RES_SIM_229)
(194) [SCAL] (1) tankController.makeProduct.fillTank2.outPort[1].reset = tankController.makeProduct.T3.outPort.set ($RES_SIM_310)
(195) [SCAL] (1) tankController.makeProduct.fillTank2.outPort[1].available = tankController.makeProduct.T3.inPort.available ($RES_SIM_311)
(196) [SCAL] (1) tankController.makeProduct.fillTank1.outPort[1].reset = tankController.makeProduct.T1.outPort.set ($RES_SIM_312)
(197) [SCAL] (1) tankController.makeProduct.fillTank1.outPort[1].available = tankController.makeProduct.T1.inPort.available ($RES_SIM_313)
(198) [SCAL] (1) tankController.makeProduct.fillTank1.inPort[1].set = tankController.T1.inPort.reset ($RES_SIM_314)
(199) [SCAL] (1) tankController.makeProduct.fillTank1.inPort[1].occupied = tankController.T1.outPort.occupied ($RES_SIM_315)
(200) [SCAL] (1) $TEV_38 = $PRE.shut.table.combiTimeTable.nextTimeEventScaled ($RES_EVT_440)
(201) [SCAL] (1) tankController.T1.inPort.reset = $SEV_18 ($RES_SIM_144)
(202) [SCAL] (1) $TEV_39 = $PRE.stop.table.combiTimeTable.nextTimeEventScaled ($RES_EVT_441)
(203) [SCAL] (1) $TEV_40 = $PRE.start.table.combiTimeTable.nextTimeEventScaled ($RES_EVT_442)
(204) [SCAL] (1) $SEV_1 = shut.table.realToBoolean.u >= shut.table.realToBoolean.threshold ($RES_EVT_444)
(205) [SCAL] (1) $SEV_2 = time >= $PRE.shut.table.combiTimeTable.nextTimeEvent ($RES_EVT_445)
(206) [SCAL] (1) tankController.makeProduct.resume[1].set = false ($RES_SIM_149)
(207) [SCAL] (1) $SEV_4 = stop.table.realToBoolean.u >= stop.table.realToBoolean.threshold ($RES_EVT_447)
(208) [SCAL] (1) $SEV_5 = time >= $PRE.stop.table.combiTimeTable.nextTimeEvent ($RES_EVT_448)
(209) [SCAL] (1) tankController.s1.outPort[1].reset = false ($RES_SIM_233)
(210) [FOR-] (2) ($RES_SIM_234)
(210) [----] for $i1 in 1:2 loop
(210) [----] [SCAL] (1) tankController.s1.inPort[$i1].set = false ($RES_SIM_235)
(210) [----] end for;
(211) [SCAL] (1) tankController.s1.outPort[1].available = tankController.s1.outerStatePort.localActive ($RES_SIM_236)
(212) [FOR-] (2) ($RES_SIM_237)
(212) [----] for $i1 in 1:2 loop
(212) [----] [SCAL] (1) tankController.s1.inPort[$i1].occupied = if $SEV_13[$i1] then tankController.s1.outerStatePort.localActive else $SEV_31[$i1] ($RES_SIM_238)
(212) [----] end for;
(213) [SCAL] (1) tankController.T2.localCondition = $SEV_36 ($RES_BND_362)
(214) [WHEN] (1)when false then
(214) [----] tankController.s1.oldActive := tankController.s1.outerStatePort.localActive
(214) [----] end when;
(215) [SCAL] (1) tankController.makeProduct.suspend[1].reset = false ($RES_SIM_150)
(216) [SCAL] (1) tankController.makeProduct.suspend[1].available = tankController.makeProduct.outerState.active ($RES_SIM_151)
(217) [SCAL] (1) tankController.makeProduct.resume[1].occupied = tankController.makeProduct.outerState.active ($RES_SIM_152)
(218) [SCAL] (1) tankController.makeProduct.newActive = $SEV_19 ($RES_SIM_153)
(219) [SCAL] (1) tankController.makeProduct.outerState.active = $TEV_15 ($RES_SIM_154)
(220) [SCAL] (1) $SEV_7 = start.table.realToBoolean.u >= start.table.realToBoolean.threshold ($RES_EVT_450)
(221) [SCAL] (1) tankController.makeProduct.activeSteps = -integer(tankController.makeProduct.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_155)
(222) [SCAL] (1) $SEV_8 = time >= $PRE.start.table.combiTimeTable.nextTimeEvent ($RES_EVT_451)
(223) [SCAL] (1) $SEV_9 = (tankController.T6.localCondition and tankController.T6.inPort.available) and not tankController.T6.outPort.occupied ($RES_EVT_452)
(224) [SCAL] (1) $SEV_10 = $FUN_17 or tankController.emptyTanks.outerStatePort.localActive and not $FUN_18 ($RES_EVT_453)
(225) [SCAL] (1) tankController.makeProduct.T4.enableFire = $SEV_20 ($RES_SIM_158)
(226) [SCAL] (1) $SEV_11 = (shut.on and tankController.T5.inPort.available) and not tankController.T5.outPort.occupied ($RES_EVT_454)
(227) [SCAL] (1) tankController.makeProduct.T4.outPort.set = $SEV_21 ($RES_SIM_159)
(228) [SCAL] (1) $SEV_12 = (start.on and tankController.T4.inPort.available) and not tankController.T4.outPort.occupied ($RES_EVT_455)
(229) [FOR-] (2) ($RES_EVT_456)
(229) [----] for $i1 in 1:2 loop
(229) [----] [SCAL] (1) $SEV_13[$i1] = $i1 == 1 ($RES_EVT_457)
(229) [----] end for;
(230) [FOR-] (2) ($RES_EVT_458)
(230) [----] for $i1 in 1:2 loop
(230) [----] [SCAL] (1) $SEV_14[$i1] = tankController.s2.outPort[$i1 - 1].available and not tankController.s2.outPort[$i1 - 1].reset ($RES_EVT_459)
(230) [----] end for;
(231) [SCAL] (1) tankController.s1.newActive = $SEV_32 ($RES_SIM_240)
(232) [SCAL] (1) tankController.s1.outerStatePort.localActive = $TEV_37 ($RES_SIM_241)
(233) [SCAL] (1) tankController.s1.outerStatePort.subgraphStatePort.activeSteps = if tankController.s1.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_243)
(234) [SCAL] (1) tankController.makeProduct.fillTank1.outerStatePort.subgraphStatePort.activeSteps + tankController.makeProduct.fillTank2.outerStatePort.subgraphStatePort.activeSteps + tankController.makeProduct.emptyTank2.outerStatePort.subgraphStatePort.activeSteps + tankController.makeProduct.wait1.outerStatePort.subgraphStatePort.activeSteps + tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.activeSteps + tankController.makeProduct.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_244)
(235) [SCAL] (1) tankController.makeProduct.outerState.subgraphStatePort.activeSteps + tankController.s2.outerStatePort.subgraphStatePort.activeSteps + tankController.emptyTanks.outerStatePort.subgraphStatePort.activeSteps + stateGraphRoot.subgraphStatePort.activeSteps + tankController.s1.outerStatePort.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_245)
(236) [SCAL] (1) tankController.T6.localCondition = $SEV_35 ($RES_BND_372)
(237) [SCAL] (1) valve2.valveControl = $SEV_34 ($RES_BND_375)
(238) [SCAL] (1) valve3.valveControl = $SEV_33 ($RES_BND_376)
(239) [ARRY] (2) start.reset = {stop.on, shut.on} ($RES_BND_377)
(240) [ARRY] (2) stop.reset = {start.on, shut.on} ($RES_BND_378)
(241) [ARRY] (2) shut.reset = {start.on, stop.on} ($RES_BND_379)
(242) [SCAL] (1) tankController.makeProduct.T4.t = if tankController.makeProduct.T4.enableFire then tankController.makeProduct.T4.t_dummy else 0.0 ($RES_SIM_160)
(243) [WHEN] (1)when tankController.makeProduct.T4.enableFire then
(243) [----] time - tankController.makeProduct.T4.t_dummy := time
(243) [----] end when;
(244) [SCAL] (1) tankController.makeProduct.wait2.outPort[1].reset = false ($RES_SIM_163)
(245) [SCAL] (1) tankController.makeProduct.wait2.inPort[1].set = false ($RES_SIM_164)
(246) [SCAL] (1) $SEV_15 = $FUN_15 or tankController.s2.outerStatePort.localActive and not $FUN_16 ($RES_EVT_460)
(247) [SCAL] (1) tankController.makeProduct.wait2.outPort[1].available = tankController.makeProduct.wait2.outerStatePort.localActive ($RES_SIM_165)
(248) [SCAL] (1) $SEV_16 = (stop.on and tankController.T3.inPort.available) and not tankController.T3.outPort.occupied ($RES_EVT_461)
(249) [SCAL] (1) tankController.makeProduct.wait2.inPort[1].occupied = tankController.makeProduct.wait2.outerStatePort.localActive ($RES_SIM_166)
(250) [SCAL] (1) $SEV_17 = (tankController.T2.localCondition and tankController.makeProduct.outPort.available) and not tankController.T2.outPort.occupied ($RES_EVT_462)
(251) [WHEN] (1)when tankController.makeProduct.stateGraphRoot.suspend then
(251) [----] tankController.makeProduct.wait2.oldActive := tankController.makeProduct.wait2.outerStatePort.localActive
(251) [----] end when;
(252) [SCAL] (1) $SEV_18 = (start.on and tankController.T1.inPort.available) and not tankController.T1.outPort.occupied ($RES_EVT_463)
(253) [SCAL] (1) tankController.makeProduct.wait2.newActive = if tankController.makeProduct.stateGraphRoot.resume then tankController.makeProduct.wait2.oldActive else $SEV_22 ($RES_SIM_168)
(254) [SCAL] (1) $SEV_19 = tankController.makeProduct.activeSteps > 0 and not $FUN_13 or $FUN_14 ($RES_EVT_464)
(255) [SCAL] (1) tankController.makeProduct.wait2.outerStatePort.localActive = $TEV_19 ($RES_SIM_169)
(256) [SCAL] (1) $SEV_20 = tankController.makeProduct.T4.inPort.available and not tankController.makeProduct.T4.outPort.occupied ($RES_EVT_465)
(257) [SCAL] (1) $SEV_21 = tankController.makeProduct.T4.enableFire and time >= ((time - tankController.makeProduct.T4.t_dummy) + tankController.makeProduct.T4.waitTime) ($RES_EVT_466)
(258) [SCAL] (1) $SEV_22 = ($FUN_11 or tankController.makeProduct.wait2.outerStatePort.localActive and not $FUN_12) and not tankController.makeProduct.stateGraphRoot.suspend ($RES_EVT_467)
(259) [SCAL] (1) $SEV_23 = tankController.makeProduct.T2.inPort.available and not tankController.makeProduct.T2.outPort.occupied ($RES_EVT_468)
(260) [SCAL] (1) $SEV_24 = tankController.makeProduct.T2.enableFire and time >= ((time - tankController.makeProduct.T2.t_dummy) + tankController.makeProduct.T2.waitTime) ($RES_EVT_469)