Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.1_Modelica.StateGraph.Examples.ShowExceptions.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.ShowExceptions,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_Modelica.StateGraph.Examples.ShowExceptions") translateModel(Modelica.StateGraph.Examples.ShowExceptions,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_Modelica.StateGraph.Examples.ShowExceptions") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.00144/0.00144, allocations: 105.3 kB / 16.42 MB, free: 6.512 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.001224/0.001224, allocations: 189.9 kB / 17.36 MB, free: 5.754 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.298/1.298, allocations: 205.1 MB / 223.2 MB, free: 12.24 MB / 190.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.458e-05/2.459e-05, allocations: 2.281 kB / 327.2 MB, free: 3.371 MB / 270.1 MB Notification: Performance of NFInst.instantiate(Modelica.StateGraph.Examples.ShowExceptions): time 0.003316/0.003349, allocations: 2.685 MB / 329.8 MB, free: 0.668 MB / 270.1 MB Notification: Performance of NFInst.instExpressions: time 0.001988/0.005351, allocations: 1.22 MB / 331.1 MB, free: 15.45 MB / 286.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0002416/0.005604, allocations: 23.88 kB / 331.1 MB, free: 15.42 MB / 286.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0002824/0.005893, allocations: 142.4 kB / 331.2 MB, free: 15.28 MB / 286.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0003285/0.006228, allocations: 102.9 kB / 331.3 MB, free: 15.18 MB / 286.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.001126/0.007384, allocations: 0.7139 MB / 332 MB, free: 14.46 MB / 286.1 MB Notification: Performance of NFFlatten.flatten: time 0.001236/0.008629, allocations: 1.495 MB / 333.5 MB, free: 12.96 MB / 286.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.001261/0.009899, allocations: 1.166 MB / 334.7 MB, free: 11.77 MB / 286.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.0006061/0.01051, allocations: 0.6897 MB / 335.4 MB, free: 11.08 MB / 286.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0005535/0.01108, allocations: 0.6226 MB / 336 MB, free: 10.45 MB / 286.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0001915/0.01128, allocations: 188 kB / 336.2 MB, free: 10.27 MB / 286.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0002184/0.0115, allocations: 196 kB / 336.4 MB, free: 10.08 MB / 286.1 MB Notification: Performance of combineBinaries: time 0.0009481/0.01246, allocations: 1.658 MB / 338 MB, free: 8.402 MB / 286.1 MB Notification: Performance of replaceArrayConstructors: time 0.0004393/0.01291, allocations: 0.9656 MB / 339 MB, free: 7.422 MB / 286.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0001738/0.01309, allocations: 187.4 kB / 339.2 MB, free: 7.238 MB / 286.1 MB Notification: Performance of FrontEnd: time 0.0001821/0.01328, allocations: 147 kB / 339.3 MB, free: 7.094 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: 317 (315) * Number of variables: 299 (295) Notification: Performance of Bindings: time 0.004416/0.0177, allocations: 5.07 MB / 344.4 MB, free: 1.816 MB / 286.1 MB Notification: Performance of FunctionAlias: time 0.0008942/0.0186, allocations: 1.041 MB / 345.4 MB, free: 0.7461 MB / 286.1 MB Notification: Performance of Early Inline: time 0.003594/0.0222, allocations: 3.867 MB / 349.3 MB, free: 12.82 MB / 302.1 MB Notification: Performance of simplify1: time 0.0003729/0.02259, allocations: 259.6 kB / 349.6 MB, free: 12.57 MB / 302.1 MB Notification: Performance of Alias: time 0.006317/0.02892, allocations: 6.112 MB / 355.7 MB, free: 5.859 MB / 302.1 MB Notification: Performance of simplify2: time 0.0002277/0.02917, allocations: 191.7 kB / 355.9 MB, free: 5.672 MB / 302.1 MB Notification: Performance of Events: time 0.001122/0.0303, allocations: 0.944 MB / 356.8 MB, free: 4.68 MB / 302.1 MB Notification: Performance of Detect States: time 0.001407/0.03172, allocations: 1.563 MB / 358.4 MB, free: 3.074 MB / 302.1 MB Notification: Performance of Partitioning: time 0.001515/0.03324, allocations: 1.453 MB / 359.8 MB, free: 1.586 MB / 302.1 MB Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency compositeStep.Alternative1.outPort.occupied could not be divided by the body size 2 without rest. Error: Internal error NBAdjacency.Matrix.createPseudo failed for: [ARRY] (2) compositeStep.Alternative1.join.occupied = {compositeStep.Alternative1.outPort.occupied for $i1 in 1:2} ($RES_SIM_102) Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system: System Variables (251/257) **************************** (1) [DISC] (1) Boolean[1] initialStep.outPort.reset (2) [DISC] (1) Boolean $SEV_29 (3) [DISC] (1) Boolean $SEV_28 (4) [DISC] (1) Boolean $SEV_27 (5) [DISC] (1) Boolean $SEV_26 (6) [ALGB] (1) flow Real compositeStep.stateGraphRoot.subgraphStatePort.activeSteps (7) [DISC] (1) Boolean $SEV_25 (8) [DISC] (1) Boolean $SEV_24 (9) [DISC] (1) final Boolean compositeStep.transition1.localCondition = compositeStep.transition1.localCondition (10) [DISC] (1) Boolean $SEV_23 (11) [DISC] (1) Boolean $SEV_22 (12) [DISC] (1) protected Boolean compositeStep.newActive (13) [DISC] (1) Boolean $SEV_21 (14) [DISC] (1) Boolean[1] compositeStep.exitStep.outPort.reset (15) [DISC] (1) protected Boolean compositeStep.compositeStep12.initStep.newActive (16) [DISS] (1) protected Boolean compositeStep.exitStep.oldActive (17) [DISC] (1) Boolean transition4.outPort.occupied (18) [DISC] (1) Boolean $SEV_20 (19) [DISC] (1) Boolean $TEV_9 (20) [DISC] (1) Boolean $TEV_8 (21) [DISC] (1) Boolean $TEV_7 (22) [DISC] (1) Boolean $TEV_6 (23) [DISC] (1) Boolean $TEV_5 (24) [DISC] (1) Boolean[1] compositeStep.compositeStep12.exitStep.inPort.occupied (25) [ALGB] (1) Real transition4.t (26) [DISC] (1) Boolean $TEV_4 (27) [DISC] (1) Boolean compositeStep.compositeStep11.transition.inPort.available (28) [DISC] (1) Boolean $TEV_3 (29) [ALGB] (1) flow Real compositeStep.compositeStep11.outerState.subgraphStatePort.activeSteps (30) [DISC] (1) Boolean $TEV_2 (31) [DISC] (1) Boolean[1] compositeStep.compositeStep11.resume.set (32) [DISC] (1) protected Boolean step1.outerStatePort.localActive = step1.outerStatePort.localActive (33) [DISC] (1) Boolean $TEV_1 (34) [DISC] (1) Boolean $TEV_0 (35) [DISC] (1) Boolean[1] compositeStep.compositeStep11.suspend.available (36) [DISC] (1) Boolean compositeStep.compositeStep11.transition.outPort.occupied (37) [DISC] (1) Boolean $TEV_38 (38) [DISC] (1) Boolean $TEV_37 (39) [DISC] (1) Boolean compositeStep.compositeStep12.stateGraphRoot.suspend = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.suspend.reset) or compositeStep.stateGraphRoot.suspend (40) [DISC] (1) Boolean $TEV_36 (41) [DISC] (1) Boolean $TEV_35 (42) [DISC] (1) Boolean $TEV_34 (43) [DISC] (1) Boolean $TEV_33 (44) [DISC] (1) Boolean compositeStep.compositeStep11.stateGraphRoot.suspend = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.suspend.reset) or compositeStep.stateGraphRoot.suspend (45) [DISC] (1) Boolean $TEV_32 (46) [DISC] (1) Boolean[1] compositeStep.compositeStep12.initStep.outPort.available (47) [DISC] (1) Boolean $TEV_31 (48) [DISC] (1) Boolean $TEV_30 (49) [DISC] (1) protected Boolean compositeStep.compositeStep11.newActive (50) [DISC] (1) Boolean $SEV_19 (51) [DISC] (1) Boolean compositeStep.Alternative1.outPort.set (52) [DISC] (1) protected Boolean compositeStep.compositeStep11.exitStep.outerStatePort.localActive = compositeStep.compositeStep11.exitStep.outerStatePort.localActive (53) [DISC] (1) Boolean $SEV_18 (54) [DISC] (1) Boolean $SEV_17 (55) [DISC] (1) Boolean $SEV_16 (56) [DISC] (1) Boolean $SEV_15 (57) [DISC] (1) protected Boolean compositeStep.exitStep.newActive (58) [DISC] (1) Boolean $SEV_14 (59) [ALGB] (1) protected flow Real compositeStep.compositeStep11.initStep.outerStatePort.subgraphStatePort.activeSteps (60) [DISC] (1) Boolean $SEV_13 (61) [DISC] (1) protected Boolean compositeStep.initStep.newActive (62) [DISC] (1) Boolean[1] compositeStep.compositeStep12.resume.occupied (63) [DISC] (1) Boolean $SEV_10 (64) [DISC] (1) Boolean transition3.inPort.available (65) [DISC] (2) Boolean[2] compositeStep.Alternative1.split.reset (66) [DISC] (1) Boolean compositeStep.transition2.inPort.available (67) [DISC] (1) protected Boolean compositeStep.compositeStep12.newActive (68) [DISC] (1) Boolean transition4.inPort.available (69) [DISC] (1) protected Boolean compositeStep.compositeStep12.initStep.outerStatePort.localActive = compositeStep.compositeStep12.initStep.outerStatePort.localActive (70) [DISC] (1) Boolean[1] compositeStep.compositeStep12.initStep.inPort.set (71) [DISC] (1) Boolean compositeStep.transition1.inPort.available (72) [ALGB] (1) protected Real compositeStep.compositeStep11.transition.t_dummy (73) [DISC] (1) protected Integer compositeStep.compositeStep12.activeSteps (74) [DISC] (1) Boolean $TEV_29 (75) [DISC] (1) Boolean $TEV_28 (76) [DISC] (1) Boolean $TEV_27 (77) [DISC] (1) Boolean[1] step1.inPort.occupied (78) [DISC] (1) Boolean $TEV_26 (79) [DISC] (1) Boolean $TEV_25 (80) [DISC] (1) Boolean $TEV_24 (81) [ALGB] (1) flow Real compositeStep.compositeStep12.outerState.subgraphStatePort.activeSteps (82) [DISC] (1) Boolean $TEV_23 (83) [ALGB] (1) protected flow Real initialStep.outerStatePort.subgraphStatePort.activeSteps (84) [DISC] (1) Boolean $TEV_22 (85) [DISC] (1) Boolean $TEV_21 (86) [DISC] (1) Boolean[1] compositeStep.resume.set (87) [DISC] (1) Boolean $TEV_20 (88) [DISC] (1) Boolean compositeStep.compositeStep11.transition.enableFire (89) [DISC] (1) Boolean[1] initialStep.inPort.occupied (90) [DISC] (1) Boolean transition2.enableFire (91) [DISS] (1) protected Boolean compositeStep.initStep.oldActive (92) [DISC] (1) Boolean[1] compositeStep.compositeStep11.exitStep.inPort.occupied (93) [DISC] (1) Boolean[1] compositeStep.compositeStep11.initStep.inPort.set (94) [ALGB] (1) Real transition3.t (95) [DISC] (1) Boolean[1] compositeStep.compositeStep12.initStep.outPort.reset (96) [DISC] (1) Boolean transition1.inPort.reset (97) [DISC] (1) Boolean $FUN_9 (98) [DISC] (1) Boolean $FUN_8 (99) [DISC] (1) Boolean transition4.outPort.set (100) [DISC] (1) Boolean $FUN_7 (101) [DISC] (1) Boolean $FUN_6 (102) [DISC] (1) Boolean[1] step1.outPort.available (103) [DISC] (1) Boolean $FUN_5 (104) [DISC] (1) Boolean transition1.inPort.available (105) [DISC] (1) Boolean[1] compositeStep.suspend.available (106) [ALGB] (1) protected flow Real compositeStep.compositeStep12.exitStep.outerStatePort.subgraphStatePort.activeSteps (107) [DISC] (1) Boolean $FUN_4 (108) [DISC] (1) Boolean $FUN_3 (109) [DISC] (1) Boolean $TEV_19 (110) [DISC] (1) Boolean compositeStep.transition2.outPort.occupied (111) [DISC] (1) Boolean $FUN_2 (112) [DISC] (1) Boolean $TEV_18 (113) [ALGB] (1) flow Real compositeStep.compositeStep11.stateGraphRoot.subgraphStatePort.activeSteps (114) [DISC] (1) Boolean $FUN_1 (115) [DISC] (1) Boolean $FUN_24 (116) [DISC] (1) Boolean $TEV_17 (117) [DISC] (1) Boolean compositeStep.compositeStep11.transition.outPort.set (118) [DISC] (1) Boolean $FUN_23 (119) [DISC] (1) Boolean $TEV_16 (120) [DISC] (1) Boolean $FUN_22 (121) [DISC] (1) Boolean $TEV_15 (122) [DISC] (1) Boolean $FUN_21 (123) [DISC] (1) Boolean $TEV_14 (124) [DISC] (1) Boolean[1] compositeStep.compositeStep11.initStep.outPort.available (125) [DISC] (1) Boolean $FUN_20 (126) [DISC] (1) Boolean $TEV_13 (127) [DISC] (1) Boolean $TEV_12 (128) [DISC] (1) Boolean[1] compositeStep.suspend.reset (129) [DISC] (1) Boolean transition2.outPort.set (130) [DISC] (1) Boolean $TEV_11 (131) [DISC] (1) Boolean[1] compositeStep.compositeStep12.exitStep.inPort.set (132) [DISC] (1) Boolean $TEV_10 (133) [DISC] (1) Boolean[1] compositeStep.compositeStep12.exitStep.outPort.reset (134) [DISC] (2) Boolean[2] compositeStep.Alternative1.join.set (135) [DISC] (1) Boolean[1] compositeStep.compositeStep12.suspend.available (136) [DISC] (1) Boolean compositeStep.compositeStep11.stateGraphRoot.resume = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.resume.set) or compositeStep.stateGraphRoot.resume (137) [DISC] (1) protected Boolean initialStep.newActive (138) [DISC] (1) Boolean compositeStep.compositeStep12.transition.inPort.available (139) [DISC] (2) Boolean[2] compositeStep.Alternative1.split.available (140) [ALGB] (1) protected Real transition4.t_dummy (141) [DISC] (1) Boolean compositeStep.stateGraphRoot.suspend = Modelica.StateGraph.Temporary.anyTrue(compositeStep.suspend.reset) or false (142) [DISC] (1) Boolean[1] compositeStep.compositeStep11.exitStep.outPort.available (143) [ALGB] (1) protected flow Real compositeStep.initStep.outerStatePort.subgraphStatePort.activeSteps (144) [ALGB] (1) protected flow Real step1.outerStatePort.subgraphStatePort.activeSteps (145) [DISC] (1) protected Boolean initialStep.outerStatePort.localActive = initialStep.outerStatePort.localActive (146) [DISC] (1) Boolean $FUN_19 (147) [DISC] (1) Boolean[1] compositeStep.compositeStep11.exitStep.inPort.set (148) [DISC] (1) Boolean compositeStep.outPort.available (149) [DISC] (1) protected Boolean compositeStep.compositeStep11.initStep.outerStatePort.localActive = compositeStep.compositeStep11.initStep.outerStatePort.localActive (150) [DISC] (1) Boolean $FUN_16 (151) [ALGB] (1) flow Real compositeStep.compositeStep12.stateGraphRoot.subgraphStatePort.activeSteps (152) [DISC] (1) Boolean $FUN_15 (153) [DISC] (1) Boolean $FUN_14 (154) [DISC] (1) Boolean $FUN_13 (155) [DISC] (1) Boolean[1] compositeStep.initStep.outPort.available (156) [DISC] (1) Boolean $FUN_12 (157) [DISC] (1) Boolean $FUN_11 (158) [DISC] (1) Boolean transition1.outPort.occupied (159) [DISC] (1) Boolean $FUN_10 (160) [DISC] (1) protected Boolean compositeStep.initStep.outerStatePort.localActive = compositeStep.initStep.outerStatePort.localActive (161) [DISC] (1) Boolean compositeStep.stateGraphRoot.resume = Modelica.StateGraph.Temporary.anyTrue(compositeStep.resume.set) or false (162) [DISC] (1) Boolean compositeStep.Alternative1.inPort.reset (163) [DISS] (1) protected Boolean initialStep.oldActive (164) [DISC] (1) Boolean[1] compositeStep.compositeStep12.suspend.reset (165) [DISC] (1) Boolean $SEV_9 (166) [DISC] (1) Boolean $SEV_8 (167) [DISC] (1) Boolean $SEV_7 (168) [DISC] (1) Boolean $SEV_6 (169) [DISC] (1) Boolean compositeStep.Alternative1.outPort.occupied (170) [ALGB] (1) Real transition2.t (171) [DISC] (1) Boolean $SEV_5 (172) [DISC] (1) Boolean $SEV_4 (173) [DISC] (1) Boolean $SEV_3 (174) [ALGB] (1) protected flow Real compositeStep.compositeStep11.exitStep.outerStatePort.subgraphStatePort.activeSteps (175) [DISC] (1) Boolean[1] compositeStep.compositeStep11.resume.occupied (176) [DISC] (1) Boolean $SEV_2 (177) [ALGB] (1) flow Real stateGraphRoot.subgraphStatePort.activeSteps (178) [DISC] (1) Boolean $SEV_1 (179) [DISC] (1) Boolean $SEV_0 (180) [DISC] (1) Boolean compositeStep.compositeStep12.outerState.active = compositeStep.compositeStep12.outerState.active (181) [DISC] (1) Boolean[1] compositeStep.initStep.inPort.occupied (182) [ALGB] (1) protected Real transition3.t_dummy (183) [DISC] (1) Boolean[1] compositeStep.exitStep.inPort.occupied (184) [DISC] (1) Boolean transition1.enableFire (185) [DISC] (1) Boolean compositeStep.transition3.outPort.set (186) [DISC] (2) Boolean[2] $SEV_12[$i1] (187) [DISC] (1) Boolean[1] compositeStep.exitStep.outPort.available (188) [DISC] (1) Boolean transition3.outPort.set (189) [DISC] (1) protected Boolean compositeStep.compositeStep12.exitStep.newActive (190) [DISC] (1) protected Boolean compositeStep.compositeStep12.exitStep.outerStatePort.localActive = compositeStep.compositeStep12.exitStep.outerStatePort.localActive (191) [DISC] (1) Boolean compositeStep.transition1.outPort.occupied (192) [DISC] (1) Boolean transition4.enableFire (193) [DISC] (1) protected Integer compositeStep.activeSteps (194) [DISC] (1) protected Boolean compositeStep.compositeStep11.initStep.newActive (195) [DISC] (1) protected Boolean compositeStep.exitStep.outerStatePort.localActive = compositeStep.exitStep.outerStatePort.localActive (196) [DISC] (1) Boolean compositeStep.outerState.active = compositeStep.outerState.active (197) [DISC] (1) Boolean[1] initialStep.outPort.available (198) [ALGB] (1) protected Real transition2.t_dummy (199) [DISC] (1) Boolean compositeStep.transition2.inPort.reset (200) [DISC] (1) Boolean compositeStep.transition1.inPort.reset (201) [DISS] (1) protected Boolean compositeStep.compositeStep12.exitStep.oldActive (202) [DISC] (1) Boolean compositeStep.compositeStep12.transition.outPort.occupied (203) [DISC] (1) Boolean[1] compositeStep.initStep.inPort.set (204) [DISC] (1) Boolean[1] compositeStep.compositeStep12.resume.set (205) [DISC] (1) Boolean compositeStep.compositeStep11.outPort.available (206) [ALGB] (1) Real transition1.t (207) [DISC] (1) Boolean compositeStep.compositeStep12.outPort.available (208) [ALGB] (1) flow Real compositeStep.outerState.subgraphStatePort.activeSteps (209) [DISS] (1) protected Boolean compositeStep.compositeStep11.initStep.oldActive (210) [DISC] (2) Boolean[2] $SEV_11[$i1] (211) [DISC] (1) Boolean[1] compositeStep.compositeStep11.initStep.outPort.reset (212) [DISC] (1) Boolean[1] compositeStep.compositeStep11.initStep.inPort.occupied (213) [DISC] (1) Boolean compositeStep.Alternative1.inPort.available (214) [DISC] (2) Boolean[2] compositeStep.Alternative1.join.occupied (215) [DISC] (1) Boolean[1] compositeStep.resume.occupied (216) [DISC] (1) Boolean[1] initialStep.inPort.set (217) [DISC] (1) Boolean compositeStep.transition4.outPort.occupied (218) [DISC] (1) protected Boolean step1.newActive (219) [ALGB] (1) protected Real transition1.t_dummy (220) [DISC] (1) Boolean compositeStep.transition3.outPort.occupied (221) [DISC] (1) Boolean compositeStep.compositeStep12.transition.outPort.set (222) [DISC] (1) protected Boolean compositeStep.compositeStep11.exitStep.newActive (223) [DISC] (1) Boolean compositeStep.compositeStep12.transition.enableFire (224) [DISC] (1) Boolean compositeStep.transition4.outPort.set (225) [ALGB] (1) protected flow Real compositeStep.exitStep.outerStatePort.subgraphStatePort.activeSteps (226) [DISC] (1) Boolean[1] compositeStep.compositeStep11.exitStep.outPort.reset (227) [DISC] (1) final Boolean compositeStep.transition2.localCondition = compositeStep.transition2.localCondition (228) [DISC] (1) Boolean $SEV_32 (229) [DISC] (1) Boolean $SEV_31 (230) [DISC] (1) Boolean[1] step1.inPort.set (231) [DISC] (1) Boolean $SEV_30 (232) [DISC] (1) Boolean[1] compositeStep.compositeStep12.initStep.inPort.occupied (233) [DISS] (1) protected Boolean compositeStep.compositeStep12.initStep.oldActive (234) [DISC] (1) Boolean compositeStep.compositeStep11.outerState.active = compositeStep.compositeStep11.outerState.active (235) [DISS] (1) protected Boolean step1.oldActive (236) [DISC] (1) Boolean[1] compositeStep.exitStep.inPort.set (237) [DISC] (1) Boolean[1] step1.outPort.reset (238) [DISC] (1) protected Integer compositeStep.compositeStep11.activeSteps (239) [DISS] (1) protected Boolean compositeStep.compositeStep11.exitStep.oldActive (240) [ALGB] (1) protected flow Real compositeStep.compositeStep12.initStep.outerStatePort.subgraphStatePort.activeSteps (241) [DISC] (1) Boolean transition3.enableFire (242) [DISC] (1) Boolean[1] compositeStep.compositeStep12.exitStep.outPort.available (243) [DISC] (1) Boolean transition3.outPort.occupied (244) [DISC] (1) Boolean[1] compositeStep.compositeStep11.suspend.reset (245) [DISC] (1) Boolean[1] compositeStep.initStep.outPort.reset (246) [ALGB] (1) Real compositeStep.compositeStep11.transition.t (247) [ALGB] (1) Real compositeStep.compositeStep12.transition.t (248) [DISC] (1) Integer stateGraphRoot.activeSteps (249) [DISC] (1) Boolean compositeStep.compositeStep12.stateGraphRoot.resume = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.resume.set) or compositeStep.stateGraphRoot.resume (250) [DISC] (1) Boolean transition2.outPort.occupied (251) [ALGB] (1) protected Real compositeStep.compositeStep12.transition.t_dummy System Equations (271/275) **************************** (1) [SCAL] (1) compositeStep.transition4.outPort.set = compositeStep.Alternative1.join[2].set ($RES_SIM_258) (2) [SCAL] (1) compositeStep.transition4.outPort.occupied = compositeStep.Alternative1.join[2].occupied ($RES_SIM_259) (3) [SCAL] (1) compositeStep.compositeStep11.activeSteps = -integer(compositeStep.compositeStep11.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_170) (4) [SCAL] (1) compositeStep.compositeStep11.exitStep.outPort[1].reset = false ($RES_SIM_171) (5) [SCAL] (1) compositeStep.compositeStep11.exitStep.inPort[1].set = false ($RES_SIM_172) (6) [SCAL] (1) compositeStep.compositeStep11.exitStep.outPort[1].available = compositeStep.compositeStep11.exitStep.outerStatePort.localActive ($RES_SIM_173) (7) [SCAL] (1) compositeStep.compositeStep11.exitStep.inPort[1].occupied = compositeStep.compositeStep11.exitStep.outerStatePort.localActive ($RES_SIM_174) (8) [WHEN] (1)when compositeStep.compositeStep11.stateGraphRoot.suspend then (8) [----] compositeStep.compositeStep11.exitStep.oldActive := compositeStep.compositeStep11.exitStep.outerStatePort.localActive (8) [----] end when; (9) [SCAL] (1) compositeStep.compositeStep11.exitStep.newActive = if compositeStep.compositeStep11.stateGraphRoot.resume then compositeStep.compositeStep11.exitStep.oldActive else $SEV_22 ($RES_SIM_176) (10) [SCAL] (1) compositeStep.compositeStep11.exitStep.outerStatePort.localActive = $TEV_25 ($RES_SIM_177) (11) [SCAL] (1) compositeStep.compositeStep11.exitStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.compositeStep11.exitStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_179) (12) [SCAL] (1) compositeStep.transition3.outPort.set = compositeStep.Alternative1.join[1].set ($RES_SIM_260) (13) [SCAL] (1) compositeStep.transition3.outPort.occupied = compositeStep.Alternative1.join[1].occupied ($RES_SIM_261) (14) [SCAL] (1) compositeStep.transition2.inPort.reset = compositeStep.Alternative1.split[2].reset ($RES_SIM_262) (15) [SCAL] (1) compositeStep.transition2.inPort.available = compositeStep.Alternative1.split[2].available ($RES_SIM_263) (16) [SCAL] (1) compositeStep.transition1.inPort.reset = compositeStep.Alternative1.split[1].reset ($RES_SIM_264) (17) [SCAL] (1) compositeStep.transition1.inPort.available = compositeStep.Alternative1.split[1].available ($RES_SIM_265) (18) [SCAL] (1) compositeStep.Alternative1.outPort.set = compositeStep.exitStep.inPort[1].set ($RES_SIM_266) (19) [SCAL] (1) compositeStep.Alternative1.outPort.occupied = compositeStep.exitStep.inPort[1].occupied ($RES_SIM_267) (20) [SCAL] (1) compositeStep.initStep.outPort[1].reset = compositeStep.Alternative1.inPort.reset ($RES_SIM_268) (21) [SCAL] (1) compositeStep.initStep.outPort[1].available = compositeStep.Alternative1.inPort.available ($RES_SIM_269) (22) [SCAL] (1) $TEV_0 = $PRE.transition4.enableFire ($RES_EVT_391) (23) [SCAL] (1) $TEV_1 = $PRE.step1.oldActive ($RES_EVT_392) (24) [SCAL] (1) $TEV_2 = $PRE.step1.outerStatePort.localActive ($RES_EVT_393) (25) [SCAL] (1) $TEV_3 = $PRE.step1.newActive ($RES_EVT_394) (26) [SCAL] (1) $TEV_4 = $PRE.transition3.enableFire ($RES_EVT_395) (27) [SCAL] (1) $TEV_5 = $PRE.transition2.enableFire ($RES_EVT_396) (28) [SCAL] (1) $TEV_6 = $PRE.transition1.enableFire ($RES_EVT_397) (29) [SCAL] (1) $TEV_7 = $PRE.initialStep.oldActive ($RES_EVT_398) (30) [SCAL] (1) $TEV_8 = $PRE.initialStep.outerStatePort.localActive ($RES_EVT_399) (31) [SCAL] (1) compositeStep.compositeStep11.initStep.outPort[1].reset = false ($RES_SIM_180) (32) [SCAL] (1) compositeStep.compositeStep11.initStep.inPort[1].set = false ($RES_SIM_181) (33) [SCAL] (1) compositeStep.compositeStep11.initStep.outPort[1].available = compositeStep.compositeStep11.initStep.outerStatePort.localActive ($RES_SIM_182) (34) [SCAL] (1) compositeStep.compositeStep11.initStep.inPort[1].occupied = compositeStep.compositeStep11.initStep.outerStatePort.localActive ($RES_SIM_183) (35) [WHEN] (1)when compositeStep.compositeStep11.stateGraphRoot.suspend then (35) [----] compositeStep.compositeStep11.initStep.oldActive := compositeStep.compositeStep11.initStep.outerStatePort.localActive (35) [----] end when; (36) [SCAL] (1) compositeStep.compositeStep11.initStep.newActive = if compositeStep.compositeStep11.stateGraphRoot.resume then compositeStep.compositeStep11.initStep.oldActive else $SEV_23 ($RES_SIM_185) (37) [SCAL] (1) compositeStep.compositeStep11.initStep.outerStatePort.localActive = $TEV_28 ($RES_SIM_186) (38) [SCAL] (1) compositeStep.compositeStep11.initStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.compositeStep11.initStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_188) (39) [SCAL] (1) compositeStep.initStep.inPort[1].set = transition1.inPort.reset ($RES_SIM_278) (40) [SCAL] (1) compositeStep.initStep.inPort[1].occupied = transition1.outPort.occupied ($RES_SIM_279) (41) [SCAL] (1) compositeStep.compositeStep11.transition.enableFire = $SEV_24 ($RES_SIM_191) (42) [SCAL] (1) compositeStep.compositeStep11.transition.outPort.set = $SEV_25 ($RES_SIM_192) (43) [SCAL] (1) compositeStep.compositeStep11.transition.t = if compositeStep.compositeStep11.transition.enableFire then compositeStep.compositeStep11.transition.t_dummy else 0.0 ($RES_SIM_193) (44) [WHEN] (1)when compositeStep.compositeStep11.transition.enableFire then (44) [----] time - compositeStep.compositeStep11.transition.t_dummy := time (44) [----] end when; (45) [SCAL] (1) compositeStep.compositeStep11.outerState.subgraphStatePort.activeSteps = if compositeStep.compositeStep11.outerState.active then 1.0 else 0.0 ($RES_SIM_196) (46) [SCAL] (1) compositeStep.exitStep.outPort[1].reset = transition2.outPort.set ($RES_SIM_280) (47) [SCAL] (1) compositeStep.exitStep.outPort[1].available = compositeStep.outPort.available ($RES_SIM_281) (48) [SCAL] (1) compositeStep.compositeStep12.transition.outPort.set = compositeStep.compositeStep12.exitStep.inPort[1].set ($RES_SIM_282) (49) [SCAL] (1) compositeStep.compositeStep12.transition.outPort.occupied = compositeStep.compositeStep12.exitStep.inPort[1].occupied ($RES_SIM_283) (50) [SCAL] (1) compositeStep.compositeStep12.initStep.outPort[1].reset = compositeStep.compositeStep12.transition.outPort.set ($RES_SIM_284) (51) [SCAL] (1) compositeStep.compositeStep12.initStep.outPort[1].available = compositeStep.compositeStep12.transition.inPort.available ($RES_SIM_285) (52) [SCAL] (1) compositeStep.compositeStep12.initStep.inPort[1].set = compositeStep.transition2.inPort.reset ($RES_SIM_286) (53) [SCAL] (1) compositeStep.compositeStep12.initStep.inPort[1].occupied = compositeStep.transition2.outPort.occupied ($RES_SIM_287) (54) [SCAL] (1) compositeStep.compositeStep12.exitStep.outPort[1].reset = compositeStep.transition4.outPort.set ($RES_SIM_288) (55) [SCAL] (1) compositeStep.compositeStep12.exitStep.outPort[1].available = compositeStep.compositeStep12.outPort.available ($RES_SIM_289) (56) [SCAL] (1) compositeStep.compositeStep11.transition.outPort.set = compositeStep.compositeStep11.exitStep.inPort[1].set ($RES_SIM_296) (57) [SCAL] (1) compositeStep.compositeStep11.transition.outPort.occupied = compositeStep.compositeStep11.exitStep.inPort[1].occupied ($RES_SIM_297) (58) [SCAL] (1) compositeStep.compositeStep11.initStep.outPort[1].reset = compositeStep.compositeStep11.transition.outPort.set ($RES_SIM_298) (59) [SCAL] (1) compositeStep.compositeStep11.initStep.outPort[1].available = compositeStep.compositeStep11.transition.inPort.available ($RES_SIM_299) (60) [SCAL] (1) stateGraphRoot.activeSteps = -integer(stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_46) (61) [SCAL] (1) transition4.enableFire = $SEV_0 ($RES_SIM_49) (62) [SCAL] (1) transition4.outPort.set = $SEV_1 ($RES_SIM_50) (63) [SCAL] (1) transition4.t = if transition4.enableFire then transition4.t_dummy else 0.0 ($RES_SIM_51) (64) [WHEN] (1)when transition4.enableFire then (64) [----] time - transition4.t_dummy := time (64) [----] end when; (65) [SCAL] (1) step1.outPort[1].reset = false ($RES_SIM_54) (66) [SCAL] (1) step1.inPort[1].set = false ($RES_SIM_55) (67) [SCAL] (1) step1.outPort[1].available = step1.outerStatePort.localActive ($RES_SIM_56) (68) [SCAL] (1) step1.inPort[1].occupied = step1.outerStatePort.localActive ($RES_SIM_57) (69) [WHEN] (1)when false then (69) [----] step1.oldActive := step1.outerStatePort.localActive (69) [----] end when; (70) [SCAL] (1) step1.newActive = $SEV_2 ($RES_SIM_59) (71) [ARRY] (2) compositeStep.Alternative1.join.occupied = {compositeStep.Alternative1.outPort.occupied for $i1 in 1:2} ($RES_SIM_102) (72) [FOR-] (2) ($RES_SIM_103) (72) [----] for $i1 in 1:2 loop (72) [----] [SCAL] (1) compositeStep.Alternative1.split[$i1].available = if $SEV_11[$i1] then compositeStep.Alternative1.inPort.available else $SEV_12[$i1] ($RES_SIM_104) (72) [----] end for; (73) [SCAL] (1) $TEV_9 = $PRE.initialStep.newActive ($RES_EVT_400) (74) [SCAL] (1) $TEV_10 = $PRE.compositeStep.newActive ($RES_EVT_401) (75) [SCAL] (1) $TEV_11 = $PRE.compositeStep.transition4.outPort.set ($RES_EVT_402) (76) [SCAL] (1) $TEV_12 = $PRE.compositeStep.transition3.outPort.set ($RES_EVT_403) (77) [SCAL] (1) $TEV_13 = $PRE.compositeStep.transition2.inPort.reset ($RES_EVT_404) (78) [SCAL] (1) compositeStep.transition4.outPort.set = $SEV_13 ($RES_SIM_109) (79) [SCAL] (1) $TEV_14 = $PRE.compositeStep.compositeStep12.newActive ($RES_EVT_405) (80) [SCAL] (1) $TEV_15 = $PRE.compositeStep.compositeStep12.exitStep.oldActive ($RES_EVT_406) (81) [SCAL] (1) $TEV_16 = $PRE.compositeStep.compositeStep12.exitStep.outerStatePort.localActive ($RES_EVT_407) (82) [SCAL] (1) step1.outerStatePort.localActive = $TEV_3 ($RES_SIM_60) (83) [SCAL] (1) $TEV_17 = $PRE.compositeStep.compositeStep12.exitStep.newActive ($RES_EVT_408) (84) [SCAL] (1) $TEV_18 = $PRE.compositeStep.compositeStep12.initStep.oldActive ($RES_EVT_409) (85) [SCAL] (1) step1.outerStatePort.subgraphStatePort.activeSteps = if step1.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_62) (86) [SCAL] (1) transition3.enableFire = $SEV_3 ($RES_SIM_65) (87) [SCAL] (1) transition3.outPort.set = $SEV_4 ($RES_SIM_66) (88) [SCAL] (1) transition3.t = if transition3.enableFire then transition3.t_dummy else 0.0 ($RES_SIM_67) (89) [SCAL] (1) compositeStep.stateGraphRoot.suspend = $FUN_19 ($RES_BND_322) (90) [WHEN] (1)when transition3.enableFire then (90) [----] time - transition3.t_dummy := time (90) [----] end when; (91) [SCAL] (1) compositeStep.stateGraphRoot.resume = $FUN_20 ($RES_BND_323) (92) [SCAL] (1) compositeStep.transition1.localCondition = $TEV_38 ($RES_BND_325) (93) [SCAL] (1) compositeStep.compositeStep11.stateGraphRoot.suspend = $SEV_32 ($RES_BND_329) (94) [SCAL] (1) $TEV_19 = $PRE.compositeStep.compositeStep12.initStep.outerStatePort.localActive ($RES_EVT_410) (95) [SCAL] (1) $TEV_20 = $PRE.compositeStep.compositeStep12.initStep.newActive ($RES_EVT_411) (96) [SCAL] (1) compositeStep.transition3.outPort.set = $SEV_14 ($RES_SIM_116) (97) [SCAL] (1) $TEV_21 = $PRE.compositeStep.compositeStep12.transition.enableFire ($RES_EVT_412) (98) [SCAL] (1) $TEV_22 = $PRE.compositeStep.compositeStep11.newActive ($RES_EVT_413) (99) [SCAL] (1) $TEV_23 = $PRE.compositeStep.compositeStep11.exitStep.oldActive ($RES_EVT_414) (100) [SCAL] (1) $TEV_24 = $PRE.compositeStep.compositeStep11.exitStep.outerStatePort.localActive ($RES_EVT_415) (101) [SCAL] (1) $TEV_25 = $PRE.compositeStep.compositeStep11.exitStep.newActive ($RES_EVT_416) (102) [SCAL] (1) $TEV_26 = $PRE.compositeStep.compositeStep11.initStep.oldActive ($RES_EVT_417) (103) [SCAL] (1) $TEV_27 = $PRE.compositeStep.compositeStep11.initStep.outerStatePort.localActive ($RES_EVT_418) (104) [SCAL] (1) $TEV_28 = $PRE.compositeStep.compositeStep11.initStep.newActive ($RES_EVT_419) (105) [SCAL] (1) compositeStep.exitStep.outPort[1].reset = false ($RES_SIM_200) (106) [SCAL] (1) transition2.enableFire = $SEV_5 ($RES_SIM_72) (107) [SCAL] (1) compositeStep.exitStep.inPort[1].set = false ($RES_SIM_201) (108) [SCAL] (1) transition2.outPort.set = $SEV_6 ($RES_SIM_73) (109) [SCAL] (1) compositeStep.exitStep.outPort[1].available = compositeStep.exitStep.outerStatePort.localActive ($RES_SIM_202) (110) [SCAL] (1) transition2.t = if transition2.enableFire then transition2.t_dummy else 0.0 ($RES_SIM_74) (111) [SCAL] (1) compositeStep.exitStep.inPort[1].occupied = compositeStep.exitStep.outerStatePort.localActive ($RES_SIM_203) (112) [WHEN] (1)when transition2.enableFire then (112) [----] time - transition2.t_dummy := time (112) [----] end when; (113) [WHEN] (1)when compositeStep.stateGraphRoot.suspend then (113) [----] compositeStep.exitStep.oldActive := compositeStep.exitStep.outerStatePort.localActive (113) [----] end when; (114) [SCAL] (1) compositeStep.compositeStep11.stateGraphRoot.resume = $SEV_31 ($RES_BND_330) (115) [SCAL] (1) compositeStep.exitStep.newActive = if compositeStep.stateGraphRoot.resume then compositeStep.exitStep.oldActive else $SEV_26 ($RES_SIM_205) (116) [SCAL] (1) compositeStep.exitStep.outerStatePort.localActive = $TEV_32 ($RES_SIM_206) (117) [SCAL] (1) transition1.enableFire = $SEV_7 ($RES_SIM_79) (118) [SCAL] (1) compositeStep.exitStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.exitStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_208) (119) [SCAL] (1) compositeStep.initStep.outPort[1].reset = false ($RES_SIM_209) (120) [SCAL] (1) compositeStep.compositeStep12.stateGraphRoot.suspend = $SEV_30 ($RES_BND_336) (121) [SCAL] (1) compositeStep.compositeStep12.stateGraphRoot.resume = $SEV_29 ($RES_BND_337) (122) [SCAL] (1) compositeStep.transition2.inPort.reset = $SEV_15 ($RES_SIM_123) (123) [SCAL] (1) $TEV_29 = $PRE.compositeStep.compositeStep11.transition.enableFire ($RES_EVT_420) (124) [SCAL] (1) $TEV_30 = $PRE.compositeStep.exitStep.oldActive ($RES_EVT_421) (125) [SCAL] (1) $TEV_31 = $PRE.compositeStep.exitStep.outerStatePort.localActive ($RES_EVT_422) (126) [SCAL] (1) $TEV_32 = $PRE.compositeStep.exitStep.newActive ($RES_EVT_423) (127) [SCAL] (1) $TEV_33 = $PRE.compositeStep.initStep.oldActive ($RES_EVT_424) (128) [SCAL] (1) compositeStep.compositeStep12.resume[1].set = false ($RES_SIM_128) (129) [SCAL] (1) $TEV_34 = $PRE.compositeStep.initStep.outerStatePort.localActive ($RES_EVT_425) (130) [SCAL] (1) compositeStep.compositeStep12.suspend[1].reset = false ($RES_SIM_129) (131) [SCAL] (1) $TEV_35 = $PRE.compositeStep.initStep.newActive ($RES_EVT_426) (132) [SCAL] (1) $TEV_36 = $PRE.compositeStep.transition1.inPort.reset ($RES_EVT_427) (133) [SCAL] (1) $TEV_37 = time >= 4.0 ($RES_EVT_428) (134) [SCAL] (1) transition1.inPort.reset = $SEV_8 ($RES_SIM_80) (135) [SCAL] (1) $TEV_38 = time >= 8.0 ($RES_EVT_429) (136) [SCAL] (1) transition1.t = if transition1.enableFire then transition1.t_dummy else 0.0 ($RES_SIM_81) (137) [SCAL] (1) compositeStep.initStep.inPort[1].set = false ($RES_SIM_210) (138) [SCAL] (1) compositeStep.initStep.outPort[1].available = compositeStep.initStep.outerStatePort.localActive ($RES_SIM_211) (139) [WHEN] (1)when transition1.enableFire then (139) [----] time - transition1.t_dummy := time (139) [----] end when; (140) [SCAL] (1) compositeStep.initStep.inPort[1].occupied = compositeStep.initStep.outerStatePort.localActive ($RES_SIM_212) (141) [SCAL] (1) initialStep.outPort[1].reset = false ($RES_SIM_84) (142) [WHEN] (1)when compositeStep.stateGraphRoot.suspend then (142) [----] compositeStep.initStep.oldActive := compositeStep.initStep.outerStatePort.localActive (142) [----] end when; (143) [SCAL] (1) initialStep.inPort[1].set = false ($RES_SIM_85) (144) [SCAL] (1) compositeStep.initStep.newActive = if compositeStep.stateGraphRoot.resume then compositeStep.initStep.oldActive else $SEV_27 ($RES_SIM_214) (145) [SCAL] (1) initialStep.outPort[1].available = initialStep.outerStatePort.localActive ($RES_SIM_86) (146) [SCAL] (1) compositeStep.initStep.outerStatePort.localActive = $TEV_35 ($RES_SIM_215) (147) [SCAL] (1) initialStep.inPort[1].occupied = initialStep.outerStatePort.localActive ($RES_SIM_87) (148) [WHEN] (1)when false then (148) [----] initialStep.oldActive := initialStep.outerStatePort.localActive (148) [----] end when; (149) [SCAL] (1) compositeStep.initStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.initStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_217) (150) [SCAL] (1) initialStep.newActive = $SEV_9 ($RES_SIM_89) (151) [SCAL] (1) compositeStep.transition2.localCondition = $TEV_37 ($RES_BND_343) (152) [SCAL] (1) compositeStep.compositeStep11.initStep.inPort[1].set = compositeStep.transition1.inPort.reset ($RES_SIM_300) (153) [SCAL] (1) $FUN_1 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.initStep.inPort.set) ($RES_$AUX_384) (154) [SCAL] (1) compositeStep.compositeStep11.initStep.inPort[1].occupied = compositeStep.transition1.outPort.occupied ($RES_SIM_301) (155) [SCAL] (1) $FUN_2 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.initStep.outPort.reset) ($RES_$AUX_383) (156) [SCAL] (1) compositeStep.compositeStep11.exitStep.outPort[1].reset = compositeStep.transition3.outPort.set ($RES_SIM_302) (157) [SCAL] (1) $FUN_3 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.exitStep.inPort.set) ($RES_$AUX_382) (158) [SCAL] (1) compositeStep.compositeStep11.exitStep.outPort[1].available = compositeStep.compositeStep11.outPort.available ($RES_SIM_303) (159) [SCAL] (1) $FUN_4 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.exitStep.outPort.reset) ($RES_$AUX_381) (160) [SCAL] (1) $FUN_5 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.initStep.inPort.set) ($RES_$AUX_380) (161) [SCAL] (1) compositeStep.compositeStep12.suspend[1].available = compositeStep.compositeStep12.outerState.active ($RES_SIM_130) (162) [SCAL] (1) compositeStep.compositeStep12.resume[1].occupied = compositeStep.compositeStep12.outerState.active ($RES_SIM_131) (163) [SCAL] (1) compositeStep.compositeStep12.newActive = $SEV_16 ($RES_SIM_132) (164) [SCAL] (1) compositeStep.compositeStep12.outerState.active = $TEV_14 ($RES_SIM_133) (165) [SCAL] (1) $SEV_0 = transition4.inPort.available and not transition4.outPort.occupied ($RES_EVT_430) (166) [SCAL] (1) compositeStep.compositeStep12.activeSteps = -integer(compositeStep.compositeStep12.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_134) (167) [SCAL] (1) $SEV_1 = transition4.enableFire and time >= ((time - transition4.t_dummy) + transition4.waitTime) ($RES_EVT_431) (168) [SCAL] (1) compositeStep.compositeStep12.exitStep.outPort[1].reset = false ($RES_SIM_135) (169) [SCAL] (1) $SEV_2 = $FUN_23 or step1.outerStatePort.localActive and not $FUN_24 ($RES_EVT_432) (170) [SCAL] (1) compositeStep.compositeStep12.exitStep.inPort[1].set = false ($RES_SIM_136) (171) [SCAL] (1) $SEV_3 = transition3.inPort.available and not transition3.outPort.occupied ($RES_EVT_433) (172) [SCAL] (1) compositeStep.compositeStep12.exitStep.outPort[1].available = compositeStep.compositeStep12.exitStep.outerStatePort.localActive ($RES_SIM_137) (173) [SCAL] (1) $SEV_4 = transition3.enableFire and time >= ((time - transition3.t_dummy) + transition3.waitTime) ($RES_EVT_434) (174) [SCAL] (1) compositeStep.compositeStep12.exitStep.inPort[1].occupied = compositeStep.compositeStep12.exitStep.outerStatePort.localActive ($RES_SIM_138) (175) [SCAL] (1) $SEV_5 = compositeStep.outPort.available and not transition2.outPort.occupied ($RES_EVT_435) (176) [WHEN] (1)when compositeStep.compositeStep12.stateGraphRoot.suspend then (176) [----] compositeStep.compositeStep12.exitStep.oldActive := compositeStep.compositeStep12.exitStep.outerStatePort.localActive (176) [----] end when; (177) [SCAL] (1) $SEV_6 = transition2.enableFire and time >= ((time - transition2.t_dummy) + transition2.waitTime) ($RES_EVT_436) (178) [SCAL] (1) $SEV_7 = transition1.inPort.available and not transition1.outPort.occupied ($RES_EVT_437) (179) [SCAL] (1) $SEV_8 = transition1.enableFire and time >= ((time - transition1.t_dummy) + transition1.waitTime) ($RES_EVT_438) (180) [SCAL] (1) initialStep.outerStatePort.localActive = $TEV_9 ($RES_SIM_90) (181) [SCAL] (1) $SEV_9 = $FUN_21 or initialStep.outerStatePort.localActive and not $FUN_22 ($RES_EVT_439) (182) [SCAL] (1) compositeStep.transition1.inPort.reset = $SEV_28 ($RES_SIM_220) (183) [SCAL] (1) initialStep.outerStatePort.subgraphStatePort.activeSteps = if initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_92) (184) [SCAL] (1) compositeStep.resume[1].set = false ($RES_SIM_93) (185) [SCAL] (1) compositeStep.suspend[1].reset = false ($RES_SIM_94) (186) [SCAL] (1) compositeStep.suspend[1].available = compositeStep.outerState.active ($RES_SIM_95) (187) [SCAL] (1) compositeStep.resume[1].occupied = compositeStep.outerState.active ($RES_SIM_96) (188) [SCAL] (1) compositeStep.outerState.subgraphStatePort.activeSteps = if compositeStep.outerState.active then 1.0 else 0.0 ($RES_SIM_225) (189) [SCAL] (1) compositeStep.newActive = $SEV_10 ($RES_SIM_97) (190) [SCAL] (1) compositeStep.outerState.active = $TEV_10 ($RES_SIM_98) (191) [SCAL] (1) compositeStep.activeSteps = -integer(compositeStep.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_99) (192) [SCAL] (1) compositeStep.compositeStep12.initStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.compositeStep12.exitStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.compositeStep12.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_229) (193) [SCAL] (1) $FUN_6 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.initStep.outPort.reset) ($RES_$AUX_379) (194) [SCAL] (1) $FUN_7 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.exitStep.inPort.set) ($RES_$AUX_378) (195) [SCAL] (1) $FUN_8 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.exitStep.outPort.reset) ($RES_$AUX_377) (196) [SCAL] (1) $FUN_9 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.suspend.reset) ($RES_$AUX_376) (197) [SCAL] (1) $FUN_10 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep11.resume.set) ($RES_$AUX_375) (198) [SCAL] (1) $FUN_11 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.initStep.inPort.set) ($RES_$AUX_374) (199) [SCAL] (1) $FUN_12 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.initStep.outPort.reset) ($RES_$AUX_373) (200) [SCAL] (1) $FUN_13 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.exitStep.inPort.set) ($RES_$AUX_372) (201) [SCAL] (1) $FUN_14 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.exitStep.outPort.reset) ($RES_$AUX_371) (202) [SCAL] (1) $FUN_15 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.suspend.reset) ($RES_$AUX_370) (203) [SCAL] (1) compositeStep.compositeStep12.exitStep.newActive = if compositeStep.compositeStep12.stateGraphRoot.resume then compositeStep.compositeStep12.exitStep.oldActive else $SEV_17 ($RES_SIM_140) (204) [SCAL] (1) compositeStep.compositeStep12.exitStep.outerStatePort.localActive = $TEV_17 ($RES_SIM_141) (205) [SCAL] (1) compositeStep.compositeStep12.exitStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.compositeStep12.exitStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_143) (206) [SCAL] (1) $SEV_10 = compositeStep.activeSteps > 0 and not $FUN_19 or $FUN_20 ($RES_EVT_440) (207) [SCAL] (1) compositeStep.compositeStep12.initStep.outPort[1].reset = false ($RES_SIM_144) (208) [FOR-] (2) ($RES_EVT_441) (208) [----] for $i1 in 1:2 loop (208) [----] [SCAL] (1) $SEV_11[$i1] = $i1 == 1 ($RES_EVT_442) (208) [----] end for; (209) [SCAL] (1) compositeStep.compositeStep12.initStep.inPort[1].set = false ($RES_SIM_145) (210) [SCAL] (1) compositeStep.compositeStep12.initStep.outPort[1].available = compositeStep.compositeStep12.initStep.outerStatePort.localActive ($RES_SIM_146) (211) [FOR-] (2) ($RES_EVT_443) (211) [----] for $i1 in 1:2 loop (211) [----] [SCAL] (1) $SEV_12[$i1] = compositeStep.Alternative1.split[$i1 - 1].available and not compositeStep.Alternative1.split[$i1 - 1].reset ($RES_EVT_444) (211) [----] end for; (212) [SCAL] (1) compositeStep.compositeStep12.initStep.inPort[1].occupied = compositeStep.compositeStep12.initStep.outerStatePort.localActive ($RES_SIM_147) (213) [WHEN] (1)when compositeStep.compositeStep12.stateGraphRoot.suspend then (213) [----] compositeStep.compositeStep12.initStep.oldActive := compositeStep.compositeStep12.initStep.outerStatePort.localActive (213) [----] end when; (214) [SCAL] (1) $SEV_13 = compositeStep.compositeStep12.outPort.available and not compositeStep.transition4.outPort.occupied ($RES_EVT_445) (215) [SCAL] (1) compositeStep.compositeStep12.initStep.newActive = if compositeStep.compositeStep12.stateGraphRoot.resume then compositeStep.compositeStep12.initStep.oldActive else $SEV_18 ($RES_SIM_149) (216) [SCAL] (1) $SEV_14 = compositeStep.compositeStep11.outPort.available and not compositeStep.transition3.outPort.occupied ($RES_EVT_446) (217) [SCAL] (1) $SEV_15 = (compositeStep.transition2.localCondition and compositeStep.transition2.inPort.available) and not compositeStep.transition2.outPort.occupied ($RES_EVT_447) (218) [SCAL] (1) $SEV_16 = ((compositeStep.compositeStep12.activeSteps > 0 and not $FUN_15) and not compositeStep.stateGraphRoot.suspend or $FUN_16) or compositeStep.stateGraphRoot.resume ($RES_EVT_448) (219) [SCAL] (1) $SEV_17 = ($FUN_13 or compositeStep.compositeStep12.exitStep.outerStatePort.localActive and not $FUN_14) and not compositeStep.compositeStep12.stateGraphRoot.suspend ($RES_EVT_449) (220) [SCAL] (1) compositeStep.compositeStep11.initStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.compositeStep11.exitStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.compositeStep11.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_230) (221) [SCAL] (1) compositeStep.initStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.exitStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.compositeStep11.outerState.subgraphStatePort.activeSteps + compositeStep.compositeStep12.outerState.subgraphStatePort.activeSteps + compositeStep.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_231) (222) [SCAL] (1) initialStep.outerStatePort.subgraphStatePort.activeSteps + step1.outerStatePort.subgraphStatePort.activeSteps + stateGraphRoot.subgraphStatePort.activeSteps + compositeStep.outerState.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_232) (223) [SCAL] (1) transition4.outPort.set = compositeStep.resume[1].set ($RES_SIM_233) (224) [SCAL] (1) transition4.outPort.occupied = compositeStep.resume[1].occupied ($RES_SIM_234) (225) [SCAL] (1) step1.outPort[1].reset = transition4.outPort.set ($RES_SIM_235) (226) [SCAL] (1) step1.outPort[1].available = transition4.inPort.available ($RES_SIM_236) (227) [SCAL] (1) transition3.outPort.set = step1.inPort[1].set ($RES_SIM_237) (228) [SCAL] (1) transition3.outPort.occupied = step1.inPort[1].occupied ($RES_SIM_238) (229) [SCAL] (1) compositeStep.suspend[1].reset = transition3.outPort.set ($RES_SIM_239) (230) [SCAL] (1) $FUN_16 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.compositeStep12.resume.set) ($RES_$AUX_369) (231) [SCAL] (1) compositeStep.Alternative1.inPort.reset = Modelica.StateGraph.Temporary.anyTrue(compositeStep.Alternative1.split.reset) ($RES_$AUX_368) (232) [SCAL] (1) compositeStep.Alternative1.outPort.set = Modelica.StateGraph.Temporary.anyTrue(compositeStep.Alternative1.join.set) ($RES_$AUX_367) (233) [SCAL] (1) $FUN_19 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.suspend.reset) ($RES_$AUX_366) (234) [SCAL] (1) $FUN_20 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.resume.set) ($RES_$AUX_365) (235) [SCAL] (1) $FUN_21 = Modelica.StateGraph.Temporary.anyTrue(initialStep.inPort.set) ($RES_$AUX_364) (236) [SCAL] (1) $FUN_22 = Modelica.StateGraph.Temporary.anyTrue(initialStep.outPort.reset) ($RES_$AUX_363) (237) [SCAL] (1) $FUN_23 = Modelica.StateGraph.Temporary.anyTrue(step1.inPort.set) ($RES_$AUX_362) (238) [SCAL] (1) $FUN_24 = Modelica.StateGraph.Temporary.anyTrue(step1.outPort.reset) ($RES_$AUX_361) (239) [SCAL] (1) compositeStep.compositeStep12.initStep.outerStatePort.localActive = $TEV_20 ($RES_SIM_150) (240) [SCAL] (1) compositeStep.compositeStep12.initStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.compositeStep12.initStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_152) (241) [SCAL] (1) $SEV_18 = ($FUN_11 or compositeStep.compositeStep12.initStep.outerStatePort.localActive and not $FUN_12) and not compositeStep.compositeStep12.stateGraphRoot.suspend ($RES_EVT_450) (242) [SCAL] (1) compositeStep.compositeStep12.transition.enableFire = $SEV_19 ($RES_SIM_155) (243) [SCAL] (1) $SEV_19 = compositeStep.compositeStep12.transition.inPort.available and not compositeStep.compositeStep12.transition.outPort.occupied ($RES_EVT_451) (244) [SCAL] (1) compositeStep.compositeStep12.transition.outPort.set = $SEV_20 ($RES_SIM_156) (245) [SCAL] (1) $SEV_20 = compositeStep.compositeStep12.transition.enableFire and time >= ((time - compositeStep.compositeStep12.transition.t_dummy) + compositeStep.compositeStep12.transition.waitTime) ($RES_EVT_452) (246) [SCAL] (1) compositeStep.compositeStep12.transition.t = if compositeStep.compositeStep12.transition.enableFire then compositeStep.compositeStep12.transition.t_dummy else 0.0 ($RES_SIM_157) (247) [SCAL] (1) $SEV_21 = ((compositeStep.compositeStep11.activeSteps > 0 and not $FUN_9) and not compositeStep.stateGraphRoot.suspend or $FUN_10) or compositeStep.stateGraphRoot.resume ($RES_EVT_453) (248) [SCAL] (1) $SEV_22 = ($FUN_7 or compositeStep.compositeStep11.exitStep.outerStatePort.localActive and not $FUN_8) and not compositeStep.compositeStep11.stateGraphRoot.suspend ($RES_EVT_454) (249) [WHEN] (1)when compositeStep.compositeStep12.transition.enableFire then (249) [----] time - compositeStep.compositeStep12.transition.t_dummy := time (249) [----] end when; (250) [SCAL] (1) $SEV_23 = ($FUN_5 or compositeStep.compositeStep11.initStep.outerStatePort.localActive and not $FUN_6) and not compositeStep.compositeStep11.stateGraphRoot.suspend ($RES_EVT_455) (251) [SCAL] (1) $SEV_24 = compositeStep.compositeStep11.transition.inPort.available and not compositeStep.compositeStep11.transition.outPort.occupied ($RES_EVT_456) (252) [SCAL] (1) $SEV_25 = compositeStep.compositeStep11.transition.enableFire and time >= ((time - compositeStep.compositeStep11.transition.t_dummy) + compositeStep.compositeStep11.transition.waitTime) ($RES_EVT_457) (253) [SCAL] (1) $SEV_26 = ($FUN_3 or compositeStep.exitStep.outerStatePort.localActive and not $FUN_4) and not compositeStep.stateGraphRoot.suspend ($RES_EVT_458) (254) [SCAL] (1) $SEV_27 = ($FUN_1 or compositeStep.initStep.outerStatePort.localActive and not $FUN_2) and not compositeStep.stateGraphRoot.suspend ($RES_EVT_459) (255) [SCAL] (1) compositeStep.suspend[1].available = transition3.inPort.available ($RES_SIM_240) (256) [SCAL] (1) transition2.outPort.set = initialStep.inPort[1].set ($RES_SIM_241) (257) [SCAL] (1) transition2.outPort.occupied = initialStep.inPort[1].occupied ($RES_SIM_242) (258) [SCAL] (1) initialStep.outPort[1].reset = transition1.inPort.reset ($RES_SIM_245) (259) [SCAL] (1) initialStep.outPort[1].available = transition1.inPort.available ($RES_SIM_246) (260) [SCAL] (1) compositeStep.compositeStep12.outerState.subgraphStatePort.activeSteps = if compositeStep.compositeStep12.outerState.active then 1.0 else 0.0 ($RES_SIM_160) (261) [SCAL] (1) compositeStep.compositeStep11.resume[1].set = false ($RES_SIM_164) (262) [SCAL] (1) $SEV_28 = (compositeStep.transition1.localCondition and compositeStep.transition1.inPort.available) and not compositeStep.transition1.outPort.occupied ($RES_EVT_460) (263) [SCAL] (1) compositeStep.compositeStep11.suspend[1].reset = false ($RES_SIM_165) (264) [SCAL] (1) $SEV_29 = $FUN_16 or compositeStep.stateGraphRoot.resume ($RES_EVT_461) (265) [SCAL] (1) compositeStep.compositeStep11.suspend[1].available = compositeStep.compositeStep11.outerState.active ($RES_SIM_166) (266) [SCAL] (1) $SEV_30 = $FUN_15 or compositeStep.stateGraphRoot.suspend ($RES_EVT_462) (267) [SCAL] (1) compositeStep.compositeStep11.resume[1].occupied = compositeStep.compositeStep11.outerState.active ($RES_SIM_167) (268) [SCAL] (1) $SEV_31 = $FUN_10 or compositeStep.stateGraphRoot.resume ($RES_EVT_463) (269) [SCAL] (1) compositeStep.compositeStep11.newActive = $SEV_21 ($RES_SIM_168) (270) [SCAL] (1) $SEV_32 = $FUN_9 or compositeStep.stateGraphRoot.suspend ($RES_EVT_464) (271) [SCAL] (1) compositeStep.compositeStep11.outerState.active = $TEV_22 ($RES_SIM_169)