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/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.05828/0.05828, allocations: 12.18 MB / 31.03 MB, free: 0.9883 MB / 18.57 MB " [Timeout remaining time 180] 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.001825/0.001825, allocations: 119.9 kB / 37.25 MB, free: 1.332 MB / 24.77 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.002402/0.002402, allocations: 210.4 kB / 43.58 MB, free: 3.27 MB / 33.03 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.108/1.108, allocations: 230.6 MB / 280.4 MB, free: 7.137 MB / 202.7 MB " [Timeout remaining time 179] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF 0.4.5/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF 0.4.5/package.mo): time 0.004939/0.004939, allocations: 1.08 MB / 340.9 MB, free: 11.66 MB / 266.7 MB " [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.854/1.854, allocations: 353.8 MB / 0.7367 GB, free: 23.54 MB / 0.5262 GB " [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.4.5 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF 0.4.5/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) Using package Modelica_DeviceDrivers with version 2.2.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo) Running command: setCommandLineOptions("--fmiFlags=s:cvode") Running command: "" <> buildModelFMU(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication,fileNamePrefix="AixLib_AixLib_Controls_HVACAgentBasedControl_Examples_HVACAgentsCommunications_SimpleCommunication",fmuType="me_cs",version="2.0",platforms={"static"}) "" <> buildModelFMU(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication,fileNamePrefix="AixLib_AixLib_Controls_HVACAgentBasedControl_Examples_HVACAgentsCommunications_SimpleCommunication",fmuType="me_cs",version="2.0",platforms={"static"}) [Timeout 660] "Notification: SDF requested package Modelica of version 4.0.0. Modelica 4.1.0 is used instead which states that it is fully compatible without conversion script needed. Warning: Requested package SDF of version 0.4.4, but this package was already loaded with version 0.4.5. There are no conversion annotations and 0.4.4 is older than 0.4.5, so the libraries are probably incompatible. Notification: AixLib requested package Modelica_DeviceDrivers of version 2.1.1. Modelica_DeviceDrivers 2.2.0 is used instead which states that it is fully compatible without conversion script needed. Notification: AixLib requested package Modelica of version 4.0.0. Modelica 4.1.0 is used instead which states that it is fully compatible without conversion script needed. Notification: Performance of FrontEnd - loaded program: time 0.002692/0.002692, allocations: 161.7 kB / 1.02 GB, free: 49.39 MB / 0.7605 GB Notification: Performance of FrontEnd - Absyn->SCode: time 0.2754/0.2781, allocations: 135.1 MB / 1.152 GB, free: 11.39 MB / 0.823 GB Notification: Performance of NFInst.instantiate(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication): time 0.02175/0.2998, allocations: 25.45 MB / 1.177 GB, free: 1.809 MB / 0.8387 GB Notification: Performance of NFInst.instExpressions: time 0.03179/0.3316, allocations: 20.73 MB / 1.197 GB, free: 13.02 MB / 0.8699 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.01138/0.343, allocations: 499.8 kB / 1.197 GB, free: 12.53 MB / 0.8699 GB Notification: Performance of NFTyping.typeComponents: time 0.009547/0.3525, allocations: 2.369 MB / 1.2 GB, free: 10.14 MB / 0.8699 GB Notification: Performance of NFTyping.typeBindings: time 0.01172/0.3643, allocations: 1.795 MB / 1.202 GB, free: 8.324 MB / 0.8699 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.02905/0.3933, allocations: 12.01 MB / 1.213 GB, free: 12.34 MB / 0.8855 GB Notification: Performance of NFFlatten.flatten: time 0.04533/0.4386, allocations: 26.1 MB / 1.239 GB, free: 2.207 MB / 0.9012 GB Notification: Performance of NFFlatten.resolveConnections: time 0.02461/0.4632, allocations: 12.93 MB / 1.251 GB, free: 5.121 MB / 0.9168 GB Notification: Performance of NFEvalConstants.evaluate: time 0.02243/0.4857, allocations: 9.443 MB / 1.261 GB, free: 11.65 MB / 0.9324 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0172/0.5029, allocations: 9.011 MB / 1.269 GB, free: 2.602 MB / 0.9324 GB Notification: Performance of NFPackage.collectConstants: time 0.01316/0.516, allocations: 2.789 MB / 1.272 GB, free: 15.81 MB / 0.948 GB Notification: Performance of NFFlatten.collectFunctions: time 0.01056/0.5266, allocations: 3 MB / 1.275 GB, free: 12.81 MB / 0.948 GB Notification: Performance of NFScalarize.scalarize: time 0.01143/0.538, allocations: 6.114 MB / 1.281 GB, free: 6.684 MB / 0.948 GB Notification: Performance of NFVerifyModel.verify: time 0.01729/0.5553, allocations: 8.196 MB / 1.289 GB, free: 14.45 MB / 0.9637 GB Notification: Performance of NFConvertDAE.convert: time 0.0419/0.5972, allocations: 30.25 MB / 1.319 GB, free: 96 kB / 0.9793 GB Notification: Performance of FrontEnd - DAE generated: time 1.054e-05/0.5972, allocations: 0 / 1.319 GB, free: 96 kB / 0.9793 GB Notification: Performance of FrontEnd: time 2.785e-06/0.5972, allocations: 0 / 1.319 GB, free: 96 kB / 0.9793 GB Notification: Performance of Transformations before backend: time 0.001901/0.5991, allocations: 0 / 1.319 GB, free: 96 kB / 0.9793 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.07894/0.6781, allocations: 45.71 MB / 1.363 GB, free: 0.6445 MB / 1.026 GB Notification: Performance of prepare preOptimizeDAE: time 6.884e-05/0.6781, allocations: 15.98 kB / 1.363 GB, free: 0.6289 MB / 1.026 GB Notification: Performance of preOpt introduceOutputAliases (simulation): time 0.009382/0.6875, allocations: 2.447 MB / 1.366 GB, free: 14.16 MB / 1.042 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.01362/0.7011, allocations: 2.683 MB / 1.368 GB, free: 11.47 MB / 1.042 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.01839/0.7195, allocations: 7.506 MB / 1.376 GB, free: 3.871 MB / 1.042 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.002334/0.7219, allocations: 1.644 MB / 1.377 GB, free: 2.227 MB / 1.042 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.007534/0.7294, allocations: 2.086 MB / 1.379 GB, free: 144 kB / 1.042 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.7063/1.436, allocations: 23.54 MB / 1.402 GB, free: 204.9 MB / 1.057 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0006513/1.436, allocations: 30.88 kB / 1.402 GB, free: 204.9 MB / 1.057 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.005648/1.442, allocations: 0.8247 MB / 1.403 GB, free: 204.4 MB / 1.057 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0005071/1.442, allocations: 436.2 kB / 1.403 GB, free: 204.4 MB / 1.057 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.04537/1.488, allocations: 20 MB / 1.423 GB, free: 197.4 MB / 1.057 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.1058/1.594, allocations: 57.66 MB / 1.479 GB, free: 152.1 MB / 1.057 GB Notification: Performance of preOpt comSubExp (simulation): time 0.0211/1.615, allocations: 16.4 MB / 1.495 GB, free: 135.1 MB / 1.057 GB Notification: Performance of preOpt resolveLoops (simulation): time 0.01424/1.629, allocations: 9.262 MB / 1.504 GB, free: 125.5 MB / 1.057 GB Notification: Performance of preOpt evalFunc (simulation): time 0.0007076/1.63, allocations: 202.7 kB / 1.505 GB, free: 125.3 MB / 1.057 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.02452/1.654, allocations: 15.19 MB / 1.519 GB, free: 109.3 MB / 1.057 GB Notification: Performance of pre-optimization done (n=1997): time 4.502e-05/1.654, allocations: 0 / 1.519 GB, free: 109.3 MB / 1.057 GB Notification: Performance of matching and sorting (n=1997): time 0.05239/1.707, allocations: 33.27 MB / 1.552 GB, free: 75.88 MB / 1.057 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.002321/1.709, allocations: 5.145 MB / 1.557 GB, free: 69.92 MB / 1.057 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.009436/1.718, allocations: 5.448 MB / 1.562 GB, free: 64.46 MB / 1.057 GB Notification: Performance of collectPreVariables (initialization): time 0.004201/1.723, allocations: 1.15 MB / 1.563 GB, free: 63.3 MB / 1.057 GB Notification: Performance of collectInitialEqns (initialization): time 0.005094/1.728, allocations: 5.221 MB / 1.568 GB, free: 58.4 MB / 1.057 GB Notification: Performance of collectInitialBindings (initialization): time 0.007413/1.735, allocations: 5.001 MB / 1.573 GB, free: 53.5 MB / 1.057 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.01487/1.75, allocations: 5.233 MB / 1.578 GB, free: 48.26 MB / 1.057 GB Notification: Performance of setup shared object (initialization): time 7.322e-05/1.75, allocations: 305.5 kB / 1.579 GB, free: 47.96 MB / 1.057 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.01333/1.763, allocations: 6.442 MB / 1.585 GB, free: 41.46 MB / 1.057 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.01834/1.782, allocations: 12.79 MB / 1.597 GB, free: 26 MB / 1.057 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.03116/1.813, allocations: 27 MB / 1.624 GB, free: 12.08 MB / 1.073 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0004216/1.813, allocations: 56 kB / 1.624 GB, free: 12.02 MB / 1.073 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.04441/1.858, allocations: 22.41 MB / 1.646 GB, free: 5.445 MB / 1.089 GB Notification: Performance of prepare postOptimizeDAE: time 0.0004737/1.858, allocations: 353.5 kB / 1.646 GB, free: 5.051 MB / 1.089 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0003957/1.859, allocations: 188 kB / 1.646 GB, free: 4.867 MB / 1.089 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.0008318/1.859, allocations: 460.4 kB / 1.647 GB, free: 4.391 MB / 1.089 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.0103/1.87, allocations: 2.735 MB / 1.649 GB, free: 1.648 MB / 1.089 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.006672/1.876, allocations: 12.8 MB / 1.662 GB, free: 3.832 MB / 1.104 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.01187/1.888, allocations: 2.053 MB / 1.664 GB, free: 1.766 MB / 1.104 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.004628/1.893, allocations: 0.996 MB / 1.665 GB, free: 0.7695 MB / 1.104 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.02141/1.914, allocations: 7.422 MB / 1.672 GB, free: 9.328 MB / 1.12 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.008139/1.922, allocations: 1.236 MB / 1.673 GB, free: 8.086 MB / 1.12 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.03946/1.962, allocations: 23.06 MB / 1.696 GB, free: 0.8359 MB / 1.136 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 0.0001814/1.962, allocations: 180 kB / 1.696 GB, free: 0.6602 MB / 1.136 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 0.0001402/1.962, allocations: 27.98 kB / 1.696 GB, free: 0.6328 MB / 1.136 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 0.0003263/1.963, allocations: 91.7 kB / 1.696 GB, free: 0.543 MB / 1.136 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.09373/2.056, allocations: 43.96 MB / 1.739 GB, free: 4.293 MB / 1.182 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 0.0001949/2.057, allocations: 20 kB / 1.739 GB, free: 4.273 MB / 1.182 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.003414/2.06, allocations: 0.7986 MB / 1.74 GB, free: 3.473 MB / 1.182 GB Notification: Performance of postOpt tearingSystem (simulation): time 0.002685/2.063, allocations: 2.104 MB / 1.742 GB, free: 1.324 MB / 1.182 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.004333/2.067, allocations: 0.6049 MB / 1.743 GB, free: 0.7188 MB / 1.182 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 0.005105/2.072, allocations: 5.399 MB / 1.748 GB, free: 11.2 MB / 1.198 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 1.431e-05/2.072, allocations: 27.81 kB / 1.748 GB, free: 11.17 MB / 1.198 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.05754/2.13, allocations: 26.97 MB / 1.774 GB, free: 15.71 MB / 1.229 GB Notification: Performance of postOpt removeConstants (simulation): time 0.002609/2.132, allocations: 1.123 MB / 1.775 GB, free: 14.58 MB / 1.229 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.00536/2.138, allocations: 0.7145 MB / 1.776 GB, free: 13.86 MB / 1.229 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.007402/2.145, allocations: 0.6869 MB / 1.777 GB, free: 13.18 MB / 1.229 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.005323/2.15, allocations: 1.892 MB / 1.778 GB, free: 11.28 MB / 1.229 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.004312/2.155, allocations: 0.7807 MB / 1.779 GB, free: 10.5 MB / 1.229 GB Notification: Performance of sorting global known variables: time 0.003258/2.158, allocations: 2.029 MB / 1.781 GB, free: 8.473 MB / 1.229 GB Notification: Performance of sort global known variables: time 6.51e-07/2.158, allocations: 4 kB / 1.781 GB, free: 8.469 MB / 1.229 GB Notification: Performance of remove unused functions: time 0.01973/2.178, allocations: 4.762 MB / 1.786 GB, free: 3.695 MB / 1.229 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.0635/2.241, allocations: 29.91 MB / 1.815 GB, free: 5.375 MB / 1.261 GB Notification: Performance of simCode: created initialization part: time 0.0399/2.281, allocations: 21.95 MB / 1.837 GB, free: 15.13 MB / 1.292 GB Notification: Performance of simCode: created event and clocks part: time 1.8e-05/2.281, allocations: 5 kB / 1.837 GB, free: 15.12 MB / 1.292 GB Notification: Performance of simCode: created simulation system equations: time 0.0234/2.304, allocations: 14.73 MB / 1.851 GB, free: 256 kB / 1.292 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.01355/2.318, allocations: 2.546 MB / 1.853 GB, free: 13.77 MB / 1.307 GB 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. 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.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.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.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.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.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.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.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.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. Warning: The linear system: 1 : $PRE.heatProducerAgent.costNew = heatProducerAgent.costNew 2 : heatProducerAgent.costNew = $PRE.heatProducerAgent.costNew [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ heatProducerAgent.costNew ; $PRE.heatProducerAgent.costNew ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.heatProducerAgent.costNew 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.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.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.costDifference = heatProducerAgent1.costDifference 2 : heatProducerAgent1.costDifference = $PRE.heatProducerAgent1.costDifference [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ heatProducerAgent1.costDifference ; $PRE.heatProducerAgent1.costDifference ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.heatProducerAgent1.costDifference 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.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.costDifference = heatProducerAgent2.costDifference 2 : heatProducerAgent2.costDifference = $PRE.heatProducerAgent2.costDifference [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ heatProducerAgent2.costDifference ; $PRE.heatProducerAgent2.costDifference ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.heatProducerAgent2.costDifference since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.8123/3.13, allocations: 127 MB / 1.977 GB, free: 411.8 MB / 1.339 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.01281/3.143, allocations: 6.292 MB / 1.984 GB, free: 408 MB / 1.339 GB Notification: Performance of simCode: alias equations: time 0.008072/3.151, allocations: 1.848 MB / 1.985 GB, free: 406.7 MB / 1.339 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.01036/3.161, allocations: 6.424 MB / 1.992 GB, free: 400.7 MB / 1.339 GB Notification: Performance of SimCode: time 3.036e-06/3.161, allocations: 4 kB / 1.992 GB, free: 400.7 MB / 1.339 GB Notification: Performance of buildModelFMU: Generate the FMI files: time 0.4008/3.562, allocations: 284.8 MB / 2.27 GB, free: 120.7 MB / 1.339 GB Error: Error building simulator. Build log: cmd: cd '417.fmutmp/sources/' && mkdir build_cmake_static && cd build_cmake_static && cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER='clang' .. && cmake --build . --parallel -j1 --target install && cd .. && rm -rf build_cmake_static CMake Warning (deprecated) at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.10 will be removed from a future version of CMake. Update the VERSION argument value. Or, use the ... syntax to tell CMake that the project requires at least but has been updated to work with policies introduced by or earlier. This warning is for project developers. Use -Wno-author or -Wno-deprecated to suppress it. -- The C compiler identification is Clang 21.1.8 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/clang - skipped -- Detecting C compile features -- Detecting C compile features - done -- FMI2 include directory: /var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelicaLibraryTesting/AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication/417.fmutmp/sources/fmi -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- Building for FMI platform linux64 -- Install directory: /var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelicaLibraryTesting/AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication/417.fmutmp/sources/../binaries/linux64 -- Linking pthread-NOTFOUND -- Linking /home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Resources/Library/linux64/libWs2_32.a -- Linking /var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/x86_64-linux-gnu/omc/libModelicaExternalC.a -- CVODE_DIRECTORY: /var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc -- SUNDIALS_CVODE_LIBRARY: /var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/x86_64-linux-gnu/omc/libsundials_cvode.so -- SUNDIALS_NVECSERIAL_LIBRARY: /var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/x86_64-linux-gnu/omc/libsundials_nvecserial.so -- CVODE: /var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/x86_64-linux-gnu/omc/libsundials_nvecserial.so /var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/x86_64-linux-gnu/omc/libsundials_cvode.so -- Not using FMI2_FUNCTION_PREFIX -- Installing dynamic dependencies from list: pthread-NOTFOUND;/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Resources/Library/linux64/libWs2_32.a;/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/x86_64-linux-gnu/omc/libModelicaExternalC.a;/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/x86_64-linux-gnu/omc/libsundials_cvode.so;/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/x86_64-linux-gnu/omc/libsundials_nvecserial.so CMake Warning (policy) at CMakeLists.txt:271 (install): Policy CMP0177 is not set: install() DESTINATION paths are normalized. Run \"cmake --help-policy CMP0177\" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-author or -Wno-policy to suppress it. CMake Warning (policy) at CMakeLists.txt:271 (install): Policy CMP0177 is not set: install() DESTINATION paths are normalized. Run \"cmake --help-policy CMP0177\" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-author or -Wno-policy to suppress it. CMake Warning (policy) at CMakeLists.txt:271 (install): Policy CMP0177 is not set: install() DESTINATION paths are normalized. Run \"cmake --help-policy CMP0177\" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-author or -Wno-policy to suppress it. -- Configuring done (0.3s) CMake Error: The following variables are used in this project, but they are set to NOTFOUND. Please set them or make sure they are set and tested correctly in the CMake files: pthread linked by target \"417\" in directory /var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelicaLibraryTesting/AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication/417.fmutmp/sources -- Generating done (0.0s) CMake Generate step failed. Build files cannot be regenerated correctly. " [Timeout remaining time 656] [Calling sys.exit(0), Time elapsed: 8.805786535143852]