Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Composite1.conf.json
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false)
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false)
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false)
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo", uses=false)
Using package Modelica_StateGraph2 with version 2.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo)
Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo)
Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo)
Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo)
Running command: translateModel(Modelica_StateGraph2.Examples.BasicStateGraphs.Composite1,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Composite1")
translateModel(Modelica_StateGraph2.Examples.BasicStateGraphs.Composite1,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Composite1")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.00127/0.00127, allocations: 109.6 kB / 16.42 MB, free: 6.469 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.001099/0.001099, allocations: 187.1 kB / 17.35 MB, free: 5.707 MB / 14.72 MB
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.193/1.193, allocations: 222.9 MB / 241 MB, free: 15.14 MB / 206.1 MB
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo): time 0.07701/0.07701, allocations: 13.55 MB / 304.8 MB, free: 1.137 MB / 238.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 1.933e-05/1.934e-05, allocations: 2.281 kB / 422.2 MB, free: 14.39 MB / 302.1 MB
Notification: Performance of NFInst.instantiate(Modelica_StateGraph2.Examples.BasicStateGraphs.Composite1): time 0.002585/0.002613, allocations: 2.736 MB / 424.9 MB, free: 11.63 MB / 302.1 MB
Notification: Performance of NFInst.instExpressions: time 0.001635/0.004258, allocations: 1.449 MB / 426.4 MB, free: 10.18 MB / 302.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.00018/0.00445, allocations: 35.75 kB / 426.4 MB, free: 10.14 MB / 302.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.001879/0.006334, allocations: 1.663 MB / 428.1 MB, free: 8.469 MB / 302.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0001415/0.006486, allocations: 79.08 kB / 428.2 MB, free: 8.391 MB / 302.1 MB
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12183:5-12189:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: The first argument 'parallel.local_entry.node' of Connections.uniqueRoot must have the form A.R, where A is a connector and R an over-determined type/record.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRootIndices. Functionality might be partially supported but is not guaranteed.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The first argument 'parallel.local_entry.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The second argument 'parallel.local_exit.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15046:9-15046:83:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12183:5-12189:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed.
Notification: Performance of NFTyping.typeClassSections: time 0.0009697/0.007475, allocations: 0.5787 MB / 428.8 MB, free: 7.82 MB / 302.1 MB
Notification: Performance of NFFlatten.flatten: time 0.0006567/0.008139, allocations: 1.171 MB / 429.9 MB, free: 6.645 MB / 302.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.001186/0.009332, allocations: 1.726 MB / 431.6 MB, free: 4.895 MB / 302.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0003422/0.009683, allocations: 0.5724 MB / 432.2 MB, free: 4.32 MB / 302.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0002831/0.009973, allocations: 0.5444 MB / 432.8 MB, free: 3.773 MB / 302.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0001054/0.01008, allocations: 120 kB / 432.9 MB, free: 3.656 MB / 302.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0001544/0.01024, allocations: 148 kB / 433 MB, free: 3.512 MB / 302.1 MB
Notification: Performance of combineBinaries: time 0.0005103/0.01076, allocations: 1.656 MB / 434.7 MB, free: 1.836 MB / 302.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0002481/0.01102, allocations: 1.069 MB / 435.7 MB, free: 0.75 MB / 302.1 MB
Notification: Performance of NFVerifyModel.verify: time 9.332e-05/0.01111, allocations: 139.5 kB / 435.9 MB, free: 0.6133 MB / 302.1 MB
Notification: Performance of FrontEnd: time 9.395e-05/0.01121, allocations: 167.1 kB / 436 MB, free: 460 kB / 302.1 MB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
 * Number of equations: 300 (269)
 * Number of variables: 276 (266)
Notification: Performance of Bindings: time 0.003794/0.01501, allocations: 4.719 MB / 440.8 MB, free: 11.53 MB / 318.1 MB
Notification: Performance of FunctionAlias: time 0.0007899/0.01581, allocations: 0.9758 MB / 441.7 MB, free: 10.52 MB / 318.1 MB
Notification: Performance of Early Inline: time 0.002453/0.01827, allocations: 2.856 MB / 444.6 MB, free: 7.598 MB / 318.1 MB
Notification: Performance of simplify1: time 0.0001982/0.01848, allocations: 219.7 kB / 444.8 MB, free: 7.383 MB / 318.1 MB
Notification: Performance of Alias: time 0.003097/0.02158, allocations: 3.271 MB / 448.1 MB, free: 3.742 MB / 318.1 MB
Notification: Performance of simplify2: time 0.0001501/0.02174, allocations: 183.7 kB / 448.3 MB, free: 3.562 MB / 318.1 MB
Notification: Performance of Events: time 0.001154/0.0229, allocations: 1.217 MB / 449.5 MB, free: 2.266 MB / 318.1 MB
Notification: Performance of Detect States: time 0.001342/0.02425, allocations: 1.523 MB / 451 MB, free: 0.6953 MB / 318.1 MB
Notification: Performance of Partitioning: time 0.001687/0.02595, allocations: 1.768 MB / 452.8 MB, free: 14.77 MB / 334.1 MB
Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency parallel.connectorNode.node.suspend could not be divided by the body size 2 without rest.
Error: Internal error NBAdjacency.Matrix.createPseudo failed for:
[FOR-] (2) ($RES_SIM_175)
[----] for $i1 in 1:1 loop
[----]   [RECD] (2) parallel.local_suspend[$i1].node = parallel.connectorNode.node ($RES_SIM_176)
[----] end for;
Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system:
System Variables (268/281)
****************************
(1)       [DISC] (1) protected Boolean[1] parallel.local_suspend.node.resume
(2)       [DISC] (1) Boolean T6.outPort.node.suspend
(3)       [DISC] (1) protected Boolean step3.outport_fire
(4)       [DISC] (1) Boolean[1] step1.inPort.node.resume
(5)       [DISC] (1) protected Boolean step6.newActive (fixed = true, start = false)
(6)       [DISC] (1) Boolean[1] step5.inPort.node.suspend
(7)       [DISC] (1) protected Boolean[1] parallel.local_inPort.checkOneDelayedTransitionPerLoop
(8)       [DISC] (1) protected Boolean[1] parallel.local_suspend.fire
(9)       [DISC] (1) Boolean[1] step1.inPort.node.suspend
(10)      [DISS] (1) protected Boolean step5.oldActive (fixed = true, start = false)
(11)      [DISC] (1) Boolean[1] parallel.suspend.node.suspend
(12)      [DISC] (1) Boolean[1] parallel.inPort.node.suspend
(13)      [DISC] (1) Boolean T3.outPort.fire
(14)      [DISC] (1) protected Boolean step4.inport_fire
(15)      [DISC] (2) Boolean[2] step3.inPort.node.resume
(16)      [DISC] (1) Boolean T1.outPort.node.suspend
(17)      [DISC] (1) protected Boolean[1] parallel.local_exit.node.suspend
(18)      [DISC] (1) Boolean[1] step4.inPort.node.suspend
(19)      [DISC] (1) Boolean T2.outPort.node.suspend
(20)      [DISC] (1) Boolean T4.outPort.node.suspend
(21)      [DISC] (1) Boolean T1.inPort.available
(22)      [DISC] (1) protected Boolean[1] parallel.local_entry.fire
(23)      [DISC] (1) Boolean T7.outPort.checkOneDelayedTransitionPerLoop
(24)      [DISC] (1) protected Boolean[1] parallel.local_entry.node.resume
(25)      [DISC] (1) Boolean step3.active
(26)      [DISC] (1) protected Boolean parallel.entry_fire (fixed = true, start = false)
(27)      [DISC] (1) Boolean[1] parallel.resume.checkOneDelayedTransitionPerLoop
(28)      [DISC] (1) protected Boolean parallel.newActive (fixed = true, start = false)
(29)      [DISC] (1) protected Boolean[1] parallel.local_exit.available
(30)      [DISC] (2) Boolean[2] step4.outPort.node.suspend
(31)      [DISC] (1) Boolean T5.outPort.node.resume
(32)      [DISC] (1) Boolean T7.inPort.node.resume
(33)      [DISC] (1) Boolean T1.outPort.node.resume
(34)      [DISC] (1) Boolean T3.enableFire
(35)      [DISC] (1) Boolean[1] step1.outPort.available
(36)      [DISC] (1) protected Boolean step1.outport_fire
(37)      [DISC] (1) Boolean[1] step3.outPort.checkOneDelayedTransitionPerLoop
(38)      [DISC] (1) Boolean T2.outPort.node.resume
(39)      [DISC] (1) Boolean T6.outPort.node.resume
(40)      [DISC] (1) protected Boolean step6.outport_fire
(41)      [DISC] (1) protected Boolean[1] parallel.entry_restart
(42)      [DISC] (1) protected Boolean[1] parallel.local_suspend.node.suspend
(43)      [DISC] (1) Boolean T4.outPort.node.resume
(44)      [DISC] (1) Boolean $TEV_9
(45)      [DISS] (1) protected Boolean parallel.finished (fixed = true, start = true)
(46)      [DISC] (1) Boolean $TEV_8
(47)      [DISC] (1) Boolean $TEV_7
(48)      [DISC] (1) Boolean $TEV_6
(49)      [DISC] (1) Boolean $TEV_5
(50)      [DISC] (1) protected Boolean[1] parallel.local_outPort.node.resume
(51)      [DISC] (1) Boolean $TEV_4
(52)      [DISC] (1) Boolean T1.outPort.fire
(53)      [DISC] (1) Boolean $TEV_3
(54)      [DISC] (1) Boolean $TEV_2
(55)      [DISC] (1) Boolean step4.active
(56)      [DISC] (1) Boolean $TEV_1
(57)      [DISC] (1) Boolean $TEV_0
(58)      [DISC] (2) Boolean[2] $SEV_15[$i1]
(59)      [DISC] (1) Boolean[1] step4.inPort.checkOneDelayedTransitionPerLoop
(60)      [DISC] (1) Boolean[1] step6.outPort.node.suspend
(61)      [DISC] (1) Boolean[1] step5.outPort.fire
(62)      [DISC] (1) protected Boolean step6.inport_fire
(63)      [DISC] (1) protected Boolean step1.newActive (fixed = true, start = true)
(64)      [DISC] (1) Boolean[1] parallel.entry.checkOneDelayedTransitionPerLoop
(65)      [DISC] (1) Boolean T2.inPort.node.resume
(66)      [DISC] (1) Boolean T2.enableFire
(67)      [DISC] (1) Boolean T3.outPort.node.resume
(68)      [DISC] (1) protected Integer[1] parallel.entryIndices
(69)      [DISC] (1) Boolean[1] step6.outPort.node.resume
(70)      [DISC] (1) Boolean[1] parallel.inPort.node.resume
(71)      [DISC] (1) Boolean T6.outPort.fire
(72)      [DISC] (1) Boolean T2.inPort.available
(73)      [DISC] (1) Boolean[1] parallel.suspend.node.resume
(74)      [DISC] (1) protected Boolean step1.inport_fire
(75)      [DISC] (2) Boolean[2] $SEV_14[$i1]
(76)      [DISC] (1) Boolean[1] parallel.resume.fire
(77)      [DISC] (2) Boolean[2] step4.outPort.available
(78)      [DISC] (1) protected Boolean step6.connectorNode.node.suspend
(79)      [DISC] (1) Boolean step5.active
(80)      [DISC] (1) protected Boolean step3.newActive (fixed = true, start = false)
(81)      [DISC] (1) protected Boolean[1] parallel.local_entry.checkOneDelayedTransitionPerLoop
(82)      [DISC] (1) Boolean[1] parallel.inPort.fire
(83)      [DISC] (1) protected Boolean[1] parallel.local_outPort.available
(84)      [DISC] (1) Boolean T1.enableFire
(85)      [DISC] (1) protected Boolean step4.outport_fire
(86)      [DISC] (1) Boolean T5.inPort.checkOneDelayedTransitionPerLoop
(87)      [DISC] (1) protected Boolean parallel.connectorNode.node.resume
(88)      [DISC] (1) Boolean[1] parallel.suspend.fire
(89)      [DISC] (2) Boolean[2] step3.inPort.node.suspend
(90)      [DISC] (2) Boolean[2] $SEV_13[$i1]
(91)      [DISC] (1) Boolean[1] step5.inPort.fire
(92)      [DISC] (1) Boolean[1] parallel.resume.node.suspend
(93)      [DISC] (1) Boolean[1] step4.inPort.node.resume
(94)      [DISC] (1) protected Boolean step4.connectorNode.node.suspend
(95)      [DISC] (1) Boolean T3.inPort.available
(96)      [DISC] (1) Boolean T4.outPort.checkOneDelayedTransitionPerLoop
(97)      [DISC] (1) protected Boolean parallel.outport_fire
(98)      [DISC] (1) Boolean[1] step3.outPort.fire
(99)      [DISC] (1) Boolean[1] step6.inPort.node.resume
(100)     [DISC] (2) Boolean[2] step3.inPort.fire
(101)     [DISC] (1) Boolean parallel.active (fixed = true, start = false)
(102)     [DISC] (1) protected Boolean step5.newActive (fixed = true, start = false)
(103)     [DISC] (1) Boolean $SEV_9
(104)     [DISC] (1) Boolean[1] parallel.exit.fire
(105)     [DISC] (1) Boolean $SEV_8
(106)     [DISC] (1) Boolean $SEV_7
(107)     [DISC] (1) Boolean T4.outPort.fire
(108)     [DISC] (1) Boolean $SEV_6
(109)     [DISC] (1) Boolean $SEV_4
(110)     [DISC] (1) Boolean[1] step5.outPort.checkOneDelayedTransitionPerLoop
(111)     [DISC] (1) Boolean $SEV_2
(112)     [DISC] (1) Boolean $SEV_1
(113)     [DISC] (1) Boolean T6.inPort.available
(114)     [DISC] (1) Boolean step6.active
(115)     [DISC] (1) Boolean $SEV_0
(116)     [DISC] (2) Boolean[2] $SEV_12[$i1]
(117)     [DISC] (1) Boolean[1] parallel.inPort.checkOneDelayedTransitionPerLoop
(118)     [DISS] (1) protected Boolean step4.oldActive (fixed = true, start = false)
(119)     [DISC] (1) protected Boolean[1] parallel.local_outPort.fire
(120)     [DISC] (1) protected Boolean T7.localCondition
(121)     [DISC] (1) Boolean T6.inPort.node.resume
(122)     [DISC] (1) protected Boolean[1] parallel.local_suspend.checkOneDelayedTransitionPerLoop
(123)     [DISC] (1) Boolean[1] step1.outPort.node.suspend
(124)     [DISC] (1) Boolean T4.inPort.node.suspend
(125)     [DISC] (1) protected Boolean step4.connectorNode.node.resume
(126)     [DISC] (1) protected Boolean[1] parallel.local_inPort.node.suspend
(127)     [DISC] (1) Boolean[1] parallel.entry.node.resume
(128)     [DISS] (1) protected Boolean parallel.oldActive (fixed = true, start = false)
(129)     [DISC] (1) Boolean[1] step5.outPort.node.suspend
(130)     [DISC] (1) protected Boolean[1] parallel.local_resume.node.resume
(131)     [DISC] (1) Boolean[1] parallel.exit.node.suspend
(132)     [DISC] (1) protected Boolean step6.connectorNode.node.resume
(133)     [DISC] (1) protected Boolean parallel.resume_fire
(134)     [DISC] (1) Boolean[1] step3.outPort.available
(135)     [DISC] (1) Boolean[1] step6.inPort.node.suspend
(136)     [DISC] (1) Boolean T4.inPort.node.resume
(137)     [DISC] (1) Boolean T7.inPort.node.suspend
(138)     [DISC] (1) protected Boolean[1] parallel.local_resume.checkOneDelayedTransitionPerLoop
(139)     [DISC] (1) Boolean[1] parallel.exit.available
(140)     [DISC] (1) Boolean[1] parallel.suspend.checkOneDelayedTransitionPerLoop
(141)     [DISC] (1) protected Boolean[1] parallel.local_suspend.available
(142)     [DISC] (1) Boolean T3.inPort.node.suspend
(143)     [DISS] (1) protected Boolean step6.oldActive (fixed = true, start = false)
(144)     [DISC] (1) Boolean T2.inPort.checkOneDelayedTransitionPerLoop
(145)     [DISC] (1) Boolean[1] step1.outPort.fire
(146)     [DISC] (1) Boolean[1] step4.inPort.fire
(147)     [DISC] (2) Boolean[2] step3.inPort.checkOneDelayedTransitionPerLoop
(148)     [DISC] (1) protected Boolean step3.connectorNode.node.resume
(149)     [DISC] (1) Boolean T2.outPort.fire
(150)     [DISC] (1) protected Boolean[1] parallel.local_exit.node.resume
(151)     [DISC] (1) protected Boolean parallel.suspend_fire (fixed = true, start = false)
(152)     [DISC] (1) Boolean T7.outPort.node.resume
(153)     [DISC] (1) Boolean T5.inPort.available
(154)     [DISC] (1) Boolean[1] step6.outPort.fire
(155)     [DISC] (1) Boolean[1] step3.outPort.node.suspend
(156)     [DISC] (1) Boolean $FUN_9
(157)     [DISC] (1) Boolean $FUN_8
(158)     [DISC] (1) Boolean $FUN_7
(159)     [DISC] (1) Boolean $FUN_6
(160)     [DISC] (1) protected Boolean[1] parallel.local_exit.fire
(161)     [DISC] (1) Boolean $FUN_24
(162)     [DISC] (1) Boolean T7.inPort.available
(163)     [DISC] (1) Boolean $FUN_21
(164)     [DISC] (1) Boolean[1] parallel.suspend.available
(165)     [DISC] (1) Boolean T7.outPort.fire
(166)     [DISC] (1) Boolean T5.inPort.node.resume
(167)     [DISC] (1) protected Boolean step5.connectorNode.node.suspend
(168)     [DISC] (1) Boolean $SEV_35
(169)     [DISC] (1) protected Boolean[1] parallel.local_outPort.node.suspend
(170)     [DISC] (1) Boolean T5.outPort.node.suspend
(171)     [DISC] (1) protected Boolean step1.connectorNode.node.suspend
(172)     [DISC] (1) Boolean[1] step6.inPort.fire
(173)     [DISC] (1) Boolean[1] step3.outPort.node.resume
(174)     [DISC] (1) Boolean $SEV_34
(175)     [DISC] (1) Boolean[1] step5.outPort.node.resume
(176)     [DISC] (1) Boolean $SEV_33
(177)     [DISC] (1) Boolean $SEV_32
(178)     [DISC] (1) Boolean $SEV_31
(179)     [DISC] (1) Boolean $SEV_30
(180)     [DISC] (1) Boolean[1] step1.outPort.node.resume
(181)     [DISC] (1) Boolean $FUN_18
(182)     [DISC] (1) Boolean[1] parallel.entry.node.suspend
(183)     [DISC] (1) Boolean $FUN_15
(184)     [DISC] (1) Boolean $FUN_14
(185)     [DISC] (1) Boolean $FUN_13
(186)     [DISC] (1) Boolean $FUN_11
(187)     [DISC] (1) protected Boolean[1] parallel.local_inPort.fire
(188)     [DISC] (1) Boolean $FUN_10
(189)     [DISC] (1) Boolean[1] step5.outPort.available
(190)     [DISC] (1) protected Boolean[1] parallel.local_entry.node.suspend
(191)     [DISC] (1) Boolean $SEV_29
(192)     [DISC] (1) Boolean $SEV_28
(193)     [DISC] (1) protected Boolean T4.localCondition
(194)     [DISC] (1) Boolean[1] step6.outPort.available
(195)     [DISC] (1) Boolean $SEV_27
(196)     [DISC] (1) Boolean $SEV_26
(197)     [DISC] (1) protected Boolean parallel.checkOneDelayedTransitionPerLoopIn
(198)     [DISC] (1) Boolean $SEV_25
(199)     [DISC] (1) Boolean $SEV_24
(200)     [DISC] (1) Boolean $SEV_23
(201)     [DISC] (1) Boolean $SEV_22
(202)     [DISC] (2) Boolean[2] step4.outPort.node.resume
(203)     [DISC] (1) protected Boolean step3.connectorNode.node.suspend
(204)     [DISC] (1) Boolean T6.inPort.checkOneDelayedTransitionPerLoop
(205)     [DISC] (1) Boolean $SEV_20
(206)     [DISC] (1) Boolean[1] step5.inPort.node.resume
(207)     [DISC] (1) protected Boolean[1] parallel.local_resume.fire
(208)     [DISC] (1) protected Boolean step5.connectorNode.node.resume
(209)     [DISC] (1) protected Boolean step5.outport_fire
(210)     [DISC] (1) Boolean T6.enableFire
(211)     [DISC] (2) Boolean[2] step4.outPort.checkOneDelayedTransitionPerLoop
(212)     [DISC] (1) Boolean T7.outPort.node.suspend
(213)     [DISC] (1) Boolean[1] parallel.outPort.available
(214)     [DISC] (1) protected Boolean step1.connectorNode.node.resume
(215)     [DISC] (1) Boolean T1.inPort.node.suspend
(216)     [DISC] (1) Boolean $SEV_19
(217)     [DISC] (1) Boolean $SEV_18
(218)     [DISC] (1) Boolean $SEV_16
(219)     [DISC] (1) Boolean T5.inPort.node.suspend
(220)     [DISC] (2) Boolean[2] step4.outPort.fire
(221)     [DISC] (1) Boolean $SEV_11
(222)     [DISC] (1) protected Boolean[1] parallel.local_resume.node.suspend
(223)     [DISS] (1) protected Boolean step1.oldActive (fixed = true, start = true)
(224)     [DISC] (1) protected Boolean[1] parallel.local_inPort.node.resume
(225)     [DISC] (1) Boolean[1] step1.inPort.fire
(226)     [DISC] (1) Boolean[1] step5.inPort.checkOneDelayedTransitionPerLoop
(227)     [DISC] (1) Boolean $TEV_24
(228)     [DISC] (1) Boolean[1] parallel.exit.node.resume
(229)     [DISC] (1) Boolean T4.inPort.available
(230)     [DISC] (1) Boolean $TEV_23
(231)     [DISC] (1) Boolean $TEV_22
(232)     [DISC] (1) Boolean $TEV_21
(233)     [DISC] (1) Boolean $TEV_20
(234)     [DISC] (1) protected Boolean step5.inport_fire
(235)     [DISC] (1) protected Integer parallel.firstActive (fixed = true, start = 0)
(236)     [DISC] (1) protected Boolean parallel.connectorNode.node.suspend
(237)     [DISC] (1) Boolean[1] parallel.entry.fire
(238)     [DISC] (1) Boolean step1.active
(239)     [DISC] (1) Boolean[1] parallel.outPort.node.suspend
(240)     [DISC] (1) Boolean T5.outPort.fire
(241)     [DISC] (1) Boolean[1] parallel.outPort.fire
(242)     [DISC] (1) Boolean T2.inPort.node.suspend
(243)     [DISC] (1) protected Boolean step3.inport_fire
(244)     [DISS] (1) protected Real T1.t_start
(245)     [DISC] (1) protected Boolean step4.newActive (fixed = true, start = false)
(246)     [DISC] (1) Boolean T6.inPort.node.suspend
(247)     [DISC] (1) Boolean $TEV_19
(248)     [DISC] (1) Boolean $TEV_18
(249)     [DISC] (1) Boolean $TEV_17
(250)     [DISS] (1) protected Real T2.t_start
(251)     [DISC] (1) Boolean $TEV_16
(252)     [DISC] (1) Boolean T1.inPort.node.resume
(253)     [DISC] (1) Boolean $TEV_15
(254)     [DISC] (1) Boolean $TEV_14
(255)     [DISC] (1) protected Boolean parallel.inport_fire (fixed = true, start = false)
(256)     [DISC] (1) Boolean $TEV_13
(257)     [DISC] (1) Boolean $TEV_12
(258)     [DISS] (1) protected Real T3.t_start
(259)     [DISC] (1) Boolean $TEV_11
(260)     [DISC] (1) Boolean T5.enableFire
(261)     [DISC] (1) Boolean $TEV_10
(262)     [DISC] (1) Boolean[1] parallel.outPort.node.resume
(263)     [DISC] (1) Boolean T3.inPort.node.resume
(264)     [DISC] (1) Boolean[1] parallel.resume.node.resume
(265)     [DISS] (1) protected Boolean step3.oldActive (fixed = true, start = false)
(266)     [DISS] (1) protected Real T5.t_start
(267)     [DISS] (1) protected Real T6.t_start
(268)     [DISC] (1) Boolean T3.outPort.node.suspend


System Equations (269/303)
****************************
(1)       [SCAL] (1) step3.outPort[1].fire = T2.outPort.fire ($RES_SIM_254)
(2)       [SCAL] (1) step3.outPort[1].checkOneDelayedTransitionPerLoop = T2.inPort.checkOneDelayedTransitionPerLoop ($RES_SIM_255)
(3)       [SCAL] (1) step3.outPort[1].available = T2.inPort.available ($RES_SIM_256)
(4)       [SCAL] (1) step6.outPort[1].node.resume = parallel.exit[1].node.resume ($RES_SIM_257)
(5)       [SCAL] (1) step6.outPort[1].node.suspend = parallel.exit[1].node.suspend ($RES_SIM_258)
(6)       [SCAL] (1) step6.outPort[1].fire = parallel.exit[1].fire ($RES_SIM_259)
(7)       [SCAL] (1) $TEV_0 = $PRE.T7.outPort.fire ($RES_EVT_381)
(8)       [SCAL] (1) $TEV_1 = $PRE.T6.t_start ($RES_EVT_382)
(9)       [SCAL] (1) $TEV_2 = $PRE.T6.enableFire ($RES_EVT_383)
(10)      [SCAL] (1) $TEV_3 = $PRE.T5.t_start ($RES_EVT_384)
(11)      [SCAL] (1) $TEV_4 = $PRE.T5.enableFire ($RES_EVT_385)
(12)      [ARRY] (1) parallel.outPort.available = parallel.local_outPort.available ($RES_SIM_341)
(13)      [SCAL] (1) $TEV_5 = $PRE.T4.outPort.fire ($RES_EVT_386)
(14)      [ARRY] (1) parallel.inPort.node.resume = parallel.local_inPort.node.resume ($RES_SIM_342)
(15)      [SCAL] (1) $TEV_6 = $PRE.T3.t_start ($RES_EVT_387)
(16)      [ARRY] (1) parallel.inPort.node.suspend = parallel.local_inPort.node.suspend ($RES_SIM_343)
(17)      [SCAL] (1) $TEV_7 = $PRE.T3.enableFire ($RES_EVT_388)
(18)      [ARRY] (1) parallel.inPort.fire = parallel.local_inPort.fire ($RES_SIM_344)
(19)      [SCAL] (1) $TEV_8 = $PRE.T2.t_start ($RES_EVT_389)
(20)      [SCAL] (1) parallel.local_entry[parallel.entryIndices[1]].checkOneDelayedTransitionPerLoop = parallel.checkOneDelayedTransitionPerLoopIn ($RES_SIM_170)
(21)      [ARRY] (1) parallel.inPort.checkOneDelayedTransitionPerLoop = parallel.local_inPort.checkOneDelayedTransitionPerLoop ($RES_SIM_346)
(22)      [ARRY] (1) parallel.local_suspend.checkOneDelayedTransitionPerLoop = {parallel.checkOneDelayedTransitionPerLoopIn} ($RES_SIM_171)
(23)      [SCAL] (1) parallel.checkOneDelayedTransitionPerLoopIn = $SEV_23 ($RES_SIM_172)
(24)      [FOR-] (2) ($RES_SIM_175)
(24)      [----] for $i1 in 1:1 loop
(24)      [----]   [RECD] (2) parallel.local_suspend[$i1].node = parallel.connectorNode.node ($RES_SIM_176)
(24)      [----] end for;
(25)      [FOR-] (2) ($RES_SIM_179)
(25)      [----] for $i1 in 1:1 loop
(25)      [----]   [RECD] (2) parallel.local_outPort[$i1].node = parallel.connectorNode.node ($RES_SIM_180)
(25)      [----] end for;
(26)      [SCAL] (1) step6.outPort[1].available = parallel.exit[1].available ($RES_SIM_261)
(27)      [SCAL] (1) T6.outPort.node.resume = step6.inPort[1].node.resume ($RES_SIM_262)
(28)      [SCAL] (1) T6.outPort.node.suspend = step6.inPort[1].node.suspend ($RES_SIM_263)
(29)      [SCAL] (1) T6.outPort.fire = step6.inPort[1].fire ($RES_SIM_264)
(30)      [SCAL] (1) T4.outPort.node.resume = step5.inPort[1].node.resume ($RES_SIM_267)
(31)      [SCAL] (1) T4.outPort.node.suspend = step5.inPort[1].node.suspend ($RES_SIM_268)
(32)      [SCAL] (1) T4.outPort.fire = step5.inPort[1].fire ($RES_SIM_269)
(33)      [SCAL] (1) $TEV_9 = $PRE.T2.enableFire ($RES_EVT_390)
(34)      [SCAL] (1) $TEV_10 = $PRE.T1.t_start ($RES_EVT_391)
(35)      [SCAL] (1) $TEV_11 = $PRE.T1.enableFire ($RES_EVT_392)
(36)      [SCAL] (1) $TEV_12 = $PRE.step6.newActive ($RES_EVT_393)
(37)      [SCAL] (1) $TEV_13 = $PRE.step5.newActive ($RES_EVT_394)
(38)      [SCAL] (1) $TEV_14 = $PRE.step4.newActive ($RES_EVT_395)
(39)      [SCAL] (1) $TEV_15 = $PRE.step3.newActive ($RES_EVT_396)
(40)      [SCAL] (1) $TEV_16 = $PRE.parallel.firstActive ($RES_EVT_397)
(41)      [SCAL] (1) $TEV_17 = $PRE.parallel.newActive ($RES_EVT_398)
(42)      [SCAL] (1) $TEV_18 = $PRE.parallel.entry_fire ($RES_EVT_399)
(43)      [FOR-] (2) ($RES_SIM_183)
(43)      [----] for $i1 in 1:1 loop
(43)      [----]   [RECD] (2) parallel.local_resume[$i1].node = parallel.connectorNode.node ($RES_SIM_184)
(43)      [----] end for;
(44)      [FOR-] (2) ($RES_SIM_187)
(44)      [----] for $i1 in 1:1 loop
(44)      [----]   [RECD] (2) parallel.local_inPort[$i1].node = parallel.connectorNode.node ($RES_SIM_188)
(44)      [----] end for;
(45)      [SCAL] (1) parallel.local_entry[1].node.suspend = $SEV_24 ($RES_SIM_189)
(46)      [SCAL] (1) T4.outPort.checkOneDelayedTransitionPerLoop = step5.inPort[1].checkOneDelayedTransitionPerLoop ($RES_SIM_271)
(47)      [SCAL] (1) step5.outPort[1].node.resume = T5.inPort.node.resume ($RES_SIM_272)
(48)      [SCAL] (1) step5.outPort[1].node.suspend = T5.inPort.node.suspend ($RES_SIM_273)
(49)      [SCAL] (1) step5.outPort[1].fire = T5.outPort.fire ($RES_SIM_274)
(50)      [SCAL] (1) step5.outPort[1].checkOneDelayedTransitionPerLoop = T5.inPort.checkOneDelayedTransitionPerLoop ($RES_SIM_275)
(51)      [SCAL] (1) step5.outPort[1].available = T5.inPort.available ($RES_SIM_276)
(52)      [SCAL] (1) T4.inPort.node.resume = parallel.suspend[1].node.resume ($RES_SIM_277)
(53)      [SCAL] (1) T4.inPort.node.suspend = parallel.suspend[1].node.suspend ($RES_SIM_278)
(54)      [SCAL] (1) T4.outPort.fire = parallel.suspend[1].fire ($RES_SIM_279)
(55)      [SCAL] (1) parallel.local_entry[1].node.resume = $SEV_25 ($RES_SIM_190)
(56)      [ARRY] (1) parallel.entryIndices = {1} ($RES_SIM_191)
(57)      [SCAL] (1) parallel.local_suspend[1].available = $SEV_26 ($RES_SIM_194)
(58)      [SCAL] (1) parallel.local_outPort[1].available = $SEV_27 ($RES_SIM_195)
(59)      [ARRY] (1) parallel.local_exit.fire = {parallel.outport_fire} ($RES_SIM_196)
(60)      [-IF-] (1)if $SEV_28 then
(60)      [----]   [ARRY] (1) parallel.local_entry.fire = parallel.entry_restart ($RES_SIM_198)
(60)      [----] else
(60)      [----]   [ARRY] (1) parallel.local_entry.fire = {parallel.inport_fire for $i1 in 1:1} ($RES_SIM_199)
(60)      [----] end if;
(61)      [SCAL] (1) T4.outPort.checkOneDelayedTransitionPerLoop = parallel.suspend[1].checkOneDelayedTransitionPerLoop ($RES_SIM_280)
(62)      [SCAL] (1) T4.inPort.available = parallel.suspend[1].available ($RES_SIM_281)
(63)      [SCAL] (1) T7.outPort.node.resume = step3.inPort[2].node.resume ($RES_SIM_282)
(64)      [SCAL] (1) T7.outPort.node.suspend = step3.inPort[2].node.suspend ($RES_SIM_283)
(65)      [SCAL] (1) T7.outPort.fire = step3.inPort[2].fire ($RES_SIM_284)
(66)      [SCAL] (1) T7.outPort.checkOneDelayedTransitionPerLoop = step3.inPort[2].checkOneDelayedTransitionPerLoop ($RES_SIM_286)
(67)      [SCAL] (1) step4.outPort[2].node.resume = T7.inPort.node.resume ($RES_SIM_287)
(68)      [SCAL] (1) step4.outPort[2].node.suspend = T7.inPort.node.suspend ($RES_SIM_288)
(69)      [SCAL] (1) step4.outPort[2].fire = T7.outPort.fire ($RES_SIM_289)
(70)      [SCAL] (1) step4.outPort[2].checkOneDelayedTransitionPerLoop = T7.outPort.checkOneDelayedTransitionPerLoop ($RES_SIM_290)
(71)      [SCAL] (1) step4.outPort[2].available = T7.inPort.available ($RES_SIM_291)
(72)      [SCAL] (1) T6.inPort.node.resume = step4.outPort[1].node.resume ($RES_SIM_292)
(73)      [SCAL] (1) T6.inPort.node.suspend = step4.outPort[1].node.suspend ($RES_SIM_293)
(74)      [SCAL] (1) T6.outPort.fire = step4.outPort[1].fire ($RES_SIM_294)
(75)      [SCAL] (1) T6.inPort.checkOneDelayedTransitionPerLoop = step4.outPort[1].checkOneDelayedTransitionPerLoop ($RES_SIM_295)
(76)      [SCAL] (1) T6.inPort.available = step4.outPort[1].available ($RES_SIM_296)
(77)      [SCAL] (1) T5.outPort.node.resume = parallel.resume[1].node.resume ($RES_SIM_297)
(78)      [SCAL] (1) T5.outPort.node.suspend = parallel.resume[1].node.suspend ($RES_SIM_298)
(79)      [SCAL] (1) T5.outPort.fire = parallel.resume[1].fire ($RES_SIM_299)
(80)      [RECD] (2) T7.outPort.node = T7.inPort.node ($RES_SIM_12)
(81)      [SCAL] (1) T7.outPort.fire = $SEV_0 ($RES_SIM_18)
(82)      [SCAL] (1) step6.outPort[1].fire = true ($RES_SIM_20)
(83)      [SCAL] (1) step6.inPort[1].fire = true ($RES_SIM_23)
(84)      [FOR-] (2) ($RES_SIM_29)
(84)      [----] for $i1 in 1:1 loop
(84)      [----]   [RECD] (2) step6.outPort[$i1].node = step6.connectorNode.node ($RES_SIM_30)
(84)      [----] end for;
(85)      [FOR-] (2) ($RES_SIM_33)
(85)      [----] for $i1 in 1:1 loop
(85)      [----]   [RECD] (2) step6.inPort[$i1].node = step6.connectorNode.node ($RES_SIM_34)
(85)      [----] end for;
(86)      [SCAL] (1) step6.outPort[1].available = $SEV_1 ($RES_SIM_37)
(87)      [WHEN] (1)when step6.connectorNode.node.suspend then 
(87)      [----]   step6.oldActive := step6.active
(87)      [----] end when;
(88)      [SCAL] (1) step6.active = $TEV_12 ($RES_SIM_39)
(89)      [SCAL] (1) step6.newActive = if step6.connectorNode.node.resume then step6.oldActive else $SEV_2 ($RES_SIM_40)
(90)      [RECD] (2) T6.outPort.node = T6.inPort.node ($RES_SIM_44)
(91)      [SCAL] (1) T6.outPort.fire = $SEV_4 ($RES_SIM_48)
(92)      [WHEN] (1)when T6.enableFire then 
(92)      [----]   T6.t_start := time
(92)      [----] end when;
(93)      [SCAL] (1) T6.enableFire = T6.inPort.available ($RES_SIM_50)
(94)      [RECD] (2) T5.outPort.node = T5.inPort.node ($RES_SIM_53)
(95)      [SCAL] (1) T5.outPort.fire = $SEV_6 ($RES_SIM_57)
(96)      [WHEN] (1)when T5.enableFire then 
(96)      [----]   T5.t_start := time
(96)      [----] end when;
(97)      [SCAL] (1) T5.enableFire = T5.inPort.available ($RES_SIM_59)
(98)      [FOR-] (2) ($RES_SIM_101)
(98)      [----] for $i1 in 1:2 loop
(98)      [----]   [SCAL] (1) step4.outPort[$i1].fire = true ($RES_SIM_102)
(98)      [----] end for;
(99)      [SCAL] (1) $TEV_19 = $PRE.step1.newActive ($RES_EVT_400)
(100)     [SCAL] (1) step4.inPort[1].fire = true ($RES_SIM_105)
(101)     [SCAL] (1) $TEV_20 = time >= 2.5 ($RES_EVT_401)
(102)     [SCAL] (1) step4.inPort[1].checkOneDelayedTransitionPerLoop = true ($RES_SIM_106)
(103)     [SCAL] (1) $TEV_21 = time < 4.5 ($RES_EVT_402)
(104)     [SCAL] (1) $TEV_22 = $TEV_20 and $TEV_21 ($RES_EVT_403)
(105)     [SCAL] (1) $TEV_23 = time >= 3.5 ($RES_EVT_404)
(106)     [SCAL] (1) $TEV_24 = $TEV_23 and $TEV_21 ($RES_EVT_405)
(107)     [SCAL] (1) $SEV_0 = T7.localCondition and T7.inPort.available ($RES_EVT_406)
(108)     [SCAL] (1) $SEV_1 = step6.active and not step6.connectorNode.node.suspend ($RES_EVT_407)
(109)     [SCAL] (1) $SEV_2 = step6.inport_fire or (step6.active and not step6.outport_fire) and not step6.connectorNode.node.suspend ($RES_EVT_408)
(110)     [SCAL] (1) step5.outPort[1].fire = true ($RES_SIM_61)
(111)     [SCAL] (1) step5.inPort[1].fire = true ($RES_SIM_64)
(112)     [SCAL] (1) step5.inPort[1].checkOneDelayedTransitionPerLoop = true ($RES_SIM_65)
(113)     [FOR-] (4) ($RES_SIM_111)
(113)     [----] for $i1 in 1:2 loop
(113)     [----]   [RECD] (2) step4.outPort[$i1].node = step4.connectorNode.node ($RES_SIM_112)
(113)     [----] end for;
(114)     [SCAL] (1) $SEV_4 = T6.enableFire and time >= (T6.t_start + T6.waitTime) ($RES_EVT_410)
(115)     [FOR-] (2) ($RES_SIM_115)
(115)     [----] for $i1 in 1:1 loop
(115)     [----]   [RECD] (2) step4.inPort[$i1].node = step4.connectorNode.node ($RES_SIM_116)
(115)     [----] end for;
(116)     [SCAL] (1) $SEV_6 = T5.enableFire and time >= (T5.t_start + T5.waitTime) ($RES_EVT_412)
(117)     [ARRY] (2) step4.outPort.checkOneDelayedTransitionPerLoop = {$FUN_21 for $i1 in 1:2} ($RES_SIM_117)
(118)     [SCAL] (1) $SEV_7 = step5.active and not step5.connectorNode.node.suspend ($RES_EVT_413)
(119)     [SCAL] (1) $SEV_8 = step5.inport_fire or (step5.active and not step5.outport_fire) and not step5.connectorNode.node.suspend ($RES_EVT_414)
(120)     [FOR-] (2) ($RES_SIM_119)
(120)     [----] for $i1 in 1:2 loop
(120)     [----]   [SCAL] (1) step4.outPort[$i1].available = if $SEV_12[$i1] then $SEV_13[$i1] else $SEV_15[$i1] ($RES_SIM_120)
(120)     [----] end for;
(121)     [SCAL] (1) $SEV_9 = T4.localCondition and T4.inPort.available ($RES_EVT_415)
(122)     [SCAL] (1) $SEV_11 = T3.enableFire and time >= (T3.t_start + T3.waitTime) ($RES_EVT_417)
(123)     [FOR-] (2) ($RES_SIM_70)
(123)     [----] for $i1 in 1:1 loop
(123)     [----]   [RECD] (2) step5.outPort[$i1].node = step5.connectorNode.node ($RES_SIM_71)
(123)     [----] end for;
(124)     [FOR-] (2) ($RES_EVT_418)
(124)     [----] for $i1 in 1:2 loop
(124)     [----]   [SCAL] (1) $SEV_12[$i1] = $i1 == 1 ($RES_EVT_419)
(124)     [----] end for;
(125)     [SCAL] (1) parallel.firstActive = if $SEV_29 then 1 + $TEV_16 else if $SEV_30 then 0 else $TEV_16 ($RES_SIM_200)
(126)     [SCAL] (1) parallel.entry_restart[parallel.entryIndices[1]] = true ($RES_SIM_201)
(127)     [SCAL] (1) parallel.newActive = if $FUN_9 then parallel.oldActive else $SEV_31 ($RES_SIM_202)
(128)     [FOR-] (2) ($RES_SIM_74)
(128)     [----] for $i1 in 1:1 loop
(128)     [----]   [RECD] (2) step5.inPort[$i1].node = step5.connectorNode.node ($RES_SIM_75)
(128)     [----] end for;
(129)     [SCAL] (1) parallel.active = $TEV_17 ($RES_SIM_203)
(130)     [ARRY] (1) step5.outPort.checkOneDelayedTransitionPerLoop = {$FUN_24} ($RES_SIM_76)
(131)     [SCAL] (1) parallel.resume_fire = $SEV_32 ($RES_SIM_205)
(132)     [SCAL] (1) step5.outPort[1].available = $SEV_7 ($RES_SIM_78)
(133)     [SCAL] (1) parallel.suspend_fire = $SEV_33 ($RES_SIM_206)
(134)     [WHEN] (1)when step5.connectorNode.node.suspend then 
(134)     [----]   step5.oldActive := step5.active
(134)     [----] end when;
(135)     [WHEN] (1)when step4.connectorNode.node.suspend then 
(135)     [----]   step4.oldActive := step4.active
(135)     [----] end when;
(136)     [SCAL] (1) step4.active = $TEV_14 ($RES_SIM_122)
(137)     [SCAL] (1) step4.newActive = if step4.connectorNode.node.resume then step4.oldActive else $SEV_16 ($RES_SIM_123)
(138)     [FOR-] (2) ($RES_EVT_420)
(138)     [----] for $i1 in 1:2 loop
(138)     [----]   [SCAL] (1) $SEV_13[$i1] = step4.active and not step4.connectorNode.node.suspend ($RES_EVT_421)
(138)     [----] end for;
(139)     [FOR-] (2) ($RES_EVT_422)
(139)     [----] for $i1 in 1:2 loop
(139)     [----]   [SCAL] (1) $SEV_14[$i1] = step4.outPort[$i1 - 1].available and not step4.outPort[$i1 - 1].fire ($RES_EVT_423)
(139)     [----] end for;
(140)     [RECD] (2) T2.outPort.node = T2.inPort.node ($RES_SIM_127)
(141)     [FOR-] (2) ($RES_EVT_424)
(141)     [----] for $i1 in 1:2 loop
(141)     [----]   [SCAL] (1) $SEV_15[$i1] = $SEV_14[$i1] and not step4.connectorNode.node.suspend ($RES_EVT_425)
(141)     [----] end for;
(142)     [SCAL] (1) $SEV_16 = step4.inport_fire or (step4.active and not step4.outport_fire) and not step4.connectorNode.node.suspend ($RES_EVT_426)
(143)     [SCAL] (1) $SEV_18 = T2.enableFire and time >= (T2.t_start + T2.waitTime) ($RES_EVT_428)
(144)     [SCAL] (1) step5.active = $TEV_13 ($RES_SIM_80)
(145)     [SCAL] (1) $SEV_19 = step3.active and not step3.connectorNode.node.suspend ($RES_EVT_429)
(146)     [SCAL] (1) step5.newActive = if step5.connectorNode.node.resume then step5.oldActive else $SEV_8 ($RES_SIM_81)
(147)     [WHEN] (1)when parallel.connectorNode.node.suspend then 
(147)     [----]   parallel.oldActive := parallel.active
(147)     [----] end when;
(148)     [WHEN] (1)when {parallel.outport_fire, $TEV_18} then 
(148)     [----]   parallel.finished := parallel.outport_fire
(148)     [----] end when;
(149)     [SCAL] (1) step1.outPort[1].fire = true ($RES_SIM_212)
(150)     [RECD] (2) T4.outPort.node = T4.inPort.node ($RES_SIM_84)
(151)     [SCAL] (1) step1.inPort[1].fire = true ($RES_SIM_215)
(152)     [SCAL] (1) true = parallel.resume[1].checkOneDelayedTransitionPerLoop ($RES_SIM_301)
(153)     [SCAL] (1) T3.outPort.node.resume = step1.inPort[1].node.resume ($RES_SIM_302)
(154)     [SCAL] (1) T3.outPort.node.suspend = step1.inPort[1].node.suspend ($RES_SIM_303)
(155)     [SCAL] (1) T3.outPort.fire = step1.inPort[1].fire ($RES_SIM_304)
(156)     [SCAL] (1) step1.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step1.inPort.fire) ($RES_$AUX_380)
(157)     [SCAL] (1) T2.outPort.fire = $SEV_18 ($RES_SIM_131)
(158)     [SCAL] (1) parallel.outPort[1].node.resume = T3.inPort.node.resume ($RES_SIM_307)
(159)     [WHEN] (1)when T2.enableFire then 
(159)     [----]   T2.t_start := time
(159)     [----] end when;
(160)     [SCAL] (1) parallel.outPort[1].node.suspend = T3.inPort.node.suspend ($RES_SIM_308)
(161)     [SCAL] (1) T2.enableFire = T2.inPort.available ($RES_SIM_133)
(162)     [SCAL] (1) $SEV_20 = step3.inport_fire or (step3.active and not step3.outport_fire) and not step3.connectorNode.node.suspend ($RES_EVT_430)
(163)     [SCAL] (1) parallel.outPort[1].fire = T3.outPort.fire ($RES_SIM_309)
(164)     [SCAL] (1) step3.outPort[1].fire = true ($RES_SIM_135)
(165)     [SCAL] (1) $SEV_22 = T1.enableFire and time >= (T1.t_start + T1.waitTime) ($RES_EVT_432)
(166)     [SCAL] (1) $SEV_23 = $FUN_14 and $FUN_15 ($RES_EVT_433)
(167)     [SCAL] (1) $SEV_24 = parallel.active and parallel.suspend_fire or not parallel.active and $PRE.parallel.active ($RES_EVT_434)
(168)     [FOR-] (2) ($RES_SIM_138)
(168)     [----] for $i1 in 1:2 loop
(168)     [----]   [SCAL] (1) step3.inPort[$i1].fire = true ($RES_SIM_139)
(168)     [----] end for;
(169)     [SCAL] (1) $SEV_25 = parallel.resume_fire and not parallel.entry_fire ($RES_EVT_435)
(170)     [SCAL] (1) $SEV_26 = parallel.active and not $PRE.parallel.suspend_fire ($RES_EVT_436)
(171)     [SCAL] (1) $SEV_27 = parallel.active and $FUN_13 ($RES_EVT_437)
(172)     [SCAL] (1) $SEV_28 = parallel.firstActive == 1 ($RES_EVT_438)
(173)     [SCAL] (1) T4.outPort.fire = $SEV_9 ($RES_SIM_90)
(174)     [SCAL] (1) $SEV_29 = (parallel.active and not parallel.suspend_fire) and $PRE.parallel.firstActive <= 1 ($RES_EVT_439)
(175)     [FOR-] (2) ($RES_SIM_221)
(175)     [----] for $i1 in 1:1 loop
(175)     [----]   [RECD] (2) step1.outPort[$i1].node = step1.connectorNode.node ($RES_SIM_222)
(175)     [----] end for;
(176)     [RECD] (2) T3.outPort.node = T3.inPort.node ($RES_SIM_93)
(177)     [SCAL] (1) step1.connectorNode.node.resume = false ($RES_SIM_223)
(178)     [SCAL] (1) step1.connectorNode.node.suspend = false ($RES_SIM_224)
(179)     [SCAL] (1) T4.localCondition = $TEV_24 ($RES_BND_350)
(180)     [SCAL] (1) T3.outPort.fire = $SEV_11 ($RES_SIM_97)
(181)     [WHEN] (1)when T3.enableFire then 
(181)     [----]   T3.t_start := time
(181)     [----] end when;
(182)     [FOR-] (2) ($RES_SIM_227)
(182)     [----] for $i1 in 1:1 loop
(182)     [----]   [RECD] (2) step1.inPort[$i1].node = step1.connectorNode.node ($RES_SIM_228)
(182)     [----] end for;
(183)     [SCAL] (1) T3.enableFire = T3.inPort.available ($RES_SIM_99)
(184)     [SCAL] (1) T7.localCondition = $TEV_22 ($RES_BND_353)
(185)     [SCAL] (1) step1.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step1.outPort.fire) ($RES_$AUX_379)
(186)     [SCAL] (1) parallel.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(parallel.local_inPort.fire) ($RES_$AUX_377)
(187)     [SCAL] (1) parallel.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(parallel.local_outPort.fire) ($RES_$AUX_376)
(188)     [SCAL] (1) $FUN_6 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(parallel.local_inPort.node.suspend) ($RES_$AUX_375)
(189)     [SCAL] (1) $FUN_7 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(parallel.local_resume.node.suspend) ($RES_$AUX_374)
(190)     [SCAL] (1) parallel.outPort[1].available = T3.inPort.available ($RES_SIM_311)
(191)     [SCAL] (1) $FUN_8 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(parallel.local_suspend.fire) ($RES_$AUX_373)
(192)     [SCAL] (1) parallel.entry[1].node.resume = step3.inPort[1].node.resume ($RES_SIM_312)
(193)     [SCAL] (1) $FUN_9 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(parallel.local_inPort.node.resume) ($RES_$AUX_372)
(194)     [SCAL] (1) parallel.entry[1].node.suspend = step3.inPort[1].node.suspend ($RES_SIM_313)
(195)     [SCAL] (1) $FUN_10 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(parallel.local_resume.node.resume) ($RES_$AUX_371)
(196)     [SCAL] (1) parallel.entry[1].fire = step3.inPort[1].fire ($RES_SIM_314)
(197)     [SCAL] (1) $FUN_11 = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(parallel.local_resume.fire) ($RES_$AUX_370)
(198)     [FOR-] (2) ($RES_SIM_140)
(198)     [----] for $i1 in 1:2 loop
(198)     [----]   [SCAL] (1) step3.inPort[$i1].checkOneDelayedTransitionPerLoop = true ($RES_SIM_141)
(198)     [----] end for;
(199)     [SCAL] (1) parallel.entry[1].checkOneDelayedTransitionPerLoop = step3.inPort[1].checkOneDelayedTransitionPerLoop ($RES_SIM_316)
(200)     [ARRY] (1) parallel.exit.node.resume = parallel.local_exit.node.resume ($RES_SIM_317)
(201)     [ARRY] (1) parallel.exit.node.suspend = parallel.local_exit.node.suspend ($RES_SIM_318)
(202)     [SCAL] (1) $SEV_30 = parallel.resume_fire and parallel.finished ($RES_EVT_440)
(203)     [ARRY] (1) parallel.exit.fire = parallel.local_exit.fire ($RES_SIM_319)
(204)     [SCAL] (1) $SEV_31 = (parallel.inport_fire or $FUN_11) or (parallel.active and not parallel.outport_fire) and not parallel.suspend_fire ($RES_EVT_441)
(205)     [SCAL] (1) $SEV_32 = ($FUN_9 or $FUN_10) or $FUN_11 ($RES_EVT_442)
(206)     [FOR-] (2) ($RES_SIM_146)
(206)     [----] for $i1 in 1:1 loop
(206)     [----]   [RECD] (2) step3.outPort[$i1].node = step3.connectorNode.node ($RES_SIM_147)
(206)     [----] end for;
(207)     [SCAL] (1) $SEV_33 = ($FUN_6 or $FUN_7) or $FUN_8 ($RES_EVT_443)
(208)     [SCAL] (1) $SEV_34 = step1.active and not step1.connectorNode.node.suspend ($RES_EVT_444)
(209)     [SCAL] (1) $SEV_35 = step1.inport_fire or (step1.active and not step1.outport_fire) and not step1.connectorNode.node.suspend ($RES_EVT_445)
(210)     [SCAL] (1) step1.outPort[1].available = $SEV_34 ($RES_SIM_231)
(211)     [WHEN] (1)when step1.connectorNode.node.suspend then 
(211)     [----]   step1.oldActive := step1.active
(211)     [----] end when;
(212)     [SCAL] (1) step1.active = $TEV_19 ($RES_SIM_233)
(213)     [SCAL] (1) step1.newActive = if step1.connectorNode.node.resume then step1.oldActive else $SEV_35 ($RES_SIM_234)
(214)     [SCAL] (1) step1.outPort[1].node.resume = T1.inPort.node.resume ($RES_SIM_237)
(215)     [SCAL] (1) step1.outPort[1].node.suspend = T1.inPort.node.suspend ($RES_SIM_238)
(216)     [SCAL] (1) step1.outPort[1].fire = T1.outPort.fire ($RES_SIM_239)
(217)     [SCAL] (1) parallel.entry_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(parallel.local_entry.fire) ($RES_$AUX_369)
(218)     [SCAL] (1) $FUN_13 = Modelica_StateGraph2.Blocks.BooleanFunctions.allTrue(parallel.local_exit.available) ($RES_$AUX_368)
(219)     [SCAL] (1) $FUN_14 = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck(parallel.local_inPort.checkOneDelayedTransitionPerLoop) ($RES_$AUX_367)
(220)     [SCAL] (1) $FUN_15 = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck(parallel.local_resume.checkOneDelayedTransitionPerLoop) ($RES_$AUX_366)
(221)     [SCAL] (1) step3.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step3.inPort.fire) ($RES_$AUX_365)
(222)     [ARRY] (1) parallel.exit.available = parallel.local_exit.available ($RES_SIM_321)
(223)     [SCAL] (1) step3.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step3.outPort.fire) ($RES_$AUX_364)
(224)     [ARRY] (1) parallel.entry.node.resume = parallel.local_entry.node.resume ($RES_SIM_322)
(225)     [SCAL] (1) $FUN_18 = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck(step3.inPort.checkOneDelayedTransitionPerLoop) ($RES_$AUX_363)
(226)     [ARRY] (1) parallel.entry.node.suspend = parallel.local_entry.node.suspend ($RES_SIM_323)
(227)     [SCAL] (1) step4.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step4.inPort.fire) ($RES_$AUX_362)
(228)     [ARRY] (1) parallel.entry.fire = parallel.local_entry.fire ($RES_SIM_324)
(229)     [SCAL] (1) step4.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step4.outPort.fire) ($RES_$AUX_361)
(230)     [FOR-] (4) ($RES_SIM_150)
(230)     [----] for $i1 in 1:2 loop
(230)     [----]   [RECD] (2) step3.inPort[$i1].node = step3.connectorNode.node ($RES_SIM_151)
(230)     [----] end for;
(231)     [SCAL] (1) $FUN_21 = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck(step4.inPort.checkOneDelayedTransitionPerLoop) ($RES_$AUX_360)
(232)     [ARRY] (1) parallel.entry.checkOneDelayedTransitionPerLoop = parallel.local_entry.checkOneDelayedTransitionPerLoop ($RES_SIM_326)
(233)     [ARRY] (1) parallel.resume.node.resume = parallel.local_resume.node.resume ($RES_SIM_327)
(234)     [ARRY] (1) step3.outPort.checkOneDelayedTransitionPerLoop = {$FUN_18} ($RES_SIM_152)
(235)     [ARRY] (1) parallel.resume.node.suspend = parallel.local_resume.node.suspend ($RES_SIM_328)
(236)     [ARRY] (1) parallel.resume.fire = parallel.local_resume.fire ($RES_SIM_329)
(237)     [SCAL] (1) step3.outPort[1].available = $SEV_19 ($RES_SIM_154)
(238)     [WHEN] (1)when step3.connectorNode.node.suspend then 
(238)     [----]   step3.oldActive := step3.active
(238)     [----] end when;
(239)     [SCAL] (1) step3.active = $TEV_15 ($RES_SIM_156)
(240)     [SCAL] (1) step3.newActive = if step3.connectorNode.node.resume then step3.oldActive else $SEV_20 ($RES_SIM_157)
(241)     [SCAL] (1) step1.outPort[1].available = T1.inPort.available ($RES_SIM_241)
(242)     [SCAL] (1) T1.outPort.node.resume = parallel.inPort[1].node.resume ($RES_SIM_242)
(243)     [SCAL] (1) T1.outPort.node.suspend = parallel.inPort[1].node.suspend ($RES_SIM_243)
(244)     [SCAL] (1) T1.outPort.fire = parallel.inPort[1].fire ($RES_SIM_244)
(245)     [SCAL] (1) true = parallel.inPort[1].checkOneDelayedTransitionPerLoop ($RES_SIM_246)
(246)     [SCAL] (1) T2.outPort.node.resume = step4.inPort[1].node.resume ($RES_SIM_247)
(247)     [SCAL] (1) T2.outPort.node.suspend = step4.inPort[1].node.suspend ($RES_SIM_248)
(248)     [SCAL] (1) T2.outPort.fire = step4.inPort[1].fire ($RES_SIM_249)
(249)     [SCAL] (1) step5.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step5.inPort.fire) ($RES_$AUX_359)
(250)     [SCAL] (1) step5.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step5.outPort.fire) ($RES_$AUX_358)
(251)     [SCAL] (1) $FUN_24 = Modelica_StateGraph2.Internal.Utilities.propagateLoopCheck(step5.inPort.checkOneDelayedTransitionPerLoop) ($RES_$AUX_357)
(252)     [SCAL] (1) step6.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step6.inPort.fire) ($RES_$AUX_356)
(253)     [SCAL] (1) step6.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step6.outPort.fire) ($RES_$AUX_355)
(254)     [ARRY] (1) parallel.resume.checkOneDelayedTransitionPerLoop = parallel.local_resume.checkOneDelayedTransitionPerLoop ($RES_SIM_331)
(255)     [ARRY] (1) parallel.suspend.node.resume = parallel.local_suspend.node.resume ($RES_SIM_332)
(256)     [ARRY] (1) parallel.suspend.node.suspend = parallel.local_suspend.node.suspend ($RES_SIM_333)
(257)     [ARRY] (1) parallel.suspend.fire = parallel.local_suspend.fire ($RES_SIM_334)
(258)     [ARRY] (1) parallel.suspend.checkOneDelayedTransitionPerLoop = parallel.local_suspend.checkOneDelayedTransitionPerLoop ($RES_SIM_335)
(259)     [ARRY] (1) parallel.suspend.available = parallel.local_suspend.available ($RES_SIM_336)
(260)     [RECD] (2) T1.outPort.node = T1.inPort.node ($RES_SIM_161)
(261)     [ARRY] (1) parallel.outPort.node.resume = parallel.local_outPort.node.resume ($RES_SIM_337)
(262)     [ARRY] (1) parallel.outPort.node.suspend = parallel.local_outPort.node.suspend ($RES_SIM_338)
(263)     [ARRY] (1) parallel.outPort.fire = parallel.local_outPort.fire ($RES_SIM_339)
(264)     [SCAL] (1) T1.outPort.fire = $SEV_22 ($RES_SIM_165)
(265)     [WHEN] (1)when T1.enableFire then 
(265)     [----]   T1.t_start := time
(265)     [----] end when;
(266)     [SCAL] (1) T1.enableFire = T1.inPort.available ($RES_SIM_167)
(267)     [SCAL] (1) true = step4.inPort[1].checkOneDelayedTransitionPerLoop ($RES_SIM_251)
(268)     [SCAL] (1) step3.outPort[1].node.resume = T2.inPort.node.resume ($RES_SIM_252)
(269)     [SCAL] (1) step3.outPort[1].node.suspend = T2.inPort.node.suspend ($RES_SIM_253)