Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo): time 0.001013/0.001013, allocations: 92.2 kB / 20.19 MB, free: 4.359 MB / 18.57 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo): time 0.0009346/0.0009346, allocations: 173 kB / 23.49 MB, free: 1.059 MB / 18.57 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo): time 1.04/1.04, allocations: 177.1 MB / 203.8 MB, free: 5.652 MB / 186.7 MB " [Timeout remaining time 179] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo): time 0.04141/0.04141, allocations: 9.134 MB / 269.4 MB, free: 4.352 MB / 250.7 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/EmbeddedTargets/STM32F4/Functions/HAL.mo:5:3-11:14:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/OperatingSystem/DynamicArray.mo:6:3-94:18:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1041:3-1062:27:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1064:3-1092:25:writable] Warning: External function annotation should occur on the external-clause, not on the function. " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo): time 0.0004434/0.0004434, allocations: 35.72 kB / 328.9 MB, free: 20.46 MB / 266.7 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/EmbeddedTargets/STM32F4/Functions/HAL.mo:5:3-11:14:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/OperatingSystem/DynamicArray.mo:6:3-94:18:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1041:3-1062:27:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1064:3-1092:25:writable] Warning: External function annotation should occur on the external-clause, not on the function. " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/package.mo): time 1.69/1.69, allocations: 274.9 MB / 0.6478 GB, free: 2.422 MB / 0.4949 GB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/EmbeddedTargets/STM32F4/Functions/HAL.mo:5:3-11:14:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/OperatingSystem/DynamicArray.mo:6:3-94:18:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1041:3-1062:27:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1064:3-1092:25:writable] Warning: External function annotation should occur on the external-clause, not on the function. " [Timeout remaining time 178] Using package AixLib with version 3.0.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/package.mo) Using package SDF with version 0.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo) Using package Modelica_DeviceDrivers with version 2.2.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo) Using package Modelica with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo) Using package Complex with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo) Using package ModelicaServices with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo) Running command: translateModel(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5,variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication") translateModel(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5,variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication") [Timeout 660] "Notification: Performance of FrontEnd - loaded program: time 1.303e-06/1.303e-06, allocations: 0 / 0.7981 GB, free: 8.094 MB / 0.6512 GB Notification: Performance of FrontEnd - Absyn->SCode: time 1.893e-05/2.023e-05, allocations: 6.25 kB / 0.7981 GB, free: 8.086 MB / 0.6512 GB Notification: Performance of NFInst.instantiate(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication): time 0.3663/0.3663, allocations: 28.27 MB / 0.8257 GB, free: 49.47 MB / 0.6668 GB Notification: Performance of NFInst.instExpressions: time 0.03007/0.3964, allocations: 20.73 MB / 0.846 GB, free: 40.25 MB / 0.6668 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.01198/0.4084, allocations: 0.4901 MB / 0.8464 GB, free: 39.98 MB / 0.6668 GB Notification: Performance of NFTyping.typeComponents: time 0.007077/0.4155, allocations: 2.382 MB / 0.8488 GB, free: 38.26 MB / 0.6668 GB Notification: Performance of NFTyping.typeBindings: time 0.009181/0.4246, allocations: 1.852 MB / 0.8506 GB, free: 36.83 MB / 0.6668 GB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:130:7-137:16:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.clear' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.clear'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:30:7-39:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.addReal' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.addReal'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:74:7-84:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.getReal' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.getReal'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Communication.mo:1170:7-1181:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Communication.Internal.DummyFunctions.readUDP' contains a call to impure function 'Modelica_DeviceDrivers.Communication.UDPSocket_.read'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/Controls/HVACAgentBasedControl/BaseClasses/Internal/sendToUDP.mo:2:1-28:14:writable] Warning: Pure function 'AixLib.Controls.HVACAgentBasedControl.BaseClasses.Internal.sendToUDP' contains a call to impure function 'AixLib.Controls.HVACAgentBasedControl.BaseClasses.Internal.sendTo'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:63:7-72:21:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.addInteger' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.addInteger'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:107:7-117:21:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.getInteger' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.getInteger'. Notification: Performance of NFTyping.typeClassSections: time 0.02425/0.4489, allocations: 12.16 MB / 0.8625 GB, free: 29.75 MB / 0.6668 GB Notification: Performance of NFFlatten.flatten: time 0.03765/0.4865, allocations: 26.32 MB / 0.8882 GB, free: 16.88 MB / 0.6668 GB Notification: Performance of NFFlatten.resolveConnections: time 0.02796/0.5145, allocations: 14.35 MB / 0.9022 GB, free: 7.941 MB / 0.6668 GB Notification: Performance of NFEvalConstants.evaluate: time 0.03142/0.5459, allocations: 14.16 MB / 0.916 GB, free: 15.4 MB / 0.6824 GB Notification: Performance of NFSimplifyModel.simplify: time 0.01549/0.5614, allocations: 7.85 MB / 0.9237 GB, free: 9.898 MB / 0.6824 GB Notification: Performance of NFPackage.collectConstants: time 0.009486/0.5709, allocations: 2.79 MB / 0.9264 GB, free: 9.898 MB / 0.6824 GB Notification: Performance of NFFlatten.collectFunctions: time 0.01033/0.5812, allocations: 2.993 MB / 0.9293 GB, free: 7.734 MB / 0.6824 GB Notification: Performance of NFScalarize.scalarize: time 0.0105/0.5917, allocations: 6.213 MB / 0.9354 GB, free: 1.504 MB / 0.6824 GB Notification: Performance of NFVerifyModel.verify: time 0.01287/0.6046, allocations: 7.001 MB / 0.9422 GB, free: 10.48 MB / 0.698 GB Notification: Performance of NFConvertDAE.convert: time 0.02535/0.6299, allocations: 18.21 MB / 0.96 GB, free: 8.215 MB / 0.7137 GB Notification: Performance of FrontEnd - DAE generated: time 5.14e-06/0.6299, allocations: 4 kB / 0.96 GB, free: 8.211 MB / 0.7137 GB Notification: Performance of FrontEnd: time 1.462e-06/0.63, allocations: 2.75 kB / 0.96 GB, free: 8.211 MB / 0.7137 GB Notification: Performance of Transformations before backend: time 0.0005491/0.6305, allocations: 0 / 0.96 GB, free: 8.211 MB / 0.7137 GB Warning: Alias equations of external objects are not Modelica compliant as in: heatProducerAgent2.messageID.pkgOut[1].pkg = heatProducerAgent2.messageID.pkgIn.pkg heatProducerAgent2.performative.pkgOut[1].pkg = heatProducerAgent2.performative.pkgIn.pkg heatProducerAgent2.getontology.pkgOut[1].pkg = heatProducerAgent2.getontology.pkgIn.pkg heatProducerAgent2.getreply_to.pkgOut[1].pkg = heatProducerAgent2.getreply_to.pkgIn.pkg heatProducerAgent2.getreceiver.pkgOut[1].pkg = heatProducerAgent2.getreceiver.pkgIn.pkg heatProducerAgent2.getsender.pkgOut[1].pkg = heatProducerAgent2.getsender.pkgIn.pkg heatProducerAgent2.getperformative.pkgOut[1].pkg = heatProducerAgent2.getperformative.pkgIn.pkg heatProducerAgent2.ontology.pkgOut[1].pkg = heatProducerAgent2.ontology.pkgIn.pkg heatProducerAgent2.reply_to.pkgOut[1].pkg = heatProducerAgent2.reply_to.pkgIn.pkg heatProducerAgent2.receiver.pkgOut[1].pkg = heatProducerAgent2.receiver.pkgIn.pkg heatProducerAgent2.sender.pkgOut[1].pkg = heatProducerAgent2.sender.pkgIn.pkg heatProducerAgent2.get_content.pkgOut[1].pkg = heatProducerAgent2.get_content.pkgIn.pkg heatProducerAgent2.content.pkgOut[1].pkg = heatProducerAgent2.content.pkgIn.pkg heatProducerAgent1.messageID.pkgOut[1].pkg = heatProducerAgent1.messageID.pkgIn.pkg heatProducerAgent1.performative.pkgOut[1].pkg = heatProducerAgent1.performative.pkgIn.pkg heatProducerAgent1.getontology.pkgOut[1].pkg = heatProducerAgent1.getontology.pkgIn.pkg heatProducerAgent1.getreply_to.pkgOut[1].pkg = heatProducerAgent1.getreply_to.pkgIn.pkg heatProducerAgent1.getreceiver.pkgOut[1].pkg = heatProducerAgent1.getreceiver.pkgIn.pkg heatProducerAgent1.getsender.pkgOut[1].pkg = heatProducerAgent1.getsender.pkgIn.pkg heatProducerAgent1.getperformative.pkgOut[1].pkg = heatProducerAgent1.getperformative.pkgIn.pkg heatProducerAgent1.ontology.pkgOut[1].pkg = heatProducerAgent1.ontology.pkgIn.pkg heatProducerAgent1.reply_to.pkgOut[1].pkg = heatProducerAgent1.reply_to.pkgIn.pkg heatProducerAgent1.receiver.pkgOut[1].pkg = heatProducerAgent1.receiver.pkgIn.pkg heatProducerAgent1.sender.pkgOut[1].pkg = heatProducerAgent1.sender.pkgIn.pkg heatProducerAgent1.get_content.pkgOut[1].pkg = heatProducerAgent1.get_content.pkgIn.pkg heatProducerAgent1.content.pkgOut[1].pkg = heatProducerAgent1.content.pkgIn.pkg heatProducerAgent.messageID.pkgOut[1].pkg = heatProducerAgent.messageID.pkgIn.pkg heatProducerAgent.performative.pkgOut[1].pkg = heatProducerAgent.performative.pkgIn.pkg heatProducerAgent.getontology.pkgOut[1].pkg = heatProducerAgent.getontology.pkgIn.pkg heatProducerAgent.getreply_to.pkgOut[1].pkg = heatProducerAgent.getreply_to.pkgIn.pkg heatProducerAgent.getreceiver.pkgOut[1].pkg = heatProducerAgent.getreceiver.pkgIn.pkg heatProducerAgent.getsender.pkgOut[1].pkg = heatProducerAgent.getsender.pkgIn.pkg heatProducerAgent.getperformative.pkgOut[1].pkg = heatProducerAgent.getperformative.pkgIn.pkg heatProducerAgent.ontology.pkgOut[1].pkg = heatProducerAgent.ontology.pkgIn.pkg heatProducerAgent.reply_to.pkgOut[1].pkg = heatProducerAgent.reply_to.pkgIn.pkg heatProducerAgent.receiver.pkgOut[1].pkg = heatProducerAgent.receiver.pkgIn.pkg heatProducerAgent.sender.pkgOut[1].pkg = heatProducerAgent.sender.pkgIn.pkg heatProducerAgent.get_content.pkgOut[1].pkg = heatProducerAgent.get_content.pkgIn.pkg heatProducerAgent.content.pkgOut[1].pkg = heatProducerAgent.content.pkgIn.pkg broker_HTC.messageID.pkgOut[1].pkg = broker_HTC.messageID.pkgIn.pkg broker_HTC.performative.pkgOut[1].pkg = broker_HTC.performative.pkgIn.pkg broker_HTC.getontology.pkgOut[1].pkg = broker_HTC.getontology.pkgIn.pkg broker_HTC.getreply_to.pkgOut[1].pkg = broker_HTC.getreply_to.pkgIn.pkg broker_HTC.getreceiver.pkgOut[1].pkg = broker_HTC.getreceiver.pkgIn.pkg broker_HTC.getsender.pkgOut[1].pkg = broker_HTC.getsender.pkgIn.pkg broker_HTC.getperformative.pkgOut[1].pkg = broker_HTC.getperformative.pkgIn.pkg broker_HTC.ontology.pkgOut[1].pkg = broker_HTC.ontology.pkgIn.pkg broker_HTC.reply_to.pkgOut[1].pkg = broker_HTC.reply_to.pkgIn.pkg broker_HTC.receiver.pkgOut[1].pkg = broker_HTC.receiver.pkgIn.pkg broker_HTC.sender.pkgOut[1].pkg = broker_HTC.sender.pkgIn.pkg broker_HTC.get_content.pkgOut[1].pkg = broker_HTC.get_content.pkgIn.pkg broker_HTC.content.pkgOut[1].pkg = broker_HTC.content.pkgIn.pkg intermediateAgent_C.messageID.pkgOut[1].pkg = intermediateAgent_C.messageID.pkgIn.pkg intermediateAgent_C.performative.pkgOut[1].pkg = intermediateAgent_C.performative.pkgIn.pkg intermediateAgent_C.getontology.pkgOut[1].pkg = intermediateAgent_C.getontology.pkgIn.pkg intermediateAgent_C.getreply_to.pkgOut[1].pkg = intermediateAgent_C.getreply_to.pkgIn.pkg intermediateAgent_C.getreceiver.pkgOut[1].pkg = intermediateAgent_C.getreceiver.pkgIn.pkg intermediateAgent_C.getsender.pkgOut[1].pkg = intermediateAgent_C.getsender.pkgIn.pkg intermediateAgent_C.getperformative.pkgOut[1].pkg = intermediateAgent_C.getperformative.pkgIn.pkg intermediateAgent_C.ontology.pkgOut[1].pkg = intermediateAgent_C.ontology.pkgIn.pkg intermediateAgent_C.reply_to.pkgOut[1].pkg = intermediateAgent_C.reply_to.pkgIn.pkg intermediateAgent_C.receiver.pkgOut[1].pkg = intermediateAgent_C.receiver.pkgIn.pkg intermediateAgent_C.sender.pkgOut[1].pkg = intermediateAgent_C.sender.pkgIn.pkg intermediateAgent_C.get_content.pkgOut[1].pkg = intermediateAgent_C.get_content.pkgIn.pkg intermediateAgent_C.content.pkgOut[1].pkg = intermediateAgent_C.content.pkgIn.pkg broker_LTC.messageID.pkgOut[1].pkg = broker_LTC.messageID.pkgIn.pkg broker_LTC.performative.pkgOut[1].pkg = broker_LTC.performative.pkgIn.pkg broker_LTC.getontology.pkgOut[1].pkg = broker_LTC.getontology.pkgIn.pkg broker_LTC.getreply_to.pkgOut[1].pkg = broker_LTC.getreply_to.pkgIn.pkg broker_LTC.getreceiver.pkgOut[1].pkg = broker_LTC.getreceiver.pkgIn.pkg broker_LTC.getsender.pkgOut[1].pkg = broker_LTC.getsender.pkgIn.pkg broker_LTC.getperformative.pkgOut[1].pkg = broker_LTC.getperformative.pkgIn.pkg broker_LTC.ontology.pkgOut[1].pkg = broker_LTC.ontology.pkgIn.pkg broker_LTC.reply_to.pkgOut[1].pkg = broker_LTC.reply_to.pkgIn.pkg broker_LTC.receiver.pkgOut[1].pkg = broker_LTC.receiver.pkgIn.pkg broker_LTC.sender.pkgOut[1].pkg = broker_LTC.sender.pkgIn.pkg broker_LTC.get_content.pkgOut[1].pkg = broker_LTC.get_content.pkgIn.pkg broker_LTC.content.pkgOut[1].pkg = broker_LTC.content.pkgIn.pkg roomAgent_C.messageID.pkgOut[1].pkg = roomAgent_C.messageID.pkgIn.pkg roomAgent_C.performative.pkgOut[1].pkg = roomAgent_C.performative.pkgIn.pkg roomAgent_C.getontology.pkgOut[1].pkg = roomAgent_C.getontology.pkgIn.pkg roomAgent_C.getreply_to.pkgOut[1].pkg = roomAgent_C.getreply_to.pkgIn.pkg roomAgent_C.getreceiver.pkgOut[1].pkg = roomAgent_C.getreceiver.pkgIn.pkg roomAgent_C.getsender.pkgOut[1].pkg = roomAgent_C.getsender.pkgIn.pkg roomAgent_C.getperformative.pkgOut[1].pkg = roomAgent_C.getperformative.pkgIn.pkg roomAgent_C.ontology.pkgOut[1].pkg = roomAgent_C.ontology.pkgIn.pkg roomAgent_C.reply_to.pkgOut[1].pkg = roomAgent_C.reply_to.pkgIn.pkg roomAgent_C.receiver.pkgOut[1].pkg = roomAgent_C.receiver.pkgIn.pkg roomAgent_C.sender.pkgOut[1].pkg = roomAgent_C.sender.pkgIn.pkg roomAgent_C.get_content.pkgOut[1].pkg = roomAgent_C.get_content.pkgIn.pkg roomAgent_C.content.pkgOut[1].pkg = roomAgent_C.content.pkgIn.pkg heatProducerAgent2.messageID.pkgOut[1].pkg = heatProducerAgent2.uDPSend_adapted.pkgIn.pkg heatProducerAgent2.ontology.pkgOut[1].pkg = heatProducerAgent2.messageID.pkgIn.pkg heatProducerAgent2.getontology.pkgOut[1].pkg = heatProducerAgent2.getMessageID.pkgIn.pkg heatProducerAgent2.performative.pkgOut[1].pkg = heatProducerAgent2.sender.pkgIn.pkg heatProducerAgent2.performative.pkgIn.pkg = heatProducerAgent2.packager.pkgOut.pkg heatProducerAgent2.get_content.pkgOut[1].pkg = heatProducerAgent2.getontology.pkgIn.pkg heatProducerAgent2.getreply_to.pkgOut[1].pkg = heatProducerAgent2.get_content.pkgIn.pkg heatProducerAgent2.getreceiver.pkgOut[1].pkg = heatProducerAgent2.getreply_to.pkgIn.pkg heatProducerAgent2.getsender.pkgOut[1].pkg = heatProducerAgent2.getreceiver.pkgIn.pkg heatProducerAgent2.getperformative.pkgOut[1].pkg = heatProducerAgent2.getsender.pkgIn.pkg heatProducerAgent2.getperformative.pkgIn.pkg = heatProducerAgent2.uDPReceive_adapted.pkgOut.pkg heatProducerAgent2.content.pkgOut[1].pkg = heatProducerAgent2.ontology.pkgIn.pkg heatProducerAgent2.reply_to.pkgOut[1].pkg = heatProducerAgent2.content.pkgIn.pkg heatProducerAgent2.receiver.pkgOut[1].pkg = heatProducerAgent2.reply_to.pkgIn.pkg heatProducerAgent2.sender.pkgOut[1].pkg = heatProducerAgent2.receiver.pkgIn.pkg heatProducerAgent1.messageID.pkgOut[1].pkg = heatProducerAgent1.uDPSend_adapted.pkgIn.pkg heatProducerAgent1.ontology.pkgOut[1].pkg = heatProducerAgent1.messageID.pkgIn.pkg heatProducerAgent1.getontology.pkgOut[1].pkg = heatProducerAgent1.getMessageID.pkgIn.pkg heatProducerAgent1.performative.pkgOut[1].pkg = heatProducerAgent1.sender.pkgIn.pkg heatProducerAgent1.performative.pkgIn.pkg = heatProducerAgent1.packager.pkgOut.pkg heatProducerAgent1.get_content.pkgOut[1].pkg = heatProducerAgent1.getontology.pkgIn.pkg heatProducerAgent1.getreply_to.pkgOut[1].pkg = heatProducerAgent1.get_content.pkgIn.pkg heatProducerAgent1.getreceiver.pkgOut[1].pkg = heatProducerAgent1.getreply_to.pkgIn.pkg heatProducerAgent1.getsender.pkgOut[1].pkg = heatProducerAgent1.getreceiver.pkgIn.pkg heatProducerAgent1.getperformative.pkgOut[1].pkg = heatProducerAgent1.getsender.pkgIn.pkg heatProducerAgent1.getperformative.pkgIn.pkg = heatProducerAgent1.uDPReceive_adapted.pkgOut.pkg heatProducerAgent1.content.pkgOut[1].pkg = heatProducerAgent1.ontology.pkgIn.pkg heatProducerAgent1.reply_to.pkgOut[1].pkg = heatProducerAgent1.content.pkgIn.pkg heatProducerAgent1.receiver.pkgOut[1].pkg = heatProducerAgent1.reply_to.pkgIn.pkg heatProducerAgent1.sender.pkgOut[1].pkg = heatProducerAgent1.receiver.pkgIn.pkg heatProducerAgent.messageID.pkgOut[1].pkg = heatProducerAgent.uDPSend_adapted.pkgIn.pkg heatProducerAgent.ontology.pkgOut[1].pkg = heatProducerAgent.messageID.pkgIn.pkg heatProducerAgent.getontology.pkgOut[1].pkg = heatProducerAgent.getMessageID.pkgIn.pkg heatProducerAgent.performative.pkgOut[1].pkg = heatProducerAgent.sender.pkgIn.pkg heatProducerAgent.performative.pkgIn.pkg = heatProducerAgent.packager.pkgOut.pkg heatProducerAgent.get_content.pkgOut[1].pkg = heatProducerAgent.getontology.pkgIn.pkg heatProducerAgent.getreply_to.pkgOut[1].pkg = heatProducerAgent.get_content.pkgIn.pkg heatProducerAgent.getreceiver.pkgOut[1].pkg = heatProducerAgent.getreply_to.pkgIn.pkg heatProducerAgent.getsender.pkgOut[1].pkg = heatProducerAgent.getreceiver.pkgIn.pkg heatProducerAgent.getperformative.pkgOut[1].pkg = heatProducerAgent.getsender.pkgIn.pkg heatProducerAgent.getperformative.pkgIn.pkg = heatProducerAgent.uDPReceive_adapted.pkgOut.pkg heatProducerAgent.content.pkgOut[1].pkg = heatProducerAgent.ontology.pkgIn.pkg heatProducerAgent.reply_to.pkgOut[1].pkg = heatProducerAgent.content.pkgIn.pkg heatProducerAgent.receiver.pkgOut[1].pkg = heatProducerAgent.reply_to.pkgIn.pkg heatProducerAgent.sender.pkgOut[1].pkg = heatProducerAgent.receiver.pkgIn.pkg broker_HTC.messageID.pkgOut[1].pkg = broker_HTC.uDPSend_adapted.pkgIn.pkg broker_HTC.ontology.pkgOut[1].pkg = broker_HTC.messageID.pkgIn.pkg broker_HTC.getontology.pkgOut[1].pkg = broker_HTC.getMessageID.pkgIn.pkg broker_HTC.performative.pkgOut[1].pkg = broker_HTC.sender.pkgIn.pkg broker_HTC.performative.pkgIn.pkg = broker_HTC.packager.pkgOut.pkg broker_HTC.get_content.pkgOut[1].pkg = broker_HTC.getontology.pkgIn.pkg broker_HTC.getreply_to.pkgOut[1].pkg = broker_HTC.get_content.pkgIn.pkg broker_HTC.getreceiver.pkgOut[1].pkg = broker_HTC.getreply_to.pkgIn.pkg broker_HTC.getsender.pkgOut[1].pkg = broker_HTC.getreceiver.pkgIn.pkg broker_HTC.getperformative.pkgOut[1].pkg = broker_HTC.getsender.pkgIn.pkg broker_HTC.getperformative.pkgIn.pkg = broker_HTC.uDPReceive_adapted.pkgOut.pkg broker_HTC.content.pkgOut[1].pkg = broker_HTC.ontology.pkgIn.pkg broker_HTC.reply_to.pkgOut[1].pkg = broker_HTC.content.pkgIn.pkg broker_HTC.receiver.pkgOut[1].pkg = broker_HTC.reply_to.pkgIn.pkg broker_HTC.sender.pkgOut[1].pkg = broker_HTC.receiver.pkgIn.pkg intermediateAgent_C.messageID.pkgOut[1].pkg = intermediateAgent_C.uDPSend_adapted.pkgIn.pkg intermediateAgent_C.ontology.pkgOut[1].pkg = intermediateAgent_C.messageID.pkgIn.pkg intermediateAgent_C.getontology.pkgOut[1].pkg = intermediateAgent_C.getMessageID.pkgIn.pkg intermediateAgent_C.performative.pkgOut[1].pkg = intermediateAgent_C.sender.pkgIn.pkg intermediateAgent_C.performative.pkgIn.pkg = intermediateAgent_C.packager.pkgOut.pkg intermediateAgent_C.get_content.pkgOut[1].pkg = intermediateAgent_C.getontology.pkgIn.pkg intermediateAgent_C.getreply_to.pkgOut[1].pkg = intermediateAgent_C.get_content.pkgIn.pkg intermediateAgent_C.getreceiver.pkgOut[1].pkg = intermediateAgent_C.getreply_to.pkgIn.pkg intermediateAgent_C.getsender.pkgOut[1].pkg = intermediateAgent_C.getreceiver.pkgIn.pkg intermediateAgent_C.getperformative.pkgOut[1].pkg = intermediateAgent_C.getsender.pkgIn.pkg intermediateAgent_C.getperformative.pkgIn.pkg = intermediateAgent_C.uDPReceive_adapted.pkgOut.pkg intermediateAgent_C.content.pkgOut[1].pkg = intermediateAgent_C.ontology.pkgIn.pkg intermediateAgent_C.reply_to.pkgOut[1].pkg = intermediateAgent_C.content.pkgIn.pkg intermediateAgent_C.receiver.pkgOut[1].pkg = intermediateAgent_C.reply_to.pkgIn.pkg intermediateAgent_C.sender.pkgOut[1].pkg = intermediateAgent_C.receiver.pkgIn.pkg broker_LTC.messageID.pkgOut[1].pkg = broker_LTC.uDPSend_adapted.pkgIn.pkg broker_LTC.ontology.pkgOut[1].pkg = broker_LTC.messageID.pkgIn.pkg broker_LTC.getontology.pkgOut[1].pkg = broker_LTC.getMessageID.pkgIn.pkg broker_LTC.performative.pkgOut[1].pkg = broker_LTC.sender.pkgIn.pkg broker_LTC.performative.pkgIn.pkg = broker_LTC.packager.pkgOut.pkg broker_LTC.get_content.pkgOut[1].pkg = broker_LTC.getontology.pkgIn.pkg broker_LTC.getreply_to.pkgOut[1].pkg = broker_LTC.get_content.pkgIn.pkg broker_LTC.getreceiver.pkgOut[1].pkg = broker_LTC.getreply_to.pkgIn.pkg broker_LTC.getsender.pkgOut[1].pkg = broker_LTC.getreceiver.pkgIn.pkg broker_LTC.getperformative.pkgOut[1].pkg = broker_LTC.getsender.pkgIn.pkg broker_LTC.getperformative.pkgIn.pkg = broker_LTC.uDPReceive_adapted.pkgOut.pkg broker_LTC.content.pkgOut[1].pkg = broker_LTC.ontology.pkgIn.pkg broker_LTC.reply_to.pkgOut[1].pkg = broker_LTC.content.pkgIn.pkg broker_LTC.receiver.pkgOut[1].pkg = broker_LTC.reply_to.pkgIn.pkg broker_LTC.sender.pkgOut[1].pkg = broker_LTC.receiver.pkgIn.pkg roomAgent_C.messageID.pkgOut[1].pkg = roomAgent_C.uDPSend_adapted.pkgIn.pkg roomAgent_C.ontology.pkgOut[1].pkg = roomAgent_C.messageID.pkgIn.pkg roomAgent_C.getontology.pkgOut[1].pkg = roomAgent_C.getMessageID.pkgIn.pkg roomAgent_C.performative.pkgOut[1].pkg = roomAgent_C.sender.pkgIn.pkg roomAgent_C.performative.pkgIn.pkg = roomAgent_C.packager.pkgOut.pkg roomAgent_C.get_content.pkgOut[1].pkg = roomAgent_C.getontology.pkgIn.pkg roomAgent_C.getreply_to.pkgOut[1].pkg = roomAgent_C.get_content.pkgIn.pkg roomAgent_C.getreceiver.pkgOut[1].pkg = roomAgent_C.getreply_to.pkgIn.pkg roomAgent_C.getsender.pkgOut[1].pkg = roomAgent_C.getreceiver.pkgIn.pkg roomAgent_C.getperformative.pkgOut[1].pkg = roomAgent_C.getsender.pkgIn.pkg roomAgent_C.getperformative.pkgIn.pkg = roomAgent_C.uDPReceive_adapted.pkgOut.pkg roomAgent_C.content.pkgOut[1].pkg = roomAgent_C.ontology.pkgIn.pkg roomAgent_C.reply_to.pkgOut[1].pkg = roomAgent_C.content.pkgIn.pkg roomAgent_C.receiver.pkgOut[1].pkg = roomAgent_C.reply_to.pkgIn.pkg roomAgent_C.sender.pkgOut[1].pkg = roomAgent_C.receiver.pkgIn.pkg Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 4768 * Number of variables: 4768 Notification: Performance of Generate backend data structure: time 0.04572/0.6762, allocations: 45.72 MB / 1.005 GB, free: 8.789 MB / 0.7605 GB Notification: Performance of prepare preOptimizeDAE: time 4.788e-05/0.6763, allocations: 15.98 kB / 1.005 GB, free: 8.773 MB / 0.7605 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.008777/0.685, allocations: 4.288 MB / 1.009 GB, free: 4.477 MB / 0.7605 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.009423/0.6945, allocations: 7.521 MB / 1.016 GB, free: 12.88 MB / 0.7762 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.00101/0.6955, allocations: 1.649 MB / 1.018 GB, free: 11.23 MB / 0.7762 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.00211/0.6976, allocations: 2.086 MB / 1.02 GB, free: 9.141 MB / 0.7762 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.02674/0.7243, allocations: 17.65 MB / 1.037 GB, free: 6.52 MB / 0.7918 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0002274/0.7246, allocations: 33.03 kB / 1.037 GB, free: 6.488 MB / 0.7918 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.001107/0.7257, allocations: 0.8283 MB / 1.038 GB, free: 5.66 MB / 0.7918 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0002146/0.7259, allocations: 439.9 kB / 1.038 GB, free: 5.23 MB / 0.7918 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.01892/0.7448, allocations: 11.89 MB / 1.05 GB, free: 9.27 MB / 0.8074 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.08138/0.8262, allocations: 62.88 MB / 1.111 GB, free: 9.121 MB / 0.8699 GB Notification: Performance of preOpt comSubExp (simulation): time 0.02015/0.8463, allocations: 13.12 MB / 1.124 GB, free: 11.22 MB / 0.8855 GB Notification: Performance of preOpt resolveLoops (simulation): time 0.01099/0.8573, allocations: 6.662 MB / 1.131 GB, free: 4.184 MB / 0.8855 GB Notification: Performance of preOpt evalFunc (simulation): time 0.0006956/0.858, allocations: 296.9 kB / 1.131 GB, free: 3.891 MB / 0.8855 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.01975/0.8777, allocations: 12.7 MB / 1.143 GB, free: 6.227 MB / 0.9012 GB Notification: Performance of pre-optimization done (n=1997): time 4.081e-05/0.8778, allocations: 0.5625 kB / 1.143 GB, free: 6.227 MB / 0.9012 GB Notification: Performance of matching and sorting (n=1997): time 0.3702/1.248, allocations: 26.75 MB / 1.169 GB, free: 283.4 MB / 0.9168 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.002241/1.25, allocations: 5.054 MB / 1.174 GB, free: 278.9 MB / 0.9168 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.008867/1.259, allocations: 5.426 MB / 1.18 GB, free: 278.5 MB / 0.9168 GB Notification: Performance of collectPreVariables (initialization): time 0.002862/1.262, allocations: 1.124 MB / 1.181 GB, free: 278.4 MB / 0.9168 GB Notification: Performance of collectInitialEqns (initialization): time 0.004545/1.266, allocations: 5.262 MB / 1.186 GB, free: 276.7 MB / 0.9168 GB Notification: Performance of collectInitialBindings (initialization): time 0.007155/1.274, allocations: 5.066 MB / 1.191 GB, free: 273.3 MB / 0.9168 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.01264/1.286, allocations: 5.608 MB / 1.196 GB, free: 270.8 MB / 0.9168 GB Notification: Performance of setup shared object (initialization): time 4.737e-05/1.286, allocations: 482.6 kB / 1.197 GB, free: 270.4 MB / 0.9168 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.009234/1.296, allocations: 3.392 MB / 1.2 GB, free: 269.7 MB / 0.9168 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.01458/1.31, allocations: 12.23 MB / 1.212 GB, free: 258 MB / 0.9168 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.02377/1.334, allocations: 19.32 MB / 1.231 GB, free: 242.4 MB / 0.9168 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0005268/1.334, allocations: 57.19 kB / 1.231 GB, free: 242.4 MB / 0.9168 GB Warning: The linear system: 1 : $PRE.heatProducerAgent2.costDifference = heatProducerAgent2.costDifference 2 : heatProducerAgent2.costDifference = $PRE.heatProducerAgent2.costDifference [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent2.costDifference ; heatProducerAgent2.costDifference ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent2.costDifference since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent2.costNew = heatProducerAgent2.costNew 2 : heatProducerAgent2.costNew = $PRE.heatProducerAgent2.costNew [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent2.costNew ; heatProducerAgent2.costNew ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent2.costNew since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent2.totalRequest = heatProducerAgent2.totalRequest 2 : heatProducerAgent2.totalRequest = $PRE.heatProducerAgent2.totalRequest [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent2.totalRequest ; heatProducerAgent2.totalRequest ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent2.totalRequest since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent1.costDifference = heatProducerAgent1.costDifference 2 : heatProducerAgent1.costDifference = $PRE.heatProducerAgent1.costDifference [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent1.costDifference ; heatProducerAgent1.costDifference ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent1.costDifference since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent1.costNew = heatProducerAgent1.costNew 2 : heatProducerAgent1.costNew = $PRE.heatProducerAgent1.costNew [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent1.costNew ; heatProducerAgent1.costNew ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent1.costNew since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent1.totalRequest = heatProducerAgent1.totalRequest 2 : heatProducerAgent1.totalRequest = $PRE.heatProducerAgent1.totalRequest [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent1.totalRequest ; heatProducerAgent1.totalRequest ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent1.totalRequest since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent.costDifference = heatProducerAgent.costDifference 2 : heatProducerAgent.costDifference = $PRE.heatProducerAgent.costDifference [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent.costDifference ; heatProducerAgent.costDifference ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent.costDifference since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent.costNew = heatProducerAgent.costNew 2 : heatProducerAgent.costNew = $PRE.heatProducerAgent.costNew [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent.costNew ; heatProducerAgent.costNew ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent.costNew since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent.totalRequest = heatProducerAgent.totalRequest 2 : heatProducerAgent.totalRequest = $PRE.heatProducerAgent.totalRequest [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent.totalRequest ; heatProducerAgent.totalRequest ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent.totalRequest since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Notification: Performance of matching and sorting (n=3287) (initialization): time 0.03647/1.371, allocations: 17.47 MB / 1.248 GB, free: 236.2 MB / 0.9168 GB Notification: Performance of prepare postOptimizeDAE: time 0.0004323/1.371, allocations: 352.8 kB / 1.248 GB, free: 235.9 MB / 0.9168 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0003422/1.372, allocations: 193.8 kB / 1.249 GB, free: 235.9 MB / 0.9168 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.0006801/1.372, allocations: 477.4 kB / 1.249 GB, free: 235.8 MB / 0.9168 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.009858/1.382, allocations: 3.39 MB / 1.252 GB, free: 235.2 MB / 0.9168 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.007063/1.389, allocations: 38.79 MB / 1.29 GB, free: 195.9 MB / 0.9168 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.01064/1.4, allocations: 2.07 MB / 1.292 GB, free: 194.5 MB / 0.9168 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.004119/1.404, allocations: 0.9975 MB / 1.293 GB, free: 194.3 MB / 0.9168 GB Warning: Assuming fixed start value for the following 211 variables: roomAgent_C.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent_C.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real roomAgent_C.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] roomAgent_C.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent_C.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent_C.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent_C.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent_C.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] roomAgent_C.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] roomAgent_C.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real roomAgent_C.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer broker_LTC.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real broker_LTC.averagePrice:DISCRETE(fixed = true ) \"Real variable to define averagePrice\" type: Real broker_LTC.totalHeat:DISCRETE(fixed = true ) \"Real variable to define totalHeat\" type: Real broker_LTC.totalPrice:DISCRETE(fixed = true ) \"Real variable to define totalPrice\" type: Real broker_LTC.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_LTC.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real broker_LTC.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_LTC.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_LTC.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] broker_LTC.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_LTC.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] broker_LTC.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] broker_LTC.rejectsComplete:DISCRETE(start = false fixed = true ) type: Boolean broker_LTC.requestComplete:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whether all requests are served by the current constellation\" type: Boolean broker_LTC.requestCounter:DISCRETE(start = 1 fixed = true ) \"Real variable to define requestCounter\" type: Integer broker_LTC.requestAddresses[10,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_LTC.requestAddresses[9,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_LTC.requestAddresses[8,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_LTC.requestAddresses[7,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_LTC.requestAddresses[6,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_LTC.requestAddresses[5,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_LTC.requestAddresses[4,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_LTC.requestAddresses[3,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_LTC.requestAddresses[2,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_LTC.requestAddresses[1,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_LTC.requestTable[10,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_LTC.requestTable[9,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_LTC.requestTable[8,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_LTC.requestTable[7,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_LTC.requestTable[6,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_LTC.requestTable[5,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_LTC.requestTable[4,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_LTC.requestTable[3,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_LTC.requestTable[2,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_LTC.requestTable[1,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_LTC.restHeat:DISCRETE(fixed = true ) \"Real variable to define restHeat\" type: Real broker_LTC.totalaveragePrice:DISCRETE(fixed = true ) \"Real variable to define totalaveragePrice\" type: Real broker_LTC.heatingPriceSum:DISCRETE(fixed = true ) \"Real variable to define the sum of heatingPrice\" type: Real broker_LTC.cheapest:DISCRETE(start = 1 fixed = true ) \"Integer variable to define the cheapest offer\" type: Integer broker_LTC.heatingCalculationSum:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define the sum of heatingCalculation\" type: Real broker_LTC.informationCounter:DISCRETE(start = 1 fixed = true ) \"Integer variable to define informationCounter\" type: Integer broker_LTC.proposalCounter:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe proposalCounter\" type: Integer broker_LTC.heatSupplierTable[2,7]:DISCRETE(start = broker_LTC.startTable[2,7] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,6]:DISCRETE(start = broker_LTC.startTable[2,6] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,5]:DISCRETE(start = broker_LTC.startTable[2,5] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,4]:DISCRETE(start = broker_LTC.startTable[2,4] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,3]:DISCRETE(start = broker_LTC.startTable[2,3] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,2]:DISCRETE(start = broker_LTC.startTable[2,2] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,1]:DISCRETE(start = broker_LTC.startTable[2,1] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,7]:DISCRETE(start = broker_LTC.startTable[1,7] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,6]:DISCRETE(start = broker_LTC.startTable[1,6] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,5]:DISCRETE(start = broker_LTC.startTable[1,5] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,4]:DISCRETE(start = broker_LTC.startTable[1,4] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,3]:DISCRETE(start = broker_LTC.startTable[1,3] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,2]:DISCRETE(start = broker_LTC.startTable[1,2] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,1]:DISCRETE(start = broker_LTC.startTable[1,1] fixed = true ) type: Real [2,7] broker_LTC.lowestPrice:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define lowestPrice\" type: Real broker_LTC.counterReject:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe counterReject\" type: Integer broker_LTC.counter:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe counter\" type: Integer broker_LTC.proposalsComplete:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whether all proposals have been collected\" type: Boolean broker_LTC.requestsExceedSupply:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whteher requests exceed supply\" type: Boolean broker_LTC.heatingRequestSum:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define the sum of heating requests\" type: Real broker_LTC.calculationDone:DISCRETE(start = false fixed = true ) \"Boolean variable to annonce calculationDone\" type: Boolean broker_LTC.informationDone:DISCRETE(start = false fixed = true ) \"Boolean variable to announce informationDone\" type: Boolean broker_LTC.finalRequestDone:DISCRETE(start = false fixed = true ) \"Boolean variable to announce finalRequestDone\" type: Boolean broker_LTC.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer broker_LTC.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent2.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] heatProducerAgent2.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real heatProducerAgent2.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent2.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent2.costCurrent:DISCRETE(start = 40.0 fixed = true ) \"Real variable to define costCurrent\" type: Real heatProducerAgent2.currentCapacityDiscrete:DISCRETE(start = 2000.0 fixed = true ) \"Real variable to define currentCapacityDiscrete\" type: Real heatProducerAgent2.setCapacity:DISCRETE(start = 4000.0 fixed = true ) \"Real variable to define setCapacity\" type: Real heatProducerAgent2.calcCapacityInternal:DISCRETE(start = 1.0 fixed = true ) \"Real variable to define calcCapacityInternal\" type: Real heatProducerAgent1.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent1.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent1.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent1.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent1.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] heatProducerAgent1.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent1.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real heatProducerAgent1.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent1.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent1.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent1.costCurrent:DISCRETE(start = 40.0 fixed = true ) \"Real variable to define costCurrent\" type: Real heatProducerAgent1.currentCapacityDiscrete:DISCRETE(start = 2000.0 fixed = true ) \"Real variable to define currentCapacityDiscrete\" type: Real heatProducerAgent1.setCapacity:DISCRETE(start = 1000.0 fixed = true ) \"Real variable to define setCapacity\" type: Real heatProducerAgent1.calcCapacityInternal:DISCRETE(start = 1.0 fixed = true ) \"Real variable to define calcCapacityInternal\" type: Real heatProducerAgent.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] heatProducerAgent.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real heatProducerAgent.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent.costCurrent:DISCRETE(start = 40.0 fixed = true ) \"Real variable to define costCurrent\" type: Real heatProducerAgent.currentCapacityDiscrete:DISCRETE(start = 2000.0 fixed = true ) \"Real variable to define currentCapacityDiscrete\" type: Real heatProducerAgent.setCapacity:DISCRETE(start = 3000.0 fixed = true ) \"Real variable to define setCapacity\" type: Real heatProducerAgent.calcCapacityInternal:DISCRETE(start = 1.0 fixed = true ) \"Real variable to define calcCapacityInternal\" type: Real intermediateAgent_C.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real intermediateAgent_C.ownCost:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define ownCost\" type: Real intermediateAgent_C.newCost:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define newCost\" type: Real intermediateAgent_C.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] intermediateAgent_C.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real intermediateAgent_C.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] intermediateAgent_C.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] intermediateAgent_C.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] intermediateAgent_C.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] intermediateAgent_C.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] intermediateAgent_C.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] intermediateAgent_C.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] intermediateAgent_C.setCapacityOut:DISCRETE(flow=false start = 0.001 fixed = true ) \"Output for set capacity of device\" type: Real intermediateAgent_C.currentCost:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define currentCost\" type: Real intermediateAgent_C.calcCapacity:DISCRETE(flow=false fixed = true ) \"Output to connect with cost function\" type: Real intermediateAgent_C.setCapacity:DISCRETE(start = 3000.0 fixed = true ) \"Real variable to define setCapacity\" type: Real broker_HTC.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real broker_HTC.averagePrice:DISCRETE(fixed = true ) \"Real variable to define averagePrice\" type: Real broker_HTC.totalHeat:DISCRETE(fixed = true ) \"Real variable to define totalHeat\" type: Real broker_HTC.totalPrice:DISCRETE(fixed = true ) \"Real variable to define totalPrice\" type: Real broker_HTC.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_HTC.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real broker_HTC.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_HTC.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_HTC.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] broker_HTC.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_HTC.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] broker_HTC.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] broker_HTC.rejectsComplete:DISCRETE(start = false fixed = true ) type: Boolean broker_HTC.requestComplete:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whether all requests are served by the current constellation\" type: Boolean broker_HTC.requestCounter:DISCRETE(start = 1 fixed = true ) \"Real variable to define requestCounter\" type: Integer broker_HTC.requestAddresses[10,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_HTC.requestAddresses[9,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_HTC.requestAddresses[8,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_HTC.requestAddresses[7,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_HTC.requestAddresses[6,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_HTC.requestAddresses[5,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_HTC.requestAddresses[4,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_HTC.requestAddresses[3,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_HTC.requestAddresses[2,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_HTC.requestAddresses[1,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker_HTC.requestTable[10,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_HTC.requestTable[9,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_HTC.requestTable[8,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_HTC.requestTable[7,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_HTC.requestTable[6,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_HTC.requestTable[5,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_HTC.requestTable[4,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_HTC.requestTable[3,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_HTC.requestTable[2,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_HTC.requestTable[1,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker_HTC.restHeat:DISCRETE(fixed = true ) \"Real variable to define restHeat\" type: Real broker_HTC.totalaveragePrice:DISCRETE(fixed = true ) \"Real variable to define totalaveragePrice\" type: Real broker_HTC.heatingPriceSum:DISCRETE(fixed = true ) \"Real variable to define the sum of heatingPrice\" type: Real broker_HTC.cheapest:DISCRETE(start = 1 fixed = true ) \"Integer variable to define the cheapest offer\" type: Integer broker_HTC.heatingCalculationSum:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define the sum of heatingCalculation\" type: Real broker_HTC.informationCounter:DISCRETE(start = 1 fixed = true ) \"Integer variable to define informationCounter\" type: Integer broker_HTC.proposalCounter:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe proposalCounter\" type: Integer broker_HTC.heatSupplierTable[2,7]:DISCRETE(start = broker_HTC.startTable[2,7] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,6]:DISCRETE(start = broker_HTC.startTable[2,6] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,5]:DISCRETE(start = broker_HTC.startTable[2,5] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,4]:DISCRETE(start = broker_HTC.startTable[2,4] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,3]:DISCRETE(start = broker_HTC.startTable[2,3] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,2]:DISCRETE(start = broker_HTC.startTable[2,2] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,1]:DISCRETE(start = broker_HTC.startTable[2,1] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,7]:DISCRETE(start = broker_HTC.startTable[1,7] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,6]:DISCRETE(start = broker_HTC.startTable[1,6] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,5]:DISCRETE(start = broker_HTC.startTable[1,5] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,4]:DISCRETE(start = broker_HTC.startTable[1,4] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,3]:DISCRETE(start = broker_HTC.startTable[1,3] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,2]:DISCRETE(start = broker_HTC.startTable[1,2] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,1]:DISCRETE(start = broker_HTC.startTable[1,1] fixed = true ) type: Real [2,7] broker_HTC.lowestPrice:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define lowestPrice\" type: Real broker_HTC.counterReject:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe counterReject\" type: Integer broker_HTC.counter:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe counter\" type: Integer broker_HTC.proposalsComplete:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whether all proposals have been collected\" type: Boolean broker_HTC.requestsExceedSupply:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whteher requests exceed supply\" type: Boolean broker_HTC.heatingRequestSum:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define the sum of heating requests\" type: Real broker_HTC.calculationDone:DISCRETE(start = false fixed = true ) \"Boolean variable to annonce calculationDone\" type: Boolean broker_HTC.informationDone:DISCRETE(start = false fixed = true ) \"Boolean variable to announce informationDone\" type: Boolean broker_HTC.finalRequestDone:DISCRETE(start = false fixed = true ) \"Boolean variable to announce finalRequestDone\" type: Boolean broker_HTC.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer broker_HTC.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.setCapacityOut:DISCRETE(flow=false fixed = true ) \"Output for set capacity of device\" type: Real heatProducerAgent2.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer heatProducerAgent1.setCapacityOut:DISCRETE(flow=false fixed = true ) \"Output for set capacity of device\" type: Real heatProducerAgent1.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer heatProducerAgent.setCapacityOut:DISCRETE(flow=false fixed = true ) \"Output for set capacity of device\" type: Real heatProducerAgent.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer intermediateAgent_C.currentClient:DISCRETE(start = 0 fixed = true ) \"Integer variable to define currentClient\" type: Integer intermediateAgent_C.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 861 * Number of states: 0 () * Number of discrete variables: 2837 ($PRE.roomAgent_C.newMessage.enableFire,$PRE.roomAgent_C.transitionWithSignal.enableFire,$PRE.roomAgent_C.requestNoted.enableFire,$PRE.roomAgent_C.newMessage1.enableFire,$PRE.roomAgent_C.repeat.enableFire,$PRE.roomAgent_C.rightMessage.enableFire,$PRE.roomAgent_C.repeat1.enableFire,$PRE.roomAgent_C.transition2.enableFire,$PRE.roomAgent_C.transition4.enableFire,$PRE.roomAgent_C.confirmNoted.enableFire,$PRE.roomAgent_C.transition1.enableFire,$PRE.roomAgent_C.rightMessage1.enableFire,$PRE.roomAgent_C.reset.enableFire,$PRE.broker_LTC.newMessage.enableFire,$PRE.broker_LTC.transitionWithSignal.enableFire,$PRE.broker_LTC.waitforRequests.enableFire,$PRE.broker_LTC.newRequests.enableFire,$PRE.broker_LTC.newProposal.enableFire,$PRE.broker_LTC.allProposalsCollected.enableFire,$PRE.broker_LTC.notFinished.enableFire,$PRE.broker_LTC.transition.enableFire,$PRE.broker_LTC.transition1.enableFire,$PRE.broker_LTC.correctPerformative.enableFire,$PRE.broker_LTC.correctPerformative1.enableFire,$PRE.broker_LTC.requestNoted.enableFire,$PRE.broker_LTC.actionConfirmed.enableFire,$PRE.broker_LTC.transitionWithSignal3.enableFire,$PRE.broker_LTC.transition2.enableFire,$PRE.broker_LTC.transition4.enableFire,$PRE.broker_LTC.newConfirm.enableFire,$PRE.broker_LTC.correctPerformative2.enableFire,$PRE.broker_LTC.transition5.enableFire,$PRE.broker_LTC.transition6.enableFire,$PRE.broker_LTC.confirmComplete.enableFire,$PRE.broker_LTC.transition7.enableFire,$PRE.broker_LTC.requestsComplete.enableFire,$PRE.broker_LTC.requestsNotComplete.enableFire,$PRE.broker_LTC.confirmNotComplete.enableFire,$PRE.broker_LTC.abort.enableFire,$PRE.broker_LTC.transition3.enableFire,$PRE.broker_LTC.reset.enableFire,$PRE.broker_LTC.reset1.enableFire,$PRE.broker_LTC.reset2.enableFire,$PRE.broker_LTC.reset3.enableFire,$PRE.broker_LTC.enoughSupply.enableFire,$PRE.broker_LTC.enoughSupply1.enableFire,$PRE.broker_LTC.reset4.enableFire,$PRE.intermediateAgent_C.newMessage.enableFire,$PRE.intermediateAgent_C.transitionWithSignal.enableFire,$PRE.intermediateAgent_C.transition1.enableFire,$PRE.intermediateAgent_C.transitionWithSignal3.enableFire,$PRE.intermediateAgent_C.transition3.enableFire,$PRE.intermediateAgent_C.transition4.enableFire,$PRE.intermediateAgent_C.fromTopBroker.enableFire,$PRE.intermediateAgent_C.newMessage1.enableFire,$PRE.intermediateAgent_C.transition7.enableFire,$PRE.intermediateAgent_C.newMessage2.enableFire,$PRE.intermediateAgent_C.fromBottomBroker.enableFire,$PRE.intermediateAgent_C.transition8.enableFire,$PRE.intermediateAgent_C.transition2.enableFire,$PRE.intermediateAgent_C.transition5.enableFire,$PRE.intermediateAgent_C.transition6.enableFire,$PRE.intermediateAgent_C.reset.enableFire,$PRE.intermediateAgent_C.reset1.enableFire,$PRE.intermediateAgent_C.transition9.enableFire,$PRE.intermediateAgent_C.Off.enableFire,$PRE.broker_HTC.newMessage.enableFire,$PRE.broker_HTC.transitionWithSignal.enableFire,$PRE.broker_HTC.waitforRequests.enableFire,$PRE.broker_HTC.newRequests.enableFire,$PRE.broker_HTC.newProposal.enableFire,$PRE.broker_HTC.allProposalsCollected.enableFire,$PRE.broker_HTC.notFinished.enableFire,$PRE.broker_HTC.transition.enableFire,$PRE.broker_HTC.transition1.enableFire,$PRE.broker_HTC.correctPerformative.enableFire,$PRE.broker_HTC.correctPerformative1.enableFire,$PRE.broker_HTC.requestNoted.enableFire,$PRE.broker_HTC.actionConfirmed.enableFire,$PRE.broker_HTC.transitionWithSignal3.enableFire,$PRE.broker_HTC.transition2.enableFire,$PRE.broker_HTC.transition4.enableFire,$PRE.broker_HTC.newConfirm.enableFire,$PRE.broker_HTC.correctPerformative2.enableFire,$PRE.broker_HTC.transition5.enableFire,$PRE.broker_HTC.transition6.enableFire,$PRE.broker_HTC.confirmComplete.enableFire,$PRE.broker_HTC.transition7.enableFire,$PRE.broker_HTC.requestsComplete.enableFire,$PRE.broker_HTC.requestsNotComplete.enableFire,$PRE.broker_HTC.confirmNotComplete.enableFire,$PRE.broker_HTC.abort.enableFire,$PRE.broker_HTC.transition3.enableFire,$PRE.broker_HTC.reset.enableFire,$PRE.broker_HTC.reset1.enableFire,$PRE.broker_HTC.reset2.enableFire,$PRE.broker_HTC.reset3.enableFire,$PRE.broker_HTC.enoughSupply.enableFire,$PRE.broker_HTC.enoughSupply1.enableFire,$PRE.broker_HTC.reset4.enableFire,$PRE.heatProducerAgent.newMessage.enableFire,$PRE.heatProducerAgent.transition2.enableFire,$PRE.heatProducerAgent.transitionWithSignal.enableFire,$PRE.heatProducerAgent.transitionWithSignal1.enableFire,$PRE.heatProducerAgent.transition1.enableFire,$PRE.heatProducerAgent.transitionWithSignal2.enableFire,$PRE.heatProducerAgent.transitionWithSignal3.enableFire,$PRE.heatProducerAgent.transition3.enableFire,$PRE.heatProducerAgent.transition4.enableFire,$PRE.heatProducerAgent.transition5.enableFire,$PRE.heatProducerAgent.transition6.enableFire,$PRE.heatProducerAgent.Off.enableFire,$PRE.heatProducerAgent.transition7.enableFire,$PRE.heatProducerAgent.reset.enableFire,$PRE.heatProducerAgent1.newMessage.enableFire,$PRE.heatProducerAgent1.transition2.enableFire,$PRE.heatProducerAgent1.transitionWithSignal.enableFire,$PRE.heatProducerAgent1.transitionWithSignal1.enableFire,$PRE.heatProducerAgent1.transition1.enableFire,$PRE.heatProducerAgent1.transitionWithSignal2.enableFire,$PRE.heatProducerAgent1.transitionWithSignal3.enableFire,$PRE.heatProducerAgent1.transition3.enableFire,$PRE.heatProducerAgent1.transition4.enableFire,$PRE.heatProducerAgent1.transition5.enableFire,$PRE.heatProducerAgent1.transition6.enableFire,$PRE.heatProducerAgent1.Off.enableFire,$PRE.heatProducerAgent1.transition7.enableFire,$PRE.heatProducerAgent1.reset.enableFire,$PRE.heatProducerAgent2.newMessage.enableFire,$PRE.heatProducerAgent2.transition2.enableFire,$PRE.heatProducerAgent2.transitionWithSignal.enableFire,$PRE.heatProducerAgent2.transitionWithSignal1.enableFire,$PRE.heatProducerAgent2.transition1.enableFire,$PRE.heatProducerAgent2.transitionWithSignal2.enableFire,$PRE.heatProducerAgent2.transitionWithSignal3.enableFire,$PRE.heatProducerAgent2.transition3.enableFire,$PRE.heatProducerAgent2.transition4.enableFire,$PRE.heatProducerAgent2.transition5.enableFire,$PRE.heatProducerAgent2.transition6.enableFire,$PRE.heatProducerAgent2.Off.enableFire,$PRE.heatProducerAgent2.transition7.enableFire,$PRE.heatProducerAgent2.reset.enableFire,$PRE.roomAgent_C.messageID.u[1],roomAgent_C.messageID.u[1],$PRE.roomAgent_C.uDPSend_adapted.receiver,roomAgent_C.uDPSend_adapted.receiver,$PRE.roomAgent_C.ontology.u[1],roomAgent_C.ontology.u[1],$PRE.roomAgent_C.reply_to.u[1],roomAgent_C.reply_to.u[1],$PRE.roomAgent_C.receiver.u[1],roomAgent_C.receiver.u[1],$PRE.roomAgent_C.sender.u[1],roomAgent_C.sender.u[1],$PRE.roomAgent_C.performative.u[1],roomAgent_C.performative.u[1],$PRE.roomAgent_C.content.u[2],roomAgent_C.content.u[2],$PRE.roomAgent_C.content.u[1],roomAgent_C.content.u[1],roomAgent_C.messageID.pkgOut[1].dummy,$PRE.roomAgent_C.messageID.pkgOut[1].dummy,roomAgent_C.getMessageID.dummy,$PRE.roomAgent_C.getMessageID.dummy,roomAgent_C.performative.pkgOut[1].dummy,$PRE.roomAgent_C.performative.pkgOut[1].dummy,roomAgent_C.getontology.dummy,$PRE.roomAgent_C.getontology.dummy,roomAgent_C.getontology.y[1],$PRE.roomAgent_C.getontology.y[1],roomAgent_C.getontology.pkgOut[1].dummy,$PRE.roomAgent_C.getontology.pkgOut[1].dummy,roomAgent_C.getreply_to.dummy,$PRE.roomAgent_C.getreply_to.dummy,roomAgent_C.getreply_to.y[1],$PRE.roomAgent_C.getreply_to.y[1],roomAgent_C.getreply_to.pkgOut[1].dummy,$PRE.roomAgent_C.getreply_to.pkgOut[1].dummy,roomAgent_C.getreceiver.dummy,$PRE.roomAgent_C.getreceiver.dummy,roomAgent_C.getreceiver.y[1],$PRE.roomAgent_C.getreceiver.y[1],roomAgent_C.getreceiver.pkgOut[1].dummy,$PRE.roomAgent_C.getreceiver.pkgOut[1].dummy,roomAgent_C.getsender.dummy,$PRE.roomAgent_C.getsender.dummy,roomAgent_C.getsender.y[1],$PRE.roomAgent_C.getsender.y[1],roomAgent_C.getsender.pkgOut[1].dummy,$PRE.roomAgent_C.getsender.pkgOut[1].dummy,roomAgent_C.getperformative.dummy,$PRE.roomAgent_C.getperformative.dummy,roomAgent_C.getperformative.pkgOut[1].dummy,$PRE.roomAgent_C.getperformative.pkgOut[1].dummy,roomAgent_C.ontology.pkgOut[1].dummy,$PRE.roomAgent_C.ontology.pkgOut[1].dummy,roomAgent_C.reply_to.pkgOut[1].dummy,$PRE.roomAgent_C.reply_to.pkgOut[1].dummy,roomAgent_C.receiver.pkgOut[1].dummy,$PRE.roomAgent_C.receiver.pkgOut[1].dummy,roomAgent_C.sender.pkgOut[1].dummy,$PRE.roomAgent_C.sender.pkgOut[1].dummy,$PRE.roomAgent_C.uDPSend_adapted.dummy,roomAgent_C.uDPSend_adapted.dummy,roomAgent_C.uDPReceive_adapted.nRecvbufOverwrites,$PRE.roomAgent_C.uDPReceive_adapted.nRecvbufOverwrites,roomAgent_C.uDPReceive_adapted.nRecvBytes,$PRE.roomAgent_C.uDPReceive_adapted.nRecvBytes,roomAgent_C.uDPReceive_adapted.pkgOut.dummy,$PRE.roomAgent_C.uDPReceive_adapted.pkgOut.dummy,roomAgent_C.get_content.dummy,$PRE.roomAgent_C.get_content.dummy,roomAgent_C.get_content.y[2],$PRE.roomAgent_C.get_content.y[2],roomAgent_C.get_content.y[1],$PRE.roomAgent_C.get_content.y[1],roomAgent_C.get_content.pkgOut[1].dummy,$PRE.roomAgent_C.get_content.pkgOut[1].dummy,roomAgent_C.content.pkgOut[1].dummy,$PRE.roomAgent_C.content.pkgOut[1].dummy,roomAgent_C.packager.pkgOut.dummy,$PRE.roomAgent_C.packager.pkgOut.dummy,roomAgent_C.getontology.pkgOut[1].trigger,$whenCondition155,$PRE.roomAgent_C.reset.t_start,$PRE.roomAgent_C.waitForInform.oldActive,$PRE.roomAgent_C.waitForInform.newActive,$PRE.roomAgent_C.waitForInform.localActive,$PRE.roomAgent_C.transition1.t_start,$PRE.roomAgent_C.confirmNoted.t_start,$PRE.roomAgent_C.sendConfirm.oldActive,$PRE.roomAgent_C.sendConfirm.newActive,$PRE.roomAgent_C.sendConfirm.localActive,$PRE.roomAgent_C.composeConfirm.oldActive,$PRE.roomAgent_C.composeConfirm.newActive,$PRE.roomAgent_C.composeConfirm.localActive,$PRE.roomAgent_C.transition4.t_start,$PRE.roomAgent_C.sendNotUnderstood.oldActive,$PRE.roomAgent_C.sendNotUnderstood.newActive,$PRE.roomAgent_C.sendNotUnderstood.localActive,$PRE.roomAgent_C.transition2.t_start,$PRE.roomAgent_C.composeNotUnderstood.oldActive,$PRE.roomAgent_C.composeNotUnderstood.newActive,$PRE.roomAgent_C.composeNotUnderstood.localActive,$PRE.roomAgent_C.repeat1.t_start,$PRE.roomAgent_C.state.oldActive,$PRE.roomAgent_C.state.newActive,$PRE.roomAgent_C.state.localActive,$PRE.roomAgent_C.repeat.t_start,$PRE.roomAgent_C.sendRequest.oldActive,$PRE.roomAgent_C.sendRequest.newActive,$PRE.roomAgent_C.sendRequest.localActive,$PRE.roomAgent_C.requestNoted.t_start,$PRE.roomAgent_C.composeRequest.oldActive,$PRE.roomAgent_C.composeRequest.newActive,$PRE.roomAgent_C.composeRequest.localActive,$PRE.roomAgent_C.integerChange.u,$PRE.roomAgent_C.waiting.oldActive,$PRE.roomAgent_C.waiting.newActive,$PRE.roomAgent_C.waiting.localActive,timeTable.nextEventScaled,timeTable.nextEvent,$PRE.timeTable.nextEvent,timeTable.last,timeTable.b,timeTable.a,roomAgent_C.reset.t_start,roomAgent_C.reset.fire,roomAgent_C.reset.enableFire,roomAgent_C.booleanExpression.y,roomAgent_C.and1.u2,roomAgent_C.rightMessage1.enableFire,roomAgent_C.rightMessage1.localCondition,roomAgent_C.waitForInform.oldActive,roomAgent_C.waitForInform.newActive,roomAgent_C.waitForInform.outPort[2].available,roomAgent_C.waitForInform.localActive,roomAgent_C.waitForInform.active,roomAgent_C.transition1.t_start,roomAgent_C.transition1.fire,roomAgent_C.transition1.enableFire,roomAgent_C.confirmNoted.t_start,roomAgent_C.confirmNoted.fire,roomAgent_C.confirmNoted.enableFire,roomAgent_C.sendConfirm.active,roomAgent_C.sendConfirm.oldActive,roomAgent_C.sendConfirm.newActive,roomAgent_C.sendConfirm.localActive,roomAgent_C.composeConfirm.oldActive,roomAgent_C.composeConfirm.newActive,roomAgent_C.composeConfirm.localActive,roomAgent_C.composeConfirm.active,roomAgent_C.or2.y,roomAgent_C.transition4.t_start,roomAgent_C.transition4.fire,roomAgent_C.transition4.enableFire,roomAgent_C.sendNotUnderstood.active,roomAgent_C.sendNotUnderstood.oldActive,roomAgent_C.sendNotUnderstood.newActive,roomAgent_C.sendNotUnderstood.localActive,roomAgent_C.transition2.t_start,roomAgent_C.transition2.fire,roomAgent_C.transition2.enableFire,roomAgent_C.composeNotUnderstood.oldActive,roomAgent_C.composeNotUnderstood.newActive,roomAgent_C.composeNotUnderstood.localActive,roomAgent_C.composeNotUnderstood.active,roomAgent_C.repeat1.t_start,roomAgent_C.repeat1.fire,roomAgent_C.repeat1.enableFire,roomAgent_C.rightMessage.enableFire,roomAgent_C.rightMessage.localCondition,roomAgent_C.state.oldActive,roomAgent_C.state.newActive,roomAgent_C.state.outPort[2].available,roomAgent_C.state.localActive,roomAgent_C.state.active,roomAgent_C.repeat.t_start,roomAgent_C.repeat.fire,roomAgent_C.repeat.enableFire,roomAgent_C.newMessage1.enableFire,roomAgent_C.newMessage1.localCondition,roomAgent_C.sendRequest.active,roomAgent_C.sendRequest.oldActive,roomAgent_C.sendRequest.newActive,roomAgent_C.sendRequest.outPort[2].available,roomAgent_C.sendRequest.localActive,roomAgent_C.requestNoted.t_start,roomAgent_C.requestNoted.fire,roomAgent_C.requestNoted.enableFire,roomAgent_C.composeRequest.oldActive,roomAgent_C.composeRequest.newActive,roomAgent_C.composeRequest.inPort[3].occupied,roomAgent_C.composeRequest.inPort[2].occupied,roomAgent_C.composeRequest.localActive,roomAgent_C.composeRequest.active,roomAgent_C.transitionWithSignal.enableFire,roomAgent_C.transitionWithSignal.localCondition,roomAgent_C.integerChange.u,roomAgent_C.newMessage.enableFire,roomAgent_C.waiting.oldActive,roomAgent_C.waiting.newActive,roomAgent_C.waiting.outPort[2].available,roomAgent_C.waiting.inPort[3].occupied,roomAgent_C.waiting.inPort[2].occupied,roomAgent_C.waiting.localActive,roomAgent_C.waiting.active,roomAgent_C.stateGraphRoot.activeSteps,roomAgent_C.messageID.pkgOut[1].backwardTrigger,roomAgent_C.messageID.pkgOut[1].trigger,roomAgent_C.getMessageID.y[1],$PRE.roomAgent_C.getMessageID.y[1],roomAgent_C.getperformative.y[1],$PRE.roomAgent_C.getperformative.y[1],$whenCondition169,$whenCondition168,$whenCondition167,$whenCondition166,$whenCondition165,$whenCondition154,$whenCondition156,$whenCondition157,$whenCondition158,$whenCondition159,$whenCondition160,$whenCondition161,$whenCondition162,$whenCondition163,$whenCondition164,roomAgent_C.newMessage.t_start,$PRE.roomAgent_C.newMessage.t_start,roomAgent_C.transitionWithSignal.t_start,$PRE.roomAgent_C.transitionWithSignal.t_start,roomAgent_C.newMessage1.t_start,$PRE.roomAgent_C.newMessage1.t_start,roomAgent_C.rightMessage.t_start,$PRE.roomAgent_C.rightMessage.t_start,roomAgent_C.rightMessage1.t_start,$PRE.roomAgent_C.rightMessage1.t_start,broker_LTC.packager.pkgOut.dummy,$PRE.broker_LTC.packager.pkgOut.dummy,broker_LTC.content.pkgOut[1].dummy,$PRE.broker_LTC.content.pkgOut[1].dummy,broker_LTC.get_content.pkgOut[1].dummy,$PRE.broker_LTC.get_content.pkgOut[1].dummy,broker_LTC.get_content.dummy,$PRE.broker_LTC.get_content.dummy,broker_LTC.get_content.y[2],$PRE.broker_LTC.get_content.y[2],broker_LTC.get_content.y[1],$PRE.broker_LTC.get_content.y[1],broker_LTC.uDPReceive_adapted.nRecvbufOverwrites,$PRE.broker_LTC.uDPReceive_adapted.nRecvbufOverwrites,broker_LTC.uDPReceive_adapted.nRecvBytes,$PRE.broker_LTC.uDPReceive_adapted.nRecvBytes,broker_LTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_LTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_LTC.uDPSend_adapted.dummy,broker_LTC.uDPSend_adapted.dummy,broker_LTC.sender.pkgOut[1].dummy,$PRE.broker_LTC.sender.pkgOut[1].dummy,broker_LTC.receiver.pkgOut[1].dummy,$PRE.broker_LTC.receiver.pkgOut[1].dummy,broker_LTC.reply_to.pkgOut[1].dummy,$PRE.broker_LTC.reply_to.pkgOut[1].dummy,broker_LTC.ontology.pkgOut[1].dummy,$PRE.broker_LTC.ontology.pkgOut[1].dummy,broker_LTC.getperformative.pkgOut[1].dummy,$PRE.broker_LTC.getperformative.pkgOut[1].dummy,broker_LTC.getperformative.dummy,$PRE.broker_LTC.getperformative.dummy,broker_LTC.getsender.pkgOut[1].dummy,$PRE.broker_LTC.getsender.pkgOut[1].dummy,broker_LTC.getsender.dummy,$PRE.broker_LTC.getsender.dummy,broker_LTC.getreceiver.pkgOut[1].dummy,$PRE.broker_LTC.getreceiver.pkgOut[1].dummy,broker_LTC.getreceiver.dummy,$PRE.broker_LTC.getreceiver.dummy,broker_LTC.getreceiver.y[1],$PRE.broker_LTC.getreceiver.y[1],broker_LTC.getreply_to.pkgOut[1].dummy,$PRE.broker_LTC.getreply_to.pkgOut[1].dummy,broker_LTC.getreply_to.dummy,$PRE.broker_LTC.getreply_to.dummy,broker_LTC.getreply_to.y[1],$PRE.broker_LTC.getreply_to.y[1],broker_LTC.getontology.pkgOut[1].dummy,$PRE.broker_LTC.getontology.pkgOut[1].dummy,broker_LTC.getontology.dummy,$PRE.broker_LTC.getontology.dummy,broker_LTC.getontology.y[1],$PRE.broker_LTC.getontology.y[1],broker_LTC.performative.pkgOut[1].dummy,$PRE.broker_LTC.performative.pkgOut[1].dummy,broker_LTC.getMessageID.dummy,$PRE.broker_LTC.getMessageID.dummy,broker_LTC.messageID.pkgOut[1].dummy,$PRE.broker_LTC.messageID.pkgOut[1].dummy,$PRE.broker_LTC.averagePrice,broker_LTC.averagePrice,$PRE.broker_LTC.totalHeat,broker_LTC.totalHeat,$PRE.broker_LTC.totalPrice,broker_LTC.totalPrice,$PRE.broker_LTC.messageID.u[1],broker_LTC.messageID.u[1],$PRE.broker_LTC.uDPSend_adapted.receiver,broker_LTC.uDPSend_adapted.receiver,$PRE.broker_LTC.reply_to.u[1],broker_LTC.reply_to.u[1],$PRE.broker_LTC.sender.u[1],broker_LTC.sender.u[1],$PRE.broker_LTC.ontology.u[1],broker_LTC.ontology.u[1],$PRE.broker_LTC.performative.u[1],broker_LTC.performative.u[1],$PRE.broker_LTC.content.u[2],broker_LTC.content.u[2],$PRE.broker_LTC.content.u[1],broker_LTC.content.u[1],$PRE.broker_LTC.rejectsComplete,broker_LTC.rejectsComplete,$PRE.broker_LTC.requestComplete,broker_LTC.requestComplete,$PRE.broker_LTC.requestCounter,broker_LTC.requestCounter,$PRE.broker_LTC.requestAddresses[10,1],broker_LTC.requestAddresses[10,1],$PRE.broker_LTC.requestAddresses[9,1],broker_LTC.requestAddresses[9,1],$PRE.broker_LTC.requestAddresses[8,1],broker_LTC.requestAddresses[8,1],$PRE.broker_LTC.requestAddresses[7,1],broker_LTC.requestAddresses[7,1],$PRE.broker_LTC.requestAddresses[6,1],broker_LTC.requestAddresses[6,1],$PRE.broker_LTC.requestAddresses[5,1],broker_LTC.requestAddresses[5,1],$PRE.broker_LTC.requestAddresses[4,1],broker_LTC.requestAddresses[4,1],$PRE.broker_LTC.requestAddresses[3,1],broker_LTC.requestAddresses[3,1],$PRE.broker_LTC.requestAddresses[2,1],broker_LTC.requestAddresses[2,1],$PRE.broker_LTC.requestAddresses[1,1],broker_LTC.requestAddresses[1,1],$PRE.broker_LTC.requestTable[10,1],broker_LTC.requestTable[10,1],$PRE.broker_LTC.requestTable[9,1],broker_LTC.requestTable[9,1],$PRE.broker_LTC.requestTable[8,1],broker_LTC.requestTable[8,1],$PRE.broker_LTC.requestTable[7,1],broker_LTC.requestTable[7,1],$PRE.broker_LTC.requestTable[6,1],broker_LTC.requestTable[6,1],$PRE.broker_LTC.requestTable[5,1],broker_LTC.requestTable[5,1],$PRE.broker_LTC.requestTable[4,1],broker_LTC.requestTable[4,1],$PRE.broker_LTC.requestTable[3,1],broker_LTC.requestTable[3,1],$PRE.broker_LTC.requestTable[2,1],broker_LTC.requestTable[2,1],$PRE.broker_LTC.requestTable[1,1],broker_LTC.requestTable[1,1],$PRE.broker_LTC.restHeat,broker_LTC.restHeat,$PRE.broker_LTC.totalaveragePrice,broker_LTC.totalaveragePrice,$PRE.broker_LTC.heatingPriceSum,broker_LTC.heatingPriceSum,$PRE.broker_LTC.cheapest,broker_LTC.cheapest,$PRE.broker_LTC.heatingCalculationSum,broker_LTC.heatingCalculationSum,$PRE.broker_LTC.informationCounter,broker_LTC.informationCounter,$PRE.broker_LTC.proposalCounter,broker_LTC.proposalCounter,$PRE.broker_LTC.heatSupplierTable[2,7],broker_LTC.heatSupplierTable[2,7],$PRE.broker_LTC.heatSupplierTable[2,6],broker_LTC.heatSupplierTable[2,6],$PRE.broker_LTC.heatSupplierTable[2,5],broker_LTC.heatSupplierTable[2,5],$PRE.broker_LTC.heatSupplierTable[2,4],broker_LTC.heatSupplierTable[2,4],$PRE.broker_LTC.heatSupplierTable[2,3],broker_LTC.heatSupplierTable[2,3],$PRE.broker_LTC.heatSupplierTable[2,2],broker_LTC.heatSupplierTable[2,2],$PRE.broker_LTC.heatSupplierTable[2,1],broker_LTC.heatSupplierTable[2,1],$PRE.broker_LTC.heatSupplierTable[1,7],broker_LTC.heatSupplierTable[1,7],$PRE.broker_LTC.heatSupplierTable[1,6],broker_LTC.heatSupplierTable[1,6],$PRE.broker_LTC.heatSupplierTable[1,5],broker_LTC.heatSupplierTable[1,5],$PRE.broker_LTC.heatSupplierTable[1,4],broker_LTC.heatSupplierTable[1,4],$PRE.broker_LTC.heatSupplierTable[1,3],broker_LTC.heatSupplierTable[1,3],$PRE.broker_LTC.heatSupplierTable[1,2],broker_LTC.heatSupplierTable[1,2],$PRE.broker_LTC.heatSupplierTable[1,1],broker_LTC.heatSupplierTable[1,1],$PRE.broker_LTC.lowestPrice,broker_LTC.lowestPrice,$PRE.broker_LTC.counterReject,broker_LTC.counterReject,$PRE.broker_LTC.counter,broker_LTC.counter,broker_LTC.getontology.pkgOut[1].trigger,$whenCondition152,$PRE.broker_LTC.proposalsComplete,$PRE.broker_LTC.requestsExceedSupply,$PRE.broker_LTC.heatingRequestSum,$PRE.broker_LTC.calculationDone,$PRE.broker_LTC.informationDone,$PRE.broker_LTC.finalRequestDone,$PRE.broker_LTC.reset4.t_start,$PRE.broker_LTC.enoughSupply1.t_start,$PRE.broker_LTC.limitedSupplyAbort.oldActive,$PRE.broker_LTC.limitedSupplyAbort.newActive,$PRE.broker_LTC.limitedSupplyAbort.localActive,$PRE.broker_LTC.enoughSupply.t_start,$PRE.broker_LTC.checkAvailability.oldActive,$PRE.broker_LTC.checkAvailability.newActive,$PRE.broker_LTC.checkAvailability.localActive,$PRE.broker_LTC.reset3.t_start,$PRE.broker_LTC.reset2.t_start,$PRE.broker_LTC.reset1.t_start,$PRE.broker_LTC.reset.t_start,$PRE.broker_LTC.transition3.t_start,$PRE.broker_LTC.prepareTableforRejections.oldActive,$PRE.broker_LTC.prepareTableforRejections.newActive,$PRE.broker_LTC.prepareTableforRejections.localActive,$PRE.broker_LTC.abort.t_start,$PRE.broker_LTC.checkRequestComplete.oldActive,$PRE.broker_LTC.checkRequestComplete.newActive,$PRE.broker_LTC.checkRequestComplete.localActive,$PRE.broker_LTC.transition7.t_start,$PRE.broker_LTC.computeFinalConstellation.oldActive,$PRE.broker_LTC.computeFinalConstellation.newActive,$PRE.broker_LTC.computeFinalConstellation.localActive,$PRE.broker_LTC.sendInformation.oldActive,$PRE.broker_LTC.sendInformation.newActive,$PRE.broker_LTC.sendInformation.localActive,$PRE.broker_LTC.transition6.t_start,$PRE.broker_LTC.transition5.t_start,$PRE.broker_LTC.computePrice.oldActive,$PRE.broker_LTC.computePrice.newActive,$PRE.broker_LTC.computePrice.localActive,$PRE.broker_LTC.collectConfirm.oldActive,$PRE.broker_LTC.collectConfirm.newActive,$PRE.broker_LTC.collectConfirm.localActive,$PRE.broker_LTC.check2.oldActive,$PRE.broker_LTC.check2.newActive,$PRE.broker_LTC.check2.localActive,$PRE.broker_LTC.composeInformation.oldActive,$PRE.broker_LTC.composeInformation.newActive,$PRE.broker_LTC.composeInformation.localActive,$PRE.broker_LTC.transition4.t_start,$PRE.broker_LTC.sendNotUnderstood.oldActive,$PRE.broker_LTC.sendNotUnderstood.newActive,$PRE.broker_LTC.sendNotUnderstood.localActive,$PRE.broker_LTC.transition2.t_start,$PRE.broker_LTC.composeNotUnderstood.oldActive,$PRE.broker_LTC.composeNotUnderstood.newActive,$PRE.broker_LTC.composeNotUnderstood.localActive,$PRE.broker_LTC.transitionWithSignal3.t_start,$PRE.broker_LTC.sendConfirmation.oldActive,$PRE.broker_LTC.sendConfirmation.newActive,$PRE.broker_LTC.sendConfirmation.localActive,$PRE.broker_LTC.requestNoted.t_start,$PRE.broker_LTC.check1.oldActive,$PRE.broker_LTC.check1.newActive,$PRE.broker_LTC.check1.localActive,$PRE.broker_LTC.check.oldActive,$PRE.broker_LTC.check.newActive,$PRE.broker_LTC.check.localActive,$PRE.broker_LTC.transition1.t_start,$PRE.broker_LTC.sendRequest.oldActive,$PRE.broker_LTC.sendRequest.newActive,$PRE.broker_LTC.sendRequest.localActive,$PRE.broker_LTC.transition.t_start,$PRE.broker_LTC.sendCall.oldActive,$PRE.broker_LTC.sendCall.newActive,$PRE.broker_LTC.sendCall.localActive,$PRE.broker_LTC.notFinished.t_start,$PRE.broker_LTC.sendOutRequest.oldActive,$PRE.broker_LTC.sendOutRequest.newActive,$PRE.broker_LTC.sendOutRequest.localActive,$PRE.broker_LTC.allProposalsCollected.t_start,$PRE.broker_LTC.collectProposal.oldActive,$PRE.broker_LTC.collectProposal.newActive,$PRE.broker_LTC.collectProposal.localActive,$PRE.broker_LTC.callForProposal.oldActive,$PRE.broker_LTC.callForProposal.newActive,$PRE.broker_LTC.callForProposal.localActive,$PRE.broker_LTC.waitforRequests.t_start,$PRE.broker_LTC.requests.oldActive,$PRE.broker_LTC.requests.newActive,$PRE.broker_LTC.requests.localActive,$PRE.broker_LTC.integerChange.u,$PRE.broker_LTC.message.oldActive,$PRE.broker_LTC.message.newActive,$PRE.broker_LTC.message.localActive,$PRE.broker_LTC.waiting.oldActive,$PRE.broker_LTC.waiting.newActive,$PRE.broker_LTC.waiting.localActive,$PRE.broker_LTC.receiver.u[1],broker_LTC.reset4.t_start,broker_LTC.reset4.fire,broker_LTC.reset4.enableFire,broker_LTC.enoughSupply1.t_start,broker_LTC.enoughSupply1.fire,broker_LTC.enoughSupply1.enableFire,broker_LTC.limitedSupplyAbort.oldActive,broker_LTC.limitedSupplyAbort.newActive,broker_LTC.limitedSupplyAbort.localActive,broker_LTC.limitedSupplyAbort.active,broker_LTC.enoughSupply.t_start,broker_LTC.enoughSupply.fire,broker_LTC.enoughSupply.enableFire,broker_LTC.checkAvailability.oldActive,broker_LTC.checkAvailability.newActive,broker_LTC.checkAvailability.outPort[2].available,broker_LTC.checkAvailability.localActive,broker_LTC.checkAvailability.active,broker_LTC.reset3.t_start,broker_LTC.reset3.fire,broker_LTC.reset3.enableFire,broker_LTC.reset2.t_start,broker_LTC.reset2.fire,broker_LTC.reset2.enableFire,broker_LTC.reset1.t_start,broker_LTC.reset1.fire,broker_LTC.reset1.enableFire,broker_LTC.reset.t_start,broker_LTC.reset.fire,broker_LTC.reset.enableFire,broker_LTC.transition3.t_start,broker_LTC.transition3.fire,broker_LTC.transition3.enableFire,broker_LTC.prepareTableforRejections.oldActive,broker_LTC.prepareTableforRejections.newActive,broker_LTC.prepareTableforRejections.localActive,broker_LTC.prepareTableforRejections.active,broker_LTC.abort.t_start,broker_LTC.abort.fire,broker_LTC.abort.enableFire,broker_LTC.or4.u1,broker_LTC.or2.y,broker_LTC.or1.y,broker_LTC.confirmNotComplete.enableFire,broker_LTC.requestsNotComplete.enableFire,broker_LTC.requestsComplete.enableFire,broker_LTC.checkRequestComplete.oldActive,broker_LTC.checkRequestComplete.newActive,broker_LTC.checkRequestComplete.outPort[2].available,broker_LTC.checkRequestComplete.localActive,broker_LTC.checkRequestComplete.active,broker_LTC.transition7.t_start,broker_LTC.transition7.fire,broker_LTC.transition7.enableFire,broker_LTC.computeFinalConstellation.oldActive,broker_LTC.computeFinalConstellation.newActive,broker_LTC.computeFinalConstellation.localActive,broker_LTC.computeFinalConstellation.active,broker_LTC.confirmComplete.enableFire,broker_LTC.confirmComplete.localCondition,broker_LTC.sendInformation.active,broker_LTC.sendInformation.oldActive,broker_LTC.sendInformation.newActive,broker_LTC.sendInformation.localActive,broker_LTC.transition6.t_start,broker_LTC.transition6.fire,broker_LTC.transition6.enableFire,broker_LTC.transition5.t_start,broker_LTC.transition5.fire,broker_LTC.transition5.enableFire,broker_LTC.computePrice.oldActive,broker_LTC.computePrice.newActive,broker_LTC.computePrice.localActive,broker_LTC.computePrice.active,broker_LTC.collectConfirm.oldActive,broker_LTC.collectConfirm.newActive,broker_LTC.collectConfirm.outPort[3].available,broker_LTC.collectConfirm.outPort[2].available,broker_LTC.collectConfirm.localActive,broker_LTC.collectConfirm.active,broker_LTC.correctPerformative2.enableFire,broker_LTC.correctPerformative2.localCondition,broker_LTC.check2.oldActive,broker_LTC.check2.newActive,broker_LTC.check2.outPort[2].available,broker_LTC.check2.localActive,broker_LTC.check2.active,broker_LTC.newConfirm.enableFire,broker_LTC.newConfirm.localCondition,broker_LTC.composeInformation.oldActive,broker_LTC.composeInformation.newActive,broker_LTC.composeInformation.inPort[2].occupied,broker_LTC.composeInformation.localActive,broker_LTC.composeInformation.active,broker_LTC.transition4.t_start,broker_LTC.transition4.fire,broker_LTC.transition4.enableFire,broker_LTC.sendNotUnderstood.active,broker_LTC.sendNotUnderstood.oldActive,broker_LTC.sendNotUnderstood.newActive,broker_LTC.sendNotUnderstood.localActive,broker_LTC.transition2.t_start,broker_LTC.transition2.fire,broker_LTC.transition2.enableFire,broker_LTC.composeNotUnderstood.oldActive,broker_LTC.composeNotUnderstood.newActive,broker_LTC.composeNotUnderstood.localActive,broker_LTC.composeNotUnderstood.active,broker_LTC.transitionWithSignal3.t_start,broker_LTC.transitionWithSignal3.fire,broker_LTC.transitionWithSignal3.enableFire,broker_LTC.transitionWithSignal3.localCondition,broker_LTC.actionConfirmed.enableFire,broker_LTC.actionConfirmed.localCondition,broker_LTC.sendConfirmation.active,broker_LTC.sendConfirmation.oldActive,broker_LTC.sendConfirmation.newActive,broker_LTC.sendConfirmation.outPort[2].available,broker_LTC.sendConfirmation.localActive,broker_LTC.requestNoted.t_start,broker_LTC.requestNoted.fire,broker_LTC.requestNoted.enableFire,broker_LTC.correctPerformative1.enableFire,broker_LTC.correctPerformative1.localCondition,broker_LTC.check1.oldActive,broker_LTC.check1.newActive,broker_LTC.check1.localActive,broker_LTC.check1.active,broker_LTC.correctPerformative.enableFire,broker_LTC.correctPerformative.localCondition,broker_LTC.check.oldActive,broker_LTC.check.newActive,broker_LTC.check.outPort[2].available,broker_LTC.check.localActive,broker_LTC.check.active,broker_LTC.transition1.t_start,broker_LTC.transition1.fire,broker_LTC.transition1.enableFire,broker_LTC.sendRequest.active,broker_LTC.sendRequest.oldActive,broker_LTC.sendRequest.newActive,broker_LTC.sendRequest.outPort[2].available,broker_LTC.sendRequest.localActive,broker_LTC.transition.t_start,broker_LTC.transition.fire,broker_LTC.transition.enableFire,broker_LTC.sendCall.active,broker_LTC.sendCall.oldActive,broker_LTC.sendCall.newActive,broker_LTC.sendCall.outPort[2].available,broker_LTC.sendCall.localActive,broker_LTC.notFinished.t_start,broker_LTC.notFinished.fire,broker_LTC.notFinished.enableFire,broker_LTC.sendOutRequest.oldActive,broker_LTC.sendOutRequest.newActive,broker_LTC.sendOutRequest.inPort[3].occupied,broker_LTC.sendOutRequest.inPort[2].occupied,broker_LTC.sendOutRequest.localActive,broker_LTC.sendOutRequest.active,broker_LTC.allProposalsCollected.t_start,broker_LTC.allProposalsCollected.fire,broker_LTC.allProposalsCollected.enableFire,broker_LTC.collectProposal.oldActive,broker_LTC.collectProposal.newActive,broker_LTC.collectProposal.outPort[2].available,broker_LTC.collectProposal.localActive,broker_LTC.collectProposal.active,broker_LTC.newProposal.enableFire,broker_LTC.callForProposal.oldActive,broker_LTC.callForProposal.newActive,broker_LTC.callForProposal.inPort[2].occupied,broker_LTC.callForProposal.localActive,broker_LTC.callForProposal.active,broker_LTC.newRequests.enableFire,broker_LTC.waitforRequests.t_start,broker_LTC.waitforRequests.fire,broker_LTC.waitforRequests.enableFire,broker_LTC.requests.oldActive,broker_LTC.requests.newActive,broker_LTC.requests.inPort[2].occupied,broker_LTC.requests.localActive,broker_LTC.requests.active,broker_LTC.transitionWithSignal.enableFire,broker_LTC.integerChange.u,broker_LTC.message.oldActive,broker_LTC.message.newActive,broker_LTC.message.outPort[2].available,broker_LTC.message.localActive,broker_LTC.message.active,broker_LTC.newMessage.enableFire,broker_LTC.waiting.oldActive,broker_LTC.waiting.newActive,broker_LTC.waiting.inPort[7].occupied,broker_LTC.waiting.inPort[6].occupied,broker_LTC.waiting.inPort[5].occupied,broker_LTC.waiting.inPort[4].occupied,broker_LTC.waiting.inPort[3].occupied,broker_LTC.waiting.inPort[2].occupied,broker_LTC.waiting.localActive,broker_LTC.waiting.active,broker_LTC.finalRequestDone,broker_LTC.informationDone,broker_LTC.calculationDone,broker_LTC.heatingRequestSum,broker_LTC.requestsExceedSupply,broker_LTC.proposalsComplete,broker_LTC.stateGraphRoot.activeSteps,broker_LTC.messageID.pkgOut[1].backwardTrigger,broker_LTC.messageID.pkgOut[1].trigger,broker_LTC.getMessageID.y[1],$PRE.broker_LTC.getMessageID.y[1],broker_LTC.getsender.y[1],$PRE.broker_LTC.getsender.y[1],broker_LTC.getperformative.y[1],$PRE.broker_LTC.getperformative.y[1],broker_LTC.receiver.u[1],$whenCondition129,$whenCondition128,$whenCondition127,$whenCondition126,$whenCondition125,$whenCondition124,$whenCondition123,$whenCondition122,$whenCondition121,$whenCondition120,$whenCondition119,$whenCondition118,$whenCondition117,$whenCondition130,$whenCondition131,$whenCondition132,$whenCondition133,$whenCondition134,$whenCondition135,$whenCondition136,$whenCondition137,$whenCondition138,$whenCondition139,$whenCondition140,$whenCondition141,$whenCondition142,$whenCondition143,$whenCondition144,$whenCondition145,$whenCondition146,$whenCondition147,$whenCondition148,$whenCondition149,$whenCondition150,$whenCondition151,$whenCondition153,broker_LTC.newMessage.t_start,$PRE.broker_LTC.newMessage.t_start,broker_LTC.transitionWithSignal.t_start,$PRE.broker_LTC.transitionWithSignal.t_start,broker_LTC.newRequests.t_start,$PRE.broker_LTC.newRequests.t_start,broker_LTC.newProposal.t_start,$PRE.broker_LTC.newProposal.t_start,broker_LTC.correctPerformative.t_start,$PRE.broker_LTC.correctPerformative.t_start,broker_LTC.correctPerformative1.t_start,$PRE.broker_LTC.correctPerformative1.t_start,broker_LTC.actionConfirmed.t_start,$PRE.broker_LTC.actionConfirmed.t_start,broker_LTC.newConfirm.t_start,$PRE.broker_LTC.newConfirm.t_start,broker_LTC.correctPerformative2.t_start,$PRE.broker_LTC.correctPerformative2.t_start,broker_LTC.confirmComplete.t_start,$PRE.broker_LTC.confirmComplete.t_start,broker_LTC.requestsComplete.t_start,$PRE.broker_LTC.requestsComplete.t_start,broker_LTC.requestsNotComplete.t_start,$PRE.broker_LTC.requestsNotComplete.t_start,broker_LTC.confirmNotComplete.t_start,$PRE.broker_LTC.confirmNotComplete.t_start,heatProducerAgent2.packager.pkgOut.dummy,$PRE.heatProducerAgent2.packager.pkgOut.dummy,heatProducerAgent2.content.pkgOut[1].dummy,$PRE.heatProducerAgent2.content.pkgOut[1].dummy,heatProducerAgent2.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent2.get_content.pkgOut[1].dummy,heatProducerAgent2.get_content.dummy,$PRE.heatProducerAgent2.get_content.dummy,heatProducerAgent2.get_content.y[2],$PRE.heatProducerAgent2.get_content.y[2],heatProducerAgent2.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent2.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent2.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent2.uDPReceive_adapted.nRecvBytes,heatProducerAgent2.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent2.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent2.uDPSend_adapted.dummy,heatProducerAgent2.uDPSend_adapted.dummy,heatProducerAgent2.sender.pkgOut[1].dummy,$PRE.heatProducerAgent2.sender.pkgOut[1].dummy,heatProducerAgent2.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent2.receiver.pkgOut[1].dummy,heatProducerAgent2.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent2.reply_to.pkgOut[1].dummy,heatProducerAgent2.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent2.ontology.pkgOut[1].dummy,heatProducerAgent2.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent2.getperformative.pkgOut[1].dummy,heatProducerAgent2.getperformative.dummy,$PRE.heatProducerAgent2.getperformative.dummy,heatProducerAgent2.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent2.getsender.pkgOut[1].dummy,heatProducerAgent2.getsender.dummy,$PRE.heatProducerAgent2.getsender.dummy,heatProducerAgent2.getsender.y[1],$PRE.heatProducerAgent2.getsender.y[1],heatProducerAgent2.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent2.getreceiver.pkgOut[1].dummy,heatProducerAgent2.getreceiver.dummy,$PRE.heatProducerAgent2.getreceiver.dummy,heatProducerAgent2.getreceiver.y[1],$PRE.heatProducerAgent2.getreceiver.y[1],heatProducerAgent2.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent2.getreply_to.pkgOut[1].dummy,heatProducerAgent2.getreply_to.dummy,$PRE.heatProducerAgent2.getreply_to.dummy,heatProducerAgent2.getreply_to.y[1],$PRE.heatProducerAgent2.getreply_to.y[1],heatProducerAgent2.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent2.getontology.pkgOut[1].dummy,heatProducerAgent2.getontology.dummy,$PRE.heatProducerAgent2.getontology.dummy,heatProducerAgent2.getontology.y[1],$PRE.heatProducerAgent2.getontology.y[1],heatProducerAgent2.performative.pkgOut[1].dummy,$PRE.heatProducerAgent2.performative.pkgOut[1].dummy,heatProducerAgent2.getMessageID.dummy,$PRE.heatProducerAgent2.getMessageID.dummy,heatProducerAgent2.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent2.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent2.messageID.u[1],heatProducerAgent2.messageID.u[1],$PRE.heatProducerAgent2.sender.u[1],heatProducerAgent2.sender.u[1],$PRE.heatProducerAgent2.reply_to.u[1],heatProducerAgent2.reply_to.u[1],$PRE.heatProducerAgent2.ontology.u[1],heatProducerAgent2.ontology.u[1],$PRE.heatProducerAgent2.receiver.u[1],heatProducerAgent2.receiver.u[1],$PRE.heatProducerAgent2.uDPSend_adapted.receiver,heatProducerAgent2.uDPSend_adapted.receiver,$PRE.heatProducerAgent2.performative.u[1],heatProducerAgent2.performative.u[1],$PRE.heatProducerAgent2.content.u[2],heatProducerAgent2.content.u[2],$PRE.heatProducerAgent2.content.u[1],heatProducerAgent2.content.u[1],$PRE.heatProducerAgent2.costCurrent,heatProducerAgent2.costCurrent,$PRE.heatProducerAgent2.currentCapacityDiscrete,heatProducerAgent2.currentCapacityDiscrete,$PRE.heatProducerAgent2.setCapacity,heatProducerAgent2.and1.u2,heatProducerAgent2.setCapacity,$PRE.heatProducerAgent2.calcCapacityInternal,heatProducerAgent2.calcCapacityInternal,heatProducerAgent2.getontology.pkgOut[1].trigger,$whenCondition76,heatProducerAgent1.packager.pkgOut.dummy,$PRE.heatProducerAgent1.packager.pkgOut.dummy,heatProducerAgent1.content.pkgOut[1].dummy,$PRE.heatProducerAgent1.content.pkgOut[1].dummy,heatProducerAgent1.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent1.get_content.pkgOut[1].dummy,heatProducerAgent1.get_content.dummy,$PRE.heatProducerAgent1.get_content.dummy,heatProducerAgent1.get_content.y[2],$PRE.heatProducerAgent1.get_content.y[2],heatProducerAgent1.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent1.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent1.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent1.uDPReceive_adapted.nRecvBytes,heatProducerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent1.uDPSend_adapted.dummy,heatProducerAgent1.uDPSend_adapted.dummy,heatProducerAgent1.sender.pkgOut[1].dummy,$PRE.heatProducerAgent1.sender.pkgOut[1].dummy,heatProducerAgent1.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent1.receiver.pkgOut[1].dummy,heatProducerAgent1.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent1.reply_to.pkgOut[1].dummy,heatProducerAgent1.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent1.ontology.pkgOut[1].dummy,heatProducerAgent1.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent1.getperformative.pkgOut[1].dummy,heatProducerAgent1.getperformative.dummy,$PRE.heatProducerAgent1.getperformative.dummy,heatProducerAgent1.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent1.getsender.pkgOut[1].dummy,heatProducerAgent1.getsender.dummy,$PRE.heatProducerAgent1.getsender.dummy,heatProducerAgent1.getsender.y[1],$PRE.heatProducerAgent1.getsender.y[1],heatProducerAgent1.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent1.getreceiver.pkgOut[1].dummy,heatProducerAgent1.getreceiver.dummy,$PRE.heatProducerAgent1.getreceiver.dummy,heatProducerAgent1.getreceiver.y[1],$PRE.heatProducerAgent1.getreceiver.y[1],heatProducerAgent1.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent1.getreply_to.pkgOut[1].dummy,heatProducerAgent1.getreply_to.dummy,$PRE.heatProducerAgent1.getreply_to.dummy,heatProducerAgent1.getreply_to.y[1],$PRE.heatProducerAgent1.getreply_to.y[1],heatProducerAgent1.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent1.getontology.pkgOut[1].dummy,heatProducerAgent1.getontology.dummy,$PRE.heatProducerAgent1.getontology.dummy,heatProducerAgent1.getontology.y[1],$PRE.heatProducerAgent1.getontology.y[1],heatProducerAgent1.performative.pkgOut[1].dummy,$PRE.heatProducerAgent1.performative.pkgOut[1].dummy,heatProducerAgent1.getMessageID.dummy,$PRE.heatProducerAgent1.getMessageID.dummy,heatProducerAgent1.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent1.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent1.messageID.u[1],heatProducerAgent1.messageID.u[1],$PRE.heatProducerAgent1.sender.u[1],heatProducerAgent1.sender.u[1],$PRE.heatProducerAgent1.reply_to.u[1],heatProducerAgent1.reply_to.u[1],$PRE.heatProducerAgent1.ontology.u[1],heatProducerAgent1.ontology.u[1],$PRE.heatProducerAgent1.receiver.u[1],heatProducerAgent1.receiver.u[1],$PRE.heatProducerAgent1.uDPSend_adapted.receiver,heatProducerAgent1.uDPSend_adapted.receiver,$PRE.heatProducerAgent1.performative.u[1],heatProducerAgent1.performative.u[1],$PRE.heatProducerAgent1.content.u[2],heatProducerAgent1.content.u[2],$PRE.heatProducerAgent1.content.u[1],heatProducerAgent1.content.u[1],$PRE.heatProducerAgent1.costCurrent,heatProducerAgent1.costCurrent,$PRE.heatProducerAgent1.currentCapacityDiscrete,heatProducerAgent1.currentCapacityDiscrete,$PRE.heatProducerAgent1.setCapacity,heatProducerAgent1.and1.u2,heatProducerAgent1.setCapacity,$PRE.heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.getontology.pkgOut[1].trigger,$whenCondition88,heatProducerAgent.packager.pkgOut.dummy,$PRE.heatProducerAgent.packager.pkgOut.dummy,heatProducerAgent.content.pkgOut[1].dummy,$PRE.heatProducerAgent.content.pkgOut[1].dummy,heatProducerAgent.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent.get_content.pkgOut[1].dummy,heatProducerAgent.get_content.dummy,$PRE.heatProducerAgent.get_content.dummy,heatProducerAgent.get_content.y[2],$PRE.heatProducerAgent.get_content.y[2],heatProducerAgent.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent.uDPReceive_adapted.nRecvBytes,heatProducerAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent.uDPSend_adapted.dummy,heatProducerAgent.uDPSend_adapted.dummy,heatProducerAgent.sender.pkgOut[1].dummy,$PRE.heatProducerAgent.sender.pkgOut[1].dummy,heatProducerAgent.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent.receiver.pkgOut[1].dummy,heatProducerAgent.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent.reply_to.pkgOut[1].dummy,heatProducerAgent.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent.ontology.pkgOut[1].dummy,heatProducerAgent.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent.getperformative.pkgOut[1].dummy,heatProducerAgent.getperformative.dummy,$PRE.heatProducerAgent.getperformative.dummy,heatProducerAgent.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent.getsender.pkgOut[1].dummy,heatProducerAgent.getsender.dummy,$PRE.heatProducerAgent.getsender.dummy,heatProducerAgent.getsender.y[1],$PRE.heatProducerAgent.getsender.y[1],heatProducerAgent.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent.getreceiver.pkgOut[1].dummy,heatProducerAgent.getreceiver.dummy,$PRE.heatProducerAgent.getreceiver.dummy,heatProducerAgent.getreceiver.y[1],$PRE.heatProducerAgent.getreceiver.y[1],heatProducerAgent.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent.getreply_to.pkgOut[1].dummy,heatProducerAgent.getreply_to.dummy,$PRE.heatProducerAgent.getreply_to.dummy,heatProducerAgent.getreply_to.y[1],$PRE.heatProducerAgent.getreply_to.y[1],heatProducerAgent.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent.getontology.pkgOut[1].dummy,heatProducerAgent.getontology.dummy,$PRE.heatProducerAgent.getontology.dummy,heatProducerAgent.getontology.y[1],$PRE.heatProducerAgent.getontology.y[1],heatProducerAgent.performative.pkgOut[1].dummy,$PRE.heatProducerAgent.performative.pkgOut[1].dummy,heatProducerAgent.getMessageID.dummy,$PRE.heatProducerAgent.getMessageID.dummy,heatProducerAgent.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent.messageID.u[1],heatProducerAgent.messageID.u[1],$PRE.heatProducerAgent.sender.u[1],heatProducerAgent.sender.u[1],$PRE.heatProducerAgent.reply_to.u[1],heatProducerAgent.reply_to.u[1],$PRE.heatProducerAgent.ontology.u[1],heatProducerAgent.ontology.u[1],$PRE.heatProducerAgent.receiver.u[1],heatProducerAgent.receiver.u[1],$PRE.heatProducerAgent.uDPSend_adapted.receiver,heatProducerAgent.uDPSend_adapted.receiver,$PRE.heatProducerAgent.performative.u[1],heatProducerAgent.performative.u[1],$PRE.heatProducerAgent.content.u[2],heatProducerAgent.content.u[2],$PRE.heatProducerAgent.content.u[1],heatProducerAgent.content.u[1],$PRE.heatProducerAgent.costCurrent,heatProducerAgent.costCurrent,$PRE.heatProducerAgent.currentCapacityDiscrete,heatProducerAgent.currentCapacityDiscrete,$PRE.heatProducerAgent.setCapacity,heatProducerAgent.and1.u2,heatProducerAgent.setCapacity,$PRE.heatProducerAgent.calcCapacityInternal,heatProducerAgent.calcCapacityInternal,heatProducerAgent.getontology.pkgOut[1].trigger,$whenCondition100,intermediateAgent_C.packager.pkgOut.dummy,$PRE.intermediateAgent_C.packager.pkgOut.dummy,intermediateAgent_C.content.pkgOut[1].dummy,$PRE.intermediateAgent_C.content.pkgOut[1].dummy,intermediateAgent_C.get_content.pkgOut[1].dummy,$PRE.intermediateAgent_C.get_content.pkgOut[1].dummy,intermediateAgent_C.get_content.dummy,$PRE.intermediateAgent_C.get_content.dummy,intermediateAgent_C.get_content.y[2],$PRE.intermediateAgent_C.get_content.y[2],intermediateAgent_C.get_content.y[1],$PRE.intermediateAgent_C.get_content.y[1],intermediateAgent_C.uDPReceive_adapted.nRecvbufOverwrites,$PRE.intermediateAgent_C.uDPReceive_adapted.nRecvbufOverwrites,intermediateAgent_C.uDPReceive_adapted.nRecvBytes,$PRE.intermediateAgent_C.uDPReceive_adapted.nRecvBytes,intermediateAgent_C.uDPReceive_adapted.pkgOut.dummy,$PRE.intermediateAgent_C.uDPReceive_adapted.pkgOut.dummy,$PRE.intermediateAgent_C.uDPSend_adapted.dummy,intermediateAgent_C.uDPSend_adapted.dummy,intermediateAgent_C.sender.pkgOut[1].dummy,$PRE.intermediateAgent_C.sender.pkgOut[1].dummy,intermediateAgent_C.receiver.pkgOut[1].dummy,$PRE.intermediateAgent_C.receiver.pkgOut[1].dummy,intermediateAgent_C.reply_to.pkgOut[1].dummy,$PRE.intermediateAgent_C.reply_to.pkgOut[1].dummy,intermediateAgent_C.ontology.pkgOut[1].dummy,$PRE.intermediateAgent_C.ontology.pkgOut[1].dummy,intermediateAgent_C.getperformative.pkgOut[1].dummy,$PRE.intermediateAgent_C.getperformative.pkgOut[1].dummy,intermediateAgent_C.getperformative.dummy,$PRE.intermediateAgent_C.getperformative.dummy,intermediateAgent_C.getsender.pkgOut[1].dummy,$PRE.intermediateAgent_C.getsender.pkgOut[1].dummy,intermediateAgent_C.getsender.dummy,$PRE.intermediateAgent_C.getsender.dummy,intermediateAgent_C.getreceiver.pkgOut[1].dummy,$PRE.intermediateAgent_C.getreceiver.pkgOut[1].dummy,intermediateAgent_C.getreceiver.dummy,$PRE.intermediateAgent_C.getreceiver.dummy,intermediateAgent_C.getreceiver.y[1],$PRE.intermediateAgent_C.getreceiver.y[1],intermediateAgent_C.getreply_to.pkgOut[1].dummy,$PRE.intermediateAgent_C.getreply_to.pkgOut[1].dummy,intermediateAgent_C.getreply_to.dummy,$PRE.intermediateAgent_C.getreply_to.dummy,intermediateAgent_C.getreply_to.y[1],$PRE.intermediateAgent_C.getreply_to.y[1],intermediateAgent_C.getontology.pkgOut[1].dummy,$PRE.intermediateAgent_C.getontology.pkgOut[1].dummy,intermediateAgent_C.getontology.dummy,$PRE.intermediateAgent_C.getontology.dummy,intermediateAgent_C.getontology.y[1],$PRE.intermediateAgent_C.getontology.y[1],intermediateAgent_C.performative.pkgOut[1].dummy,$PRE.intermediateAgent_C.performative.pkgOut[1].dummy,intermediateAgent_C.getMessageID.dummy,$PRE.intermediateAgent_C.getMessageID.dummy,intermediateAgent_C.messageID.pkgOut[1].dummy,$PRE.intermediateAgent_C.messageID.pkgOut[1].dummy,$PRE.intermediateAgent_C.ownCost,intermediateAgent_C.ownCost,$PRE.intermediateAgent_C.newCost,intermediateAgent_C.newCost,$PRE.intermediateAgent_C.messageID.u[1],intermediateAgent_C.messageID.u[1],$PRE.intermediateAgent_C.uDPSend_adapted.receiver,intermediateAgent_C.uDPSend_adapted.receiver,$PRE.intermediateAgent_C.ontology.u[1],intermediateAgent_C.ontology.u[1],$PRE.intermediateAgent_C.content.u[2],intermediateAgent_C.content.u[2],$PRE.intermediateAgent_C.content.u[1],intermediateAgent_C.content.u[1],$PRE.intermediateAgent_C.reply_to.u[1],intermediateAgent_C.reply_to.u[1],$PRE.intermediateAgent_C.receiver.u[1],intermediateAgent_C.receiver.u[1],$PRE.intermediateAgent_C.sender.u[1],intermediateAgent_C.sender.u[1],$PRE.intermediateAgent_C.performative.u[1],intermediateAgent_C.performative.u[1],$PRE.intermediateAgent_C.setCapacityOut,intermediateAgent_C.setCapacityOut,$PRE.intermediateAgent_C.currentCost,intermediateAgent_C.currentCost,$PRE.intermediateAgent_C.calcCapacity,intermediateAgent_C.calcCapacity,$PRE.intermediateAgent_C.setCapacity,intermediateAgent_C.and1.u2,intermediateAgent_C.setCapacity,intermediateAgent_C.getontology.pkgOut[1].trigger,$whenCondition115,intermediateAgent_C.newMessage.t_start,$PRE.intermediateAgent_C.newMessage.t_start,intermediateAgent_C.transitionWithSignal.t_start,$PRE.intermediateAgent_C.transitionWithSignal.t_start,intermediateAgent_C.fromTopBroker.t_start,$PRE.intermediateAgent_C.fromTopBroker.t_start,intermediateAgent_C.newMessage1.t_start,$PRE.intermediateAgent_C.newMessage1.t_start,intermediateAgent_C.newMessage2.t_start,$PRE.intermediateAgent_C.newMessage2.t_start,intermediateAgent_C.fromBottomBroker.t_start,$PRE.intermediateAgent_C.fromBottomBroker.t_start,intermediateAgent_C.Off.t_start,$PRE.intermediateAgent_C.Off.t_start,broker_HTC.packager.pkgOut.dummy,$PRE.broker_HTC.packager.pkgOut.dummy,broker_HTC.content.pkgOut[1].dummy,$PRE.broker_HTC.content.pkgOut[1].dummy,broker_HTC.get_content.pkgOut[1].dummy,$PRE.broker_HTC.get_content.pkgOut[1].dummy,broker_HTC.get_content.dummy,$PRE.broker_HTC.get_content.dummy,broker_HTC.get_content.y[2],$PRE.broker_HTC.get_content.y[2],broker_HTC.get_content.y[1],$PRE.broker_HTC.get_content.y[1],broker_HTC.uDPReceive_adapted.nRecvbufOverwrites,$PRE.broker_HTC.uDPReceive_adapted.nRecvbufOverwrites,broker_HTC.uDPReceive_adapted.nRecvBytes,$PRE.broker_HTC.uDPReceive_adapted.nRecvBytes,broker_HTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_HTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_HTC.uDPSend_adapted.dummy,broker_HTC.uDPSend_adapted.dummy,broker_HTC.sender.pkgOut[1].dummy,$PRE.broker_HTC.sender.pkgOut[1].dummy,broker_HTC.receiver.pkgOut[1].dummy,$PRE.broker_HTC.receiver.pkgOut[1].dummy,broker_HTC.reply_to.pkgOut[1].dummy,$PRE.broker_HTC.reply_to.pkgOut[1].dummy,broker_HTC.ontology.pkgOut[1].dummy,$PRE.broker_HTC.ontology.pkgOut[1].dummy,broker_HTC.getperformative.pkgOut[1].dummy,$PRE.broker_HTC.getperformative.pkgOut[1].dummy,broker_HTC.getperformative.dummy,$PRE.broker_HTC.getperformative.dummy,broker_HTC.getsender.pkgOut[1].dummy,$PRE.broker_HTC.getsender.pkgOut[1].dummy,broker_HTC.getsender.dummy,$PRE.broker_HTC.getsender.dummy,broker_HTC.getreceiver.pkgOut[1].dummy,$PRE.broker_HTC.getreceiver.pkgOut[1].dummy,broker_HTC.getreceiver.dummy,$PRE.broker_HTC.getreceiver.dummy,broker_HTC.getreceiver.y[1],$PRE.broker_HTC.getreceiver.y[1],broker_HTC.getreply_to.pkgOut[1].dummy,$PRE.broker_HTC.getreply_to.pkgOut[1].dummy,broker_HTC.getreply_to.dummy,$PRE.broker_HTC.getreply_to.dummy,broker_HTC.getreply_to.y[1],$PRE.broker_HTC.getreply_to.y[1],broker_HTC.getontology.pkgOut[1].dummy,$PRE.broker_HTC.getontology.pkgOut[1].dummy,broker_HTC.getontology.dummy,$PRE.broker_HTC.getontology.dummy,broker_HTC.getontology.y[1],$PRE.broker_HTC.getontology.y[1],broker_HTC.performative.pkgOut[1].dummy,$PRE.broker_HTC.performative.pkgOut[1].dummy,broker_HTC.getMessageID.dummy,$PRE.broker_HTC.getMessageID.dummy,broker_HTC.messageID.pkgOut[1].dummy,$PRE.broker_HTC.messageID.pkgOut[1].dummy,$PRE.broker_HTC.averagePrice,broker_HTC.averagePrice,$PRE.broker_HTC.totalHeat,broker_HTC.totalHeat,$PRE.broker_HTC.totalPrice,broker_HTC.totalPrice,$PRE.broker_HTC.messageID.u[1],broker_HTC.messageID.u[1],$PRE.broker_HTC.uDPSend_adapted.receiver,broker_HTC.uDPSend_adapted.receiver,$PRE.broker_HTC.reply_to.u[1],broker_HTC.reply_to.u[1],$PRE.broker_HTC.sender.u[1],broker_HTC.sender.u[1],$PRE.broker_HTC.ontology.u[1],broker_HTC.ontology.u[1],$PRE.broker_HTC.performative.u[1],broker_HTC.performative.u[1],$PRE.broker_HTC.content.u[2],broker_HTC.content.u[2],$PRE.broker_HTC.content.u[1],broker_HTC.content.u[1],$PRE.broker_HTC.rejectsComplete,broker_HTC.rejectsComplete,$PRE.broker_HTC.requestComplete,broker_HTC.requestComplete,$PRE.broker_HTC.requestCounter,broker_HTC.requestCounter,$PRE.broker_HTC.requestAddresses[10,1],broker_HTC.requestAddresses[10,1],$PRE.broker_HTC.requestAddresses[9,1],broker_HTC.requestAddresses[9,1],$PRE.broker_HTC.requestAddresses[8,1],broker_HTC.requestAddresses[8,1],$PRE.broker_HTC.requestAddresses[7,1],broker_HTC.requestAddresses[7,1],$PRE.broker_HTC.requestAddresses[6,1],broker_HTC.requestAddresses[6,1],$PRE.broker_HTC.requestAddresses[5,1],broker_HTC.requestAddresses[5,1],$PRE.broker_HTC.requestAddresses[4,1],broker_HTC.requestAddresses[4,1],$PRE.broker_HTC.requestAddresses[3,1],broker_HTC.requestAddresses[3,1],$PRE.broker_HTC.requestAddresses[2,1],broker_HTC.requestAddresses[2,1],$PRE.broker_HTC.requestAddresses[1,1],broker_HTC.requestAddresses[1,1],$PRE.broker_HTC.requestTable[10,1],broker_HTC.requestTable[10,1],$PRE.broker_HTC.requestTable[9,1],broker_HTC.requestTable[9,1],$PRE.broker_HTC.requestTable[8,1],broker_HTC.requestTable[8,1],$PRE.broker_HTC.requestTable[7,1],broker_HTC.requestTable[7,1],$PRE.broker_HTC.requestTable[6,1],broker_HTC.requestTable[6,1],$PRE.broker_HTC.requestTable[5,1],broker_HTC.requestTable[5,1],$PRE.broker_HTC.requestTable[4,1],broker_HTC.requestTable[4,1],$PRE.broker_HTC.requestTable[3,1],broker_HTC.requestTable[3,1],$PRE.broker_HTC.requestTable[2,1],broker_HTC.requestTable[2,1],$PRE.broker_HTC.requestTable[1,1],broker_HTC.requestTable[1,1],$PRE.broker_HTC.restHeat,broker_HTC.restHeat,$PRE.broker_HTC.totalaveragePrice,broker_HTC.totalaveragePrice,$PRE.broker_HTC.heatingPriceSum,broker_HTC.heatingPriceSum,$PRE.broker_HTC.cheapest,broker_HTC.cheapest,$PRE.broker_HTC.heatingCalculationSum,broker_HTC.heatingCalculationSum,$PRE.broker_HTC.informationCounter,broker_HTC.informationCounter,$PRE.broker_HTC.proposalCounter,broker_HTC.proposalCounter,$PRE.broker_HTC.heatSupplierTable[2,7],broker_HTC.heatSupplierTable[2,7],$PRE.broker_HTC.heatSupplierTable[2,6],broker_HTC.heatSupplierTable[2,6],$PRE.broker_HTC.heatSupplierTable[2,5],broker_HTC.heatSupplierTable[2,5],$PRE.broker_HTC.heatSupplierTable[2,4],broker_HTC.heatSupplierTable[2,4],$PRE.broker_HTC.heatSupplierTable[2,3],broker_HTC.heatSupplierTable[2,3],$PRE.broker_HTC.heatSupplierTable[2,2],broker_HTC.heatSupplierTable[2,2],$PRE.broker_HTC.heatSupplierTable[2,1],broker_HTC.heatSupplierTable[2,1],$PRE.broker_HTC.heatSupplierTable[1,7],broker_HTC.heatSupplierTable[1,7],$PRE.broker_HTC.heatSupplierTable[1,6],broker_HTC.heatSupplierTable[1,6],$PRE.broker_HTC.heatSupplierTable[1,5],broker_HTC.heatSupplierTable[1,5],$PRE.broker_HTC.heatSupplierTable[1,4],broker_HTC.heatSupplierTable[1,4],$PRE.broker_HTC.heatSupplierTable[1,3],broker_HTC.heatSupplierTable[1,3],$PRE.broker_HTC.heatSupplierTable[1,2],broker_HTC.heatSupplierTable[1,2],$PRE.broker_HTC.heatSupplierTable[1,1],broker_HTC.heatSupplierTable[1,1],$PRE.broker_HTC.lowestPrice,broker_HTC.lowestPrice,$PRE.broker_HTC.counterReject,broker_HTC.counterReject,$PRE.broker_HTC.counter,broker_HTC.counter,broker_HTC.getontology.pkgOut[1].trigger,$whenCondition39,$PRE.broker_HTC.proposalsComplete,$PRE.broker_HTC.requestsExceedSupply,$PRE.broker_HTC.heatingRequestSum,$PRE.broker_HTC.calculationDone,$PRE.broker_HTC.informationDone,$PRE.broker_HTC.finalRequestDone,$PRE.broker_HTC.reset4.t_start,$PRE.broker_HTC.enoughSupply1.t_start,$PRE.broker_HTC.limitedSupplyAbort.oldActive,$PRE.broker_HTC.limitedSupplyAbort.newActive,$PRE.broker_HTC.limitedSupplyAbort.localActive,$PRE.broker_HTC.enoughSupply.t_start,$PRE.broker_HTC.checkAvailability.oldActive,$PRE.broker_HTC.checkAvailability.newActive,$PRE.broker_HTC.checkAvailability.localActive,$PRE.broker_HTC.reset3.t_start,$PRE.broker_HTC.reset2.t_start,$PRE.broker_HTC.reset1.t_start,$PRE.broker_HTC.reset.t_start,$PRE.broker_HTC.transition3.t_start,$PRE.broker_HTC.prepareTableforRejections.oldActive,$PRE.broker_HTC.prepareTableforRejections.newActive,$PRE.broker_HTC.prepareTableforRejections.localActive,$PRE.broker_HTC.abort.t_start,$PRE.broker_HTC.checkRequestComplete.oldActive,$PRE.broker_HTC.checkRequestComplete.newActive,$PRE.broker_HTC.checkRequestComplete.localActive,$PRE.broker_HTC.transition7.t_start,$PRE.broker_HTC.computeFinalConstellation.oldActive,$PRE.broker_HTC.computeFinalConstellation.newActive,$PRE.broker_HTC.computeFinalConstellation.localActive,$PRE.broker_HTC.sendInformation.oldActive,$PRE.broker_HTC.sendInformation.newActive,$PRE.broker_HTC.sendInformation.localActive,$PRE.broker_HTC.transition6.t_start,$PRE.broker_HTC.transition5.t_start,$PRE.broker_HTC.computePrice.oldActive,$PRE.broker_HTC.computePrice.newActive,$PRE.broker_HTC.computePrice.localActive,$PRE.broker_HTC.collectConfirm.oldActive,$PRE.broker_HTC.collectConfirm.newActive,$PRE.broker_HTC.collectConfirm.localActive,$PRE.broker_HTC.check2.oldActive,$PRE.broker_HTC.check2.newActive,$PRE.broker_HTC.check2.localActive,$PRE.broker_HTC.composeInformation.oldActive,$PRE.broker_HTC.composeInformation.newActive,$PRE.broker_HTC.composeInformation.localActive,$PRE.broker_HTC.transition4.t_start,$PRE.broker_HTC.sendNotUnderstood.oldActive,$PRE.broker_HTC.sendNotUnderstood.newActive,$PRE.broker_HTC.sendNotUnderstood.localActive,$PRE.broker_HTC.transition2.t_start,$PRE.broker_HTC.composeNotUnderstood.oldActive,$PRE.broker_HTC.composeNotUnderstood.newActive,$PRE.broker_HTC.composeNotUnderstood.localActive,$PRE.broker_HTC.transitionWithSignal3.t_start,$PRE.broker_HTC.sendConfirmation.oldActive,$PRE.broker_HTC.sendConfirmation.newActive,$PRE.broker_HTC.sendConfirmation.localActive,$PRE.broker_HTC.requestNoted.t_start,$PRE.broker_HTC.check1.oldActive,$PRE.broker_HTC.check1.newActive,$PRE.broker_HTC.check1.localActive,$PRE.broker_HTC.check.oldActive,$PRE.broker_HTC.check.newActive,$PRE.broker_HTC.check.localActive,$PRE.broker_HTC.transition1.t_start,$PRE.broker_HTC.sendRequest.oldActive,$PRE.broker_HTC.sendRequest.newActive,$PRE.broker_HTC.sendRequest.localActive,$PRE.broker_HTC.transition.t_start,$PRE.broker_HTC.sendCall.oldActive,$PRE.broker_HTC.sendCall.newActive,$PRE.broker_HTC.sendCall.localActive,$PRE.broker_HTC.notFinished.t_start,$PRE.broker_HTC.sendOutRequest.oldActive,$PRE.broker_HTC.sendOutRequest.newActive,$PRE.broker_HTC.sendOutRequest.localActive,$PRE.broker_HTC.allProposalsCollected.t_start,$PRE.broker_HTC.collectProposal.oldActive,$PRE.broker_HTC.collectProposal.newActive,$PRE.broker_HTC.collectProposal.localActive,$PRE.broker_HTC.callForProposal.oldActive,$PRE.broker_HTC.callForProposal.newActive,$PRE.broker_HTC.callForProposal.localActive,$PRE.broker_HTC.waitforRequests.t_start,$PRE.broker_HTC.requests.oldActive,$PRE.broker_HTC.requests.newActive,$PRE.broker_HTC.requests.localActive,$PRE.broker_HTC.integerChange.u,$PRE.broker_HTC.message.oldActive,$PRE.broker_HTC.message.newActive,$PRE.broker_HTC.message.localActive,$PRE.broker_HTC.waiting.oldActive,$PRE.broker_HTC.waiting.newActive,$PRE.broker_HTC.waiting.localActive,$PRE.broker_HTC.receiver.u[1],broker_HTC.reset4.t_start,broker_HTC.reset4.fire,broker_HTC.reset4.enableFire,broker_HTC.enoughSupply1.t_start,broker_HTC.enoughSupply1.fire,broker_HTC.enoughSupply1.enableFire,broker_HTC.limitedSupplyAbort.oldActive,broker_HTC.limitedSupplyAbort.newActive,broker_HTC.limitedSupplyAbort.localActive,broker_HTC.limitedSupplyAbort.active,broker_HTC.enoughSupply.t_start,broker_HTC.enoughSupply.fire,broker_HTC.enoughSupply.enableFire,broker_HTC.checkAvailability.oldActive,broker_HTC.checkAvailability.newActive,broker_HTC.checkAvailability.outPort[2].available,broker_HTC.checkAvailability.localActive,broker_HTC.checkAvailability.active,broker_HTC.reset3.t_start,broker_HTC.reset3.fire,broker_HTC.reset3.enableFire,broker_HTC.reset2.t_start,broker_HTC.reset2.fire,broker_HTC.reset2.enableFire,broker_HTC.reset1.t_start,broker_HTC.reset1.fire,broker_HTC.reset1.enableFire,broker_HTC.reset.t_start,broker_HTC.reset.fire,broker_HTC.reset.enableFire,broker_HTC.transition3.t_start,broker_HTC.transition3.fire,broker_HTC.transition3.enableFire,broker_HTC.prepareTableforRejections.oldActive,broker_HTC.prepareTableforRejections.newActive,broker_HTC.prepareTableforRejections.localActive,broker_HTC.prepareTableforRejections.active,broker_HTC.abort.t_start,broker_HTC.abort.fire,broker_HTC.abort.enableFire,broker_HTC.or4.u1,broker_HTC.or2.y,broker_HTC.or1.y,broker_HTC.confirmNotComplete.enableFire,broker_HTC.requestsNotComplete.enableFire,broker_HTC.requestsComplete.enableFire,broker_HTC.checkRequestComplete.oldActive,broker_HTC.checkRequestComplete.newActive,broker_HTC.checkRequestComplete.outPort[2].available,broker_HTC.checkRequestComplete.localActive,broker_HTC.checkRequestComplete.active,broker_HTC.transition7.t_start,broker_HTC.transition7.fire,broker_HTC.transition7.enableFire,broker_HTC.computeFinalConstellation.oldActive,broker_HTC.computeFinalConstellation.newActive,broker_HTC.computeFinalConstellation.localActive,broker_HTC.computeFinalConstellation.active,broker_HTC.confirmComplete.enableFire,broker_HTC.confirmComplete.localCondition,broker_HTC.sendInformation.active,broker_HTC.sendInformation.oldActive,broker_HTC.sendInformation.newActive,broker_HTC.sendInformation.localActive,broker_HTC.transition6.t_start,broker_HTC.transition6.fire,broker_HTC.transition6.enableFire,broker_HTC.transition5.t_start,broker_HTC.transition5.fire,broker_HTC.transition5.enableFire,broker_HTC.computePrice.oldActive,broker_HTC.computePrice.newActive,broker_HTC.computePrice.localActive,broker_HTC.computePrice.active,broker_HTC.collectConfirm.oldActive,broker_HTC.collectConfirm.newActive,broker_HTC.collectConfirm.outPort[3].available,broker_HTC.collectConfirm.outPort[2].available,broker_HTC.collectConfirm.localActive,broker_HTC.collectConfirm.active,broker_HTC.correctPerformative2.enableFire,broker_HTC.correctPerformative2.localCondition,broker_HTC.check2.oldActive,broker_HTC.check2.newActive,broker_HTC.check2.outPort[2].available,broker_HTC.check2.localActive,broker_HTC.check2.active,broker_HTC.newConfirm.enableFire,broker_HTC.newConfirm.localCondition,broker_HTC.composeInformation.oldActive,broker_HTC.composeInformation.newActive,broker_HTC.composeInformation.inPort[2].occupied,broker_HTC.composeInformation.localActive,broker_HTC.composeInformation.active,broker_HTC.transition4.t_start,broker_HTC.transition4.fire,broker_HTC.transition4.enableFire,broker_HTC.sendNotUnderstood.active,broker_HTC.sendNotUnderstood.oldActive,broker_HTC.sendNotUnderstood.newActive,broker_HTC.sendNotUnderstood.localActive,broker_HTC.transition2.t_start,broker_HTC.transition2.fire,broker_HTC.transition2.enableFire,broker_HTC.composeNotUnderstood.oldActive,broker_HTC.composeNotUnderstood.newActive,broker_HTC.composeNotUnderstood.localActive,broker_HTC.composeNotUnderstood.active,broker_HTC.transitionWithSignal3.t_start,broker_HTC.transitionWithSignal3.fire,broker_HTC.transitionWithSignal3.enableFire,broker_HTC.transitionWithSignal3.localCondition,broker_HTC.actionConfirmed.enableFire,broker_HTC.actionConfirmed.localCondition,broker_HTC.sendConfirmation.active,broker_HTC.sendConfirmation.oldActive,broker_HTC.sendConfirmation.newActive,broker_HTC.sendConfirmation.outPort[2].available,broker_HTC.sendConfirmation.localActive,broker_HTC.requestNoted.t_start,broker_HTC.requestNoted.fire,broker_HTC.requestNoted.enableFire,broker_HTC.correctPerformative1.enableFire,broker_HTC.correctPerformative1.localCondition,broker_HTC.check1.oldActive,broker_HTC.check1.newActive,broker_HTC.check1.localActive,broker_HTC.check1.active,broker_HTC.correctPerformative.enableFire,broker_HTC.correctPerformative.localCondition,broker_HTC.check.oldActive,broker_HTC.check.newActive,broker_HTC.check.outPort[2].available,broker_HTC.check.localActive,broker_HTC.check.active,broker_HTC.transition1.t_start,broker_HTC.transition1.fire,broker_HTC.transition1.enableFire,broker_HTC.sendRequest.active,broker_HTC.sendRequest.oldActive,broker_HTC.sendRequest.newActive,broker_HTC.sendRequest.outPort[2].available,broker_HTC.sendRequest.localActive,broker_HTC.transition.t_start,broker_HTC.transition.fire,broker_HTC.transition.enableFire,broker_HTC.sendCall.active,broker_HTC.sendCall.oldActive,broker_HTC.sendCall.newActive,broker_HTC.sendCall.outPort[2].available,broker_HTC.sendCall.localActive,broker_HTC.notFinished.t_start,broker_HTC.notFinished.fire,broker_HTC.notFinished.enableFire,broker_HTC.sendOutRequest.oldActive,broker_HTC.sendOutRequest.newActive,broker_HTC.sendOutRequest.inPort[3].occupied,broker_HTC.sendOutRequest.inPort[2].occupied,broker_HTC.sendOutRequest.localActive,broker_HTC.sendOutRequest.active,broker_HTC.allProposalsCollected.t_start,broker_HTC.allProposalsCollected.fire,broker_HTC.allProposalsCollected.enableFire,broker_HTC.collectProposal.oldActive,broker_HTC.collectProposal.newActive,broker_HTC.collectProposal.outPort[2].available,broker_HTC.collectProposal.localActive,broker_HTC.collectProposal.active,broker_HTC.newProposal.enableFire,broker_HTC.callForProposal.oldActive,broker_HTC.callForProposal.newActive,broker_HTC.callForProposal.inPort[2].occupied,broker_HTC.callForProposal.localActive,broker_HTC.callForProposal.active,broker_HTC.newRequests.enableFire,broker_HTC.waitforRequests.t_start,broker_HTC.waitforRequests.fire,broker_HTC.waitforRequests.enableFire,broker_HTC.requests.oldActive,broker_HTC.requests.newActive,broker_HTC.requests.inPort[2].occupied,broker_HTC.requests.localActive,broker_HTC.requests.active,broker_HTC.transitionWithSignal.enableFire,broker_HTC.integerChange.u,broker_HTC.message.oldActive,broker_HTC.message.newActive,broker_HTC.message.outPort[2].available,broker_HTC.message.localActive,broker_HTC.message.active,broker_HTC.newMessage.enableFire,broker_HTC.waiting.oldActive,broker_HTC.waiting.newActive,broker_HTC.waiting.inPort[7].occupied,broker_HTC.waiting.inPort[6].occupied,broker_HTC.waiting.inPort[5].occupied,broker_HTC.waiting.inPort[4].occupied,broker_HTC.waiting.inPort[3].occupied,broker_HTC.waiting.inPort[2].occupied,broker_HTC.waiting.localActive,broker_HTC.waiting.active,broker_HTC.finalRequestDone,broker_HTC.informationDone,broker_HTC.calculationDone,broker_HTC.heatingRequestSum,broker_HTC.requestsExceedSupply,broker_HTC.proposalsComplete,broker_HTC.stateGraphRoot.activeSteps,broker_HTC.messageID.pkgOut[1].backwardTrigger,broker_HTC.messageID.pkgOut[1].trigger,broker_HTC.getMessageID.y[1],$PRE.broker_HTC.getMessageID.y[1],broker_HTC.getsender.y[1],$PRE.broker_HTC.getsender.y[1],broker_HTC.getperformative.y[1],$PRE.broker_HTC.getperformative.y[1],broker_HTC.receiver.u[1],$whenCondition16,$whenCondition15,$whenCondition14,$whenCondition13,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition5,$whenCondition4,$whenCondition17,$whenCondition18,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition22,$whenCondition23,$whenCondition24,$whenCondition25,$whenCondition26,$whenCondition27,$whenCondition28,$whenCondition29,$whenCondition30,$whenCondition31,$whenCondition32,$whenCondition33,$whenCondition34,$whenCondition35,$whenCondition36,$whenCondition37,$whenCondition38,$whenCondition40,broker_HTC.newMessage.t_start,$PRE.broker_HTC.newMessage.t_start,broker_HTC.transitionWithSignal.t_start,$PRE.broker_HTC.transitionWithSignal.t_start,broker_HTC.newRequests.t_start,$PRE.broker_HTC.newRequests.t_start,broker_HTC.newProposal.t_start,$PRE.broker_HTC.newProposal.t_start,broker_HTC.correctPerformative.t_start,$PRE.broker_HTC.correctPerformative.t_start,broker_HTC.correctPerformative1.t_start,$PRE.broker_HTC.correctPerformative1.t_start,broker_HTC.actionConfirmed.t_start,$PRE.broker_HTC.actionConfirmed.t_start,broker_HTC.newConfirm.t_start,$PRE.broker_HTC.newConfirm.t_start,broker_HTC.correctPerformative2.t_start,$PRE.broker_HTC.correctPerformative2.t_start,broker_HTC.confirmComplete.t_start,$PRE.broker_HTC.confirmComplete.t_start,broker_HTC.requestsComplete.t_start,$PRE.broker_HTC.requestsComplete.t_start,broker_HTC.requestsNotComplete.t_start,$PRE.broker_HTC.requestsNotComplete.t_start,broker_HTC.confirmNotComplete.t_start,$PRE.broker_HTC.confirmNotComplete.t_start,heatProducerAgent.newMessage.t_start,$PRE.heatProducerAgent.newMessage.t_start,heatProducerAgent.transitionWithSignal.t_start,$PRE.heatProducerAgent.transitionWithSignal.t_start,heatProducerAgent.transitionWithSignal1.t_start,$PRE.heatProducerAgent.transitionWithSignal1.t_start,heatProducerAgent.transitionWithSignal2.t_start,$PRE.heatProducerAgent.transitionWithSignal2.t_start,heatProducerAgent.Off.t_start,$PRE.heatProducerAgent.Off.t_start,heatProducerAgent.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent.zeroOrderHold.firstTrigger,heatProducerAgent.zeroOrderHold.sampleTrigger,$whenCondition3,heatProducerAgent.zeroOrderHold.ySample,$PRE.heatProducerAgent.zeroOrderHold.ySample,heatProducerAgent1.newMessage.t_start,$PRE.heatProducerAgent1.newMessage.t_start,heatProducerAgent1.transitionWithSignal.t_start,$PRE.heatProducerAgent1.transitionWithSignal.t_start,heatProducerAgent1.transitionWithSignal1.t_start,$PRE.heatProducerAgent1.transitionWithSignal1.t_start,heatProducerAgent1.transitionWithSignal2.t_start,$PRE.heatProducerAgent1.transitionWithSignal2.t_start,heatProducerAgent1.Off.t_start,$PRE.heatProducerAgent1.Off.t_start,heatProducerAgent1.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent1.zeroOrderHold.firstTrigger,heatProducerAgent1.zeroOrderHold.sampleTrigger,$whenCondition2,heatProducerAgent1.zeroOrderHold.ySample,$PRE.heatProducerAgent1.zeroOrderHold.ySample,heatProducerAgent2.newMessage.t_start,$PRE.heatProducerAgent2.newMessage.t_start,heatProducerAgent2.transitionWithSignal.t_start,$PRE.heatProducerAgent2.transitionWithSignal.t_start,heatProducerAgent2.transitionWithSignal1.t_start,$PRE.heatProducerAgent2.transitionWithSignal1.t_start,heatProducerAgent2.transitionWithSignal2.t_start,$PRE.heatProducerAgent2.transitionWithSignal2.t_start,heatProducerAgent2.Off.t_start,$PRE.heatProducerAgent2.Off.t_start,heatProducerAgent2.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent2.zeroOrderHold.firstTrigger,heatProducerAgent2.zeroOrderHold.sampleTrigger,$whenCondition1,heatProducerAgent2.zeroOrderHold.ySample,$PRE.heatProducerAgent2.zeroOrderHold.ySample,heatProducerAgent2.and1.u1,heatProducerAgent2.not2.y,heatProducerAgent1.and1.u1,heatProducerAgent1.not2.y,intermediateAgent_C.and1.u1,intermediateAgent_C.not2.y,heatProducerAgent.and1.u1,heatProducerAgent.not2.y,roomAgent_C.reset.condition,roomAgent_C.transition1.condition,roomAgent_C.confirmNoted.condition,roomAgent_C.transition4.condition,roomAgent_C.transition2.condition,roomAgent_C.repeat1.condition,roomAgent_C.repeat.condition,roomAgent_C.requestNoted.condition,roomAgent_C.stateGraphRoot.resume,roomAgent_C.stateGraphRoot.suspend,broker_LTC.reset4.condition,broker_LTC.reset3.condition,broker_LTC.reset2.condition,broker_LTC.reset1.condition,broker_LTC.reset.condition,broker_LTC.transition3.condition,broker_LTC.abort.condition,broker_LTC.transition7.condition,broker_LTC.transition6.condition,broker_LTC.transition4.condition,broker_LTC.transition2.condition,broker_LTC.requestNoted.condition,broker_LTC.transition1.condition,broker_LTC.transition.condition,broker_LTC.waitforRequests.condition,broker_LTC.stateGraphRoot.resume,broker_LTC.stateGraphRoot.suspend,onOff.y,heatProducerAgent2.reset.condition,heatProducerAgent2.transition7.condition,heatProducerAgent2.transition6.condition,heatProducerAgent2.transition5.condition,heatProducerAgent2.transition4.condition,heatProducerAgent2.transition3.condition,heatProducerAgent2.transition1.condition,heatProducerAgent2.stateGraphRoot.resume,heatProducerAgent2.stateGraphRoot.suspend,heatProducerAgent1.reset.condition,heatProducerAgent1.transition7.condition,heatProducerAgent1.transition6.condition,heatProducerAgent1.transition5.condition,heatProducerAgent1.transition4.condition,heatProducerAgent1.transition3.condition,heatProducerAgent1.transition1.condition,heatProducerAgent1.stateGraphRoot.resume,heatProducerAgent1.stateGraphRoot.suspend,heatProducerAgent.reset.condition,heatProducerAgent.transition7.condition,heatProducerAgent.transition6.condition,heatProducerAgent.transition5.condition,heatProducerAgent.transition4.condition,heatProducerAgent.transition3.condition,heatProducerAgent.transition1.condition,heatProducerAgent.stateGraphRoot.resume,heatProducerAgent.stateGraphRoot.suspend,intermediateAgent_C.transition9.condition,intermediateAgent_C.reset1.condition,intermediateAgent_C.reset.condition,intermediateAgent_C.transition6.condition,intermediateAgent_C.transition5.condition,intermediateAgent_C.transition2.condition,intermediateAgent_C.transition8.condition,intermediateAgent_C.transition7.condition,intermediateAgent_C.transition4.condition,intermediateAgent_C.transition3.condition,intermediateAgent_C.transition1.condition,intermediateAgent_C.stateGraphRoot.resume,intermediateAgent_C.stateGraphRoot.suspend,intermediateAgent_C.Off.localCondition,heatProducerAgent.Off.localCondition,heatProducerAgent1.Off.localCondition,heatProducerAgent2.Off.localCondition,$PRE.heatProducerAgent2.reset.t_start,$PRE.heatProducerAgent2.transition7.t_start,$PRE.heatProducerAgent2.shutDown.oldActive,$PRE.heatProducerAgent2.shutDown.newActive,$PRE.heatProducerAgent2.shutDown.localActive,$PRE.heatProducerAgent2.transition6.t_start,$PRE.heatProducerAgent2.confirm.oldActive,$PRE.heatProducerAgent2.confirm.newActive,$PRE.heatProducerAgent2.confirm.localActive,$PRE.heatProducerAgent2.transition5.t_start,$PRE.heatProducerAgent2.sendConfirmation.oldActive,$PRE.heatProducerAgent2.sendConfirmation.newActive,$PRE.heatProducerAgent2.sendConfirmation.localActive,$PRE.heatProducerAgent2.setCapacityOut,$PRE.heatProducerAgent2.transition4.t_start,$PRE.heatProducerAgent2.sendNotUnderstood.oldActive,$PRE.heatProducerAgent2.sendNotUnderstood.newActive,$PRE.heatProducerAgent2.sendNotUnderstood.localActive,$PRE.heatProducerAgent2.transition3.t_start,$PRE.heatProducerAgent2.composeNotUnderstood.oldActive,$PRE.heatProducerAgent2.composeNotUnderstood.newActive,$PRE.heatProducerAgent2.composeNotUnderstood.localActive,$PRE.heatProducerAgent2.transitionWithSignal3.t_start,$PRE.heatProducerAgent2.integerChange.u,$PRE.heatProducerAgent2.sendProposal.oldActive,$PRE.heatProducerAgent2.sendProposal.newActive,$PRE.heatProducerAgent2.sendProposal.localActive,$PRE.heatProducerAgent2.transition1.t_start,$PRE.heatProducerAgent2.computeProposal.oldActive,$PRE.heatProducerAgent2.computeProposal.newActive,$PRE.heatProducerAgent2.computeProposal.localActive,$PRE.heatProducerAgent2.transition2.t_start,$PRE.heatProducerAgent2.adjustHeat.oldActive,$PRE.heatProducerAgent2.adjustHeat.newActive,$PRE.heatProducerAgent2.adjustHeat.localActive,$PRE.heatProducerAgent2.message.oldActive,$PRE.heatProducerAgent2.message.newActive,$PRE.heatProducerAgent2.message.localActive,$PRE.heatProducerAgent2.waiting.oldActive,$PRE.heatProducerAgent2.waiting.newActive,$PRE.heatProducerAgent2.waiting.localActive,heatProducerAgent2.Off.enableFire,heatProducerAgent2.reset.t_start,heatProducerAgent2.reset.fire,heatProducerAgent2.reset.enableFire,heatProducerAgent2.transition7.t_start,heatProducerAgent2.transition7.fire,heatProducerAgent2.transition7.enableFire,heatProducerAgent2.shutDown.oldActive,heatProducerAgent2.shutDown.newActive,heatProducerAgent2.shutDown.localActive,heatProducerAgent2.shutDown.active,heatProducerAgent2.transition6.t_start,heatProducerAgent2.transition6.fire,heatProducerAgent2.transition6.enableFire,heatProducerAgent2.confirm.oldActive,heatProducerAgent2.confirm.newActive,heatProducerAgent2.confirm.localActive,heatProducerAgent2.confirm.active,heatProducerAgent2.transition5.t_start,heatProducerAgent2.transition5.fire,heatProducerAgent2.transition5.enableFire,heatProducerAgent2.sendConfirmation.active,heatProducerAgent2.sendConfirmation.oldActive,heatProducerAgent2.sendConfirmation.newActive,heatProducerAgent2.sendConfirmation.inPort[2].occupied,heatProducerAgent2.sendConfirmation.localActive,heatProducerAgent2.setCapacityOut,heatProducerAgent2.or1.y,heatProducerAgent2.transition4.t_start,heatProducerAgent2.transition4.fire,heatProducerAgent2.transition4.enableFire,heatProducerAgent2.sendNotUnderstood.active,heatProducerAgent2.sendNotUnderstood.oldActive,heatProducerAgent2.sendNotUnderstood.newActive,heatProducerAgent2.sendNotUnderstood.localActive,heatProducerAgent2.transition3.t_start,heatProducerAgent2.transition3.fire,heatProducerAgent2.transition3.enableFire,heatProducerAgent2.composeNotUnderstood.oldActive,heatProducerAgent2.composeNotUnderstood.newActive,heatProducerAgent2.composeNotUnderstood.localActive,heatProducerAgent2.composeNotUnderstood.active,heatProducerAgent2.transitionWithSignal3.t_start,heatProducerAgent2.transitionWithSignal3.fire,heatProducerAgent2.transitionWithSignal3.enableFire,heatProducerAgent2.transitionWithSignal3.localCondition,heatProducerAgent2.transitionWithSignal2.enableFire,heatProducerAgent2.transitionWithSignal2.localCondition,heatProducerAgent2.integerChange.u,heatProducerAgent2.sendProposal.active,heatProducerAgent2.sendProposal.oldActive,heatProducerAgent2.sendProposal.newActive,heatProducerAgent2.sendProposal.outPort[3].available,heatProducerAgent2.sendProposal.outPort[2].available,heatProducerAgent2.sendProposal.localActive,heatProducerAgent2.transition1.t_start,heatProducerAgent2.transition1.fire,heatProducerAgent2.transition1.enableFire,heatProducerAgent2.transitionWithSignal1.enableFire,heatProducerAgent2.transitionWithSignal1.localCondition,heatProducerAgent2.transitionWithSignal.enableFire,heatProducerAgent2.computeProposal.oldActive,heatProducerAgent2.computeProposal.newActive,heatProducerAgent2.computeProposal.localActive,heatProducerAgent2.computeProposal.active,heatProducerAgent2.transition2.t_start,heatProducerAgent2.transition2.fire,heatProducerAgent2.transition2.enableFire,heatProducerAgent2.transition2.localCondition,heatProducerAgent2.adjustHeat.oldActive,heatProducerAgent2.adjustHeat.newActive,heatProducerAgent2.adjustHeat.localActive,heatProducerAgent2.adjustHeat.active,heatProducerAgent2.message.oldActive,heatProducerAgent2.message.newActive,heatProducerAgent2.message.outPort[2].available,heatProducerAgent2.message.localActive,heatProducerAgent2.message.active,heatProducerAgent2.newMessage.enableFire,heatProducerAgent2.newMessage.localCondition,heatProducerAgent2.waiting.oldActive,heatProducerAgent2.waiting.newActive,heatProducerAgent2.waiting.outPort[2].available,heatProducerAgent2.waiting.inPort[4].occupied,heatProducerAgent2.waiting.inPort[3].occupied,heatProducerAgent2.waiting.inPort[2].occupied,heatProducerAgent2.waiting.localActive,heatProducerAgent2.waiting.active,heatProducerAgent2.stateGraphRoot.activeSteps,heatProducerAgent2.messageID.pkgOut[1].backwardTrigger,heatProducerAgent2.messageID.pkgOut[1].trigger,heatProducerAgent2.getMessageID.y[1],$PRE.heatProducerAgent2.getMessageID.y[1],heatProducerAgent2.getperformative.y[1],$PRE.heatProducerAgent2.getperformative.y[1],heatProducerAgent2.get_content.y[1],$PRE.heatProducerAgent2.get_content.y[1],$whenCondition65,$whenCondition64,$whenCondition63,$whenCondition62,$whenCondition61,$whenCondition60,$whenCondition66,$whenCondition67,$whenCondition68,$whenCondition69,$whenCondition70,$whenCondition71,$whenCondition72,$whenCondition73,$whenCondition74,$whenCondition75,$whenCondition77,$PRE.heatProducerAgent1.reset.t_start,$PRE.heatProducerAgent1.transition7.t_start,$PRE.heatProducerAgent1.shutDown.oldActive,$PRE.heatProducerAgent1.shutDown.newActive,$PRE.heatProducerAgent1.shutDown.localActive,$PRE.heatProducerAgent1.transition6.t_start,$PRE.heatProducerAgent1.confirm.oldActive,$PRE.heatProducerAgent1.confirm.newActive,$PRE.heatProducerAgent1.confirm.localActive,$PRE.heatProducerAgent1.transition5.t_start,$PRE.heatProducerAgent1.sendConfirmation.oldActive,$PRE.heatProducerAgent1.sendConfirmation.newActive,$PRE.heatProducerAgent1.sendConfirmation.localActive,$PRE.heatProducerAgent1.setCapacityOut,$PRE.heatProducerAgent1.transition4.t_start,$PRE.heatProducerAgent1.sendNotUnderstood.oldActive,$PRE.heatProducerAgent1.sendNotUnderstood.newActive,$PRE.heatProducerAgent1.sendNotUnderstood.localActive,$PRE.heatProducerAgent1.transition3.t_start,$PRE.heatProducerAgent1.composeNotUnderstood.oldActive,$PRE.heatProducerAgent1.composeNotUnderstood.newActive,$PRE.heatProducerAgent1.composeNotUnderstood.localActive,$PRE.heatProducerAgent1.transitionWithSignal3.t_start,$PRE.heatProducerAgent1.integerChange.u,$PRE.heatProducerAgent1.sendProposal.oldActive,$PRE.heatProducerAgent1.sendProposal.newActive,$PRE.heatProducerAgent1.sendProposal.localActive,$PRE.heatProducerAgent1.transition1.t_start,$PRE.heatProducerAgent1.computeProposal.oldActive,$PRE.heatProducerAgent1.computeProposal.newActive,$PRE.heatProducerAgent1.computeProposal.localActive,$PRE.heatProducerAgent1.transition2.t_start,$PRE.heatProducerAgent1.adjustHeat.oldActive,$PRE.heatProducerAgent1.adjustHeat.newActive,$PRE.heatProducerAgent1.adjustHeat.localActive,$PRE.heatProducerAgent1.message.oldActive,$PRE.heatProducerAgent1.message.newActive,$PRE.heatProducerAgent1.message.localActive,$PRE.heatProducerAgent1.waiting.oldActive,$PRE.heatProducerAgent1.waiting.newActive,$PRE.heatProducerAgent1.waiting.localActive,heatProducerAgent1.Off.enableFire,heatProducerAgent1.reset.t_start,heatProducerAgent1.reset.fire,heatProducerAgent1.reset.enableFire,heatProducerAgent1.transition7.t_start,heatProducerAgent1.transition7.fire,heatProducerAgent1.transition7.enableFire,heatProducerAgent1.shutDown.oldActive,heatProducerAgent1.shutDown.newActive,heatProducerAgent1.shutDown.localActive,heatProducerAgent1.shutDown.active,heatProducerAgent1.transition6.t_start,heatProducerAgent1.transition6.fire,heatProducerAgent1.transition6.enableFire,heatProducerAgent1.confirm.oldActive,heatProducerAgent1.confirm.newActive,heatProducerAgent1.confirm.localActive,heatProducerAgent1.confirm.active,heatProducerAgent1.transition5.t_start,heatProducerAgent1.transition5.fire,heatProducerAgent1.transition5.enableFire,heatProducerAgent1.sendConfirmation.active,heatProducerAgent1.sendConfirmation.oldActive,heatProducerAgent1.sendConfirmation.newActive,heatProducerAgent1.sendConfirmation.inPort[2].occupied,heatProducerAgent1.sendConfirmation.localActive,heatProducerAgent1.setCapacityOut,heatProducerAgent1.or1.y,heatProducerAgent1.transition4.t_start,heatProducerAgent1.transition4.fire,heatProducerAgent1.transition4.enableFire,heatProducerAgent1.sendNotUnderstood.active,heatProducerAgent1.sendNotUnderstood.oldActive,heatProducerAgent1.sendNotUnderstood.newActive,heatProducerAgent1.sendNotUnderstood.localActive,heatProducerAgent1.transition3.t_start,heatProducerAgent1.transition3.fire,heatProducerAgent1.transition3.enableFire,heatProducerAgent1.composeNotUnderstood.oldActive,heatProducerAgent1.composeNotUnderstood.newActive,heatProducerAgent1.composeNotUnderstood.localActive,heatProducerAgent1.composeNotUnderstood.active,heatProducerAgent1.transitionWithSignal3.t_start,heatProducerAgent1.transitionWithSignal3.fire,heatProducerAgent1.transitionWithSignal3.enableFire,heatProducerAgent1.transitionWithSignal3.localCondition,heatProducerAgent1.transitionWithSignal2.enableFire,heatProducerAgent1.transitionWithSignal2.localCondition,heatProducerAgent1.integerChange.u,heatProducerAgent1.sendProposal.active,heatProducerAgent1.sendProposal.oldActive,heatProducerAgent1.sendProposal.newActive,heatProducerAgent1.sendProposal.outPort[3].available,heatProducerAgent1.sendProposal.outPort[2].available,heatProducerAgent1.sendProposal.localActive,heatProducerAgent1.transition1.t_start,heatProducerAgent1.transition1.fire,heatProducerAgent1.transition1.enableFire,heatProducerAgent1.transitionWithSignal1.enableFire,heatProducerAgent1.transitionWithSignal1.localCondition,heatProducerAgent1.transitionWithSignal.enableFire,heatProducerAgent1.computeProposal.oldActive,heatProducerAgent1.computeProposal.newActive,heatProducerAgent1.computeProposal.localActive,heatProducerAgent1.computeProposal.active,heatProducerAgent1.transition2.t_start,heatProducerAgent1.transition2.fire,heatProducerAgent1.transition2.enableFire,heatProducerAgent1.transition2.localCondition,heatProducerAgent1.adjustHeat.oldActive,heatProducerAgent1.adjustHeat.newActive,heatProducerAgent1.adjustHeat.localActive,heatProducerAgent1.adjustHeat.active,heatProducerAgent1.message.oldActive,heatProducerAgent1.message.newActive,heatProducerAgent1.message.outPort[2].available,heatProducerAgent1.message.localActive,heatProducerAgent1.message.active,heatProducerAgent1.newMessage.enableFire,heatProducerAgent1.newMessage.localCondition,heatProducerAgent1.waiting.oldActive,heatProducerAgent1.waiting.newActive,heatProducerAgent1.waiting.outPort[2].available,heatProducerAgent1.waiting.inPort[4].occupied,heatProducerAgent1.waiting.inPort[3].occupied,heatProducerAgent1.waiting.inPort[2].occupied,heatProducerAgent1.waiting.localActive,heatProducerAgent1.waiting.active,heatProducerAgent1.stateGraphRoot.activeSteps,heatProducerAgent1.messageID.pkgOut[1].backwardTrigger,heatProducerAgent1.messageID.pkgOut[1].trigger,heatProducerAgent1.getMessageID.y[1],$PRE.heatProducerAgent1.getMessageID.y[1],heatProducerAgent1.getperformative.y[1],$PRE.heatProducerAgent1.getperformative.y[1],heatProducerAgent1.get_content.y[1],$PRE.heatProducerAgent1.get_content.y[1],$whenCondition59,$whenCondition58,$whenCondition57,$whenCondition56,$whenCondition55,$whenCondition54,$whenCondition78,$whenCondition79,$whenCondition80,$whenCondition81,$whenCondition82,$whenCondition83,$whenCondition84,$whenCondition85,$whenCondition86,$whenCondition87,$whenCondition89,$PRE.heatProducerAgent.reset.t_start,$PRE.heatProducerAgent.transition7.t_start,$PRE.heatProducerAgent.shutDown.oldActive,$PRE.heatProducerAgent.shutDown.newActive,$PRE.heatProducerAgent.shutDown.localActive,$PRE.heatProducerAgent.transition6.t_start,$PRE.heatProducerAgent.confirm.oldActive,$PRE.heatProducerAgent.confirm.newActive,$PRE.heatProducerAgent.confirm.localActive,$PRE.heatProducerAgent.transition5.t_start,$PRE.heatProducerAgent.sendConfirmation.oldActive,$PRE.heatProducerAgent.sendConfirmation.newActive,$PRE.heatProducerAgent.sendConfirmation.localActive,$PRE.heatProducerAgent.setCapacityOut,$PRE.heatProducerAgent.transition4.t_start,$PRE.heatProducerAgent.sendNotUnderstood.oldActive,$PRE.heatProducerAgent.sendNotUnderstood.newActive,$PRE.heatProducerAgent.sendNotUnderstood.localActive,$PRE.heatProducerAgent.transition3.t_start,$PRE.heatProducerAgent.composeNotUnderstood.oldActive,$PRE.heatProducerAgent.composeNotUnderstood.newActive,$PRE.heatProducerAgent.composeNotUnderstood.localActive,$PRE.heatProducerAgent.transitionWithSignal3.t_start,$PRE.heatProducerAgent.integerChange.u,$PRE.heatProducerAgent.sendProposal.oldActive,$PRE.heatProducerAgent.sendProposal.newActive,$PRE.heatProducerAgent.sendProposal.localActive,$PRE.heatProducerAgent.transition1.t_start,$PRE.heatProducerAgent.computeProposal.oldActive,$PRE.heatProducerAgent.computeProposal.newActive,$PRE.heatProducerAgent.computeProposal.localActive,$PRE.heatProducerAgent.transition2.t_start,$PRE.heatProducerAgent.adjustHeat.oldActive,$PRE.heatProducerAgent.adjustHeat.newActive,$PRE.heatProducerAgent.adjustHeat.localActive,$PRE.heatProducerAgent.message.oldActive,$PRE.heatProducerAgent.message.newActive,$PRE.heatProducerAgent.message.localActive,$PRE.heatProducerAgent.waiting.oldActive,$PRE.heatProducerAgent.waiting.newActive,$PRE.heatProducerAgent.waiting.localActive,heatProducerAgent.Off.enableFire,heatProducerAgent.reset.t_start,heatProducerAgent.reset.fire,heatProducerAgent.reset.enableFire,heatProducerAgent.transition7.t_start,heatProducerAgent.transition7.fire,heatProducerAgent.transition7.enableFire,heatProducerAgent.shutDown.oldActive,heatProducerAgent.shutDown.newActive,heatProducerAgent.shutDown.localActive,heatProducerAgent.shutDown.active,heatProducerAgent.transition6.t_start,heatProducerAgent.transition6.fire,heatProducerAgent.transition6.enableFire,heatProducerAgent.confirm.oldActive,heatProducerAgent.confirm.newActive,heatProducerAgent.confirm.localActive,heatProducerAgent.confirm.active,heatProducerAgent.transition5.t_start,heatProducerAgent.transition5.fire,heatProducerAgent.transition5.enableFire,heatProducerAgent.sendConfirmation.active,heatProducerAgent.sendConfirmation.oldActive,heatProducerAgent.sendConfirmation.newActive,heatProducerAgent.sendConfirmation.inPort[2].occupied,heatProducerAgent.sendConfirmation.localActive,heatProducerAgent.setCapacityOut,heatProducerAgent.or1.y,heatProducerAgent.transition4.t_start,heatProducerAgent.transition4.fire,heatProducerAgent.transition4.enableFire,heatProducerAgent.sendNotUnderstood.active,heatProducerAgent.sendNotUnderstood.oldActive,heatProducerAgent.sendNotUnderstood.newActive,heatProducerAgent.sendNotUnderstood.localActive,heatProducerAgent.transition3.t_start,heatProducerAgent.transition3.fire,heatProducerAgent.transition3.enableFire,heatProducerAgent.composeNotUnderstood.oldActive,heatProducerAgent.composeNotUnderstood.newActive,heatProducerAgent.composeNotUnderstood.localActive,heatProducerAgent.composeNotUnderstood.active,heatProducerAgent.transitionWithSignal3.t_start,heatProducerAgent.transitionWithSignal3.fire,heatProducerAgent.transitionWithSignal3.enableFire,heatProducerAgent.transitionWithSignal3.localCondition,heatProducerAgent.transitionWithSignal2.enableFire,heatProducerAgent.transitionWithSignal2.localCondition,heatProducerAgent.integerChange.u,heatProducerAgent.sendProposal.active,heatProducerAgent.sendProposal.oldActive,heatProducerAgent.sendProposal.newActive,heatProducerAgent.sendProposal.outPort[3].available,heatProducerAgent.sendProposal.outPort[2].available,heatProducerAgent.sendProposal.localActive,heatProducerAgent.transition1.t_start,heatProducerAgent.transition1.fire,heatProducerAgent.transition1.enableFire,heatProducerAgent.transitionWithSignal1.enableFire,heatProducerAgent.transitionWithSignal1.localCondition,heatProducerAgent.transitionWithSignal.enableFire,heatProducerAgent.computeProposal.oldActive,heatProducerAgent.computeProposal.newActive,heatProducerAgent.computeProposal.localActive,heatProducerAgent.computeProposal.active,heatProducerAgent.transition2.t_start,heatProducerAgent.transition2.fire,heatProducerAgent.transition2.enableFire,heatProducerAgent.transition2.localCondition,heatProducerAgent.adjustHeat.oldActive,heatProducerAgent.adjustHeat.newActive,heatProducerAgent.adjustHeat.localActive,heatProducerAgent.adjustHeat.active,heatProducerAgent.message.oldActive,heatProducerAgent.message.newActive,heatProducerAgent.message.outPort[2].available,heatProducerAgent.message.localActive,heatProducerAgent.message.active,heatProducerAgent.newMessage.enableFire,heatProducerAgent.newMessage.localCondition,heatProducerAgent.waiting.oldActive,heatProducerAgent.waiting.newActive,heatProducerAgent.waiting.outPort[2].available,heatProducerAgent.waiting.inPort[4].occupied,heatProducerAgent.waiting.inPort[3].occupied,heatProducerAgent.waiting.inPort[2].occupied,heatProducerAgent.waiting.localActive,heatProducerAgent.waiting.active,heatProducerAgent.stateGraphRoot.activeSteps,heatProducerAgent.messageID.pkgOut[1].backwardTrigger,heatProducerAgent.messageID.pkgOut[1].trigger,heatProducerAgent.getMessageID.y[1],$PRE.heatProducerAgent.getMessageID.y[1],heatProducerAgent.getperformative.y[1],$PRE.heatProducerAgent.getperformative.y[1],heatProducerAgent.get_content.y[1],$PRE.heatProducerAgent.get_content.y[1],$whenCondition53,$whenCondition52,$whenCondition51,$whenCondition50,$whenCondition49,$whenCondition48,$whenCondition90,$whenCondition91,$whenCondition92,$whenCondition93,$whenCondition94,$whenCondition95,$whenCondition96,$whenCondition97,$whenCondition98,$whenCondition99,$whenCondition101,$PRE.intermediateAgent_C.currentClient,$PRE.intermediateAgent_C.transition9.t_start,$PRE.intermediateAgent_C.shutDown.oldActive,$PRE.intermediateAgent_C.shutDown.newActive,$PRE.intermediateAgent_C.shutDown.localActive,$PRE.intermediateAgent_C.reset1.t_start,$PRE.intermediateAgent_C.reset.t_start,$PRE.intermediateAgent_C.transition6.t_start,$PRE.intermediateAgent_C.sendConfirmation1.oldActive,$PRE.intermediateAgent_C.sendConfirmation1.newActive,$PRE.intermediateAgent_C.sendConfirmation1.localActive,$PRE.intermediateAgent_C.transition5.t_start,$PRE.intermediateAgent_C.confirmToBottom.oldActive,$PRE.intermediateAgent_C.confirmToBottom.newActive,$PRE.intermediateAgent_C.confirmToBottom.localActive,$PRE.intermediateAgent_C.transition2.t_start,$PRE.intermediateAgent_C.sendConfirmation.oldActive,$PRE.intermediateAgent_C.sendConfirmation.newActive,$PRE.intermediateAgent_C.sendConfirmation.localActive,$PRE.intermediateAgent_C.transition8.t_start,$PRE.intermediateAgent_C.passOnConfirmation.oldActive,$PRE.intermediateAgent_C.passOnConfirmation.newActive,$PRE.intermediateAgent_C.passOnConfirmation.localActive,$PRE.intermediateAgent_C.check1.oldActive,$PRE.intermediateAgent_C.check1.newActive,$PRE.intermediateAgent_C.check1.localActive,$PRE.intermediateAgent_C.sendInformation.oldActive,$PRE.intermediateAgent_C.sendInformation.newActive,$PRE.intermediateAgent_C.sendInformation.localActive,$PRE.intermediateAgent_C.transition7.t_start,$PRE.intermediateAgent_C.passOnInformation.oldActive,$PRE.intermediateAgent_C.passOnInformation.newActive,$PRE.intermediateAgent_C.passOnInformation.localActive,$PRE.intermediateAgent_C.check.oldActive,$PRE.intermediateAgent_C.check.newActive,$PRE.intermediateAgent_C.check.localActive,$PRE.intermediateAgent_C.transition4.t_start,$PRE.intermediateAgent_C.sendNotUnderstood.oldActive,$PRE.intermediateAgent_C.sendNotUnderstood.newActive,$PRE.intermediateAgent_C.sendNotUnderstood.localActive,$PRE.intermediateAgent_C.transition3.t_start,$PRE.intermediateAgent_C.composeNotUnderstood.oldActive,$PRE.intermediateAgent_C.composeNotUnderstood.newActive,$PRE.intermediateAgent_C.composeNotUnderstood.localActive,$PRE.intermediateAgent_C.transitionWithSignal3.t_start,$PRE.intermediateAgent_C.integerChange.u,$PRE.intermediateAgent_C.sendCall.oldActive,$PRE.intermediateAgent_C.sendCall.newActive,$PRE.intermediateAgent_C.sendCall.localActive,$PRE.intermediateAgent_C.transition1.t_start,$PRE.intermediateAgent_C.passOnCall.oldActive,$PRE.intermediateAgent_C.passOnCall.newActive,$PRE.intermediateAgent_C.passOnCall.localActive,$PRE.intermediateAgent_C.message.oldActive,$PRE.intermediateAgent_C.message.newActive,$PRE.intermediateAgent_C.message.localActive,$PRE.intermediateAgent_C.waiting.oldActive,$PRE.intermediateAgent_C.waiting.newActive,$PRE.intermediateAgent_C.waiting.localActive,intermediateAgent_C.Off.enableFire,intermediateAgent_C.transition9.t_start,intermediateAgent_C.transition9.fire,intermediateAgent_C.transition9.enableFire,intermediateAgent_C.shutDown.oldActive,intermediateAgent_C.shutDown.newActive,intermediateAgent_C.shutDown.localActive,intermediateAgent_C.shutDown.active,intermediateAgent_C.reset1.t_start,intermediateAgent_C.reset1.fire,intermediateAgent_C.reset1.enableFire,intermediateAgent_C.reset.t_start,intermediateAgent_C.reset.fire,intermediateAgent_C.reset.enableFire,intermediateAgent_C.or4.u2,intermediateAgent_C.or4.u1,intermediateAgent_C.or2.y,intermediateAgent_C.transition6.t_start,intermediateAgent_C.transition6.fire,intermediateAgent_C.transition6.enableFire,intermediateAgent_C.sendConfirmation1.active,intermediateAgent_C.sendConfirmation1.oldActive,intermediateAgent_C.sendConfirmation1.newActive,intermediateAgent_C.sendConfirmation1.localActive,intermediateAgent_C.transition5.t_start,intermediateAgent_C.transition5.fire,intermediateAgent_C.transition5.enableFire,intermediateAgent_C.confirmToBottom.oldActive,intermediateAgent_C.confirmToBottom.newActive,intermediateAgent_C.confirmToBottom.localActive,intermediateAgent_C.confirmToBottom.active,intermediateAgent_C.transition2.t_start,intermediateAgent_C.transition2.fire,intermediateAgent_C.transition2.enableFire,intermediateAgent_C.sendConfirmation.active,intermediateAgent_C.sendConfirmation.oldActive,intermediateAgent_C.sendConfirmation.newActive,intermediateAgent_C.sendConfirmation.localActive,intermediateAgent_C.transition8.t_start,intermediateAgent_C.transition8.fire,intermediateAgent_C.transition8.enableFire,intermediateAgent_C.passOnConfirmation.oldActive,intermediateAgent_C.passOnConfirmation.newActive,intermediateAgent_C.passOnConfirmation.localActive,intermediateAgent_C.passOnConfirmation.active,intermediateAgent_C.fromBottomBroker.enableFire,intermediateAgent_C.fromBottomBroker.localCondition,intermediateAgent_C.check1.oldActive,intermediateAgent_C.check1.newActive,intermediateAgent_C.check1.localActive,intermediateAgent_C.check1.active,intermediateAgent_C.newMessage2.enableFire,intermediateAgent_C.newMessage2.localCondition,intermediateAgent_C.sendInformation.active,intermediateAgent_C.sendInformation.oldActive,intermediateAgent_C.sendInformation.newActive,intermediateAgent_C.sendInformation.outPort[2].available,intermediateAgent_C.sendInformation.localActive,intermediateAgent_C.transition7.t_start,intermediateAgent_C.transition7.fire,intermediateAgent_C.transition7.enableFire,intermediateAgent_C.passOnInformation.oldActive,intermediateAgent_C.passOnInformation.newActive,intermediateAgent_C.passOnInformation.localActive,intermediateAgent_C.passOnInformation.active,intermediateAgent_C.check.oldActive,intermediateAgent_C.check.newActive,intermediateAgent_C.check.localActive,intermediateAgent_C.check.active,intermediateAgent_C.newMessage1.enableFire,intermediateAgent_C.fromTopBroker.enableFire,intermediateAgent_C.fromTopBroker.localCondition,intermediateAgent_C.transition4.t_start,intermediateAgent_C.transition4.fire,intermediateAgent_C.transition4.enableFire,intermediateAgent_C.sendNotUnderstood.active,intermediateAgent_C.sendNotUnderstood.oldActive,intermediateAgent_C.sendNotUnderstood.newActive,intermediateAgent_C.sendNotUnderstood.localActive,intermediateAgent_C.transition3.t_start,intermediateAgent_C.transition3.fire,intermediateAgent_C.transition3.enableFire,intermediateAgent_C.composeNotUnderstood.oldActive,intermediateAgent_C.composeNotUnderstood.newActive,intermediateAgent_C.composeNotUnderstood.localActive,intermediateAgent_C.composeNotUnderstood.active,intermediateAgent_C.transitionWithSignal3.t_start,intermediateAgent_C.transitionWithSignal3.fire,intermediateAgent_C.transitionWithSignal3.enableFire,intermediateAgent_C.transitionWithSignal3.localCondition,intermediateAgent_C.integerChange.u,intermediateAgent_C.sendCall.active,intermediateAgent_C.sendCall.oldActive,intermediateAgent_C.sendCall.newActive,intermediateAgent_C.sendCall.outPort[2].available,intermediateAgent_C.sendCall.localActive,intermediateAgent_C.transition1.t_start,intermediateAgent_C.transition1.fire,intermediateAgent_C.transition1.enableFire,intermediateAgent_C.transitionWithSignal.enableFire,intermediateAgent_C.passOnCall.oldActive,intermediateAgent_C.passOnCall.newActive,intermediateAgent_C.passOnCall.localActive,intermediateAgent_C.passOnCall.active,intermediateAgent_C.message.oldActive,intermediateAgent_C.message.newActive,intermediateAgent_C.message.outPort[2].available,intermediateAgent_C.message.localActive,intermediateAgent_C.message.active,intermediateAgent_C.newMessage.enableFire,intermediateAgent_C.waiting.oldActive,intermediateAgent_C.waiting.newActive,intermediateAgent_C.waiting.outPort[2].available,intermediateAgent_C.waiting.inPort[5].occupied,intermediateAgent_C.waiting.inPort[4].occupied,intermediateAgent_C.waiting.inPort[3].occupied,intermediateAgent_C.waiting.inPort[2].occupied,intermediateAgent_C.waiting.localActive,intermediateAgent_C.waiting.active,intermediateAgent_C.currentClient,intermediateAgent_C.stateGraphRoot.activeSteps,intermediateAgent_C.messageID.pkgOut[1].backwardTrigger,intermediateAgent_C.messageID.pkgOut[1].trigger,intermediateAgent_C.getMessageID.y[1],$PRE.intermediateAgent_C.getMessageID.y[1],intermediateAgent_C.getsender.y[1],$PRE.intermediateAgent_C.getsender.y[1],intermediateAgent_C.getperformative.y[1],$PRE.intermediateAgent_C.getperformative.y[1],$whenCondition47,$whenCondition46,$whenCondition45,$whenCondition44,$whenCondition43,$whenCondition42,$whenCondition41,$whenCondition102,$whenCondition103,$whenCondition104,$whenCondition105,$whenCondition106,$whenCondition107,$whenCondition108,$whenCondition109,$whenCondition110,$whenCondition111,$whenCondition112,$whenCondition113,$whenCondition114,$whenCondition116,broker_HTC.reset4.condition,broker_HTC.reset3.condition,broker_HTC.reset2.condition,broker_HTC.reset1.condition,broker_HTC.reset.condition,broker_HTC.transition3.condition,broker_HTC.abort.condition,broker_HTC.transition7.condition,broker_HTC.transition6.condition,broker_HTC.transition4.condition,broker_HTC.transition2.condition,broker_HTC.requestNoted.condition,broker_HTC.transition1.condition,broker_HTC.transition.condition,broker_HTC.waitforRequests.condition,broker_HTC.stateGraphRoot.resume,broker_HTC.stateGraphRoot.suspend,messageNotification.y,heatProducerAgent2.getMessageID.pkgIn.userPkgBitSize,heatProducerAgent2.getMessageID.pkgIn.backwardTrigger,heatProducerAgent1.getMessageID.pkgIn.userPkgBitSize,heatProducerAgent1.getMessageID.pkgIn.backwardTrigger,heatProducerAgent.getMessageID.pkgIn.userPkgBitSize,heatProducerAgent.getMessageID.pkgIn.backwardTrigger,broker_HTC.getMessageID.pkgIn.userPkgBitSize,broker_HTC.getMessageID.pkgIn.backwardTrigger,intermediateAgent_C.getMessageID.pkgIn.userPkgBitSize,intermediateAgent_C.getMessageID.pkgIn.backwardTrigger,broker_LTC.getMessageID.pkgIn.userPkgBitSize,broker_LTC.getMessageID.pkgIn.backwardTrigger,roomAgent_C.getMessageID.pkgIn.userPkgBitSize,roomAgent_C.getMessageID.pkgIn.backwardTrigger,heatProducerAgent2.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent2.getontology.pkgIn.autoPkgBitSize,heatProducerAgent2.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent2.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent2.getsender.pkgIn.autoPkgBitSize,heatProducerAgent2.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPReceive_adapted.bufferSize,heatProducerAgent2.get_content.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPSend_adapted.bufferSize,heatProducerAgent2.messageID.pkgIn.autoPkgBitSize,heatProducerAgent2.performative.pkgIn.autoPkgBitSize,heatProducerAgent2.ontology.pkgIn.autoPkgBitSize,heatProducerAgent2.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent2.receiver.pkgIn.autoPkgBitSize,heatProducerAgent2.sender.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent2.content.pkgIn.autoPkgBitSize,heatProducerAgent2.packager.bufferSize,heatProducerAgent2.packager.backwardPropagatedBufferSize,heatProducerAgent1.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent1.getontology.pkgIn.autoPkgBitSize,heatProducerAgent1.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent1.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent1.getsender.pkgIn.autoPkgBitSize,heatProducerAgent1.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPReceive_adapted.bufferSize,heatProducerAgent1.get_content.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPSend_adapted.bufferSize,heatProducerAgent1.messageID.pkgIn.autoPkgBitSize,heatProducerAgent1.performative.pkgIn.autoPkgBitSize,heatProducerAgent1.ontology.pkgIn.autoPkgBitSize,heatProducerAgent1.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent1.receiver.pkgIn.autoPkgBitSize,heatProducerAgent1.sender.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent1.content.pkgIn.autoPkgBitSize,heatProducerAgent1.packager.bufferSize,heatProducerAgent1.packager.backwardPropagatedBufferSize,heatProducerAgent.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent.getontology.pkgIn.autoPkgBitSize,heatProducerAgent.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent.getsender.pkgIn.autoPkgBitSize,heatProducerAgent.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent.uDPReceive_adapted.bufferSize,heatProducerAgent.get_content.pkgIn.autoPkgBitSize,heatProducerAgent.uDPSend_adapted.bufferSize,heatProducerAgent.messageID.pkgIn.autoPkgBitSize,heatProducerAgent.performative.pkgIn.autoPkgBitSize,heatProducerAgent.ontology.pkgIn.autoPkgBitSize,heatProducerAgent.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent.receiver.pkgIn.autoPkgBitSize,heatProducerAgent.sender.pkgIn.autoPkgBitSize,heatProducerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent.content.pkgIn.autoPkgBitSize,heatProducerAgent.packager.bufferSize,heatProducerAgent.packager.backwardPropagatedBufferSize,broker_HTC.getMessageID.pkgIn.autoPkgBitSize,broker_HTC.getontology.pkgIn.autoPkgBitSize,broker_HTC.getreply_to.pkgIn.autoPkgBitSize,broker_HTC.getreceiver.pkgIn.autoPkgBitSize,broker_HTC.getsender.pkgIn.autoPkgBitSize,broker_HTC.getperformative.pkgIn.autoPkgBitSize,broker_HTC.uDPReceive_adapted.bufferSize,broker_HTC.get_content.pkgIn.autoPkgBitSize,broker_HTC.messageID.pkgIn.autoPkgBitSize,broker_HTC.performative.pkgIn.autoPkgBitSize,broker_HTC.ontology.pkgIn.autoPkgBitSize,broker_HTC.reply_to.pkgIn.autoPkgBitSize,broker_HTC.receiver.pkgIn.autoPkgBitSize,broker_HTC.sender.pkgIn.autoPkgBitSize,broker_HTC.uDPSend_adapted.pkgIn.autoPkgBitSize,broker_HTC.uDPSend_adapted.pkgIn.userPkgBitSize,broker_HTC.content.pkgIn.autoPkgBitSize,broker_HTC.packager.bufferSize,broker_HTC.packager.backwardPropagatedBufferSize,broker_HTC.uDPSend_adapted.bufferSize,intermediateAgent_C.getMessageID.pkgIn.autoPkgBitSize,intermediateAgent_C.getontology.pkgIn.autoPkgBitSize,intermediateAgent_C.getreply_to.pkgIn.autoPkgBitSize,intermediateAgent_C.getreceiver.pkgIn.autoPkgBitSize,intermediateAgent_C.getsender.pkgIn.autoPkgBitSize,intermediateAgent_C.getperformative.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPReceive_adapted.bufferSize,intermediateAgent_C.get_content.pkgIn.autoPkgBitSize,intermediateAgent_C.messageID.pkgIn.autoPkgBitSize,intermediateAgent_C.performative.pkgIn.autoPkgBitSize,intermediateAgent_C.ontology.pkgIn.autoPkgBitSize,intermediateAgent_C.reply_to.pkgIn.autoPkgBitSize,intermediateAgent_C.receiver.pkgIn.autoPkgBitSize,intermediateAgent_C.sender.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPSend_adapted.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPSend_adapted.pkgIn.userPkgBitSize,intermediateAgent_C.content.pkgIn.autoPkgBitSize,intermediateAgent_C.packager.bufferSize,intermediateAgent_C.packager.backwardPropagatedBufferSize,intermediateAgent_C.uDPSend_adapted.bufferSize,broker_LTC.getMessageID.pkgIn.autoPkgBitSize,broker_LTC.getontology.pkgIn.autoPkgBitSize,broker_LTC.getreply_to.pkgIn.autoPkgBitSize,broker_LTC.getreceiver.pkgIn.autoPkgBitSize,broker_LTC.getsender.pkgIn.autoPkgBitSize,broker_LTC.getperformative.pkgIn.autoPkgBitSize,broker_LTC.uDPReceive_adapted.bufferSize,broker_LTC.get_content.pkgIn.autoPkgBitSize,broker_LTC.messageID.pkgIn.autoPkgBitSize,broker_LTC.performative.pkgIn.autoPkgBitSize,broker_LTC.ontology.pkgIn.autoPkgBitSize,broker_LTC.reply_to.pkgIn.autoPkgBitSize,broker_LTC.receiver.pkgIn.autoPkgBitSize,broker_LTC.sender.pkgIn.autoPkgBitSize,broker_LTC.uDPSend_adapted.pkgIn.autoPkgBitSize,broker_LTC.uDPSend_adapted.pkgIn.userPkgBitSize,broker_LTC.content.pkgIn.autoPkgBitSize,broker_LTC.packager.bufferSize,broker_LTC.packager.backwardPropagatedBufferSize,broker_LTC.uDPSend_adapted.bufferSize,roomAgent_C.getMessageID.pkgIn.autoPkgBitSize,roomAgent_C.getontology.pkgIn.autoPkgBitSize,roomAgent_C.getreply_to.pkgIn.autoPkgBitSize,roomAgent_C.getreceiver.pkgIn.autoPkgBitSize,roomAgent_C.getsender.pkgIn.autoPkgBitSize,roomAgent_C.getperformative.pkgIn.autoPkgBitSize,roomAgent_C.uDPReceive_adapted.bufferSize,roomAgent_C.get_content.pkgIn.autoPkgBitSize,roomAgent_C.messageID.pkgIn.autoPkgBitSize,roomAgent_C.performative.pkgIn.autoPkgBitSize,roomAgent_C.ontology.pkgIn.autoPkgBitSize,roomAgent_C.reply_to.pkgIn.autoPkgBitSize,roomAgent_C.receiver.pkgIn.autoPkgBitSize,roomAgent_C.sender.pkgIn.autoPkgBitSize,roomAgent_C.uDPSend_adapted.pkgIn.autoPkgBitSize,roomAgent_C.uDPSend_adapted.pkgIn.userPkgBitSize,roomAgent_C.content.pkgIn.autoPkgBitSize,roomAgent_C.packager.bufferSize,roomAgent_C.packager.backwardPropagatedBufferSize,roomAgent_C.uDPSend_adapted.bufferSize) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (3225): * Single equations (assignments): 3208 * Array equations: 0 * Algorithm blocks: 8 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 9 * Mixed (continuous/discrete) equation systems: 0 Notification: Torn system details for strict tearing set: * Linear torn systems (#iteration vars, #inner vars, density): 9 systems {(1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%)} * Non-linear torn systems (#iteration vars, #inner vars): 0 systems Notification: Performance of prepare postOptimizeDAE: time 0.01366/1.418, allocations: 5.199 MB / 1.298 GB, free: 191.5 MB / 0.9168 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.005941/1.424, allocations: 2.054 MB / 1.3 GB, free: 189.9 MB / 0.9168 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.0271/1.451, allocations: 18.65 MB / 1.319 GB, free: 173.2 MB / 0.9168 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 0.0001814/1.451, allocations: 176.8 kB / 1.319 GB, free: 173 MB / 0.9168 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 0.0001657/1.451, allocations: 20 kB / 1.319 GB, free: 173 MB / 0.9168 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 0.0003919/1.451, allocations: 99.73 kB / 1.319 GB, free: 172.9 MB / 0.9168 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.0635/1.515, allocations: 35.34 MB / 1.353 GB, free: 142.5 MB / 0.9168 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 0.0001591/1.515, allocations: 20 kB / 1.353 GB, free: 142.5 MB / 0.9168 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.002682/1.518, allocations: 0.8121 MB / 1.354 GB, free: 141.8 MB / 0.9168 GB Notification: Performance of postOpt tearingSystem (simulation): time 0.001622/1.519, allocations: 1.771 MB / 1.356 GB, free: 140.3 MB / 0.9168 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.002734/1.522, allocations: 0.6112 MB / 1.356 GB, free: 139.8 MB / 0.9168 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 0.003234/1.525, allocations: 5.285 MB / 1.362 GB, free: 134.7 MB / 0.9168 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 9.878e-06/1.525, allocations: 27.88 kB / 1.362 GB, free: 134.6 MB / 0.9168 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.04117/1.567, allocations: 23.88 MB / 1.385 GB, free: 110.8 MB / 0.9168 GB Notification: Performance of postOpt removeConstants (simulation): time 0.001681/1.568, allocations: 1.119 MB / 1.386 GB, free: 109.7 MB / 0.9168 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.003709/1.572, allocations: 0.695 MB / 1.387 GB, free: 109 MB / 0.9168 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.005585/1.578, allocations: 0.6676 MB / 1.387 GB, free: 108.3 MB / 0.9168 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.003744/1.581, allocations: 1.376 MB / 1.389 GB, free: 107 MB / 0.9168 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.002799/1.584, allocations: 0.781 MB / 1.39 GB, free: 106.2 MB / 0.9168 GB Notification: Performance of sorting global known variables: time 0.002301/1.586, allocations: 1.673 MB / 1.391 GB, free: 104.5 MB / 0.9168 GB Notification: Performance of sort global known variables: time 1.9e-07/1.586, allocations: 0 / 1.391 GB, free: 104.5 MB / 0.9168 GB Notification: Performance of remove unused functions: time 0.01352/1.6, allocations: 4.758 MB / 1.396 GB, free: 99.75 MB / 0.9168 GB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 77 * Number of states: 0 () * Number of discrete variables: 1695 (heatProducerAgent2.zeroOrderHold.sampleTrigger,$whenCondition1,heatProducerAgent2.zeroOrderHold.firstTrigger,heatProducerAgent2.zeroOrderHold.ySample,heatProducerAgent2.Off.t_start,heatProducerAgent2.transitionWithSignal2.t_start,heatProducerAgent2.transitionWithSignal1.t_start,heatProducerAgent2.transitionWithSignal.t_start,heatProducerAgent2.newMessage.t_start,heatProducerAgent2.get_content.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPReceive_adapted.bufferSize,heatProducerAgent2.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent2.getsender.pkgIn.autoPkgBitSize,heatProducerAgent2.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent2.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent2.getontology.pkgIn.autoPkgBitSize,heatProducerAgent2.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent2.packager.backwardPropagatedBufferSize,heatProducerAgent2.packager.bufferSize,heatProducerAgent2.content.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent2.sender.pkgIn.autoPkgBitSize,heatProducerAgent2.receiver.pkgIn.autoPkgBitSize,heatProducerAgent2.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent2.ontology.pkgIn.autoPkgBitSize,heatProducerAgent2.performative.pkgIn.autoPkgBitSize,heatProducerAgent2.messageID.pkgIn.autoPkgBitSize,heatProducerAgent1.zeroOrderHold.sampleTrigger,$whenCondition2,heatProducerAgent1.zeroOrderHold.firstTrigger,heatProducerAgent1.zeroOrderHold.ySample,heatProducerAgent1.Off.t_start,heatProducerAgent1.transitionWithSignal2.t_start,heatProducerAgent1.transitionWithSignal1.t_start,heatProducerAgent1.transitionWithSignal.t_start,heatProducerAgent1.newMessage.t_start,heatProducerAgent1.get_content.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPReceive_adapted.bufferSize,heatProducerAgent1.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent1.getsender.pkgIn.autoPkgBitSize,heatProducerAgent1.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent1.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent1.getontology.pkgIn.autoPkgBitSize,heatProducerAgent1.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent1.packager.backwardPropagatedBufferSize,heatProducerAgent1.packager.bufferSize,heatProducerAgent1.content.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent1.sender.pkgIn.autoPkgBitSize,heatProducerAgent1.receiver.pkgIn.autoPkgBitSize,heatProducerAgent1.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent1.ontology.pkgIn.autoPkgBitSize,heatProducerAgent1.performative.pkgIn.autoPkgBitSize,heatProducerAgent1.messageID.pkgIn.autoPkgBitSize,heatProducerAgent.zeroOrderHold.sampleTrigger,$whenCondition3,heatProducerAgent.zeroOrderHold.firstTrigger,heatProducerAgent.zeroOrderHold.ySample,heatProducerAgent.Off.t_start,heatProducerAgent.transitionWithSignal2.t_start,heatProducerAgent.transitionWithSignal1.t_start,heatProducerAgent.transitionWithSignal.t_start,heatProducerAgent.newMessage.t_start,heatProducerAgent.get_content.pkgIn.autoPkgBitSize,heatProducerAgent.uDPReceive_adapted.bufferSize,heatProducerAgent.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent.getsender.pkgIn.autoPkgBitSize,heatProducerAgent.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent.getontology.pkgIn.autoPkgBitSize,heatProducerAgent.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent.packager.backwardPropagatedBufferSize,heatProducerAgent.packager.bufferSize,heatProducerAgent.content.pkgIn.autoPkgBitSize,heatProducerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent.sender.pkgIn.autoPkgBitSize,heatProducerAgent.receiver.pkgIn.autoPkgBitSize,heatProducerAgent.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent.ontology.pkgIn.autoPkgBitSize,heatProducerAgent.performative.pkgIn.autoPkgBitSize,heatProducerAgent.messageID.pkgIn.autoPkgBitSize,broker_HTC.confirmNotComplete.t_start,broker_HTC.requestsNotComplete.t_start,broker_HTC.requestsComplete.t_start,broker_HTC.confirmComplete.t_start,broker_HTC.correctPerformative2.t_start,broker_HTC.newConfirm.t_start,broker_HTC.actionConfirmed.t_start,broker_HTC.correctPerformative1.t_start,broker_HTC.correctPerformative.t_start,broker_HTC.newProposal.t_start,broker_HTC.newRequests.t_start,broker_HTC.transitionWithSignal.t_start,broker_HTC.newMessage.t_start,broker_HTC.get_content.pkgIn.autoPkgBitSize,broker_HTC.uDPReceive_adapted.bufferSize,broker_HTC.getperformative.pkgIn.autoPkgBitSize,broker_HTC.getsender.pkgIn.autoPkgBitSize,broker_HTC.getreceiver.pkgIn.autoPkgBitSize,broker_HTC.getreply_to.pkgIn.autoPkgBitSize,broker_HTC.getontology.pkgIn.autoPkgBitSize,broker_HTC.getMessageID.pkgIn.autoPkgBitSize,broker_HTC.enoughSupply1.enableFire,broker_HTC.enoughSupply.enableFire,broker_HTC.transition3.enableFire,broker_HTC.reset4.enableFire,broker_HTC.reset3.enableFire,broker_HTC.reset2.enableFire,broker_HTC.reset1.enableFire,broker_HTC.reset.enableFire,broker_HTC.transition4.enableFire,broker_HTC.abort.enableFire,broker_HTC.allProposalsCollected.enableFire,broker_HTC.notFinished.enableFire,broker_HTC.transition5.enableFire,broker_HTC.messageID.pkgOut[1].trigger,broker_HTC.transitionWithSignal3.enableFire,broker_HTC.getontology.pkgOut[1].trigger,broker_HTC.waiting.localActive,broker_HTC.message.localActive,broker_HTC.requests.localActive,broker_HTC.requestNoted.enableFire,broker_HTC.waitforRequests.enableFire,broker_HTC.callForProposal.localActive,broker_HTC.transition.enableFire,broker_HTC.collectProposal.localActive,broker_HTC.sendOutRequest.localActive,broker_HTC.transition7.enableFire,broker_HTC.transition1.enableFire,broker_HTC.sendCall.active,broker_HTC.messageID.pkgOut[1].backwardTrigger,broker_HTC.sendRequest.active,broker_HTC.check.localActive,broker_HTC.check1.localActive,broker_HTC.sendConfirmation.active,broker_HTC.composeNotUnderstood.localActive,broker_HTC.transition2.enableFire,broker_HTC.sendNotUnderstood.active,broker_HTC.composeInformation.localActive,broker_HTC.transition6.enableFire,broker_HTC.check2.localActive,broker_HTC.collectConfirm.localActive,broker_HTC.computePrice.localActive,broker_HTC.sendInformation.active,broker_HTC.computeFinalConstellation.localActive,broker_HTC.checkRequestComplete.localActive,broker_HTC.prepareTableforRejections.localActive,broker_HTC.checkAvailability.localActive,broker_HTC.limitedSupplyAbort.localActive,$whenCondition40,$whenCondition39,$whenCondition38,$whenCondition37,$whenCondition36,$whenCondition35,$whenCondition34,$whenCondition33,$whenCondition32,$whenCondition31,$whenCondition30,$whenCondition29,$whenCondition28,$whenCondition27,$whenCondition26,$whenCondition25,$whenCondition24,$whenCondition23,$whenCondition22,$whenCondition21,$whenCondition20,$whenCondition19,$whenCondition18,$whenCondition17,$whenCondition4,$whenCondition5,$whenCondition6,$whenCondition7,$whenCondition8,$whenCondition9,$whenCondition10,$whenCondition11,$whenCondition12,$whenCondition13,$whenCondition14,$whenCondition15,$whenCondition16,broker_HTC.packager.pkgOut.dummy,broker_HTC.content.pkgOut[1].dummy,broker_HTC.content.u[1],broker_HTC.content.u[2],broker_HTC.get_content.pkgOut[1].dummy,broker_HTC.get_content.y[1],broker_HTC.get_content.y[2],broker_HTC.get_content.dummy,broker_HTC.uDPReceive_adapted.pkgOut.dummy,broker_HTC.uDPReceive_adapted.nRecvBytes,broker_HTC.uDPReceive_adapted.nRecvbufOverwrites,broker_HTC.uDPSend_adapted.bufferSize,broker_HTC.uDPSend_adapted.dummy,broker_HTC.uDPSend_adapted.receiver,broker_HTC.sender.pkgOut[1].dummy,broker_HTC.sender.u[1],broker_HTC.receiver.pkgOut[1].dummy,broker_HTC.receiver.u[1],broker_HTC.reply_to.pkgOut[1].dummy,broker_HTC.reply_to.u[1],broker_HTC.ontology.pkgOut[1].dummy,broker_HTC.ontology.u[1],broker_HTC.getperformative.pkgOut[1].dummy,broker_HTC.getperformative.y[1],broker_HTC.getperformative.dummy,broker_HTC.getsender.pkgOut[1].dummy,broker_HTC.getsender.y[1],broker_HTC.getsender.dummy,broker_HTC.getreceiver.pkgOut[1].dummy,broker_HTC.getreceiver.y[1],broker_HTC.getreceiver.dummy,broker_HTC.getreply_to.pkgOut[1].dummy,broker_HTC.getreply_to.y[1],broker_HTC.getreply_to.dummy,broker_HTC.getontology.pkgOut[1].dummy,broker_HTC.getontology.y[1],broker_HTC.getontology.dummy,broker_HTC.performative.pkgOut[1].dummy,broker_HTC.performative.u[1],broker_HTC.getMessageID.y[1],broker_HTC.getMessageID.dummy,broker_HTC.messageID.pkgOut[1].dummy,broker_HTC.messageID.u[1],broker_HTC.stateGraphRoot.activeSteps,broker_HTC.proposalsComplete,broker_HTC.requestComplete,broker_HTC.rejectsComplete,broker_HTC.heatSupplierTable[1,1],broker_HTC.heatSupplierTable[1,2],broker_HTC.heatSupplierTable[1,3],broker_HTC.heatSupplierTable[1,4],broker_HTC.heatSupplierTable[1,5],broker_HTC.heatSupplierTable[1,6],broker_HTC.heatSupplierTable[1,7],broker_HTC.heatSupplierTable[2,1],broker_HTC.heatSupplierTable[2,2],broker_HTC.heatSupplierTable[2,3],broker_HTC.heatSupplierTable[2,4],broker_HTC.heatSupplierTable[2,5],broker_HTC.heatSupplierTable[2,6],broker_HTC.heatSupplierTable[2,7],broker_HTC.proposalCounter,broker_HTC.counterReject,broker_HTC.lowestPrice,broker_HTC.counter,broker_HTC.requestsExceedSupply,broker_HTC.requestTable[1,1],broker_HTC.requestTable[2,1],broker_HTC.requestTable[3,1],broker_HTC.requestTable[4,1],broker_HTC.requestTable[5,1],broker_HTC.requestTable[6,1],broker_HTC.requestTable[7,1],broker_HTC.requestTable[8,1],broker_HTC.requestTable[9,1],broker_HTC.requestTable[10,1],broker_HTC.requestAddresses[1,1],broker_HTC.requestAddresses[2,1],broker_HTC.requestAddresses[3,1],broker_HTC.requestAddresses[4,1],broker_HTC.requestAddresses[5,1],broker_HTC.requestAddresses[6,1],broker_HTC.requestAddresses[7,1],broker_HTC.requestAddresses[8,1],broker_HTC.requestAddresses[9,1],broker_HTC.requestAddresses[10,1],broker_HTC.heatingRequestSum,broker_HTC.requestCounter,broker_HTC.totalPrice,broker_HTC.totalHeat,broker_HTC.averagePrice,broker_HTC.heatingCalculationSum,broker_HTC.cheapest,broker_HTC.heatingPriceSum,broker_HTC.totalaveragePrice,broker_HTC.restHeat,broker_HTC.calculationDone,broker_HTC.informationCounter,broker_HTC.informationDone,broker_HTC.finalRequestDone,broker_HTC.waiting.active,broker_HTC.waiting.inPort[2].occupied,broker_HTC.waiting.inPort[3].occupied,broker_HTC.waiting.inPort[4].occupied,broker_HTC.waiting.inPort[5].occupied,broker_HTC.waiting.inPort[6].occupied,broker_HTC.waiting.inPort[7].occupied,broker_HTC.waiting.newActive,broker_HTC.waiting.oldActive,broker_HTC.newMessage.enableFire,broker_HTC.message.active,broker_HTC.message.outPort[2].available,broker_HTC.message.newActive,broker_HTC.message.oldActive,broker_HTC.integerChange.u,broker_HTC.transitionWithSignal.enableFire,broker_HTC.requests.active,broker_HTC.requests.inPort[2].occupied,broker_HTC.requests.newActive,broker_HTC.requests.oldActive,broker_HTC.waitforRequests.fire,broker_HTC.waitforRequests.t_start,broker_HTC.newRequests.enableFire,broker_HTC.callForProposal.active,broker_HTC.callForProposal.inPort[2].occupied,broker_HTC.callForProposal.newActive,broker_HTC.callForProposal.oldActive,broker_HTC.newProposal.enableFire,broker_HTC.collectProposal.active,broker_HTC.collectProposal.outPort[2].available,broker_HTC.collectProposal.newActive,broker_HTC.collectProposal.oldActive,broker_HTC.allProposalsCollected.fire,broker_HTC.allProposalsCollected.t_start,broker_HTC.sendOutRequest.active,broker_HTC.sendOutRequest.inPort[2].occupied,broker_HTC.sendOutRequest.inPort[3].occupied,broker_HTC.sendOutRequest.newActive,broker_HTC.sendOutRequest.oldActive,broker_HTC.notFinished.fire,broker_HTC.notFinished.t_start,broker_HTC.sendCall.localActive,broker_HTC.sendCall.outPort[2].available,broker_HTC.sendCall.newActive,broker_HTC.sendCall.oldActive,broker_HTC.transition.fire,broker_HTC.transition.t_start,broker_HTC.sendRequest.localActive,broker_HTC.sendRequest.outPort[2].available,broker_HTC.sendRequest.newActive,broker_HTC.sendRequest.oldActive,broker_HTC.transition1.fire,broker_HTC.transition1.t_start,broker_HTC.check.active,broker_HTC.check.outPort[2].available,broker_HTC.check.newActive,broker_HTC.check.oldActive,broker_HTC.correctPerformative.localCondition,broker_HTC.correctPerformative.enableFire,broker_HTC.check1.active,broker_HTC.check1.newActive,broker_HTC.check1.oldActive,broker_HTC.correctPerformative1.localCondition,broker_HTC.correctPerformative1.enableFire,broker_HTC.requestNoted.fire,broker_HTC.requestNoted.t_start,broker_HTC.sendConfirmation.localActive,broker_HTC.sendConfirmation.outPort[2].available,broker_HTC.sendConfirmation.newActive,broker_HTC.sendConfirmation.oldActive,broker_HTC.actionConfirmed.localCondition,broker_HTC.actionConfirmed.enableFire,broker_HTC.transitionWithSignal3.localCondition,broker_HTC.transitionWithSignal3.fire,broker_HTC.transitionWithSignal3.t_start,broker_HTC.composeNotUnderstood.active,broker_HTC.composeNotUnderstood.newActive,broker_HTC.composeNotUnderstood.oldActive,broker_HTC.transition2.fire,broker_HTC.transition2.t_start,broker_HTC.sendNotUnderstood.localActive,broker_HTC.sendNotUnderstood.newActive,broker_HTC.sendNotUnderstood.oldActive,broker_HTC.transition4.fire,broker_HTC.transition4.t_start,broker_HTC.composeInformation.active,broker_HTC.composeInformation.inPort[2].occupied,broker_HTC.composeInformation.newActive,broker_HTC.composeInformation.oldActive,broker_HTC.newConfirm.localCondition,broker_HTC.newConfirm.enableFire,broker_HTC.check2.active,broker_HTC.check2.outPort[2].available,broker_HTC.check2.newActive,broker_HTC.check2.oldActive,broker_HTC.correctPerformative2.localCondition,broker_HTC.correctPerformative2.enableFire,broker_HTC.collectConfirm.active,broker_HTC.collectConfirm.outPort[2].available,broker_HTC.collectConfirm.outPort[3].available,broker_HTC.collectConfirm.newActive,broker_HTC.collectConfirm.oldActive,broker_HTC.computePrice.active,broker_HTC.computePrice.newActive,broker_HTC.computePrice.oldActive,broker_HTC.transition5.fire,broker_HTC.transition5.t_start,broker_HTC.transition6.fire,broker_HTC.transition6.t_start,broker_HTC.sendInformation.localActive,broker_HTC.sendInformation.newActive,broker_HTC.sendInformation.oldActive,broker_HTC.confirmComplete.localCondition,broker_HTC.confirmComplete.enableFire,broker_HTC.computeFinalConstellation.active,broker_HTC.computeFinalConstellation.newActive,broker_HTC.computeFinalConstellation.oldActive,broker_HTC.transition7.fire,broker_HTC.transition7.t_start,broker_HTC.checkRequestComplete.active,broker_HTC.checkRequestComplete.outPort[2].available,broker_HTC.checkRequestComplete.newActive,broker_HTC.checkRequestComplete.oldActive,broker_HTC.requestsComplete.enableFire,broker_HTC.requestsNotComplete.enableFire,broker_HTC.confirmNotComplete.enableFire,broker_HTC.or1.y,broker_HTC.or2.y,broker_HTC.or4.u1,broker_HTC.abort.fire,broker_HTC.abort.t_start,broker_HTC.prepareTableforRejections.active,broker_HTC.prepareTableforRejections.newActive,broker_HTC.prepareTableforRejections.oldActive,broker_HTC.transition3.fire,broker_HTC.transition3.t_start,broker_HTC.reset.fire,broker_HTC.reset.t_start,broker_HTC.reset1.fire,broker_HTC.reset1.t_start,broker_HTC.reset2.fire,broker_HTC.reset2.t_start,broker_HTC.reset3.fire,broker_HTC.reset3.t_start,broker_HTC.checkAvailability.active,broker_HTC.checkAvailability.outPort[2].available,broker_HTC.checkAvailability.newActive,broker_HTC.checkAvailability.oldActive,broker_HTC.enoughSupply.fire,broker_HTC.enoughSupply.t_start,broker_HTC.limitedSupplyAbort.active,broker_HTC.limitedSupplyAbort.newActive,broker_HTC.limitedSupplyAbort.oldActive,broker_HTC.enoughSupply1.fire,broker_HTC.enoughSupply1.t_start,broker_HTC.reset4.fire,broker_HTC.reset4.t_start,broker_HTC.packager.backwardPropagatedBufferSize,broker_HTC.packager.bufferSize,broker_HTC.content.pkgIn.autoPkgBitSize,broker_HTC.uDPSend_adapted.pkgIn.userPkgBitSize,broker_HTC.uDPSend_adapted.pkgIn.autoPkgBitSize,broker_HTC.sender.pkgIn.autoPkgBitSize,broker_HTC.receiver.pkgIn.autoPkgBitSize,broker_HTC.reply_to.pkgIn.autoPkgBitSize,broker_HTC.ontology.pkgIn.autoPkgBitSize,broker_HTC.performative.pkgIn.autoPkgBitSize,broker_HTC.messageID.pkgIn.autoPkgBitSize,intermediateAgent_C.Off.t_start,intermediateAgent_C.fromBottomBroker.t_start,intermediateAgent_C.newMessage2.t_start,intermediateAgent_C.newMessage1.t_start,intermediateAgent_C.fromTopBroker.t_start,intermediateAgent_C.transitionWithSignal.t_start,intermediateAgent_C.newMessage.t_start,intermediateAgent_C.get_content.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPReceive_adapted.bufferSize,intermediateAgent_C.getperformative.pkgIn.autoPkgBitSize,intermediateAgent_C.getsender.pkgIn.autoPkgBitSize,intermediateAgent_C.getreceiver.pkgIn.autoPkgBitSize,intermediateAgent_C.getreply_to.pkgIn.autoPkgBitSize,intermediateAgent_C.getontology.pkgIn.autoPkgBitSize,intermediateAgent_C.getMessageID.pkgIn.autoPkgBitSize,intermediateAgent_C.messageID.pkgOut[1].trigger,intermediateAgent_C.transition9.enableFire,intermediateAgent_C.reset1.enableFire,intermediateAgent_C.reset.enableFire,intermediateAgent_C.transitionWithSignal3.enableFire,intermediateAgent_C.getontology.pkgOut[1].trigger,intermediateAgent_C.waiting.localActive,intermediateAgent_C.transition6.enableFire,intermediateAgent_C.transition4.enableFire,intermediateAgent_C.message.localActive,intermediateAgent_C.passOnCall.localActive,intermediateAgent_C.transition1.enableFire,intermediateAgent_C.sendCall.active,intermediateAgent_C.messageID.pkgOut[1].backwardTrigger,intermediateAgent_C.composeNotUnderstood.localActive,intermediateAgent_C.transition3.enableFire,intermediateAgent_C.sendNotUnderstood.active,intermediateAgent_C.check.localActive,intermediateAgent_C.passOnInformation.localActive,intermediateAgent_C.transition7.enableFire,intermediateAgent_C.sendInformation.active,intermediateAgent_C.check1.localActive,intermediateAgent_C.passOnConfirmation.localActive,intermediateAgent_C.transition8.enableFire,intermediateAgent_C.sendConfirmation.active,intermediateAgent_C.transition2.enableFire,intermediateAgent_C.confirmToBottom.localActive,intermediateAgent_C.transition5.enableFire,intermediateAgent_C.sendConfirmation1.active,intermediateAgent_C.shutDown.localActive,$whenCondition116,$whenCondition115,$whenCondition114,$whenCondition113,$whenCondition112,$whenCondition111,$whenCondition110,$whenCondition109,$whenCondition108,$whenCondition107,$whenCondition106,$whenCondition105,$whenCondition104,$whenCondition103,$whenCondition102,$whenCondition41,$whenCondition42,$whenCondition43,$whenCondition44,$whenCondition45,$whenCondition46,$whenCondition47,intermediateAgent_C.packager.pkgOut.dummy,intermediateAgent_C.content.pkgOut[1].dummy,intermediateAgent_C.content.u[1],intermediateAgent_C.content.u[2],intermediateAgent_C.get_content.pkgOut[1].dummy,intermediateAgent_C.get_content.y[1],intermediateAgent_C.get_content.y[2],intermediateAgent_C.get_content.dummy,intermediateAgent_C.uDPReceive_adapted.pkgOut.dummy,intermediateAgent_C.uDPReceive_adapted.nRecvBytes,intermediateAgent_C.uDPReceive_adapted.nRecvbufOverwrites,intermediateAgent_C.uDPSend_adapted.bufferSize,intermediateAgent_C.uDPSend_adapted.dummy,intermediateAgent_C.uDPSend_adapted.receiver,intermediateAgent_C.sender.pkgOut[1].dummy,intermediateAgent_C.sender.u[1],intermediateAgent_C.receiver.pkgOut[1].dummy,intermediateAgent_C.receiver.u[1],intermediateAgent_C.reply_to.pkgOut[1].dummy,intermediateAgent_C.reply_to.u[1],intermediateAgent_C.ontology.pkgOut[1].dummy,intermediateAgent_C.ontology.u[1],intermediateAgent_C.getperformative.pkgOut[1].dummy,intermediateAgent_C.getperformative.y[1],intermediateAgent_C.getperformative.dummy,intermediateAgent_C.getsender.pkgOut[1].dummy,intermediateAgent_C.getsender.y[1],intermediateAgent_C.getsender.dummy,intermediateAgent_C.getreceiver.pkgOut[1].dummy,intermediateAgent_C.getreceiver.y[1],intermediateAgent_C.getreceiver.dummy,intermediateAgent_C.getreply_to.pkgOut[1].dummy,intermediateAgent_C.getreply_to.y[1],intermediateAgent_C.getreply_to.dummy,intermediateAgent_C.getontology.pkgOut[1].dummy,intermediateAgent_C.getontology.y[1],intermediateAgent_C.getontology.dummy,intermediateAgent_C.performative.pkgOut[1].dummy,intermediateAgent_C.performative.u[1],intermediateAgent_C.getMessageID.y[1],intermediateAgent_C.getMessageID.dummy,intermediateAgent_C.messageID.pkgOut[1].dummy,intermediateAgent_C.messageID.u[1],intermediateAgent_C.stateGraphRoot.activeSteps,intermediateAgent_C.currentClient,intermediateAgent_C.currentCost,intermediateAgent_C.setCapacity,intermediateAgent_C.newCost,intermediateAgent_C.ownCost,intermediateAgent_C.waiting.active,intermediateAgent_C.waiting.inPort[2].occupied,intermediateAgent_C.waiting.inPort[3].occupied,intermediateAgent_C.waiting.inPort[4].occupied,intermediateAgent_C.waiting.inPort[5].occupied,intermediateAgent_C.waiting.outPort[2].available,intermediateAgent_C.waiting.newActive,intermediateAgent_C.waiting.oldActive,intermediateAgent_C.newMessage.enableFire,intermediateAgent_C.message.active,intermediateAgent_C.message.outPort[2].available,intermediateAgent_C.message.newActive,intermediateAgent_C.message.oldActive,intermediateAgent_C.passOnCall.active,intermediateAgent_C.passOnCall.newActive,intermediateAgent_C.passOnCall.oldActive,intermediateAgent_C.transitionWithSignal.enableFire,intermediateAgent_C.transition1.fire,intermediateAgent_C.transition1.t_start,intermediateAgent_C.sendCall.localActive,intermediateAgent_C.sendCall.outPort[2].available,intermediateAgent_C.sendCall.newActive,intermediateAgent_C.sendCall.oldActive,intermediateAgent_C.integerChange.u,intermediateAgent_C.transitionWithSignal3.localCondition,intermediateAgent_C.transitionWithSignal3.fire,intermediateAgent_C.transitionWithSignal3.t_start,intermediateAgent_C.composeNotUnderstood.active,intermediateAgent_C.composeNotUnderstood.newActive,intermediateAgent_C.composeNotUnderstood.oldActive,intermediateAgent_C.transition3.fire,intermediateAgent_C.transition3.t_start,intermediateAgent_C.sendNotUnderstood.localActive,intermediateAgent_C.sendNotUnderstood.newActive,intermediateAgent_C.sendNotUnderstood.oldActive,intermediateAgent_C.transition4.fire,intermediateAgent_C.transition4.t_start,intermediateAgent_C.fromTopBroker.localCondition,intermediateAgent_C.fromTopBroker.enableFire,intermediateAgent_C.newMessage1.enableFire,intermediateAgent_C.check.active,intermediateAgent_C.check.newActive,intermediateAgent_C.check.oldActive,intermediateAgent_C.passOnInformation.active,intermediateAgent_C.passOnInformation.newActive,intermediateAgent_C.passOnInformation.oldActive,intermediateAgent_C.transition7.fire,intermediateAgent_C.transition7.t_start,intermediateAgent_C.sendInformation.localActive,intermediateAgent_C.sendInformation.outPort[2].available,intermediateAgent_C.sendInformation.newActive,intermediateAgent_C.sendInformation.oldActive,intermediateAgent_C.newMessage2.localCondition,intermediateAgent_C.newMessage2.enableFire,intermediateAgent_C.check1.active,intermediateAgent_C.check1.newActive,intermediateAgent_C.check1.oldActive,intermediateAgent_C.fromBottomBroker.localCondition,intermediateAgent_C.fromBottomBroker.enableFire,intermediateAgent_C.passOnConfirmation.active,intermediateAgent_C.passOnConfirmation.newActive,intermediateAgent_C.passOnConfirmation.oldActive,intermediateAgent_C.transition8.fire,intermediateAgent_C.transition8.t_start,intermediateAgent_C.sendConfirmation.localActive,intermediateAgent_C.sendConfirmation.newActive,intermediateAgent_C.sendConfirmation.oldActive,intermediateAgent_C.transition2.fire,intermediateAgent_C.transition2.t_start,intermediateAgent_C.confirmToBottom.active,intermediateAgent_C.confirmToBottom.newActive,intermediateAgent_C.confirmToBottom.oldActive,intermediateAgent_C.transition5.fire,intermediateAgent_C.transition5.t_start,intermediateAgent_C.sendConfirmation1.localActive,intermediateAgent_C.sendConfirmation1.newActive,intermediateAgent_C.sendConfirmation1.oldActive,intermediateAgent_C.transition6.fire,intermediateAgent_C.transition6.t_start,intermediateAgent_C.or2.y,intermediateAgent_C.or4.u1,intermediateAgent_C.or4.u2,intermediateAgent_C.calcCapacity,intermediateAgent_C.setCapacityOut,intermediateAgent_C.reset.fire,intermediateAgent_C.reset.t_start,intermediateAgent_C.reset1.fire,intermediateAgent_C.reset1.t_start,intermediateAgent_C.and1.u2,intermediateAgent_C.shutDown.active,intermediateAgent_C.shutDown.newActive,intermediateAgent_C.shutDown.oldActive,intermediateAgent_C.transition9.fire,intermediateAgent_C.transition9.t_start,heatProducerAgent.transition6.enableFire,heatProducerAgent.transition2.enableFire,heatProducerAgent.messageID.pkgOut[1].trigger,heatProducerAgent.reset.enableFire,heatProducerAgent.transitionWithSignal3.enableFire,heatProducerAgent.getontology.pkgOut[1].trigger,heatProducerAgent.waiting.localActive,heatProducerAgent.transition7.enableFire,heatProducerAgent.transition5.enableFire,heatProducerAgent.transition4.enableFire,heatProducerAgent.message.localActive,heatProducerAgent.adjustHeat.localActive,heatProducerAgent.computeProposal.localActive,heatProducerAgent.transition1.enableFire,heatProducerAgent.sendProposal.active,heatProducerAgent.messageID.pkgOut[1].backwardTrigger,heatProducerAgent.composeNotUnderstood.localActive,heatProducerAgent.transition3.enableFire,heatProducerAgent.sendNotUnderstood.active,heatProducerAgent.sendConfirmation.active,heatProducerAgent.confirm.localActive,heatProducerAgent.shutDown.localActive,$whenCondition101,$whenCondition100,$whenCondition99,$whenCondition98,$whenCondition97,$whenCondition96,$whenCondition95,$whenCondition94,$whenCondition93,$whenCondition92,$whenCondition91,$whenCondition90,$whenCondition48,$whenCondition49,$whenCondition50,$whenCondition51,$whenCondition52,$whenCondition53,heatProducerAgent.packager.pkgOut.dummy,heatProducerAgent.content.pkgOut[1].dummy,heatProducerAgent.content.u[1],heatProducerAgent.content.u[2],heatProducerAgent.get_content.pkgOut[1].dummy,heatProducerAgent.get_content.y[1],heatProducerAgent.get_content.y[2],heatProducerAgent.get_content.dummy,heatProducerAgent.uDPReceive_adapted.pkgOut.dummy,heatProducerAgent.uDPReceive_adapted.nRecvBytes,heatProducerAgent.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent.uDPSend_adapted.bufferSize,heatProducerAgent.uDPSend_adapted.dummy,heatProducerAgent.uDPSend_adapted.receiver,heatProducerAgent.sender.pkgOut[1].dummy,heatProducerAgent.sender.u[1],heatProducerAgent.receiver.pkgOut[1].dummy,heatProducerAgent.receiver.u[1],heatProducerAgent.reply_to.pkgOut[1].dummy,heatProducerAgent.reply_to.u[1],heatProducerAgent.ontology.pkgOut[1].dummy,heatProducerAgent.ontology.u[1],heatProducerAgent.getperformative.pkgOut[1].dummy,heatProducerAgent.getperformative.y[1],heatProducerAgent.getperformative.dummy,heatProducerAgent.getsender.pkgOut[1].dummy,heatProducerAgent.getsender.y[1],heatProducerAgent.getsender.dummy,heatProducerAgent.getreceiver.pkgOut[1].dummy,heatProducerAgent.getreceiver.y[1],heatProducerAgent.getreceiver.dummy,heatProducerAgent.getreply_to.pkgOut[1].dummy,heatProducerAgent.getreply_to.y[1],heatProducerAgent.getreply_to.dummy,heatProducerAgent.getontology.pkgOut[1].dummy,heatProducerAgent.getontology.y[1],heatProducerAgent.getontology.dummy,heatProducerAgent.performative.pkgOut[1].dummy,heatProducerAgent.performative.u[1],heatProducerAgent.getMessageID.y[1],heatProducerAgent.getMessageID.dummy,heatProducerAgent.messageID.pkgOut[1].dummy,heatProducerAgent.messageID.u[1],heatProducerAgent.stateGraphRoot.activeSteps,heatProducerAgent.costCurrent,heatProducerAgent.setCapacity,heatProducerAgent.currentCapacityDiscrete,heatProducerAgent.calcCapacityInternal,heatProducerAgent.waiting.active,heatProducerAgent.waiting.inPort[2].occupied,heatProducerAgent.waiting.inPort[3].occupied,heatProducerAgent.waiting.inPort[4].occupied,heatProducerAgent.waiting.outPort[2].available,heatProducerAgent.waiting.newActive,heatProducerAgent.waiting.oldActive,heatProducerAgent.newMessage.localCondition,heatProducerAgent.newMessage.enableFire,heatProducerAgent.message.active,heatProducerAgent.message.outPort[2].available,heatProducerAgent.message.newActive,heatProducerAgent.message.oldActive,heatProducerAgent.adjustHeat.active,heatProducerAgent.adjustHeat.newActive,heatProducerAgent.adjustHeat.oldActive,heatProducerAgent.transition2.localCondition,heatProducerAgent.transition2.fire,heatProducerAgent.transition2.t_start,heatProducerAgent.computeProposal.active,heatProducerAgent.computeProposal.newActive,heatProducerAgent.computeProposal.oldActive,heatProducerAgent.transitionWithSignal.enableFire,heatProducerAgent.transitionWithSignal1.localCondition,heatProducerAgent.transitionWithSignal1.enableFire,heatProducerAgent.transition1.fire,heatProducerAgent.transition1.t_start,heatProducerAgent.sendProposal.localActive,heatProducerAgent.sendProposal.outPort[2].available,heatProducerAgent.sendProposal.outPort[3].available,heatProducerAgent.sendProposal.newActive,heatProducerAgent.sendProposal.oldActive,heatProducerAgent.integerChange.u,heatProducerAgent.transitionWithSignal2.localCondition,heatProducerAgent.transitionWithSignal2.enableFire,heatProducerAgent.transitionWithSignal3.localCondition,heatProducerAgent.transitionWithSignal3.fire,heatProducerAgent.transitionWithSignal3.t_start,heatProducerAgent.composeNotUnderstood.active,heatProducerAgent.composeNotUnderstood.newActive,heatProducerAgent.composeNotUnderstood.oldActive,heatProducerAgent.transition3.fire,heatProducerAgent.transition3.t_start,heatProducerAgent.sendNotUnderstood.localActive,heatProducerAgent.sendNotUnderstood.newActive,heatProducerAgent.sendNotUnderstood.oldActive,heatProducerAgent.transition4.fire,heatProducerAgent.transition4.t_start,heatProducerAgent.or1.y,heatProducerAgent.setCapacityOut,heatProducerAgent.sendConfirmation.localActive,heatProducerAgent.sendConfirmation.inPort[2].occupied,heatProducerAgent.sendConfirmation.newActive,heatProducerAgent.sendConfirmation.oldActive,heatProducerAgent.transition5.fire,heatProducerAgent.transition5.t_start,heatProducerAgent.confirm.active,heatProducerAgent.confirm.newActive,heatProducerAgent.confirm.oldActive,heatProducerAgent.transition6.fire,heatProducerAgent.transition6.t_start,heatProducerAgent.shutDown.active,heatProducerAgent.shutDown.newActive,heatProducerAgent.shutDown.oldActive,heatProducerAgent.transition7.fire,heatProducerAgent.transition7.t_start,heatProducerAgent.and1.u2,heatProducerAgent.reset.fire,heatProducerAgent.reset.t_start,heatProducerAgent1.transition6.enableFire,heatProducerAgent1.transition2.enableFire,heatProducerAgent1.messageID.pkgOut[1].trigger,heatProducerAgent1.reset.enableFire,heatProducerAgent1.transitionWithSignal3.enableFire,heatProducerAgent1.getontology.pkgOut[1].trigger,heatProducerAgent1.waiting.localActive,heatProducerAgent1.transition7.enableFire,heatProducerAgent1.transition5.enableFire,heatProducerAgent1.transition4.enableFire,heatProducerAgent1.message.localActive,heatProducerAgent1.adjustHeat.localActive,heatProducerAgent1.computeProposal.localActive,heatProducerAgent1.transition1.enableFire,heatProducerAgent1.sendProposal.active,heatProducerAgent1.messageID.pkgOut[1].backwardTrigger,heatProducerAgent1.composeNotUnderstood.localActive,heatProducerAgent1.transition3.enableFire,heatProducerAgent1.sendNotUnderstood.active,heatProducerAgent1.sendConfirmation.active,heatProducerAgent1.confirm.localActive,heatProducerAgent1.shutDown.localActive,$whenCondition89,$whenCondition88,$whenCondition87,$whenCondition86,$whenCondition85,$whenCondition84,$whenCondition83,$whenCondition82,$whenCondition81,$whenCondition80,$whenCondition79,$whenCondition78,$whenCondition54,$whenCondition55,$whenCondition56,$whenCondition57,$whenCondition58,$whenCondition59,heatProducerAgent1.packager.pkgOut.dummy,heatProducerAgent1.content.pkgOut[1].dummy,heatProducerAgent1.content.u[1],heatProducerAgent1.content.u[2],heatProducerAgent1.get_content.pkgOut[1].dummy,heatProducerAgent1.get_content.y[1],heatProducerAgent1.get_content.y[2],heatProducerAgent1.get_content.dummy,heatProducerAgent1.uDPReceive_adapted.pkgOut.dummy,heatProducerAgent1.uDPReceive_adapted.nRecvBytes,heatProducerAgent1.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent1.uDPSend_adapted.bufferSize,heatProducerAgent1.uDPSend_adapted.dummy,heatProducerAgent1.uDPSend_adapted.receiver,heatProducerAgent1.sender.pkgOut[1].dummy,heatProducerAgent1.sender.u[1],heatProducerAgent1.receiver.pkgOut[1].dummy,heatProducerAgent1.receiver.u[1],heatProducerAgent1.reply_to.pkgOut[1].dummy,heatProducerAgent1.reply_to.u[1],heatProducerAgent1.ontology.pkgOut[1].dummy,heatProducerAgent1.ontology.u[1],heatProducerAgent1.getperformative.pkgOut[1].dummy,heatProducerAgent1.getperformative.y[1],heatProducerAgent1.getperformative.dummy,heatProducerAgent1.getsender.pkgOut[1].dummy,heatProducerAgent1.getsender.y[1],heatProducerAgent1.getsender.dummy,heatProducerAgent1.getreceiver.pkgOut[1].dummy,heatProducerAgent1.getreceiver.y[1],heatProducerAgent1.getreceiver.dummy,heatProducerAgent1.getreply_to.pkgOut[1].dummy,heatProducerAgent1.getreply_to.y[1],heatProducerAgent1.getreply_to.dummy,heatProducerAgent1.getontology.pkgOut[1].dummy,heatProducerAgent1.getontology.y[1],heatProducerAgent1.getontology.dummy,heatProducerAgent1.performative.pkgOut[1].dummy,heatProducerAgent1.performative.u[1],heatProducerAgent1.getMessageID.y[1],heatProducerAgent1.getMessageID.dummy,heatProducerAgent1.messageID.pkgOut[1].dummy,heatProducerAgent1.messageID.u[1],heatProducerAgent1.stateGraphRoot.activeSteps,heatProducerAgent1.costCurrent,heatProducerAgent1.setCapacity,heatProducerAgent1.currentCapacityDiscrete,heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.waiting.active,heatProducerAgent1.waiting.inPort[2].occupied,heatProducerAgent1.waiting.inPort[3].occupied,heatProducerAgent1.waiting.inPort[4].occupied,heatProducerAgent1.waiting.outPort[2].available,heatProducerAgent1.waiting.newActive,heatProducerAgent1.waiting.oldActive,heatProducerAgent1.newMessage.localCondition,heatProducerAgent1.newMessage.enableFire,heatProducerAgent1.message.active,heatProducerAgent1.message.outPort[2].available,heatProducerAgent1.message.newActive,heatProducerAgent1.message.oldActive,heatProducerAgent1.adjustHeat.active,heatProducerAgent1.adjustHeat.newActive,heatProducerAgent1.adjustHeat.oldActive,heatProducerAgent1.transition2.localCondition,heatProducerAgent1.transition2.fire,heatProducerAgent1.transition2.t_start,heatProducerAgent1.computeProposal.active,heatProducerAgent1.computeProposal.newActive,heatProducerAgent1.computeProposal.oldActive,heatProducerAgent1.transitionWithSignal.enableFire,heatProducerAgent1.transitionWithSignal1.localCondition,heatProducerAgent1.transitionWithSignal1.enableFire,heatProducerAgent1.transition1.fire,heatProducerAgent1.transition1.t_start,heatProducerAgent1.sendProposal.localActive,heatProducerAgent1.sendProposal.outPort[2].available,heatProducerAgent1.sendProposal.outPort[3].available,heatProducerAgent1.sendProposal.newActive,heatProducerAgent1.sendProposal.oldActive,heatProducerAgent1.integerChange.u,heatProducerAgent1.transitionWithSignal2.localCondition,heatProducerAgent1.transitionWithSignal2.enableFire,heatProducerAgent1.transitionWithSignal3.localCondition,heatProducerAgent1.transitionWithSignal3.fire,heatProducerAgent1.transitionWithSignal3.t_start,heatProducerAgent1.composeNotUnderstood.active,heatProducerAgent1.composeNotUnderstood.newActive,heatProducerAgent1.composeNotUnderstood.oldActive,heatProducerAgent1.transition3.fire,heatProducerAgent1.transition3.t_start,heatProducerAgent1.sendNotUnderstood.localActive,heatProducerAgent1.sendNotUnderstood.newActive,heatProducerAgent1.sendNotUnderstood.oldActive,heatProducerAgent1.transition4.fire,heatProducerAgent1.transition4.t_start,heatProducerAgent1.or1.y,heatProducerAgent1.setCapacityOut,heatProducerAgent1.sendConfirmation.localActive,heatProducerAgent1.sendConfirmation.inPort[2].occupied,heatProducerAgent1.sendConfirmation.newActive,heatProducerAgent1.sendConfirmation.oldActive,heatProducerAgent1.transition5.fire,heatProducerAgent1.transition5.t_start,heatProducerAgent1.confirm.active,heatProducerAgent1.confirm.newActive,heatProducerAgent1.confirm.oldActive,heatProducerAgent1.transition6.fire,heatProducerAgent1.transition6.t_start,heatProducerAgent1.shutDown.active,heatProducerAgent1.shutDown.newActive,heatProducerAgent1.shutDown.oldActive,heatProducerAgent1.transition7.fire,heatProducerAgent1.transition7.t_start,heatProducerAgent1.and1.u2,heatProducerAgent1.reset.fire,heatProducerAgent1.reset.t_start,heatProducerAgent2.transition6.enableFire,heatProducerAgent2.transition2.enableFire,heatProducerAgent2.messageID.pkgOut[1].trigger,heatProducerAgent2.reset.enableFire,heatProducerAgent2.transitionWithSignal3.enableFire,heatProducerAgent2.getontology.pkgOut[1].trigger,heatProducerAgent2.waiting.localActive,heatProducerAgent2.transition7.enableFire,heatProducerAgent2.transition5.enableFire,heatProducerAgent2.transition4.enableFire,heatProducerAgent2.message.localActive,heatProducerAgent2.adjustHeat.localActive,heatProducerAgent2.computeProposal.localActive,heatProducerAgent2.transition1.enableFire,heatProducerAgent2.sendProposal.active,heatProducerAgent2.messageID.pkgOut[1].backwardTrigger,heatProducerAgent2.composeNotUnderstood.localActive,heatProducerAgent2.transition3.enableFire,heatProducerAgent2.sendNotUnderstood.active,heatProducerAgent2.sendConfirmation.active,heatProducerAgent2.confirm.localActive,heatProducerAgent2.shutDown.localActive,$whenCondition77,$whenCondition76,$whenCondition75,$whenCondition74,$whenCondition73,$whenCondition72,$whenCondition71,$whenCondition70,$whenCondition69,$whenCondition68,$whenCondition67,$whenCondition66,$whenCondition60,$whenCondition61,$whenCondition62,$whenCondition63,$whenCondition64,$whenCondition65,heatProducerAgent2.packager.pkgOut.dummy,heatProducerAgent2.content.pkgOut[1].dummy,heatProducerAgent2.content.u[1],heatProducerAgent2.content.u[2],heatProducerAgent2.get_content.pkgOut[1].dummy,heatProducerAgent2.get_content.y[1],heatProducerAgent2.get_content.y[2],heatProducerAgent2.get_content.dummy,heatProducerAgent2.uDPReceive_adapted.pkgOut.dummy,heatProducerAgent2.uDPReceive_adapted.nRecvBytes,heatProducerAgent2.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent2.uDPSend_adapted.bufferSize,heatProducerAgent2.uDPSend_adapted.dummy,heatProducerAgent2.uDPSend_adapted.receiver,heatProducerAgent2.sender.pkgOut[1].dummy,heatProducerAgent2.sender.u[1],heatProducerAgent2.receiver.pkgOut[1].dummy,heatProducerAgent2.receiver.u[1],heatProducerAgent2.reply_to.pkgOut[1].dummy,heatProducerAgent2.reply_to.u[1],heatProducerAgent2.ontology.pkgOut[1].dummy,heatProducerAgent2.ontology.u[1],heatProducerAgent2.getperformative.pkgOut[1].dummy,heatProducerAgent2.getperformative.y[1],heatProducerAgent2.getperformative.dummy,heatProducerAgent2.getsender.pkgOut[1].dummy,heatProducerAgent2.getsender.y[1],heatProducerAgent2.getsender.dummy,heatProducerAgent2.getreceiver.pkgOut[1].dummy,heatProducerAgent2.getreceiver.y[1],heatProducerAgent2.getreceiver.dummy,heatProducerAgent2.getreply_to.pkgOut[1].dummy,heatProducerAgent2.getreply_to.y[1],heatProducerAgent2.getreply_to.dummy,heatProducerAgent2.getontology.pkgOut[1].dummy,heatProducerAgent2.getontology.y[1],heatProducerAgent2.getontology.dummy,heatProducerAgent2.performative.pkgOut[1].dummy,heatProducerAgent2.performative.u[1],heatProducerAgent2.getMessageID.y[1],heatProducerAgent2.getMessageID.dummy,heatProducerAgent2.messageID.pkgOut[1].dummy,heatProducerAgent2.messageID.u[1],heatProducerAgent2.stateGraphRoot.activeSteps,heatProducerAgent2.costCurrent,heatProducerAgent2.setCapacity,heatProducerAgent2.currentCapacityDiscrete,heatProducerAgent2.calcCapacityInternal,heatProducerAgent2.waiting.active,heatProducerAgent2.waiting.inPort[2].occupied,heatProducerAgent2.waiting.inPort[3].occupied,heatProducerAgent2.waiting.inPort[4].occupied,heatProducerAgent2.waiting.outPort[2].available,heatProducerAgent2.waiting.newActive,heatProducerAgent2.waiting.oldActive,heatProducerAgent2.newMessage.localCondition,heatProducerAgent2.newMessage.enableFire,heatProducerAgent2.message.active,heatProducerAgent2.message.outPort[2].available,heatProducerAgent2.message.newActive,heatProducerAgent2.message.oldActive,heatProducerAgent2.adjustHeat.active,heatProducerAgent2.adjustHeat.newActive,heatProducerAgent2.adjustHeat.oldActive,heatProducerAgent2.transition2.localCondition,heatProducerAgent2.transition2.fire,heatProducerAgent2.transition2.t_start,heatProducerAgent2.computeProposal.active,heatProducerAgent2.computeProposal.newActive,heatProducerAgent2.computeProposal.oldActive,heatProducerAgent2.transitionWithSignal.enableFire,heatProducerAgent2.transitionWithSignal1.localCondition,heatProducerAgent2.transitionWithSignal1.enableFire,heatProducerAgent2.transition1.fire,heatProducerAgent2.transition1.t_start,heatProducerAgent2.sendProposal.localActive,heatProducerAgent2.sendProposal.outPort[2].available,heatProducerAgent2.sendProposal.outPort[3].available,heatProducerAgent2.sendProposal.newActive,heatProducerAgent2.sendProposal.oldActive,heatProducerAgent2.integerChange.u,heatProducerAgent2.transitionWithSignal2.localCondition,heatProducerAgent2.transitionWithSignal2.enableFire,heatProducerAgent2.transitionWithSignal3.localCondition,heatProducerAgent2.transitionWithSignal3.fire,heatProducerAgent2.transitionWithSignal3.t_start,heatProducerAgent2.composeNotUnderstood.active,heatProducerAgent2.composeNotUnderstood.newActive,heatProducerAgent2.composeNotUnderstood.oldActive,heatProducerAgent2.transition3.fire,heatProducerAgent2.transition3.t_start,heatProducerAgent2.sendNotUnderstood.localActive,heatProducerAgent2.sendNotUnderstood.newActive,heatProducerAgent2.sendNotUnderstood.oldActive,heatProducerAgent2.transition4.fire,heatProducerAgent2.transition4.t_start,heatProducerAgent2.or1.y,heatProducerAgent2.setCapacityOut,heatProducerAgent2.sendConfirmation.localActive,heatProducerAgent2.sendConfirmation.inPort[2].occupied,heatProducerAgent2.sendConfirmation.newActive,heatProducerAgent2.sendConfirmation.oldActive,heatProducerAgent2.transition5.fire,heatProducerAgent2.transition5.t_start,heatProducerAgent2.confirm.active,heatProducerAgent2.confirm.newActive,heatProducerAgent2.confirm.oldActive,heatProducerAgent2.transition6.fire,heatProducerAgent2.transition6.t_start,heatProducerAgent2.shutDown.active,heatProducerAgent2.shutDown.newActive,heatProducerAgent2.shutDown.oldActive,heatProducerAgent2.transition7.fire,heatProducerAgent2.transition7.t_start,heatProducerAgent2.and1.u2,heatProducerAgent2.reset.fire,heatProducerAgent2.reset.t_start,intermediateAgent_C.packager.backwardPropagatedBufferSize,intermediateAgent_C.packager.bufferSize,intermediateAgent_C.content.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPSend_adapted.pkgIn.userPkgBitSize,intermediateAgent_C.uDPSend_adapted.pkgIn.autoPkgBitSize,intermediateAgent_C.sender.pkgIn.autoPkgBitSize,intermediateAgent_C.receiver.pkgIn.autoPkgBitSize,intermediateAgent_C.reply_to.pkgIn.autoPkgBitSize,intermediateAgent_C.ontology.pkgIn.autoPkgBitSize,intermediateAgent_C.performative.pkgIn.autoPkgBitSize,intermediateAgent_C.messageID.pkgIn.autoPkgBitSize,broker_LTC.confirmNotComplete.t_start,broker_LTC.requestsNotComplete.t_start,broker_LTC.requestsComplete.t_start,broker_LTC.confirmComplete.t_start,broker_LTC.correctPerformative2.t_start,broker_LTC.newConfirm.t_start,broker_LTC.actionConfirmed.t_start,broker_LTC.correctPerformative1.t_start,broker_LTC.correctPerformative.t_start,broker_LTC.newProposal.t_start,broker_LTC.newRequests.t_start,broker_LTC.transitionWithSignal.t_start,broker_LTC.newMessage.t_start,broker_LTC.get_content.pkgIn.autoPkgBitSize,broker_LTC.uDPReceive_adapted.bufferSize,broker_LTC.getperformative.pkgIn.autoPkgBitSize,broker_LTC.getsender.pkgIn.autoPkgBitSize,broker_LTC.getreceiver.pkgIn.autoPkgBitSize,broker_LTC.getreply_to.pkgIn.autoPkgBitSize,broker_LTC.getontology.pkgIn.autoPkgBitSize,broker_LTC.getMessageID.pkgIn.autoPkgBitSize,broker_LTC.enoughSupply1.enableFire,broker_LTC.enoughSupply.enableFire,broker_LTC.transition3.enableFire,broker_LTC.reset4.enableFire,broker_LTC.reset3.enableFire,broker_LTC.reset2.enableFire,broker_LTC.reset1.enableFire,broker_LTC.reset.enableFire,broker_LTC.transition4.enableFire,broker_LTC.abort.enableFire,broker_LTC.allProposalsCollected.enableFire,broker_LTC.notFinished.enableFire,broker_LTC.transition5.enableFire,broker_LTC.messageID.pkgOut[1].trigger,broker_LTC.transitionWithSignal3.enableFire,broker_LTC.getontology.pkgOut[1].trigger,broker_LTC.waiting.localActive,broker_LTC.message.localActive,broker_LTC.requests.localActive,broker_LTC.requestNoted.enableFire,broker_LTC.waitforRequests.enableFire,broker_LTC.callForProposal.localActive,broker_LTC.transition.enableFire,broker_LTC.collectProposal.localActive,broker_LTC.sendOutRequest.localActive,broker_LTC.transition7.enableFire,broker_LTC.transition1.enableFire,broker_LTC.sendCall.active,broker_LTC.messageID.pkgOut[1].backwardTrigger,broker_LTC.sendRequest.active,broker_LTC.check.localActive,broker_LTC.check1.localActive,broker_LTC.sendConfirmation.active,broker_LTC.composeNotUnderstood.localActive,broker_LTC.transition2.enableFire,broker_LTC.sendNotUnderstood.active,broker_LTC.composeInformation.localActive,broker_LTC.transition6.enableFire,broker_LTC.check2.localActive,broker_LTC.collectConfirm.localActive,broker_LTC.computePrice.localActive,broker_LTC.sendInformation.active,broker_LTC.computeFinalConstellation.localActive,broker_LTC.checkRequestComplete.localActive,broker_LTC.prepareTableforRejections.localActive,broker_LTC.checkAvailability.localActive,broker_LTC.limitedSupplyAbort.localActive,$whenCondition153,$whenCondition152,$whenCondition151,$whenCondition150,$whenCondition149,$whenCondition148,$whenCondition147,$whenCondition146,$whenCondition145,$whenCondition144,$whenCondition143,$whenCondition142,$whenCondition141,$whenCondition140,$whenCondition139,$whenCondition138,$whenCondition137,$whenCondition136,$whenCondition135,$whenCondition134,$whenCondition133,$whenCondition132,$whenCondition131,$whenCondition130,$whenCondition117,$whenCondition118,$whenCondition119,$whenCondition120,$whenCondition121,$whenCondition122,$whenCondition123,$whenCondition124,$whenCondition125,$whenCondition126,$whenCondition127,$whenCondition128,$whenCondition129,broker_LTC.packager.pkgOut.dummy,broker_LTC.content.pkgOut[1].dummy,broker_LTC.content.u[1],broker_LTC.content.u[2],broker_LTC.get_content.pkgOut[1].dummy,broker_LTC.get_content.y[1],broker_LTC.get_content.y[2],broker_LTC.get_content.dummy,broker_LTC.uDPReceive_adapted.pkgOut.dummy,broker_LTC.uDPReceive_adapted.nRecvBytes,broker_LTC.uDPReceive_adapted.nRecvbufOverwrites,broker_LTC.uDPSend_adapted.bufferSize,broker_LTC.uDPSend_adapted.dummy,broker_LTC.uDPSend_adapted.receiver,broker_LTC.sender.pkgOut[1].dummy,broker_LTC.sender.u[1],broker_LTC.receiver.pkgOut[1].dummy,broker_LTC.receiver.u[1],broker_LTC.reply_to.pkgOut[1].dummy,broker_LTC.reply_to.u[1],broker_LTC.ontology.pkgOut[1].dummy,broker_LTC.ontology.u[1],broker_LTC.getperformative.pkgOut[1].dummy,broker_LTC.getperformative.y[1],broker_LTC.getperformative.dummy,broker_LTC.getsender.pkgOut[1].dummy,broker_LTC.getsender.y[1],broker_LTC.getsender.dummy,broker_LTC.getreceiver.pkgOut[1].dummy,broker_LTC.getreceiver.y[1],broker_LTC.getreceiver.dummy,broker_LTC.getreply_to.pkgOut[1].dummy,broker_LTC.getreply_to.y[1],broker_LTC.getreply_to.dummy,broker_LTC.getontology.pkgOut[1].dummy,broker_LTC.getontology.y[1],broker_LTC.getontology.dummy,broker_LTC.performative.pkgOut[1].dummy,broker_LTC.performative.u[1],broker_LTC.getMessageID.y[1],broker_LTC.getMessageID.dummy,broker_LTC.messageID.pkgOut[1].dummy,broker_LTC.messageID.u[1],broker_LTC.stateGraphRoot.activeSteps,broker_LTC.proposalsComplete,broker_LTC.requestComplete,broker_LTC.rejectsComplete,broker_LTC.heatSupplierTable[1,1],broker_LTC.heatSupplierTable[1,2],broker_LTC.heatSupplierTable[1,3],broker_LTC.heatSupplierTable[1,4],broker_LTC.heatSupplierTable[1,5],broker_LTC.heatSupplierTable[1,6],broker_LTC.heatSupplierTable[1,7],broker_LTC.heatSupplierTable[2,1],broker_LTC.heatSupplierTable[2,2],broker_LTC.heatSupplierTable[2,3],broker_LTC.heatSupplierTable[2,4],broker_LTC.heatSupplierTable[2,5],broker_LTC.heatSupplierTable[2,6],broker_LTC.heatSupplierTable[2,7],broker_LTC.proposalCounter,broker_LTC.counterReject,broker_LTC.lowestPrice,broker_LTC.counter,broker_LTC.requestsExceedSupply,broker_LTC.requestTable[1,1],broker_LTC.requestTable[2,1],broker_LTC.requestTable[3,1],broker_LTC.requestTable[4,1],broker_LTC.requestTable[5,1],broker_LTC.requestTable[6,1],broker_LTC.requestTable[7,1],broker_LTC.requestTable[8,1],broker_LTC.requestTable[9,1],broker_LTC.requestTable[10,1],broker_LTC.requestAddresses[1,1],broker_LTC.requestAddresses[2,1],broker_LTC.requestAddresses[3,1],broker_LTC.requestAddresses[4,1],broker_LTC.requestAddresses[5,1],broker_LTC.requestAddresses[6,1],broker_LTC.requestAddresses[7,1],broker_LTC.requestAddresses[8,1],broker_LTC.requestAddresses[9,1],broker_LTC.requestAddresses[10,1],broker_LTC.heatingRequestSum,broker_LTC.requestCounter,broker_LTC.totalPrice,broker_LTC.totalHeat,broker_LTC.averagePrice,broker_LTC.heatingCalculationSum,broker_LTC.cheapest,broker_LTC.heatingPriceSum,broker_LTC.totalaveragePrice,broker_LTC.restHeat,broker_LTC.calculationDone,broker_LTC.informationCounter,broker_LTC.informationDone,broker_LTC.finalRequestDone,broker_LTC.waiting.active,broker_LTC.waiting.inPort[2].occupied,broker_LTC.waiting.inPort[3].occupied,broker_LTC.waiting.inPort[4].occupied,broker_LTC.waiting.inPort[5].occupied,broker_LTC.waiting.inPort[6].occupied,broker_LTC.waiting.inPort[7].occupied,broker_LTC.waiting.newActive,broker_LTC.waiting.oldActive,broker_LTC.newMessage.enableFire,broker_LTC.message.active,broker_LTC.message.outPort[2].available,broker_LTC.message.newActive,broker_LTC.message.oldActive,broker_LTC.integerChange.u,broker_LTC.transitionWithSignal.enableFire,broker_LTC.requests.active,broker_LTC.requests.inPort[2].occupied,broker_LTC.requests.newActive,broker_LTC.requests.oldActive,broker_LTC.waitforRequests.fire,broker_LTC.waitforRequests.t_start,broker_LTC.newRequests.enableFire,broker_LTC.callForProposal.active,broker_LTC.callForProposal.inPort[2].occupied,broker_LTC.callForProposal.newActive,broker_LTC.callForProposal.oldActive,broker_LTC.newProposal.enableFire,broker_LTC.collectProposal.active,broker_LTC.collectProposal.outPort[2].available,broker_LTC.collectProposal.newActive,broker_LTC.collectProposal.oldActive,broker_LTC.allProposalsCollected.fire,broker_LTC.allProposalsCollected.t_start,broker_LTC.sendOutRequest.active,broker_LTC.sendOutRequest.inPort[2].occupied,broker_LTC.sendOutRequest.inPort[3].occupied,broker_LTC.sendOutRequest.newActive,broker_LTC.sendOutRequest.oldActive,broker_LTC.notFinished.fire,broker_LTC.notFinished.t_start,broker_LTC.sendCall.localActive,broker_LTC.sendCall.outPort[2].available,broker_LTC.sendCall.newActive,broker_LTC.sendCall.oldActive,broker_LTC.transition.fire,broker_LTC.transition.t_start,broker_LTC.sendRequest.localActive,broker_LTC.sendRequest.outPort[2].available,broker_LTC.sendRequest.newActive,broker_LTC.sendRequest.oldActive,broker_LTC.transition1.fire,broker_LTC.transition1.t_start,broker_LTC.check.active,broker_LTC.check.outPort[2].available,broker_LTC.check.newActive,broker_LTC.check.oldActive,broker_LTC.correctPerformative.localCondition,broker_LTC.correctPerformative.enableFire,broker_LTC.check1.active,broker_LTC.check1.newActive,broker_LTC.check1.oldActive,broker_LTC.correctPerformative1.localCondition,broker_LTC.correctPerformative1.enableFire,broker_LTC.requestNoted.fire,broker_LTC.requestNoted.t_start,broker_LTC.sendConfirmation.localActive,broker_LTC.sendConfirmation.outPort[2].available,broker_LTC.sendConfirmation.newActive,broker_LTC.sendConfirmation.oldActive,broker_LTC.actionConfirmed.localCondition,broker_LTC.actionConfirmed.enableFire,broker_LTC.transitionWithSignal3.localCondition,broker_LTC.transitionWithSignal3.fire,broker_LTC.transitionWithSignal3.t_start,broker_LTC.composeNotUnderstood.active,broker_LTC.composeNotUnderstood.newActive,broker_LTC.composeNotUnderstood.oldActive,broker_LTC.transition2.fire,broker_LTC.transition2.t_start,broker_LTC.sendNotUnderstood.localActive,broker_LTC.sendNotUnderstood.newActive,broker_LTC.sendNotUnderstood.oldActive,broker_LTC.transition4.fire,broker_LTC.transition4.t_start,broker_LTC.composeInformation.active,broker_LTC.composeInformation.inPort[2].occupied,broker_LTC.composeInformation.newActive,broker_LTC.composeInformation.oldActive,broker_LTC.newConfirm.localCondition,broker_LTC.newConfirm.enableFire,broker_LTC.check2.active,broker_LTC.check2.outPort[2].available,broker_LTC.check2.newActive,broker_LTC.check2.oldActive,broker_LTC.correctPerformative2.localCondition,broker_LTC.correctPerformative2.enableFire,broker_LTC.collectConfirm.active,broker_LTC.collectConfirm.outPort[2].available,broker_LTC.collectConfirm.outPort[3].available,broker_LTC.collectConfirm.newActive,broker_LTC.collectConfirm.oldActive,broker_LTC.computePrice.active,broker_LTC.computePrice.newActive,broker_LTC.computePrice.oldActive,broker_LTC.transition5.fire,broker_LTC.transition5.t_start,broker_LTC.transition6.fire,broker_LTC.transition6.t_start,broker_LTC.sendInformation.localActive,broker_LTC.sendInformation.newActive,broker_LTC.sendInformation.oldActive,broker_LTC.confirmComplete.localCondition,broker_LTC.confirmComplete.enableFire,broker_LTC.computeFinalConstellation.active,broker_LTC.computeFinalConstellation.newActive,broker_LTC.computeFinalConstellation.oldActive,broker_LTC.transition7.fire,broker_LTC.transition7.t_start,broker_LTC.checkRequestComplete.active,broker_LTC.checkRequestComplete.outPort[2].available,broker_LTC.checkRequestComplete.newActive,broker_LTC.checkRequestComplete.oldActive,broker_LTC.requestsComplete.enableFire,broker_LTC.requestsNotComplete.enableFire,broker_LTC.confirmNotComplete.enableFire,broker_LTC.or1.y,broker_LTC.or2.y,broker_LTC.or4.u1,broker_LTC.abort.fire,broker_LTC.abort.t_start,broker_LTC.prepareTableforRejections.active,broker_LTC.prepareTableforRejections.newActive,broker_LTC.prepareTableforRejections.oldActive,broker_LTC.transition3.fire,broker_LTC.transition3.t_start,broker_LTC.reset.fire,broker_LTC.reset.t_start,broker_LTC.reset1.fire,broker_LTC.reset1.t_start,broker_LTC.reset2.fire,broker_LTC.reset2.t_start,broker_LTC.reset3.fire,broker_LTC.reset3.t_start,broker_LTC.checkAvailability.active,broker_LTC.checkAvailability.outPort[2].available,broker_LTC.checkAvailability.newActive,broker_LTC.checkAvailability.oldActive,broker_LTC.enoughSupply.fire,broker_LTC.enoughSupply.t_start,broker_LTC.limitedSupplyAbort.active,broker_LTC.limitedSupplyAbort.newActive,broker_LTC.limitedSupplyAbort.oldActive,broker_LTC.enoughSupply1.fire,broker_LTC.enoughSupply1.t_start,broker_LTC.reset4.fire,broker_LTC.reset4.t_start,broker_LTC.packager.backwardPropagatedBufferSize,broker_LTC.packager.bufferSize,broker_LTC.content.pkgIn.autoPkgBitSize,broker_LTC.uDPSend_adapted.pkgIn.userPkgBitSize,broker_LTC.uDPSend_adapted.pkgIn.autoPkgBitSize,broker_LTC.sender.pkgIn.autoPkgBitSize,broker_LTC.receiver.pkgIn.autoPkgBitSize,broker_LTC.reply_to.pkgIn.autoPkgBitSize,broker_LTC.ontology.pkgIn.autoPkgBitSize,broker_LTC.performative.pkgIn.autoPkgBitSize,broker_LTC.messageID.pkgIn.autoPkgBitSize,roomAgent_C.rightMessage1.t_start,roomAgent_C.rightMessage.t_start,roomAgent_C.newMessage1.t_start,roomAgent_C.transitionWithSignal.t_start,roomAgent_C.newMessage.t_start,roomAgent_C.get_content.pkgIn.autoPkgBitSize,roomAgent_C.uDPReceive_adapted.bufferSize,roomAgent_C.getperformative.pkgIn.autoPkgBitSize,roomAgent_C.getsender.pkgIn.autoPkgBitSize,roomAgent_C.getreceiver.pkgIn.autoPkgBitSize,roomAgent_C.getreply_to.pkgIn.autoPkgBitSize,roomAgent_C.getontology.pkgIn.autoPkgBitSize,roomAgent_C.getMessageID.pkgIn.autoPkgBitSize,roomAgent_C.repeat1.enableFire,roomAgent_C.repeat.enableFire,roomAgent_C.reset.enableFire,roomAgent_C.transition4.enableFire,roomAgent_C.waitForInform.active,roomAgent_C.messageID.pkgOut[1].backwardTrigger,roomAgent_C.messageID.pkgOut[1].trigger,roomAgent_C.transition1.enableFire,roomAgent_C.confirmNoted.enableFire,roomAgent_C.sendConfirm.active,roomAgent_C.composeConfirm.active,roomAgent_C.sendNotUnderstood.active,roomAgent_C.transition2.enableFire,roomAgent_C.composeNotUnderstood.active,roomAgent_C.state.active,roomAgent_C.sendRequest.active,roomAgent_C.requestNoted.enableFire,roomAgent_C.composeRequest.active,roomAgent_C.waiting.active,roomAgent_C.getontology.pkgOut[1].trigger,$whenCondition164,$whenCondition163,$whenCondition162,$whenCondition161,$whenCondition160,$whenCondition159,$whenCondition158,$whenCondition157,$whenCondition156,$whenCondition155,$whenCondition154,$whenCondition165,$whenCondition166,$whenCondition167,$whenCondition168,$whenCondition169,roomAgent_C.packager.pkgOut.dummy,roomAgent_C.content.pkgOut[1].dummy,roomAgent_C.content.u[1],roomAgent_C.content.u[2],roomAgent_C.get_content.pkgOut[1].dummy,roomAgent_C.get_content.y[1],roomAgent_C.get_content.y[2],roomAgent_C.get_content.dummy,roomAgent_C.uDPReceive_adapted.pkgOut.dummy,roomAgent_C.uDPReceive_adapted.nRecvBytes,roomAgent_C.uDPReceive_adapted.nRecvbufOverwrites,roomAgent_C.uDPSend_adapted.bufferSize,roomAgent_C.uDPSend_adapted.dummy,roomAgent_C.uDPSend_adapted.receiver,roomAgent_C.sender.pkgOut[1].dummy,roomAgent_C.sender.u[1],roomAgent_C.receiver.pkgOut[1].dummy,roomAgent_C.receiver.u[1],roomAgent_C.reply_to.pkgOut[1].dummy,roomAgent_C.reply_to.u[1],roomAgent_C.ontology.pkgOut[1].dummy,roomAgent_C.ontology.u[1],roomAgent_C.getperformative.pkgOut[1].dummy,roomAgent_C.getperformative.y[1],roomAgent_C.getperformative.dummy,roomAgent_C.getsender.pkgOut[1].dummy,roomAgent_C.getsender.y[1],roomAgent_C.getsender.dummy,roomAgent_C.getreceiver.pkgOut[1].dummy,roomAgent_C.getreceiver.y[1],roomAgent_C.getreceiver.dummy,roomAgent_C.getreply_to.pkgOut[1].dummy,roomAgent_C.getreply_to.y[1],roomAgent_C.getreply_to.dummy,roomAgent_C.getontology.pkgOut[1].dummy,roomAgent_C.getontology.y[1],roomAgent_C.getontology.dummy,roomAgent_C.performative.pkgOut[1].dummy,roomAgent_C.performative.u[1],roomAgent_C.getMessageID.y[1],roomAgent_C.getMessageID.dummy,roomAgent_C.messageID.pkgOut[1].dummy,roomAgent_C.messageID.u[1],roomAgent_C.stateGraphRoot.activeSteps,roomAgent_C.waiting.localActive,roomAgent_C.waiting.inPort[2].occupied,roomAgent_C.waiting.inPort[3].occupied,roomAgent_C.waiting.outPort[2].available,roomAgent_C.waiting.newActive,roomAgent_C.waiting.oldActive,roomAgent_C.newMessage.enableFire,roomAgent_C.integerChange.u,roomAgent_C.transitionWithSignal.localCondition,roomAgent_C.transitionWithSignal.enableFire,roomAgent_C.composeRequest.localActive,roomAgent_C.composeRequest.inPort[2].occupied,roomAgent_C.composeRequest.inPort[3].occupied,roomAgent_C.composeRequest.newActive,roomAgent_C.composeRequest.oldActive,roomAgent_C.requestNoted.fire,roomAgent_C.requestNoted.t_start,roomAgent_C.sendRequest.localActive,roomAgent_C.sendRequest.outPort[2].available,roomAgent_C.sendRequest.newActive,roomAgent_C.sendRequest.oldActive,roomAgent_C.newMessage1.localCondition,roomAgent_C.newMessage1.enableFire,roomAgent_C.repeat.fire,roomAgent_C.repeat.t_start,roomAgent_C.state.localActive,roomAgent_C.state.outPort[2].available,roomAgent_C.state.newActive,roomAgent_C.state.oldActive,roomAgent_C.rightMessage.localCondition,roomAgent_C.rightMessage.enableFire,roomAgent_C.repeat1.fire,roomAgent_C.repeat1.t_start,roomAgent_C.composeNotUnderstood.localActive,roomAgent_C.composeNotUnderstood.newActive,roomAgent_C.composeNotUnderstood.oldActive,roomAgent_C.transition2.fire,roomAgent_C.transition2.t_start,roomAgent_C.sendNotUnderstood.localActive,roomAgent_C.sendNotUnderstood.newActive,roomAgent_C.sendNotUnderstood.oldActive,roomAgent_C.transition4.fire,roomAgent_C.transition4.t_start,roomAgent_C.or2.y,roomAgent_C.composeConfirm.localActive,roomAgent_C.composeConfirm.newActive,roomAgent_C.composeConfirm.oldActive,roomAgent_C.sendConfirm.localActive,roomAgent_C.sendConfirm.newActive,roomAgent_C.sendConfirm.oldActive,roomAgent_C.confirmNoted.fire,roomAgent_C.confirmNoted.t_start,roomAgent_C.transition1.fire,roomAgent_C.transition1.t_start,roomAgent_C.waitForInform.localActive,roomAgent_C.waitForInform.outPort[2].available,roomAgent_C.waitForInform.newActive,roomAgent_C.waitForInform.oldActive,roomAgent_C.rightMessage1.localCondition,roomAgent_C.rightMessage1.enableFire,roomAgent_C.and1.u2,roomAgent_C.booleanExpression.y,roomAgent_C.reset.fire,roomAgent_C.reset.t_start,timeTable.a,timeTable.b,timeTable.last,timeTable.nextEvent,timeTable.nextEventScaled,roomAgent_C.packager.backwardPropagatedBufferSize,roomAgent_C.packager.bufferSize,roomAgent_C.content.pkgIn.autoPkgBitSize,roomAgent_C.uDPSend_adapted.pkgIn.userPkgBitSize,roomAgent_C.uDPSend_adapted.pkgIn.autoPkgBitSize,roomAgent_C.sender.pkgIn.autoPkgBitSize,roomAgent_C.receiver.pkgIn.autoPkgBitSize,roomAgent_C.reply_to.pkgIn.autoPkgBitSize,roomAgent_C.ontology.pkgIn.autoPkgBitSize,roomAgent_C.performative.pkgIn.autoPkgBitSize,roomAgent_C.messageID.pkgIn.autoPkgBitSize) * Number of discrete states: 421 (roomAgent_C.waiting.newActive,roomAgent_C.composeRequest.newActive,roomAgent_C.sendRequest.newActive,roomAgent_C.state.newActive,roomAgent_C.composeNotUnderstood.newActive,roomAgent_C.sendNotUnderstood.newActive,roomAgent_C.composeConfirm.newActive,roomAgent_C.sendConfirm.newActive,roomAgent_C.waitForInform.newActive,timeTable.nextEvent,timeTable.last,timeTable.nextEventScaled,timeTable.b,timeTable.a,$whenCondition165,roomAgent_C.integerChange.u,$whenCondition169,$whenCondition168,roomAgent_C.messageID.u[1],roomAgent_C.uDPSend_adapted.receiver,roomAgent_C.ontology.u[1],roomAgent_C.reply_to.u[1],roomAgent_C.receiver.u[1],roomAgent_C.sender.u[1],roomAgent_C.performative.u[1],$whenCondition167,roomAgent_C.content.u[2],roomAgent_C.content.u[1],$whenCondition166,roomAgent_C.newMessage.t_start,roomAgent_C.transitionWithSignal.t_start,roomAgent_C.newMessage1.t_start,roomAgent_C.rightMessage.t_start,roomAgent_C.rightMessage1.t_start,broker_LTC.limitedSupplyAbort.newActive,broker_LTC.checkAvailability.newActive,broker_LTC.prepareTableforRejections.newActive,broker_LTC.checkRequestComplete.newActive,broker_LTC.computeFinalConstellation.newActive,broker_LTC.sendInformation.newActive,broker_LTC.computePrice.newActive,broker_LTC.collectConfirm.newActive,broker_LTC.check2.newActive,broker_LTC.composeInformation.newActive,broker_LTC.sendNotUnderstood.newActive,broker_LTC.composeNotUnderstood.newActive,broker_LTC.sendConfirmation.newActive,broker_LTC.check1.newActive,broker_LTC.check.newActive,broker_LTC.sendRequest.newActive,broker_LTC.sendCall.newActive,broker_LTC.sendOutRequest.newActive,broker_LTC.collectProposal.newActive,broker_LTC.callForProposal.newActive,broker_LTC.requests.newActive,broker_LTC.message.newActive,broker_LTC.waiting.newActive,broker_LTC.integerChange.u,$whenCondition129,$whenCondition128,broker_LTC.averagePrice,broker_LTC.totalHeat,broker_LTC.totalPrice,$whenCondition127,$whenCondition126,$whenCondition125,$whenCondition124,$whenCondition123,$whenCondition122,$whenCondition121,$whenCondition120,$whenCondition119,broker_LTC.messageID.u[1],broker_LTC.uDPSend_adapted.receiver,broker_LTC.reply_to.u[1],broker_LTC.receiver.u[1],broker_LTC.sender.u[1],broker_LTC.ontology.u[1],broker_LTC.performative.u[1],$whenCondition118,broker_LTC.requestsExceedSupply,broker_LTC.calculationDone,broker_LTC.content.u[2],broker_LTC.content.u[1],broker_LTC.rejectsComplete,broker_LTC.requestComplete,broker_LTC.proposalsComplete,broker_LTC.requestCounter,broker_LTC.heatingRequestSum,broker_LTC.requestAddresses[10,1],broker_LTC.requestAddresses[9,1],broker_LTC.requestAddresses[8,1],broker_LTC.requestAddresses[7,1],broker_LTC.requestAddresses[6,1],broker_LTC.requestAddresses[5,1],broker_LTC.requestAddresses[4,1],broker_LTC.requestAddresses[3,1],broker_LTC.requestAddresses[2,1],broker_LTC.requestAddresses[1,1],broker_LTC.requestTable[10,1],broker_LTC.requestTable[9,1],broker_LTC.requestTable[8,1],broker_LTC.requestTable[7,1],broker_LTC.requestTable[6,1],broker_LTC.requestTable[5,1],broker_LTC.requestTable[4,1],broker_LTC.requestTable[3,1],broker_LTC.requestTable[2,1],broker_LTC.requestTable[1,1],broker_LTC.restHeat,broker_LTC.totalaveragePrice,broker_LTC.heatingPriceSum,broker_LTC.cheapest,broker_LTC.heatingCalculationSum,broker_LTC.informationDone,broker_LTC.informationCounter,broker_LTC.finalRequestDone,broker_LTC.proposalCounter,broker_LTC.heatSupplierTable[2,7],broker_LTC.heatSupplierTable[2,6],broker_LTC.heatSupplierTable[2,5],broker_LTC.heatSupplierTable[2,4],broker_LTC.heatSupplierTable[2,3],broker_LTC.heatSupplierTable[2,2],broker_LTC.heatSupplierTable[2,1],broker_LTC.heatSupplierTable[1,7],broker_LTC.heatSupplierTable[1,6],broker_LTC.heatSupplierTable[1,5],broker_LTC.heatSupplierTable[1,4],broker_LTC.heatSupplierTable[1,3],broker_LTC.heatSupplierTable[1,2],broker_LTC.heatSupplierTable[1,1],broker_LTC.lowestPrice,broker_LTC.counterReject,broker_LTC.counter,$whenCondition117,broker_LTC.newMessage.t_start,broker_LTC.transitionWithSignal.t_start,broker_LTC.newRequests.t_start,broker_LTC.newProposal.t_start,broker_LTC.correctPerformative.t_start,broker_LTC.correctPerformative1.t_start,broker_LTC.actionConfirmed.t_start,broker_LTC.newConfirm.t_start,broker_LTC.correctPerformative2.t_start,broker_LTC.confirmComplete.t_start,broker_LTC.requestsComplete.t_start,broker_LTC.requestsNotComplete.t_start,broker_LTC.confirmNotComplete.t_start,heatProducerAgent2.shutDown.newActive,heatProducerAgent2.confirm.newActive,heatProducerAgent2.sendConfirmation.newActive,heatProducerAgent2.sendNotUnderstood.newActive,heatProducerAgent2.composeNotUnderstood.newActive,heatProducerAgent2.sendProposal.newActive,heatProducerAgent2.computeProposal.newActive,heatProducerAgent2.adjustHeat.newActive,heatProducerAgent2.message.newActive,heatProducerAgent2.waiting.newActive,heatProducerAgent2.integerChange.u,$whenCondition65,$whenCondition64,$whenCondition63,heatProducerAgent2.messageID.u[1],heatProducerAgent2.sender.u[1],heatProducerAgent2.reply_to.u[1],heatProducerAgent2.ontology.u[1],heatProducerAgent2.receiver.u[1],heatProducerAgent2.uDPSend_adapted.receiver,heatProducerAgent2.performative.u[1],heatProducerAgent2.content.u[2],heatProducerAgent2.content.u[1],$whenCondition62,heatProducerAgent2.setCapacityOut,heatProducerAgent2.setCapacity,$whenCondition61,heatProducerAgent2.costCurrent,heatProducerAgent2.calcCapacityInternal,heatProducerAgent2.currentCapacityDiscrete,$whenCondition60,heatProducerAgent1.shutDown.newActive,heatProducerAgent1.confirm.newActive,heatProducerAgent1.sendConfirmation.newActive,heatProducerAgent1.sendNotUnderstood.newActive,heatProducerAgent1.composeNotUnderstood.newActive,heatProducerAgent1.sendProposal.newActive,heatProducerAgent1.computeProposal.newActive,heatProducerAgent1.adjustHeat.newActive,heatProducerAgent1.message.newActive,heatProducerAgent1.waiting.newActive,heatProducerAgent1.integerChange.u,$whenCondition59,$whenCondition58,$whenCondition57,heatProducerAgent1.messageID.u[1],heatProducerAgent1.sender.u[1],heatProducerAgent1.reply_to.u[1],heatProducerAgent1.ontology.u[1],heatProducerAgent1.receiver.u[1],heatProducerAgent1.uDPSend_adapted.receiver,heatProducerAgent1.performative.u[1],heatProducerAgent1.content.u[2],heatProducerAgent1.content.u[1],$whenCondition56,heatProducerAgent1.setCapacityOut,heatProducerAgent1.setCapacity,$whenCondition55,heatProducerAgent1.costCurrent,heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.currentCapacityDiscrete,$whenCondition54,heatProducerAgent.shutDown.newActive,heatProducerAgent.confirm.newActive,heatProducerAgent.sendConfirmation.newActive,heatProducerAgent.sendNotUnderstood.newActive,heatProducerAgent.composeNotUnderstood.newActive,heatProducerAgent.sendProposal.newActive,heatProducerAgent.computeProposal.newActive,heatProducerAgent.adjustHeat.newActive,heatProducerAgent.message.newActive,heatProducerAgent.waiting.newActive,heatProducerAgent.integerChange.u,$whenCondition53,$whenCondition52,$whenCondition51,heatProducerAgent.messageID.u[1],heatProducerAgent.sender.u[1],heatProducerAgent.reply_to.u[1],heatProducerAgent.ontology.u[1],heatProducerAgent.receiver.u[1],heatProducerAgent.uDPSend_adapted.receiver,heatProducerAgent.performative.u[1],heatProducerAgent.content.u[2],heatProducerAgent.content.u[1],$whenCondition50,heatProducerAgent.setCapacityOut,heatProducerAgent.setCapacity,$whenCondition49,heatProducerAgent.costCurrent,heatProducerAgent.calcCapacityInternal,heatProducerAgent.currentCapacityDiscrete,$whenCondition48,intermediateAgent_C.shutDown.newActive,intermediateAgent_C.sendConfirmation1.newActive,intermediateAgent_C.confirmToBottom.newActive,intermediateAgent_C.sendConfirmation.newActive,intermediateAgent_C.passOnConfirmation.newActive,intermediateAgent_C.check1.newActive,intermediateAgent_C.sendInformation.newActive,intermediateAgent_C.passOnInformation.newActive,intermediateAgent_C.check.newActive,intermediateAgent_C.sendNotUnderstood.newActive,intermediateAgent_C.composeNotUnderstood.newActive,intermediateAgent_C.sendCall.newActive,intermediateAgent_C.passOnCall.newActive,intermediateAgent_C.message.newActive,intermediateAgent_C.waiting.newActive,intermediateAgent_C.integerChange.u,$whenCondition47,$whenCondition46,$whenCondition45,intermediateAgent_C.ownCost,intermediateAgent_C.newCost,$whenCondition44,intermediateAgent_C.messageID.u[1],intermediateAgent_C.uDPSend_adapted.receiver,intermediateAgent_C.ontology.u[1],intermediateAgent_C.content.u[2],intermediateAgent_C.content.u[1],intermediateAgent_C.reply_to.u[1],intermediateAgent_C.receiver.u[1],intermediateAgent_C.sender.u[1],intermediateAgent_C.performative.u[1],$whenCondition43,intermediateAgent_C.setCapacityOut,intermediateAgent_C.setCapacity,$whenCondition42,intermediateAgent_C.currentCost,intermediateAgent_C.calcCapacity,intermediateAgent_C.currentClient,$whenCondition41,intermediateAgent_C.newMessage.t_start,intermediateAgent_C.transitionWithSignal.t_start,intermediateAgent_C.fromTopBroker.t_start,intermediateAgent_C.newMessage1.t_start,intermediateAgent_C.newMessage2.t_start,intermediateAgent_C.fromBottomBroker.t_start,intermediateAgent_C.Off.t_start,broker_HTC.limitedSupplyAbort.newActive,broker_HTC.checkAvailability.newActive,broker_HTC.prepareTableforRejections.newActive,broker_HTC.checkRequestComplete.newActive,broker_HTC.computeFinalConstellation.newActive,broker_HTC.sendInformation.newActive,broker_HTC.computePrice.newActive,broker_HTC.collectConfirm.newActive,broker_HTC.check2.newActive,broker_HTC.composeInformation.newActive,broker_HTC.sendNotUnderstood.newActive,broker_HTC.composeNotUnderstood.newActive,broker_HTC.sendConfirmation.newActive,broker_HTC.check1.newActive,broker_HTC.check.newActive,broker_HTC.sendRequest.newActive,broker_HTC.sendCall.newActive,broker_HTC.sendOutRequest.newActive,broker_HTC.collectProposal.newActive,broker_HTC.callForProposal.newActive,broker_HTC.requests.newActive,broker_HTC.message.newActive,broker_HTC.waiting.newActive,broker_HTC.integerChange.u,$whenCondition16,$whenCondition15,broker_HTC.averagePrice,broker_HTC.totalHeat,broker_HTC.totalPrice,$whenCondition14,$whenCondition13,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,broker_HTC.messageID.u[1],broker_HTC.uDPSend_adapted.receiver,broker_HTC.reply_to.u[1],broker_HTC.receiver.u[1],broker_HTC.sender.u[1],broker_HTC.ontology.u[1],broker_HTC.performative.u[1],$whenCondition5,broker_HTC.requestsExceedSupply,broker_HTC.calculationDone,broker_HTC.content.u[2],broker_HTC.content.u[1],broker_HTC.rejectsComplete,broker_HTC.requestComplete,broker_HTC.proposalsComplete,broker_HTC.requestCounter,broker_HTC.heatingRequestSum,broker_HTC.requestAddresses[10,1],broker_HTC.requestAddresses[9,1],broker_HTC.requestAddresses[8,1],broker_HTC.requestAddresses[7,1],broker_HTC.requestAddresses[6,1],broker_HTC.requestAddresses[5,1],broker_HTC.requestAddresses[4,1],broker_HTC.requestAddresses[3,1],broker_HTC.requestAddresses[2,1],broker_HTC.requestAddresses[1,1],broker_HTC.requestTable[10,1],broker_HTC.requestTable[9,1],broker_HTC.requestTable[8,1],broker_HTC.requestTable[7,1],broker_HTC.requestTable[6,1],broker_HTC.requestTable[5,1],broker_HTC.requestTable[4,1],broker_HTC.requestTable[3,1],broker_HTC.requestTable[2,1],broker_HTC.requestTable[1,1],broker_HTC.restHeat,broker_HTC.totalaveragePrice,broker_HTC.heatingPriceSum,broker_HTC.cheapest,broker_HTC.heatingCalculationSum,broker_HTC.informationDone,broker_HTC.informationCounter,broker_HTC.finalRequestDone,broker_HTC.proposalCounter,broker_HTC.heatSupplierTable[2,7],broker_HTC.heatSupplierTable[2,6],broker_HTC.heatSupplierTable[2,5],broker_HTC.heatSupplierTable[2,4],broker_HTC.heatSupplierTable[2,3],broker_HTC.heatSupplierTable[2,2],broker_HTC.heatSupplierTable[2,1],broker_HTC.heatSupplierTable[1,7],broker_HTC.heatSupplierTable[1,6],broker_HTC.heatSupplierTable[1,5],broker_HTC.heatSupplierTable[1,4],broker_HTC.heatSupplierTable[1,3],broker_HTC.heatSupplierTable[1,2],broker_HTC.heatSupplierTable[1,1],broker_HTC.lowestPrice,broker_HTC.counterReject,broker_HTC.counter,$whenCondition4,broker_HTC.newMessage.t_start,broker_HTC.transitionWithSignal.t_start,broker_HTC.newRequests.t_start,broker_HTC.newProposal.t_start,broker_HTC.correctPerformative.t_start,broker_HTC.correctPerformative1.t_start,broker_HTC.actionConfirmed.t_start,broker_HTC.newConfirm.t_start,broker_HTC.correctPerformative2.t_start,broker_HTC.confirmComplete.t_start,broker_HTC.requestsComplete.t_start,broker_HTC.requestsNotComplete.t_start,broker_HTC.confirmNotComplete.t_start,heatProducerAgent.newMessage.t_start,heatProducerAgent.transitionWithSignal.t_start,heatProducerAgent.transitionWithSignal1.t_start,heatProducerAgent.transitionWithSignal2.t_start,heatProducerAgent.Off.t_start,heatProducerAgent.zeroOrderHold.ySample,heatProducerAgent1.newMessage.t_start,heatProducerAgent1.transitionWithSignal.t_start,heatProducerAgent1.transitionWithSignal1.t_start,heatProducerAgent1.transitionWithSignal2.t_start,heatProducerAgent1.Off.t_start,heatProducerAgent1.zeroOrderHold.ySample,heatProducerAgent2.newMessage.t_start,heatProducerAgent2.transitionWithSignal.t_start,heatProducerAgent2.transitionWithSignal1.t_start,heatProducerAgent2.transitionWithSignal2.t_start,heatProducerAgent2.Off.t_start,heatProducerAgent2.zeroOrderHold.ySample) * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for simulation (1665): * Single equations (assignments): 1108 * Array equations: 0 * Algorithm blocks: 5 * Record equations: 0 * When equations: 549 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 3 * Mixed (continuous/discrete) equation systems: 0 Notification: Torn system details for strict tearing set: * Linear torn systems (#iteration vars, #inner vars, density): 0 systems * Non-linear torn systems (#iteration vars, #inner vars): 3 systems {(1,1), (1,1), (1,1)} Notification: Performance of Backend phase and start with SimCode phase: time 0.003638/1.604, allocations: 2.46 MB / 1.398 GB, free: 97.4 MB / 0.9168 GB Notification: Performance of simCode: created initialization part: time 0.02324/1.627, allocations: 17.37 MB / 1.415 GB, free: 79.7 MB / 0.9168 GB Notification: Performance of simCode: created event and clocks part: time 1.615e-05/1.627, allocations: 4 kB / 1.415 GB, free: 79.69 MB / 0.9168 GB Notification: Performance of simCode: created simulation system equations: time 0.01461/1.641, allocations: 9.607 MB / 1.425 GB, free: 69.99 MB / 0.9168 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.01138/1.653, allocations: 2.813 MB / 1.427 GB, free: 67.32 MB / 0.9168 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.04706/1.7, allocations: 26.66 MB / 1.453 GB, free: 40.13 MB / 0.9168 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.005274/1.705, allocations: 2.494 MB / 1.456 GB, free: 37.6 MB / 0.9168 GB Notification: Performance of simCode: alias equations: time 0.006027/1.711, allocations: 1.715 MB / 1.457 GB, free: 35.88 MB / 0.9168 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.002765/1.714, allocations: 0.93 MB / 1.458 GB, free: 34.95 MB / 0.9168 GB Notification: Performance of SimCode: time 2.374e-06/1.714, allocations: 0 / 1.458 GB, free: 34.95 MB / 0.9168 GB Notification: Performance of Templates: time 0.4929/2.207, allocations: 170.6 MB / 1.625 GB, free: 219 MB / 0.9324 GB " [Timeout remaining time 658] make -j1 -f AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.makefile [Timeout 660] (rm -f AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe ; mkfifo AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe ; head -c 1048576 < AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe >> ../files/AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.sim & ./AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication -abortSlowSimulation -alarm=240 -lv LOG_STATS > AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe 2>&1) [Timeout 240] [Calling sys.exit(0), Time elapsed: 17.177466877968982]