Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.2_Modelica.StateGraph.Examples.ShowCompositeStep.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.ShowCompositeStep,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.StateGraph.Examples.ShowCompositeStep") translateModel(Modelica.StateGraph.Examples.ShowCompositeStep,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.StateGraph.Examples.ShowCompositeStep") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001199/0.001199, allocations: 116.6 kB / 17.75 MB, free: 5.168 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.001128/0.001128, allocations: 192.6 kB / 18.68 MB, free: 4.254 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.302/1.302, allocations: 205.1 MB / 224.6 MB, free: 12.22 MB / 190.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.495e-05/2.496e-05, allocations: 2.281 kB / 328.5 MB, free: 3.363 MB / 270.1 MB Notification: Performance of NFInst.instantiate(Modelica.StateGraph.Examples.ShowCompositeStep): time 0.003443/0.003476, allocations: 2.581 MB / 331.1 MB, free: 0.7617 MB / 270.1 MB Notification: Performance of NFInst.instExpressions: time 0.001953/0.005441, allocations: 1.021 MB / 332.1 MB, free: 15.74 MB / 286.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0004594/0.005913, allocations: 19.94 kB / 332.1 MB, free: 15.72 MB / 286.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0003681/0.006288, allocations: 122.6 kB / 332.2 MB, free: 15.6 MB / 286.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0003735/0.006692, allocations: 79.12 kB / 332.3 MB, free: 15.52 MB / 286.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.001054/0.007755, allocations: 0.5578 MB / 332.9 MB, free: 14.96 MB / 286.1 MB Notification: Performance of NFFlatten.flatten: time 0.0009686/0.008734, allocations: 1.245 MB / 334.1 MB, free: 13.71 MB / 286.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0009365/0.00968, allocations: 0.9864 MB / 335.1 MB, free: 12.71 MB / 286.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.0004451/0.01014, allocations: 0.5728 MB / 335.7 MB, free: 12.13 MB / 286.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0004447/0.01059, allocations: 0.541 MB / 336.2 MB, free: 11.59 MB / 286.1 MB Notification: Performance of NFPackage.collectConstants: time 0.000146/0.01074, allocations: 144 kB / 336.3 MB, free: 11.45 MB / 286.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0001917/0.01094, allocations: 167.9 kB / 336.5 MB, free: 11.29 MB / 286.1 MB Notification: Performance of combineBinaries: time 0.0007638/0.01171, allocations: 1.403 MB / 337.9 MB, free: 9.867 MB / 286.1 MB Notification: Performance of replaceArrayConstructors: time 0.0003588/0.01208, allocations: 0.8117 MB / 338.7 MB, free: 9.043 MB / 286.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0001396/0.01222, allocations: 159.5 kB / 338.9 MB, free: 8.887 MB / 286.1 MB Notification: Performance of FrontEnd: time 0.0001541/0.01238, allocations: 139 kB / 339 MB, free: 8.75 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: 277 (271) * Number of variables: 261 (249) Notification: Performance of Bindings: time 0.003632/0.01602, allocations: 4.145 MB / 343.2 MB, free: 4.422 MB / 286.1 MB Notification: Performance of FunctionAlias: time 0.0006722/0.0167, allocations: 0.7387 MB / 343.9 MB, free: 3.648 MB / 286.1 MB Notification: Performance of Early Inline: time 0.002824/0.01953, allocations: 3.225 MB / 347.1 MB, free: 380 kB / 286.1 MB Notification: Performance of simplify1: time 0.000296/0.01984, allocations: 231.7 kB / 347.3 MB, free: 148 kB / 286.1 MB Notification: Performance of Alias: time 0.005038/0.02489, allocations: 4.684 MB / 352 MB, free: 11.03 MB / 302.1 MB Notification: Performance of simplify2: time 0.0001692/0.02507, allocations: 171.8 kB / 352.2 MB, free: 10.86 MB / 302.1 MB Notification: Performance of Events: time 0.0008175/0.0259, allocations: 0.7655 MB / 353 MB, free: 10.07 MB / 302.1 MB Notification: Performance of Detect States: time 0.001326/0.02723, allocations: 1.368 MB / 354.3 MB, free: 8.656 MB / 302.1 MB Notification: Performance of Partitioning: time 0.001254/0.0285, allocations: 1.253 MB / 355.6 MB, free: 7.383 MB / 302.1 MB Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency transition2.outPort.set could not be divided by the body size 2 without rest. Error: Internal error NBAdjacency.Matrix.createPseudo failed for: [ARRY] (2) Parallel1.join.reset = {transition2.outPort.set for $i1 in 1:2} ($RES_SIM_48) Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system: System Variables (226/242) **************************** (1) [DISS] (1) protected Boolean step0.oldActive (2) [ALGB] (1) protected Real compositeStep.transition4a.t_dummy (3) [DISC] (1) Boolean $SEV_27 (4) [DISC] (1) Boolean $SEV_26 (5) [ALGB] (1) flow Real compositeStep.stateGraphRoot.subgraphStatePort.activeSteps (6) [DISC] (1) protected Boolean step6.outerStatePort.localActive = step6.outerStatePort.localActive (7) [DISC] (1) Boolean $SEV_25 (8) [DISC] (1) Boolean compositeStep.transition6a.outPort.occupied (9) [DISC] (1) Boolean $SEV_24 (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) [DISS] (1) protected Boolean compositeStep.exitStep.oldActive (16) [DISC] (1) Boolean $SEV_20 (17) [DISC] (1) Boolean $TEV_9 (18) [DISC] (1) Boolean $TEV_8 (19) [ALGB] (1) protected flow Real compositeStep.step4.outerStatePort.subgraphStatePort.activeSteps (20) [DISC] (1) Boolean $TEV_7 (21) [DISC] (1) Boolean $TEV_6 (22) [DISC] (1) Boolean $TEV_5 (23) [DISC] (1) protected Boolean compositeStep.step4a.newActive (24) [DISC] (1) Boolean $TEV_4 (25) [DISS] (1) protected Boolean compositeStep.step4.oldActive (26) [DISC] (1) Boolean $TEV_3 (27) [DISC] (1) Boolean compositeStep.outPort.reset (28) [DISC] (1) Boolean $TEV_2 (29) [DISC] (1) protected Boolean step1.outerStatePort.localActive = step1.outerStatePort.localActive (30) [ALGB] (1) protected Real compositeStep.transition3.t_dummy (31) [DISC] (1) Boolean $TEV_1 (32) [DISC] (1) Boolean $TEV_0 (33) [DISC] (1) Boolean $TEV_34 (34) [DISC] (1) protected Boolean compositeStep.step3.newActive (35) [DISC] (1) Boolean $TEV_33 (36) [DISC] (1) Boolean $TEV_32 (37) [DISC] (1) Boolean compositeStep.transition5.outPort.set (38) [ALGB] (1) protected flow Real step6.outerStatePort.subgraphStatePort.activeSteps (39) [DISC] (1) Boolean $TEV_31 (40) [DISC] (1) Boolean $TEV_30 (41) [ALGB] (1) protected flow Real compositeStep.step4a.outerStatePort.subgraphStatePort.activeSteps (42) [DISC] (1) Boolean $SEV_19 (43) [DISC] (1) Boolean compositeStep.Alternative1.outPort.set (44) [DISC] (1) Boolean $SEV_18 (45) [DISC] (1) Boolean $SEV_17 (46) [DISC] (1) Boolean[1] compositeStep.step4a.outPort.reset (47) [DISC] (1) Boolean $SEV_16 (48) [DISC] (1) Boolean $SEV_15 (49) [DISC] (1) protected Boolean compositeStep.exitStep.newActive (50) [DISC] (1) Boolean $SEV_14 (51) [DISC] (1) Boolean $SEV_13 (52) [DISC] (1) protected Boolean compositeStep.initStep.newActive (53) [DISC] (1) Boolean $SEV_12 (54) [ALGB] (1) Real compositeStep.transition3.t (55) [DISC] (1) Boolean $SEV_11 (56) [DISS] (1) protected Boolean compositeStep.step4a.oldActive (57) [DISC] (1) protected Boolean compositeStep.step4.newActive (58) [DISC] (1) Boolean compositeStep.transition5.outPort.occupied (59) [DISC] (3) Boolean[3] compositeStep.Alternative1.split.reset (60) [DISC] (1) Boolean[1] compositeStep.step3.outPort.reset (61) [ALGB] (1) protected Real compositeStep.transition4.t_dummy (62) [DISC] (1) Boolean compositeStep.transition6.outPort.occupied (63) [DISC] (1) Boolean Parallel1.outPort.available (64) [DISC] (1) Boolean $TEV_29 (65) [DISC] (1) Boolean $TEV_28 (66) [DISC] (1) Boolean $TEV_27 (67) [DISC] (1) Boolean[1] step0.inPort.set (68) [DISC] (1) Boolean[1] step1.inPort.occupied (69) [DISC] (1) Boolean $TEV_26 (70) [DISC] (1) Boolean $TEV_25 (71) [DISC] (1) Boolean $TEV_24 (72) [DISC] (1) Boolean $TEV_23 (73) [DISC] (1) Boolean $TEV_22 (74) [DISC] (1) Boolean $TEV_21 (75) [ALGB] (1) Real compositeStep.transition4a.t (76) [DISC] (1) Boolean compositeStep.inPort.occupied (77) [DISC] (1) Boolean[1] compositeStep.resume.set (78) [DISC] (1) protected Boolean compositeStep.step4a.outerStatePort.localActive = compositeStep.step4a.outerStatePort.localActive (79) [DISC] (1) Boolean transition7.inPort.available (80) [DISC] (2) Boolean[2] Parallel1.split.set (81) [DISC] (1) Boolean $TEV_20 (82) [DISC] (1) Boolean compositeStep.transition5.enableFire (83) [DISC] (1) Boolean transition2.enableFire (84) [DISS] (1) protected Boolean compositeStep.initStep.oldActive (85) [DISC] (1) Boolean[1] compositeStep.step4.outPort.reset (86) [DISC] (1) Boolean transition1.inPort.reset (87) [DISC] (1) Boolean $FUN_9 (88) [DISC] (1) Boolean $FUN_8 (89) [DISC] (1) Boolean[1] step0.outPort.available (90) [DISC] (1) Boolean $FUN_7 (91) [DISC] (1) Boolean compositeStep.transition4.inPort.available (92) [DISC] (1) Boolean $FUN_6 (93) [DISC] (1) Boolean[1] step1.outPort.available (94) [DISC] (1) Boolean $FUN_5 (95) [ALGB] (1) protected Real compositeStep.transition5.t_dummy (96) [DISC] (1) Boolean transition1.inPort.available (97) [DISC] (1) Boolean compositeStep.transition4a.outPort.set (98) [DISC] (1) Boolean compositeStep.transition6a.outPort.set (99) [DISC] (1) Boolean[1] compositeStep.suspend.available (100) [DISC] (1) Boolean $FUN_4 (101) [DISC] (1) Boolean $FUN_3 (102) [DISC] (1) Boolean $TEV_19 (103) [DISC] (1) Boolean compositeStep.transition5.inPort.available (104) [DISC] (1) Boolean $FUN_2 (105) [DISC] (1) Boolean $TEV_18 (106) [DISC] (1) Boolean $FUN_1 (107) [DISC] (1) Boolean $TEV_17 (108) [DISC] (1) Boolean $TEV_16 (109) [DISC] (1) Boolean[1] step6.inPort.set (110) [DISC] (1) Boolean compositeStep.transition4a.inPort.available (111) [DISC] (1) Boolean $TEV_15 (112) [DISC] (1) Boolean $TEV_14 (113) [DISC] (1) Boolean[1] step6.outPort.available (114) [DISC] (1) Boolean $FUN_20 (115) [DISC] (1) Boolean $TEV_13 (116) [ALGB] (1) protected flow Real step0.outerStatePort.subgraphStatePort.activeSteps (117) [DISC] (1) Boolean $TEV_12 (118) [DISC] (1) Boolean transition2.outPort.set (119) [DISC] (1) Boolean[1] compositeStep.suspend.reset (120) [DISC] (1) Boolean $TEV_11 (121) [DISC] (1) Boolean $TEV_10 (122) [DISC] (3) Boolean[3] $SEV_9[$i1] (123) [DISC] (3) Boolean[3] compositeStep.Alternative1.join.set (124) [DISC] (1) Boolean transition7.outPort.occupied (125) [DISC] (1) protected Boolean compositeStep.step4.outerStatePort.localActive = compositeStep.step4.outerStatePort.localActive (126) [DISC] (3) Boolean[3] compositeStep.Alternative1.split.available (127) [DISC] (1) Boolean compositeStep.stateGraphRoot.suspend = Modelica.StateGraph.Temporary.anyTrue(compositeStep.suspend.reset) or false (128) [DISC] (1) Boolean[1] step6.outPort.reset (129) [DISC] (1) Boolean[1] step0.inPort.occupied (130) [ALGB] (1) protected flow Real compositeStep.initStep.outerStatePort.subgraphStatePort.activeSteps (131) [ALGB] (1) protected flow Real step1.outerStatePort.subgraphStatePort.activeSteps (132) [ALGB] (1) Real compositeStep.transition6.t (133) [DISC] (1) Boolean $FUN_19 (134) [DISC] (1) Boolean $FUN_18 (135) [DISC] (1) Boolean compositeStep.outPort.available (136) [DISC] (1) Boolean $FUN_17 (137) [ALGB] (1) protected Real compositeStep.transition6.t_dummy (138) [DISC] (1) protected Boolean step6.newActive (139) [DISC] (1) Boolean $FUN_16 (140) [DISC] (1) Boolean $FUN_15 (141) [DISC] (1) Boolean compositeStep.transition4a.outPort.occupied (142) [DISC] (1) Boolean $FUN_14 (143) [DISC] (1) Boolean transition7.outPort.set (144) [DISC] (1) Boolean $FUN_13 (145) [DISC] (1) Boolean[1] compositeStep.initStep.outPort.available (146) [DISC] (1) Boolean transition1.outPort.occupied (147) [DISC] (1) Boolean $FUN_10 (148) [DISC] (1) protected Boolean compositeStep.initStep.outerStatePort.localActive = compositeStep.initStep.outerStatePort.localActive (149) [DISC] (1) Boolean compositeStep.stateGraphRoot.resume = Modelica.StateGraph.Temporary.anyTrue(compositeStep.resume.set) or false (150) [DISC] (1) Boolean compositeStep.Alternative1.inPort.reset (151) [DISC] (1) Boolean[1] compositeStep.step3.outPort.available (152) [DISC] (1) Boolean $SEV_8 (153) [DISC] (1) Boolean $SEV_7 (154) [DISC] (1) Boolean[1] compositeStep.step4.outPort.available (155) [DISC] (1) Boolean $SEV_6 (156) [ALGB] (1) Real transition2.t (157) [DISC] (1) Boolean compositeStep.Alternative1.outPort.occupied (158) [DISC] (1) Boolean $SEV_5 (159) [DISC] (1) Boolean $SEV_4 (160) [DISC] (1) Boolean $SEV_3 (161) [DISC] (1) Boolean $SEV_2 (162) [ALGB] (1) flow Real stateGraphRoot.subgraphStatePort.activeSteps (163) [DISC] (1) Boolean $SEV_1 (164) [DISC] (1) Boolean[1] step0.outPort.reset (165) [DISC] (1) Boolean[1] compositeStep.step4.inPort.occupied (166) [DISC] (1) Boolean $SEV_0 (167) [DISC] (1) Boolean[1] compositeStep.initStep.inPort.occupied (168) [DISC] (1) Boolean[1] compositeStep.exitStep.inPort.occupied (169) [DISC] (1) Boolean compositeStep.transition6.enableFire (170) [DISC] (1) Boolean transition1.enableFire (171) [DISC] (1) Boolean compositeStep.transition3.outPort.set (172) [DISC] (1) protected Boolean step0.outerStatePort.localActive = step0.outerStatePort.localActive (173) [ALGB] (1) Real compositeStep.transition6a.t (174) [DISS] (1) protected Boolean step6.oldActive (175) [DISC] (1) Boolean[1] step6.inPort.occupied (176) [DISC] (1) Boolean[1] compositeStep.exitStep.outPort.available (177) [DISC] (1) Boolean compositeStep.transition6.outPort.set (178) [ALGB] (1) protected flow Real compositeStep.step3.outerStatePort.subgraphStatePort.activeSteps (179) [DISC] (1) Boolean compositeStep.inPort.set (180) [DISC] (1) Boolean compositeStep.transition4a.enableFire (181) [DISC] (1) Boolean compositeStep.transition6.inPort.available (182) [DISC] (1) Boolean compositeStep.transition3.enableFire (183) [DISC] (1) protected Integer compositeStep.activeSteps (184) [DISC] (1) Boolean[1] compositeStep.step4.inPort.set (185) [DISC] (1) protected Boolean compositeStep.exitStep.outerStatePort.localActive = compositeStep.exitStep.outerStatePort.localActive (186) [DISC] (1) Boolean compositeStep.outerState.active = compositeStep.outerState.active (187) [ALGB] (1) Real compositeStep.transition5.t (188) [ALGB] (1) protected Real transition2.t_dummy (189) [ALGB] (1) protected Real compositeStep.transition6a.t_dummy (190) [DISC] (1) Boolean[1] compositeStep.initStep.inPort.set (191) [DISC] (1) final Boolean transition7.localCondition = transition7.localCondition (192) [ALGB] (1) Real transition1.t (193) [ALGB] (1) flow Real compositeStep.outerState.subgraphStatePort.activeSteps (194) [DISC] (1) Boolean[1] compositeStep.step4a.outPort.available (195) [DISC] (1) Boolean compositeStep.Alternative1.inPort.available (196) [DISC] (3) Boolean[3] compositeStep.Alternative1.join.occupied (197) [DISC] (1) Boolean[1] compositeStep.resume.occupied (198) [DISC] (1) Boolean compositeStep.transition4.outPort.occupied (199) [DISC] (1) Boolean compositeStep.transition3.inPort.available (200) [DISC] (1) Boolean compositeStep.transition6a.enableFire (201) [DISC] (1) protected Boolean step1.newActive (202) [DISC] (2) Boolean[2] Parallel1.join.reset (203) [ALGB] (1) protected Real transition1.t_dummy (204) [DISC] (1) Boolean[1] compositeStep.step3.inPort.occupied (205) [DISC] (1) Boolean compositeStep.transition3.outPort.occupied (206) [DISC] (1) Boolean[1] compositeStep.step4a.inPort.occupied (207) [DISC] (1) Boolean compositeStep.transition4.outPort.set (208) [ALGB] (1) protected flow Real compositeStep.exitStep.outerStatePort.subgraphStatePort.activeSteps (209) [DISC] (1) Boolean compositeStep.transition6a.inPort.available (210) [DISC] (1) protected Boolean step0.newActive (211) [DISC] (2) Boolean[2] Parallel1.join.available (212) [DISC] (1) Boolean[1] compositeStep.step4a.inPort.set (213) [DISC] (1) Boolean[1] step1.inPort.set (214) [DISC] (1) protected Boolean compositeStep.step3.outerStatePort.localActive = compositeStep.step3.outerStatePort.localActive (215) [ALGB] (1) Real compositeStep.transition4.t (216) [DISC] (2) Boolean[2] Parallel1.split.occupied (217) [DISS] (1) protected Boolean step1.oldActive (218) [DISC] (1) Boolean[1] step1.outPort.reset (219) [DISC] (1) Boolean[1] compositeStep.exitStep.inPort.set (220) [DISC] (1) Boolean compositeStep.transition4.enableFire (221) [DISC] (1) Boolean[1] compositeStep.initStep.outPort.reset (222) [DISC] (1) Boolean[1] compositeStep.step3.inPort.set (223) [DISC] (1) Integer stateGraphRoot.activeSteps (224) [DISC] (1) Boolean transition2.outPort.occupied (225) [DISC] (3) Boolean[3] $SEV_10[$i1] (226) [DISS] (1) protected Boolean compositeStep.step3.oldActive System Equations (248/258) **************************** (1) [SCAL] (1) compositeStep.step3.outerStatePort.subgraphStatePort.activeSteps + compositeStep.step4.outerStatePort.subgraphStatePort.activeSteps + compositeStep.step4a.outerStatePort.subgraphStatePort.activeSteps + compositeStep.initStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.exitStep.outerStatePort.subgraphStatePort.activeSteps + compositeStep.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_205) (2) [SCAL] (1) compositeStep.exitStep.outerStatePort.localActive = $TEV_15 ($RES_SIM_120) (3) [SCAL] (1) step1.newActive = $SEV_4 ($RES_SIM_80) (4) [SCAL] (1) step0.outerStatePort.subgraphStatePort.activeSteps + step1.outerStatePort.subgraphStatePort.activeSteps + step6.outerStatePort.subgraphStatePort.activeSteps + stateGraphRoot.subgraphStatePort.activeSteps + compositeStep.outerState.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_206) (5) [SCAL] (1) step1.outerStatePort.localActive = $TEV_7 ($RES_SIM_81) (6) [SCAL] (1) compositeStep.exitStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.exitStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_122) (7) [SCAL] (1) step1.outPort[1].reset = Parallel1.join[2].reset ($RES_SIM_208) (8) [SCAL] (1) compositeStep.initStep.outPort[1].reset = false ($RES_SIM_123) (9) [SCAL] (1) step1.outerStatePort.subgraphStatePort.activeSteps = if step1.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_83) (10) [SCAL] (1) step1.outPort[1].available = Parallel1.join[2].available ($RES_SIM_209) (11) [SCAL] (1) compositeStep.initStep.inPort[1].set = false ($RES_SIM_124) (12) [SCAL] (1) compositeStep.initStep.outPort[1].available = compositeStep.initStep.outerStatePort.localActive ($RES_SIM_125) (13) [SCAL] (1) compositeStep.initStep.inPort[1].occupied = compositeStep.initStep.outerStatePort.localActive ($RES_SIM_126) (14) [SCAL] (1) transition1.enableFire = $SEV_5 ($RES_SIM_86) (15) [WHEN] (1)when compositeStep.stateGraphRoot.suspend then (15) [----] compositeStep.initStep.oldActive := compositeStep.initStep.outerStatePort.localActive (15) [----] end when; (16) [SCAL] (1) transition1.inPort.reset = $SEV_6 ($RES_SIM_87) (17) [SCAL] (1) compositeStep.initStep.newActive = if compositeStep.stateGraphRoot.resume then compositeStep.initStep.oldActive else $SEV_12 ($RES_SIM_128) (18) [SCAL] (1) transition1.t = if transition1.enableFire then transition1.t_dummy else 0.0 ($RES_SIM_88) (19) [SCAL] (1) compositeStep.initStep.outerStatePort.localActive = $TEV_18 ($RES_SIM_129) (20) [SCAL] (1) $TEV_22 = $PRE.compositeStep.step4a.newActive ($RES_EVT_370) (21) [SCAL] (1) $TEV_23 = $PRE.compositeStep.transition4a.enableFire ($RES_EVT_371) (22) [SCAL] (1) $TEV_24 = $PRE.compositeStep.transition6.enableFire ($RES_EVT_372) (23) [SCAL] (1) $TEV_25 = $PRE.compositeStep.transition5.enableFire ($RES_EVT_373) (24) [SCAL] (1) $TEV_26 = $PRE.compositeStep.step4.oldActive ($RES_EVT_374) (25) [SCAL] (1) $TEV_27 = $PRE.compositeStep.step4.outerStatePort.localActive ($RES_EVT_375) (26) [SCAL] (1) $TEV_28 = $PRE.compositeStep.step4.newActive ($RES_EVT_376) (27) [SCAL] (1) $TEV_29 = $PRE.compositeStep.step3.oldActive ($RES_EVT_377) (28) [SCAL] (1) $TEV_30 = $PRE.compositeStep.step3.outerStatePort.localActive ($RES_EVT_378) (29) [SCAL] (1) $TEV_31 = $PRE.compositeStep.step3.newActive ($RES_EVT_379) (30) [SCAL] (1) step1.inPort[1].set = Parallel1.split[2].set ($RES_SIM_210) (31) [SCAL] (1) step1.inPort[1].occupied = Parallel1.split[2].occupied ($RES_SIM_211) (32) [SCAL] (1) compositeStep.outPort.reset = Parallel1.join[1].reset ($RES_SIM_212) (33) [SCAL] (1) compositeStep.outPort.available = Parallel1.join[1].available ($RES_SIM_213) (34) [SCAL] (1) compositeStep.inPort.set = Parallel1.split[1].set ($RES_SIM_214) (35) [SCAL] (1) compositeStep.inPort.occupied = Parallel1.split[1].occupied ($RES_SIM_215) (36) [WHEN] (1)when transition1.enableFire then (36) [----] time - transition1.t_dummy := time (36) [----] end when; (37) [SCAL] (1) compositeStep.initStep.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.initStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_131) (38) [SCAL] (1) step0.outPort[1].reset = false ($RES_SIM_91) (39) [SCAL] (1) step0.inPort[1].set = false ($RES_SIM_92) (40) [SCAL] (1) step0.outPort[1].available = step0.outerStatePort.localActive ($RES_SIM_93) (41) [SCAL] (1) compositeStep.transition6a.enableFire = $SEV_13 ($RES_SIM_134) (42) [SCAL] (1) step0.inPort[1].occupied = step0.outerStatePort.localActive ($RES_SIM_94) (43) [WHEN] (1)when false then (43) [----] step0.oldActive := step0.outerStatePort.localActive (43) [----] end when; (44) [SCAL] (1) compositeStep.transition6a.outPort.set = $SEV_14 ($RES_SIM_135) (45) [SCAL] (1) step0.newActive = $SEV_7 ($RES_SIM_96) (46) [SCAL] (1) compositeStep.transition6a.t = if compositeStep.transition6a.enableFire then compositeStep.transition6a.t_dummy else 0.0 ($RES_SIM_136) (47) [SCAL] (1) step0.outerStatePort.localActive = $TEV_11 ($RES_SIM_97) (48) [WHEN] (1)when compositeStep.transition6a.enableFire then (48) [----] time - compositeStep.transition6a.t_dummy := time (48) [----] end when; (49) [SCAL] (1) step0.outerStatePort.subgraphStatePort.activeSteps = if step0.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_99) (50) [SCAL] (1) compositeStep.step4a.outPort[1].reset = false ($RES_SIM_139) (51) [SCAL] (1) $TEV_32 = $PRE.compositeStep.transition4.enableFire ($RES_EVT_380) (52) [SCAL] (1) $TEV_33 = $PRE.compositeStep.transition3.enableFire ($RES_EVT_381) (53) [SCAL] (1) $TEV_34 = time >= 7.0 ($RES_EVT_382) (54) [SCAL] (1) $SEV_0 = (transition7.localCondition and transition7.inPort.available) and not transition7.outPort.occupied ($RES_EVT_383) (55) [SCAL] (1) $SEV_1 = $FUN_19 or step6.outerStatePort.localActive and not $FUN_20 ($RES_EVT_384) (56) [SCAL] (1) $SEV_2 = Parallel1.outPort.available and not transition2.outPort.occupied ($RES_EVT_385) (57) [SCAL] (1) $SEV_3 = transition2.enableFire and time >= ((time - transition2.t_dummy) + transition2.waitTime) ($RES_EVT_386) (58) [SCAL] (1) $SEV_4 = $FUN_17 or step1.outerStatePort.localActive and not $FUN_18 ($RES_EVT_387) (59) [SCAL] (1) $SEV_5 = transition1.inPort.available and not transition1.outPort.occupied ($RES_EVT_388) (60) [SCAL] (1) $SEV_6 = transition1.enableFire and time >= ((time - transition1.t_dummy) + transition1.waitTime) ($RES_EVT_389) (61) [SCAL] (1) transition2.outPort.set = step6.inPort[1].set ($RES_SIM_220) (62) [SCAL] (1) transition2.outPort.occupied = step6.inPort[1].occupied ($RES_SIM_221) (63) [SCAL] (1) step6.outPort[1].reset = transition7.outPort.set ($RES_SIM_222) (64) [SCAL] (1) step6.outPort[1].available = transition7.inPort.available ($RES_SIM_223) (65) [SCAL] (1) transition7.outPort.set = step0.inPort[1].set ($RES_SIM_224) (66) [SCAL] (1) transition7.outPort.occupied = step0.inPort[1].occupied ($RES_SIM_225) (67) [SCAL] (1) compositeStep.step4a.inPort[1].set = false ($RES_SIM_140) (68) [SCAL] (1) step0.outPort[1].reset = transition1.inPort.reset ($RES_SIM_226) (69) [SCAL] (1) compositeStep.step4a.outPort[1].available = compositeStep.step4a.outerStatePort.localActive ($RES_SIM_141) (70) [SCAL] (1) step0.outPort[1].available = transition1.inPort.available ($RES_SIM_227) (71) [SCAL] (1) compositeStep.step4a.inPort[1].occupied = compositeStep.step4a.outerStatePort.localActive ($RES_SIM_142) (72) [WHEN] (1)when compositeStep.stateGraphRoot.suspend then (72) [----] compositeStep.step4a.oldActive := compositeStep.step4a.outerStatePort.localActive (72) [----] end when; (73) [SCAL] (1) compositeStep.step4a.newActive = if compositeStep.stateGraphRoot.resume then compositeStep.step4a.oldActive else $SEV_15 ($RES_SIM_144) (74) [SCAL] (1) compositeStep.step4a.outerStatePort.localActive = $TEV_22 ($RES_SIM_145) (75) [SCAL] (1) compositeStep.step4a.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.step4a.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_147) (76) [SCAL] (1) $SEV_7 = $FUN_15 or step0.outerStatePort.localActive and not $FUN_16 ($RES_EVT_390) (77) [SCAL] (1) $SEV_8 = compositeStep.activeSteps > 0 and not $FUN_13 or $FUN_14 ($RES_EVT_391) (78) [FOR-] (3) ($RES_EVT_392) (78) [----] for $i1 in 1:3 loop (78) [----] [SCAL] (1) $SEV_9[$i1] = $i1 == 1 ($RES_EVT_393) (78) [----] end for; (79) [FOR-] (3) ($RES_EVT_394) (79) [----] for $i1 in 1:3 loop (79) [----] [SCAL] (1) $SEV_10[$i1] = compositeStep.Alternative1.split[$i1 - 1].available and not compositeStep.Alternative1.split[$i1 - 1].reset ($RES_EVT_395) (79) [----] end for; (80) [SCAL] (1) $SEV_11 = ($FUN_9 or compositeStep.exitStep.outerStatePort.localActive and not $FUN_10) and not compositeStep.stateGraphRoot.suspend ($RES_EVT_396) (81) [SCAL] (1) $SEV_12 = ($FUN_7 or compositeStep.initStep.outerStatePort.localActive and not $FUN_8) and not compositeStep.stateGraphRoot.suspend ($RES_EVT_397) (82) [SCAL] (1) $SEV_13 = compositeStep.transition6a.inPort.available and not compositeStep.transition6a.outPort.occupied ($RES_EVT_398) (83) [SCAL] (1) $SEV_14 = compositeStep.transition6a.enableFire and time >= ((time - compositeStep.transition6a.t_dummy) + compositeStep.transition6a.waitTime) ($RES_EVT_399) (84) [SCAL] (1) compositeStep.transition4a.enableFire = $SEV_16 ($RES_SIM_150) (85) [SCAL] (1) compositeStep.transition4a.outPort.set = $SEV_17 ($RES_SIM_151) (86) [SCAL] (1) compositeStep.stateGraphRoot.suspend = $FUN_13 ($RES_BND_287) (87) [SCAL] (1) compositeStep.transition4a.t = if compositeStep.transition4a.enableFire then compositeStep.transition4a.t_dummy else 0.0 ($RES_SIM_152) (88) [SCAL] (1) compositeStep.stateGraphRoot.resume = $FUN_14 ($RES_BND_288) (89) [WHEN] (1)when compositeStep.transition4a.enableFire then (89) [----] time - compositeStep.transition4a.t_dummy := time (89) [----] end when; (90) [SCAL] (1) $SEV_15 = ($FUN_5 or compositeStep.step4a.outerStatePort.localActive and not $FUN_6) and not compositeStep.stateGraphRoot.suspend ($RES_EVT_400) (91) [SCAL] (1) $SEV_16 = compositeStep.transition4a.inPort.available and not compositeStep.transition4a.outPort.occupied ($RES_EVT_401) (92) [SCAL] (1) $SEV_17 = compositeStep.transition4a.enableFire and time >= ((time - compositeStep.transition4a.t_dummy) + compositeStep.transition4a.waitTime) ($RES_EVT_402) (93) [SCAL] (1) compositeStep.transition6.enableFire = $SEV_18 ($RES_SIM_157) (94) [SCAL] (1) $FUN_1 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.step3.inPort.set) ($RES_$AUX_339) (95) [SCAL] (1) $SEV_18 = compositeStep.transition6.inPort.available and not compositeStep.transition6.outPort.occupied ($RES_EVT_403) (96) [SCAL] (1) compositeStep.transition6.outPort.set = $SEV_19 ($RES_SIM_158) (97) [SCAL] (1) $FUN_2 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.step3.outPort.reset) ($RES_$AUX_338) (98) [SCAL] (1) $SEV_19 = compositeStep.transition6.enableFire and time >= ((time - compositeStep.transition6.t_dummy) + compositeStep.transition6.waitTime) ($RES_EVT_404) (99) [SCAL] (1) compositeStep.transition6.t = if compositeStep.transition6.enableFire then compositeStep.transition6.t_dummy else 0.0 ($RES_SIM_159) (100) [SCAL] (1) $FUN_3 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.step4.inPort.set) ($RES_$AUX_337) (101) [SCAL] (1) $SEV_20 = compositeStep.transition5.inPort.available and not compositeStep.transition5.outPort.occupied ($RES_EVT_405) (102) [SCAL] (1) $FUN_4 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.step4.outPort.reset) ($RES_$AUX_336) (103) [SCAL] (1) $SEV_21 = compositeStep.transition5.enableFire and time >= ((time - compositeStep.transition5.t_dummy) + compositeStep.transition5.waitTime) ($RES_EVT_406) (104) [SCAL] (1) $FUN_5 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.step4a.inPort.set) ($RES_$AUX_335) (105) [SCAL] (1) $SEV_22 = ($FUN_3 or compositeStep.step4.outerStatePort.localActive and not $FUN_4) and not compositeStep.stateGraphRoot.suspend ($RES_EVT_407) (106) [SCAL] (1) $FUN_6 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.step4a.outPort.reset) ($RES_$AUX_334) (107) [SCAL] (1) $SEV_23 = ($FUN_1 or compositeStep.step3.outerStatePort.localActive and not $FUN_2) and not compositeStep.stateGraphRoot.suspend ($RES_EVT_408) (108) [SCAL] (1) $FUN_7 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.initStep.inPort.set) ($RES_$AUX_333) (109) [SCAL] (1) $SEV_24 = compositeStep.transition4.inPort.available and not compositeStep.transition4.outPort.occupied ($RES_EVT_409) (110) [SCAL] (1) $FUN_8 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.initStep.outPort.reset) ($RES_$AUX_332) (111) [SCAL] (1) $FUN_9 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.exitStep.inPort.set) ($RES_$AUX_331) (112) [SCAL] (1) $FUN_10 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.exitStep.outPort.reset) ($RES_$AUX_330) (113) [SCAL] (1) compositeStep.transition6a.outPort.set = compositeStep.Alternative1.join[3].set ($RES_SIM_240) (114) [SCAL] (1) compositeStep.transition6a.outPort.occupied = compositeStep.Alternative1.join[3].occupied ($RES_SIM_241) (115) [SCAL] (1) compositeStep.transition6.outPort.set = compositeStep.Alternative1.join[2].set ($RES_SIM_242) (116) [SCAL] (1) compositeStep.transition6.outPort.occupied = compositeStep.Alternative1.join[2].occupied ($RES_SIM_243) (117) [SCAL] (1) stateGraphRoot.activeSteps = -integer(stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_45) (118) [SCAL] (1) compositeStep.transition5.outPort.set = compositeStep.Alternative1.join[1].set ($RES_SIM_244) (119) [SCAL] (1) compositeStep.transition5.outPort.occupied = compositeStep.Alternative1.join[1].occupied ($RES_SIM_245) (120) [SCAL] (1) compositeStep.transition4a.outPort.set = compositeStep.Alternative1.split[3].reset ($RES_SIM_246) (121) [WHEN] (1)when compositeStep.transition6.enableFire then (121) [----] time - compositeStep.transition6.t_dummy := time (121) [----] end when; (122) [ARRY] (2) Parallel1.join.reset = {transition2.outPort.set for $i1 in 1:2} ($RES_SIM_48) (123) [SCAL] (1) compositeStep.transition4a.inPort.available = compositeStep.Alternative1.split[3].available ($RES_SIM_247) (124) [ARRY] (2) Parallel1.split.set = {transition1.inPort.reset for $i1 in 1:2} ($RES_SIM_49) (125) [SCAL] (1) compositeStep.transition4.outPort.set = compositeStep.Alternative1.split[2].reset ($RES_SIM_248) (126) [SCAL] (1) compositeStep.transition4.inPort.available = compositeStep.Alternative1.split[2].available ($RES_SIM_249) (127) [SCAL] (1) compositeStep.transition5.enableFire = $SEV_20 ($RES_SIM_164) (128) [SCAL] (1) $SEV_25 = compositeStep.transition4.enableFire and time >= ((time - compositeStep.transition4.t_dummy) + compositeStep.transition4.waitTime) ($RES_EVT_410) (129) [SCAL] (1) compositeStep.transition5.outPort.set = $SEV_21 ($RES_SIM_165) (130) [SCAL] (1) $SEV_26 = compositeStep.transition3.inPort.available and not compositeStep.transition3.outPort.occupied ($RES_EVT_411) (131) [SCAL] (1) compositeStep.transition5.t = if compositeStep.transition5.enableFire then compositeStep.transition5.t_dummy else 0.0 ($RES_SIM_166) (132) [SCAL] (1) $SEV_27 = compositeStep.transition3.enableFire and time >= ((time - compositeStep.transition3.t_dummy) + compositeStep.transition3.waitTime) ($RES_EVT_412) (133) [SCAL] (1) compositeStep.Alternative1.inPort.reset = Modelica.StateGraph.Temporary.anyTrue(compositeStep.Alternative1.split.reset) ($RES_$AUX_329) (134) [WHEN] (1)when compositeStep.transition5.enableFire then (134) [----] time - compositeStep.transition5.t_dummy := time (134) [----] end when; (135) [SCAL] (1) compositeStep.Alternative1.outPort.set = Modelica.StateGraph.Temporary.anyTrue(compositeStep.Alternative1.join.set) ($RES_$AUX_328) (136) [SCAL] (1) compositeStep.step4.outPort[1].reset = false ($RES_SIM_169) (137) [SCAL] (1) $FUN_13 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.suspend.reset) ($RES_$AUX_327) (138) [SCAL] (1) $FUN_14 = Modelica.StateGraph.Temporary.anyTrue(compositeStep.resume.set) ($RES_$AUX_326) (139) [SCAL] (1) $FUN_15 = Modelica.StateGraph.Temporary.anyTrue(step0.inPort.set) ($RES_$AUX_325) (140) [SCAL] (1) $FUN_16 = Modelica.StateGraph.Temporary.anyTrue(step0.outPort.reset) ($RES_$AUX_324) (141) [SCAL] (1) $FUN_17 = Modelica.StateGraph.Temporary.anyTrue(step1.inPort.set) ($RES_$AUX_323) (142) [SCAL] (1) $FUN_18 = Modelica.StateGraph.Temporary.anyTrue(step1.outPort.reset) ($RES_$AUX_322) (143) [SCAL] (1) $FUN_19 = Modelica.StateGraph.Temporary.anyTrue(step6.inPort.set) ($RES_$AUX_321) (144) [SCAL] (1) $FUN_20 = Modelica.StateGraph.Temporary.anyTrue(step6.outPort.reset) ($RES_$AUX_320) (145) [SCAL] (1) compositeStep.transition3.outPort.set = compositeStep.Alternative1.split[1].reset ($RES_SIM_250) (146) [SCAL] (1) compositeStep.transition3.inPort.available = compositeStep.Alternative1.split[1].available ($RES_SIM_251) (147) [SCAL] (1) compositeStep.Alternative1.outPort.set = compositeStep.exitStep.inPort[1].set ($RES_SIM_252) (148) [SCAL] (1) transition7.outPort.set = $SEV_0 ($RES_SIM_54) (149) [SCAL] (1) compositeStep.Alternative1.outPort.occupied = compositeStep.exitStep.inPort[1].occupied ($RES_SIM_253) (150) [SCAL] (1) compositeStep.initStep.outPort[1].reset = compositeStep.Alternative1.inPort.reset ($RES_SIM_254) (151) [SCAL] (1) compositeStep.initStep.outPort[1].available = compositeStep.Alternative1.inPort.available ($RES_SIM_255) (152) [SCAL] (1) compositeStep.step4.inPort[1].set = false ($RES_SIM_170) (153) [SCAL] (1) compositeStep.exitStep.outPort[1].reset = compositeStep.outPort.reset ($RES_SIM_256) (154) [SCAL] (1) compositeStep.step4.outPort[1].available = compositeStep.step4.outerStatePort.localActive ($RES_SIM_171) (155) [SCAL] (1) compositeStep.exitStep.outPort[1].available = compositeStep.outPort.available ($RES_SIM_257) (156) [SCAL] (1) compositeStep.step4.inPort[1].occupied = compositeStep.step4.outerStatePort.localActive ($RES_SIM_172) (157) [SCAL] (1) step6.outPort[1].reset = false ($RES_SIM_59) (158) [SCAL] (1) compositeStep.initStep.inPort[1].set = compositeStep.inPort.set ($RES_SIM_258) (159) [WHEN] (1)when compositeStep.stateGraphRoot.suspend then (159) [----] compositeStep.step4.oldActive := compositeStep.step4.outerStatePort.localActive (159) [----] end when; (160) [SCAL] (1) compositeStep.initStep.inPort[1].occupied = compositeStep.inPort.occupied ($RES_SIM_259) (161) [SCAL] (1) compositeStep.step4.newActive = if compositeStep.stateGraphRoot.resume then compositeStep.step4.oldActive else $SEV_22 ($RES_SIM_174) (162) [SCAL] (1) compositeStep.step4.outerStatePort.localActive = $TEV_28 ($RES_SIM_175) (163) [SCAL] (1) compositeStep.step4.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.step4.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_177) (164) [SCAL] (1) transition1.outPort.occupied = Modelica.StateGraph.Temporary.anyTrue(Parallel1.split.occupied) ($RES_$AUX_319) (165) [SCAL] (1) compositeStep.step3.outPort[1].reset = false ($RES_SIM_178) (166) [SCAL] (1) Parallel1.outPort.available = Modelica.StateGraph.Temporary.allTrue(Parallel1.join.available) ($RES_$AUX_318) (167) [SCAL] (1) compositeStep.step3.inPort[1].set = false ($RES_SIM_179) (168) [SCAL] (1) $TEV_0 = $PRE.transition7.outPort.set ($RES_EVT_348) (169) [SCAL] (1) $TEV_1 = $PRE.step6.oldActive ($RES_EVT_349) (170) [SCAL] (1) transition7.localCondition = $TEV_34 ($RES_BND_315) (171) [SCAL] (1) compositeStep.resume[1].set = false ($RES_SIM_100) (172) [SCAL] (1) step6.inPort[1].set = false ($RES_SIM_60) (173) [SCAL] (1) compositeStep.suspend[1].reset = false ($RES_SIM_101) (174) [SCAL] (1) step6.outPort[1].available = step6.outerStatePort.localActive ($RES_SIM_61) (175) [SCAL] (1) compositeStep.step4a.outPort[1].reset = compositeStep.transition6a.outPort.set ($RES_SIM_260) (176) [SCAL] (1) compositeStep.suspend[1].available = compositeStep.outerState.active ($RES_SIM_102) (177) [SCAL] (1) step6.inPort[1].occupied = step6.outerStatePort.localActive ($RES_SIM_62) (178) [SCAL] (1) compositeStep.step4a.outPort[1].available = compositeStep.transition6a.inPort.available ($RES_SIM_261) (179) [SCAL] (1) compositeStep.resume[1].occupied = compositeStep.outerState.active ($RES_SIM_103) (180) [WHEN] (1)when false then (180) [----] step6.oldActive := step6.outerStatePort.localActive (180) [----] end when; (181) [SCAL] (1) compositeStep.transition4a.outPort.set = compositeStep.step4a.inPort[1].set ($RES_SIM_262) (182) [SCAL] (1) compositeStep.newActive = $SEV_8 ($RES_SIM_104) (183) [SCAL] (1) step6.newActive = $SEV_1 ($RES_SIM_64) (184) [SCAL] (1) compositeStep.transition4a.outPort.occupied = compositeStep.step4a.inPort[1].occupied ($RES_SIM_263) (185) [SCAL] (1) compositeStep.outerState.active = $TEV_12 ($RES_SIM_105) (186) [SCAL] (1) step6.outerStatePort.localActive = $TEV_3 ($RES_SIM_65) (187) [SCAL] (1) compositeStep.step4.outPort[1].reset = compositeStep.transition6.outPort.set ($RES_SIM_264) (188) [SCAL] (1) compositeStep.activeSteps = -integer(compositeStep.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_106) (189) [SCAL] (1) compositeStep.step4.outPort[1].available = compositeStep.transition6.inPort.available ($RES_SIM_265) (190) [SCAL] (1) compositeStep.step3.outPort[1].available = compositeStep.step3.outerStatePort.localActive ($RES_SIM_180) (191) [SCAL] (1) step6.outerStatePort.subgraphStatePort.activeSteps = if step6.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_67) (192) [SCAL] (1) compositeStep.transition4.outPort.set = compositeStep.step4.inPort[1].set ($RES_SIM_266) (193) [SCAL] (1) compositeStep.step3.inPort[1].occupied = compositeStep.step3.outerStatePort.localActive ($RES_SIM_181) (194) [SCAL] (1) compositeStep.transition4.outPort.occupied = compositeStep.step4.inPort[1].occupied ($RES_SIM_267) (195) [WHEN] (1)when compositeStep.stateGraphRoot.suspend then (195) [----] compositeStep.step3.oldActive := compositeStep.step3.outerStatePort.localActive (195) [----] end when; (196) [ARRY] (3) compositeStep.Alternative1.join.occupied = {compositeStep.Alternative1.outPort.occupied for $i1 in 1:3} ($RES_SIM_109) (197) [SCAL] (1) compositeStep.step3.outPort[1].reset = compositeStep.transition5.outPort.set ($RES_SIM_268) (198) [SCAL] (1) compositeStep.step3.newActive = if compositeStep.stateGraphRoot.resume then compositeStep.step3.oldActive else $SEV_23 ($RES_SIM_183) (199) [SCAL] (1) compositeStep.step3.outPort[1].available = compositeStep.transition5.inPort.available ($RES_SIM_269) (200) [SCAL] (1) compositeStep.step3.outerStatePort.localActive = $TEV_31 ($RES_SIM_184) (201) [SCAL] (1) compositeStep.step3.outerStatePort.subgraphStatePort.activeSteps = if compositeStep.step3.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_186) (202) [SCAL] (1) compositeStep.transition4.enableFire = $SEV_24 ($RES_SIM_189) (203) [SCAL] (1) $TEV_2 = $PRE.step6.outerStatePort.localActive ($RES_EVT_350) (204) [SCAL] (1) $TEV_3 = $PRE.step6.newActive ($RES_EVT_351) (205) [SCAL] (1) $TEV_4 = $PRE.transition2.enableFire ($RES_EVT_352) (206) [SCAL] (1) $TEV_5 = $PRE.step1.oldActive ($RES_EVT_353) (207) [SCAL] (1) $TEV_6 = $PRE.step1.outerStatePort.localActive ($RES_EVT_354) (208) [SCAL] (1) $TEV_7 = $PRE.step1.newActive ($RES_EVT_355) (209) [SCAL] (1) $TEV_8 = $PRE.transition1.enableFire ($RES_EVT_356) (210) [SCAL] (1) $TEV_9 = $PRE.step0.oldActive ($RES_EVT_357) (211) [SCAL] (1) $TEV_10 = $PRE.step0.outerStatePort.localActive ($RES_EVT_358) (212) [SCAL] (1) $TEV_11 = $PRE.step0.newActive ($RES_EVT_359) (213) [FOR-] (3) ($RES_SIM_110) (213) [----] for $i1 in 1:3 loop (213) [----] [SCAL] (1) compositeStep.Alternative1.split[$i1].available = if $SEV_9[$i1] then compositeStep.Alternative1.inPort.available else $SEV_10[$i1] ($RES_SIM_111) (213) [----] end for; (214) [SCAL] (1) transition2.enableFire = $SEV_2 ($RES_SIM_70) (215) [SCAL] (1) transition2.outPort.set = $SEV_3 ($RES_SIM_71) (216) [SCAL] (1) compositeStep.transition3.outPort.set = compositeStep.step3.inPort[1].set ($RES_SIM_270) (217) [SCAL] (1) transition2.t = if transition2.enableFire then transition2.t_dummy else 0.0 ($RES_SIM_72) (218) [SCAL] (1) compositeStep.transition3.outPort.occupied = compositeStep.step3.inPort[1].occupied ($RES_SIM_271) (219) [SCAL] (1) compositeStep.exitStep.outPort[1].reset = false ($RES_SIM_114) (220) [WHEN] (1)when transition2.enableFire then (220) [----] time - transition2.t_dummy := time (220) [----] end when; (221) [SCAL] (1) compositeStep.exitStep.inPort[1].set = false ($RES_SIM_115) (222) [SCAL] (1) step1.outPort[1].reset = false ($RES_SIM_75) (223) [SCAL] (1) compositeStep.exitStep.outPort[1].available = compositeStep.exitStep.outerStatePort.localActive ($RES_SIM_116) (224) [SCAL] (1) step1.inPort[1].set = false ($RES_SIM_76) (225) [SCAL] (1) compositeStep.transition4.outPort.set = $SEV_25 ($RES_SIM_190) (226) [SCAL] (1) compositeStep.exitStep.inPort[1].occupied = compositeStep.exitStep.outerStatePort.localActive ($RES_SIM_117) (227) [SCAL] (1) step1.outPort[1].available = step1.outerStatePort.localActive ($RES_SIM_77) (228) [SCAL] (1) compositeStep.transition4.t = if compositeStep.transition4.enableFire then compositeStep.transition4.t_dummy else 0.0 ($RES_SIM_191) (229) [WHEN] (1)when compositeStep.stateGraphRoot.suspend then (229) [----] compositeStep.exitStep.oldActive := compositeStep.exitStep.outerStatePort.localActive (229) [----] end when; (230) [SCAL] (1) step1.inPort[1].occupied = step1.outerStatePort.localActive ($RES_SIM_78) (231) [SCAL] (1) compositeStep.exitStep.newActive = if compositeStep.stateGraphRoot.resume then compositeStep.exitStep.oldActive else $SEV_11 ($RES_SIM_119) (232) [WHEN] (1)when false then (232) [----] step1.oldActive := step1.outerStatePort.localActive (232) [----] end when; (233) [WHEN] (1)when compositeStep.transition4.enableFire then (233) [----] time - compositeStep.transition4.t_dummy := time (233) [----] end when; (234) [SCAL] (1) compositeStep.transition3.enableFire = $SEV_26 ($RES_SIM_196) (235) [SCAL] (1) compositeStep.transition3.outPort.set = $SEV_27 ($RES_SIM_197) (236) [SCAL] (1) compositeStep.transition3.t = if compositeStep.transition3.enableFire then compositeStep.transition3.t_dummy else 0.0 ($RES_SIM_198) (237) [SCAL] (1) $TEV_12 = $PRE.compositeStep.newActive ($RES_EVT_360) (238) [SCAL] (1) $TEV_13 = $PRE.compositeStep.exitStep.oldActive ($RES_EVT_361) (239) [SCAL] (1) $TEV_14 = $PRE.compositeStep.exitStep.outerStatePort.localActive ($RES_EVT_362) (240) [SCAL] (1) $TEV_15 = $PRE.compositeStep.exitStep.newActive ($RES_EVT_363) (241) [SCAL] (1) $TEV_16 = $PRE.compositeStep.initStep.oldActive ($RES_EVT_364) (242) [SCAL] (1) $TEV_17 = $PRE.compositeStep.initStep.outerStatePort.localActive ($RES_EVT_365) (243) [SCAL] (1) $TEV_18 = $PRE.compositeStep.initStep.newActive ($RES_EVT_366) (244) [SCAL] (1) $TEV_19 = $PRE.compositeStep.transition6a.enableFire ($RES_EVT_367) (245) [SCAL] (1) $TEV_20 = $PRE.compositeStep.step4a.oldActive ($RES_EVT_368) (246) [SCAL] (1) $TEV_21 = $PRE.compositeStep.step4a.outerStatePort.localActive ($RES_EVT_369) (247) [WHEN] (1)when compositeStep.transition3.enableFire then (247) [----] time - compositeStep.transition3.t_dummy := time (247) [----] end when; (248) [SCAL] (1) compositeStep.outerState.subgraphStatePort.activeSteps = if compositeStep.outerState.active then 1.0 else 0.0 ($RES_SIM_201)