Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/package.mo", uses=false) Using package AixLib with version 1.3.2 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/package.mo) Using package SDF with version 0.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo) Using package Modelica_DeviceDrivers with version 2.1.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication,tolerance=1e-06,outputFormat="empty",numberOfIntervals=10,variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication") translateModel(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication,tolerance=1e-06,outputFormat="empty",numberOfIntervals=10,variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.0008945/0.0008945, allocations: 99.39 kB / 15.05 MB, free: 1.105 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.0008967/0.0008967, allocations: 177.3 kB / 15.95 MB, free: 216 kB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.368/1.368, allocations: 223.2 MB / 239.9 MB, free: 5.461 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1/package.mo): time 0.1875/0.1875, allocations: 12.01 MB / 303 MB, free: 1.723 MB / 238.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo:9:42-9:258:writable] Notification: This is an open source dummy package of a commercial library. If you want it to be supported, you will need to add an implemention on our github repository: https://github.com/Modelica-OpenVendorSpecificLibraries. Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo): time 0.000319/0.000319, allocations: 22.5 kB / 357.1 MB, free: 3.281 MB / 286.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/Obsolete/YearIndependent/FastHVAC/Components/HeatExchangers/RadiatorMultiLayer.mo:265:34-265:6228:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/Obsolete/YearIndependent/FastHVAC/Components/HeatExchangers/RadiatorMultiLayer.mo:265:34-265:6853:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/Obsolete/YearIndependent/FastHVAC/Components/HeatExchangers/RadiatorMultiLayer.mo:265:34-265:8435:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/Obsolete/YearIndependent/FastHVAC/Components/HeatExchangers/RadiatorMultiLayer.mo:265:34-265:9369:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/Obsolete/YearIndependent/FastHVAC/Components/HeatExchangers/RadiatorMultiLayer.mo:265:34-265:11505:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/Obsolete/YearIndependent/FastHVAC/Components/HeatExchangers/RadiatorMultiLayer.mo:265:34-265:12875:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/ThermalZones/HighOrder/Components/Examples/DryAir/DryAir_test.mo:71:18-71:405:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/ThermalZones/HighOrder/Components/DryAir/InfiltrationRate_DIN12831.mo:20:192-20:2066:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/ThermalZones/HighOrder/Components/DryAir/InfiltrationRate_DIN12831.mo:20:192-20:4252:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/DataBase/Weather/SurfaceOrientation/SurfaceOrientationData_N_E_S_W_RoofN_Roof_S.mo:5:35-5:362:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/DataBase/Weather/SurfaceOrientation/SurfaceOrientationData_N_E_S_W_Hor.mo:5:35-5:320:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/DataBase/Weather/SurfaceOrientation/SurfaceOrientationData_NE_SE_SW_NW_Hor.mo:5:35-5:324:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/DataBase/CHP/CHPDataSimple/CHP_XRGI_9kWel.mo:25:34-25:588:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/DataBase/CHP/CHPDataSimple/CHP_XRGI_9kWel.mo:25:34-25:3852:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/DataBase/CHP/CHPDataSimple/CHP_Cleanergy_C9G.mo:36:34-36:594:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/BoundaryConditions/InternalGains/Examples/InternalGains/Machines.mo:31:20-31:400:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/BoundaryConditions/InternalGains/Examples/InternalGains/Lights.mo:27:20-27:398:writable] Warning: Lexer treating \ as \\, since \ is not a valid Modelica escape sequence. Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.3.2-development/package.mo): time 1.948/1.948, allocations: 268.6 MB / 0.6638 GB, free: 1.758 MB / 462.1 MB Notification: AixLib requested package SDF of version 0.4.2. SDF 0.0.0 is used instead which states that it is fully compatible without conversion script needed. Notification: Performance of FrontEnd - loaded program: time 0.0006756/0.0006758, allocations: 22 kB / 0.7845 GB, free: 32.19 MB / 0.545 GB Notification: Performance of FrontEnd - Absyn->SCode: time 0.2627/0.2633, allocations: 110.5 MB / 0.8924 GB, free: 15.85 MB / 0.6075 GB Notification: Performance of NFInst.instantiate(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication): time 0.02918/0.2926, allocations: 26.24 MB / 0.9181 GB, free: 5.492 MB / 0.6232 GB Notification: Performance of NFInst.instExpressions: time 0.03844/0.3311, allocations: 21.09 MB / 0.9387 GB, free: 352 kB / 0.6388 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.01439/0.3455, allocations: 397.6 kB / 0.939 GB, free: 15.95 MB / 0.6544 GB Notification: Performance of NFTyping.typeComponents: time 0.01004/0.3556, allocations: 1.786 MB / 0.9408 GB, free: 14.15 MB / 0.6544 GB Notification: Performance of NFTyping.typeBindings: time 0.0139/0.3695, allocations: 1.432 MB / 0.9422 GB, free: 12.71 MB / 0.6544 GB Notification: Performance of NFTyping.typeClassSections: time 0.02986/0.3994, allocations: 8.405 MB / 0.9504 GB, free: 4.34 MB / 0.6544 GB Notification: Performance of NFFlatten.flatten: time 0.03329/0.4327, allocations: 14.01 MB / 0.9641 GB, free: 6.293 MB / 0.67 GB Notification: Performance of NFFlatten.resolveConnections: time 0.03273/0.4655, allocations: 12.75 MB / 0.9765 GB, free: 9.449 MB / 0.6857 GB Notification: Performance of NFEvalConstants.evaluate: time 0.01805/0.4836, allocations: 6.263 MB / 0.9827 GB, free: 3.164 MB / 0.6857 GB Notification: Performance of NFSimplifyModel.simplify: time 0.01446/0.4982, allocations: 7.034 MB / 0.9895 GB, free: 12.1 MB / 0.7013 GB Notification: Performance of NFPackage.collectConstants: time 0.009478/0.5077, allocations: 0.8789 MB / 0.9904 GB, free: 11.22 MB / 0.7013 GB Notification: Performance of NFFlatten.collectFunctions: time 0.008231/0.516, allocations: 1.035 MB / 0.9914 GB, free: 10.18 MB / 0.7013 GB Notification: Performance of NFScalarize.scalarize: time 0.01055/0.5266, allocations: 3.878 MB / 0.9952 GB, free: 6.293 MB / 0.7013 GB Notification: Performance of NFVerifyModel.verify: time 0.01107/0.5377, allocations: 3.364 MB / 0.9985 GB, free: 2.914 MB / 0.7013 GB Notification: Performance of NFConvertDAE.convert: time 0.0335/0.5712, allocations: 21.44 MB / 1.019 GB, free: 13.41 MB / 0.7325 GB Notification: Performance of FrontEnd - DAE generated: time 9.107e-06/0.5713, allocations: 4 kB / 1.019 GB, free: 13.41 MB / 0.7325 GB Notification: Performance of FrontEnd: time 3.006e-06/0.5713, allocations: 3.844 kB / 1.019 GB, free: 13.41 MB / 0.7325 GB Notification: Performance of Transformations before backend: time 0.001606/0.5729, allocations: 4 kB / 1.019 GB, free: 13.41 MB / 0.7325 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.9991/1.572, allocations: 41.59 MB / 1.06 GB, free: 91.23 MB / 0.7327 GB Notification: Performance of prepare preOptimizeDAE: time 4.885e-05/1.572, allocations: 8.031 kB / 1.06 GB, free: 91.23 MB / 0.7327 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.009353/1.582, allocations: 1.967 MB / 1.062 GB, free: 90.33 MB / 0.7327 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.02369/1.605, allocations: 7.487 MB / 1.069 GB, free: 85.81 MB / 0.7327 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.004679/1.61, allocations: 1.64 MB / 1.071 GB, free: 85.09 MB / 0.7327 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.01155/1.622, allocations: 2.089 MB / 1.073 GB, free: 84.45 MB / 0.7327 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.07858/1.7, allocations: 22.66 MB / 1.095 GB, free: 70.64 MB / 0.7327 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0008246/1.701, allocations: 35 kB / 1.095 GB, free: 70.62 MB / 0.7327 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.006267/1.707, allocations: 0.8272 MB / 1.096 GB, free: 70.05 MB / 0.7327 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0005514/1.708, allocations: 436.8 kB / 1.096 GB, free: 70.05 MB / 0.7327 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.04188/1.75, allocations: 19.51 MB / 1.115 GB, free: 54.32 MB / 0.7327 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.1134/1.863, allocations: 65.12 MB / 1.179 GB, free: 4.906 MB / 0.7483 GB Notification: Performance of preOpt comSubExp (simulation): time 0.04602/1.909, allocations: 40.95 MB / 1.219 GB, free: 11.39 MB / 0.7952 GB Notification: Performance of preOpt evalFunc (simulation): time 0.001063/1.91, allocations: 228.5 kB / 1.219 GB, free: 11.18 MB / 0.7952 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.03213/1.943, allocations: 14.65 MB / 1.233 GB, free: 11.71 MB / 0.8108 GB Notification: Performance of pre-optimization done (n=1997): time 7.22e-05/1.943, allocations: 0 / 1.233 GB, free: 11.71 MB / 0.8108 GB Notification: Performance of matching and sorting (n=1997): time 0.07132/2.014, allocations: 40.06 MB / 1.273 GB, free: 2.41 MB / 0.842 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.0049/2.019, allocations: 5.394 MB / 1.278 GB, free: 12.2 MB / 0.8577 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.0116/2.031, allocations: 5.271 MB / 1.283 GB, free: 6.91 MB / 0.8577 GB Notification: Performance of collectPreVariables (initialization): time 0.005664/2.036, allocations: 1.146 MB / 1.284 GB, free: 5.758 MB / 0.8577 GB Notification: Performance of collectInitialEqns (initialization): time 0.007334/2.044, allocations: 5.066 MB / 1.289 GB, free: 0.9922 MB / 0.8577 GB Notification: Performance of collectInitialBindings (initialization): time 0.008613/2.052, allocations: 4.798 MB / 1.294 GB, free: 12.19 MB / 0.8733 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.002969/2.055, allocations: 480 kB / 1.294 GB, free: 11.72 MB / 0.8733 GB Notification: Performance of setup shared object (initialization): time 0.0001033/2.056, allocations: 301.1 kB / 1.294 GB, free: 11.42 MB / 0.8733 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.01726/2.073, allocations: 6.131 MB / 1.3 GB, free: 5.285 MB / 0.8733 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.02584/2.099, allocations: 12.41 MB / 1.313 GB, free: 6.25 MB / 0.8889 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.01932/2.118, allocations: 7.646 MB / 1.32 GB, free: 14.53 MB / 0.9045 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0003363/2.118, allocations: 56 kB / 1.32 GB, free: 14.48 MB / 0.9045 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 ] * [ 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. Warning: The linear system: 1 : $PRE.heatProducerAgent2.costNew = heatProducerAgent2.costNew 2 : heatProducerAgent2.costNew = $PRE.heatProducerAgent2.costNew [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ heatProducerAgent2.costNew ; $PRE.heatProducerAgent2.costNew ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.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 ] * [ heatProducerAgent2.totalRequest ; $PRE.heatProducerAgent2.totalRequest ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.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 ] * [ 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.heatProducerAgent1.costNew = heatProducerAgent1.costNew 2 : heatProducerAgent1.costNew = $PRE.heatProducerAgent1.costNew [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ heatProducerAgent1.costNew ; $PRE.heatProducerAgent1.costNew ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.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 ] * [ heatProducerAgent1.totalRequest ; $PRE.heatProducerAgent1.totalRequest ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.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 ] * [ heatProducerAgent.costDifference ; $PRE.heatProducerAgent.costDifference ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.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 ] * [ 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.totalRequest = heatProducerAgent.totalRequest 2 : heatProducerAgent.totalRequest = $PRE.heatProducerAgent.totalRequest [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ heatProducerAgent.totalRequest ; $PRE.heatProducerAgent.totalRequest ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.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.05564/2.174, allocations: 23.41 MB / 1.343 GB, free: 6.625 MB / 0.9202 GB Notification: Performance of prepare postOptimizeDAE: time 0.0004058/2.175, allocations: 353.7 kB / 1.343 GB, free: 6.23 MB / 0.9202 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0003823/2.175, allocations: 188 kB / 1.343 GB, free: 6.047 MB / 0.9202 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.000767/2.176, allocations: 483.6 kB / 1.344 GB, free: 5.547 MB / 0.9202 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.01202/2.188, allocations: 2.789 MB / 1.347 GB, free: 2.75 MB / 0.9202 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.007526/2.195, allocations: 12.35 MB / 1.359 GB, free: 5.191 MB / 0.9358 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.01506/2.21, allocations: 2.106 MB / 1.361 GB, free: 3.066 MB / 0.9358 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.005096/2.216, allocations: 1.074 MB / 1.362 GB, free: 1.992 MB / 0.9358 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.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer broker_LTC.finalRequestDone:DISCRETE(start = false fixed = true ) "Boolean variable to announce finalRequestDone" type: Boolean broker_LTC.informationDone:DISCRETE(start = false fixed = true ) "Boolean variable to announce informationDone" type: Boolean broker_LTC.calculationDone:DISCRETE(start = false fixed = true ) "Boolean variable to annonce calculationDone" type: Boolean broker_LTC.heatingRequestSum:DISCRETE(start = 0.0 fixed = true ) "Real variable to define the sum of heating requests" type: Real broker_LTC.requestsExceedSupply:DISCRETE(start = false fixed = true ) "Boolean variable to describe whteher requests exceed supply" type: Boolean broker_LTC.proposalsComplete:DISCRETE(start = false fixed = true ) "Boolean variable to describe whether all proposals have been collected" type: Boolean 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.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer broker_HTC.finalRequestDone:DISCRETE(start = false fixed = true ) "Boolean variable to announce finalRequestDone" type: Boolean broker_HTC.informationDone:DISCRETE(start = false fixed = true ) "Boolean variable to announce informationDone" type: Boolean broker_HTC.calculationDone:DISCRETE(start = false fixed = true ) "Boolean variable to annonce calculationDone" type: Boolean broker_HTC.heatingRequestSum:DISCRETE(start = 0.0 fixed = true ) "Real variable to define the sum of heating requests" type: Real broker_HTC.requestsExceedSupply:DISCRETE(start = false fixed = true ) "Boolean variable to describe whteher requests exceed supply" type: Boolean broker_HTC.proposalsComplete:DISCRETE(start = false fixed = true ) "Boolean variable to describe whether all proposals have been collected" type: Boolean 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.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 Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 864 * 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],$PRE.roomAgent_C.messageID.pkgOut[1].dummy,roomAgent_C.messageID.pkgOut[1].dummy,$PRE.roomAgent_C.getMessageID.dummy,roomAgent_C.getMessageID.dummy,$PRE.roomAgent_C.performative.pkgOut[1].dummy,roomAgent_C.performative.pkgOut[1].dummy,$PRE.roomAgent_C.getontology.dummy,roomAgent_C.getontology.dummy,$PRE.roomAgent_C.getontology.y[1],roomAgent_C.getontology.y[1],$PRE.roomAgent_C.getontology.pkgOut[1].dummy,roomAgent_C.getontology.pkgOut[1].dummy,$PRE.roomAgent_C.getreply_to.dummy,roomAgent_C.getreply_to.dummy,$PRE.roomAgent_C.getreply_to.y[1],roomAgent_C.getreply_to.y[1],$PRE.roomAgent_C.getreply_to.pkgOut[1].dummy,roomAgent_C.getreply_to.pkgOut[1].dummy,$PRE.roomAgent_C.getreceiver.dummy,roomAgent_C.getreceiver.dummy,$PRE.roomAgent_C.getreceiver.y[1],roomAgent_C.getreceiver.y[1],$PRE.roomAgent_C.getreceiver.pkgOut[1].dummy,roomAgent_C.getreceiver.pkgOut[1].dummy,$PRE.roomAgent_C.getsender.dummy,roomAgent_C.getsender.dummy,$PRE.roomAgent_C.getsender.y[1],roomAgent_C.getsender.y[1],$PRE.roomAgent_C.getsender.pkgOut[1].dummy,roomAgent_C.getsender.pkgOut[1].dummy,$PRE.roomAgent_C.getperformative.dummy,roomAgent_C.getperformative.dummy,$PRE.roomAgent_C.getperformative.pkgOut[1].dummy,roomAgent_C.getperformative.pkgOut[1].dummy,$PRE.roomAgent_C.ontology.pkgOut[1].dummy,roomAgent_C.ontology.pkgOut[1].dummy,$PRE.roomAgent_C.reply_to.pkgOut[1].dummy,roomAgent_C.reply_to.pkgOut[1].dummy,$PRE.roomAgent_C.receiver.pkgOut[1].dummy,roomAgent_C.receiver.pkgOut[1].dummy,$PRE.roomAgent_C.sender.pkgOut[1].dummy,roomAgent_C.sender.pkgOut[1].dummy,$PRE.roomAgent_C.uDPSend_adapted.dummy,roomAgent_C.uDPSend_adapted.dummy,$PRE.roomAgent_C.uDPReceive_adapted.nRecvbufOverwrites,roomAgent_C.uDPReceive_adapted.nRecvbufOverwrites,$PRE.roomAgent_C.uDPReceive_adapted.nRecvBytes,roomAgent_C.uDPReceive_adapted.nRecvBytes,$PRE.roomAgent_C.uDPReceive_adapted.pkgOut.dummy,roomAgent_C.uDPReceive_adapted.pkgOut.dummy,$PRE.roomAgent_C.get_content.dummy,roomAgent_C.get_content.dummy,$PRE.roomAgent_C.get_content.y[2],roomAgent_C.get_content.y[2],$PRE.roomAgent_C.get_content.y[1],roomAgent_C.get_content.y[1],$PRE.roomAgent_C.get_content.pkgOut[1].dummy,roomAgent_C.get_content.pkgOut[1].dummy,$PRE.roomAgent_C.content.pkgOut[1].dummy,roomAgent_C.content.pkgOut[1].dummy,$PRE.roomAgent_C.packager.pkgOut.dummy,roomAgent_C.packager.pkgOut.dummy,$whenCondition155,roomAgent_C.getontology.pkgOut[1].trigger,$whenCondition164,$whenCondition163,$whenCondition162,$whenCondition161,$whenCondition160,$whenCondition159,$whenCondition158,$whenCondition157,$whenCondition156,$whenCondition154,$whenCondition165,$whenCondition166,$whenCondition167,$whenCondition168,$whenCondition169,$PRE.roomAgent_C.getperformative.y[1],roomAgent_C.getperformative.y[1],$PRE.roomAgent_C.getMessageID.y[1],roomAgent_C.getMessageID.y[1],roomAgent_C.messageID.pkgOut[1].trigger,roomAgent_C.messageID.pkgOut[1].backwardTrigger,roomAgent_C.stateGraphRoot.activeSteps,roomAgent_C.waiting.active,$PRE.roomAgent_C.waiting.localActive,roomAgent_C.waiting.localActive,roomAgent_C.waiting.inPort[2].occupied,roomAgent_C.waiting.inPort[3].occupied,roomAgent_C.waiting.outPort[2].available,$PRE.roomAgent_C.waiting.newActive,roomAgent_C.waiting.newActive,$PRE.roomAgent_C.waiting.oldActive,roomAgent_C.waiting.oldActive,roomAgent_C.newMessage.enableFire,$PRE.roomAgent_C.integerChange.u,roomAgent_C.integerChange.u,roomAgent_C.transitionWithSignal.condition,roomAgent_C.transitionWithSignal.enableFire,roomAgent_C.composeRequest.active,$PRE.roomAgent_C.composeRequest.localActive,roomAgent_C.composeRequest.localActive,roomAgent_C.composeRequest.inPort[2].occupied,roomAgent_C.composeRequest.inPort[3].occupied,$PRE.roomAgent_C.composeRequest.newActive,roomAgent_C.composeRequest.newActive,$PRE.roomAgent_C.composeRequest.oldActive,roomAgent_C.composeRequest.oldActive,roomAgent_C.requestNoted.enableFire,roomAgent_C.requestNoted.fire,$PRE.roomAgent_C.requestNoted.t_start,roomAgent_C.requestNoted.t_start,$PRE.roomAgent_C.sendRequest.localActive,roomAgent_C.sendRequest.localActive,roomAgent_C.sendRequest.outPort[2].available,$PRE.roomAgent_C.sendRequest.newActive,roomAgent_C.sendRequest.newActive,$PRE.roomAgent_C.sendRequest.oldActive,roomAgent_C.sendRequest.oldActive,roomAgent_C.sendRequest.active,roomAgent_C.newMessage1.condition,roomAgent_C.newMessage1.enableFire,roomAgent_C.repeat.enableFire,roomAgent_C.repeat.fire,$PRE.roomAgent_C.repeat.t_start,roomAgent_C.repeat.t_start,roomAgent_C.state.active,$PRE.roomAgent_C.state.localActive,roomAgent_C.state.localActive,roomAgent_C.state.outPort[2].available,$PRE.roomAgent_C.state.newActive,roomAgent_C.state.newActive,$PRE.roomAgent_C.state.oldActive,roomAgent_C.state.oldActive,roomAgent_C.rightMessage.condition,roomAgent_C.rightMessage.enableFire,roomAgent_C.repeat1.enableFire,roomAgent_C.repeat1.fire,$PRE.roomAgent_C.repeat1.t_start,roomAgent_C.repeat1.t_start,roomAgent_C.composeNotUnderstood.active,$PRE.roomAgent_C.composeNotUnderstood.localActive,roomAgent_C.composeNotUnderstood.localActive,$PRE.roomAgent_C.composeNotUnderstood.newActive,roomAgent_C.composeNotUnderstood.newActive,$PRE.roomAgent_C.composeNotUnderstood.oldActive,roomAgent_C.composeNotUnderstood.oldActive,roomAgent_C.transition2.enableFire,roomAgent_C.transition2.fire,$PRE.roomAgent_C.transition2.t_start,roomAgent_C.transition2.t_start,$PRE.roomAgent_C.sendNotUnderstood.localActive,roomAgent_C.sendNotUnderstood.localActive,$PRE.roomAgent_C.sendNotUnderstood.newActive,roomAgent_C.sendNotUnderstood.newActive,$PRE.roomAgent_C.sendNotUnderstood.oldActive,roomAgent_C.sendNotUnderstood.oldActive,roomAgent_C.sendNotUnderstood.active,roomAgent_C.transition4.enableFire,roomAgent_C.transition4.fire,$PRE.roomAgent_C.transition4.t_start,roomAgent_C.transition4.t_start,roomAgent_C.or2.y,roomAgent_C.composeConfirm.active,$PRE.roomAgent_C.composeConfirm.localActive,roomAgent_C.composeConfirm.localActive,$PRE.roomAgent_C.composeConfirm.newActive,roomAgent_C.composeConfirm.newActive,$PRE.roomAgent_C.composeConfirm.oldActive,roomAgent_C.composeConfirm.oldActive,$PRE.roomAgent_C.sendConfirm.localActive,roomAgent_C.sendConfirm.localActive,$PRE.roomAgent_C.sendConfirm.newActive,roomAgent_C.sendConfirm.newActive,$PRE.roomAgent_C.sendConfirm.oldActive,roomAgent_C.sendConfirm.oldActive,roomAgent_C.sendConfirm.active,roomAgent_C.confirmNoted.enableFire,roomAgent_C.confirmNoted.fire,$PRE.roomAgent_C.confirmNoted.t_start,roomAgent_C.confirmNoted.t_start,roomAgent_C.transition1.enableFire,roomAgent_C.transition1.fire,$PRE.roomAgent_C.transition1.t_start,roomAgent_C.transition1.t_start,roomAgent_C.waitForInform.active,$PRE.roomAgent_C.waitForInform.localActive,roomAgent_C.waitForInform.localActive,roomAgent_C.waitForInform.outPort[2].available,$PRE.roomAgent_C.waitForInform.newActive,roomAgent_C.waitForInform.newActive,$PRE.roomAgent_C.waitForInform.oldActive,roomAgent_C.waitForInform.oldActive,roomAgent_C.rightMessage1.condition,roomAgent_C.rightMessage1.enableFire,roomAgent_C.and1.u2,roomAgent_C.booleanExpression.y,roomAgent_C.reset.enableFire,roomAgent_C.reset.fire,$PRE.roomAgent_C.reset.t_start,roomAgent_C.reset.t_start,timeTable.a,timeTable.b,timeTable.last,$PRE.timeTable.nextEvent,timeTable.nextEvent,timeTable.nextEventScaled,$PRE.roomAgent_C.newMessage.t_start,roomAgent_C.newMessage.t_start,$PRE.roomAgent_C.transitionWithSignal.t_start,roomAgent_C.transitionWithSignal.t_start,$PRE.roomAgent_C.newMessage1.t_start,roomAgent_C.newMessage1.t_start,$PRE.roomAgent_C.rightMessage.t_start,roomAgent_C.rightMessage.t_start,$PRE.roomAgent_C.rightMessage1.t_start,roomAgent_C.rightMessage1.t_start,$PRE.broker_LTC.packager.pkgOut.dummy,broker_LTC.packager.pkgOut.dummy,$PRE.broker_LTC.content.pkgOut[1].dummy,broker_LTC.content.pkgOut[1].dummy,$PRE.broker_LTC.get_content.pkgOut[1].dummy,broker_LTC.get_content.pkgOut[1].dummy,$PRE.broker_LTC.get_content.dummy,broker_LTC.get_content.dummy,$PRE.broker_LTC.get_content.y[2],broker_LTC.get_content.y[2],$PRE.broker_LTC.get_content.y[1],broker_LTC.get_content.y[1],$PRE.broker_LTC.uDPReceive_adapted.nRecvbufOverwrites,broker_LTC.uDPReceive_adapted.nRecvbufOverwrites,$PRE.broker_LTC.uDPReceive_adapted.nRecvBytes,broker_LTC.uDPReceive_adapted.nRecvBytes,$PRE.broker_LTC.uDPReceive_adapted.pkgOut.dummy,broker_LTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_LTC.uDPSend_adapted.dummy,broker_LTC.uDPSend_adapted.dummy,$PRE.broker_LTC.sender.pkgOut[1].dummy,broker_LTC.sender.pkgOut[1].dummy,$PRE.broker_LTC.receiver.pkgOut[1].dummy,broker_LTC.receiver.pkgOut[1].dummy,$PRE.broker_LTC.reply_to.pkgOut[1].dummy,broker_LTC.reply_to.pkgOut[1].dummy,$PRE.broker_LTC.ontology.pkgOut[1].dummy,broker_LTC.ontology.pkgOut[1].dummy,$PRE.broker_LTC.getperformative.pkgOut[1].dummy,broker_LTC.getperformative.pkgOut[1].dummy,$PRE.broker_LTC.getperformative.dummy,broker_LTC.getperformative.dummy,$PRE.broker_LTC.getsender.pkgOut[1].dummy,broker_LTC.getsender.pkgOut[1].dummy,$PRE.broker_LTC.getsender.dummy,broker_LTC.getsender.dummy,$PRE.broker_LTC.getreceiver.pkgOut[1].dummy,broker_LTC.getreceiver.pkgOut[1].dummy,$PRE.broker_LTC.getreceiver.dummy,broker_LTC.getreceiver.dummy,$PRE.broker_LTC.getreceiver.y[1],broker_LTC.getreceiver.y[1],$PRE.broker_LTC.getreply_to.pkgOut[1].dummy,broker_LTC.getreply_to.pkgOut[1].dummy,$PRE.broker_LTC.getreply_to.dummy,broker_LTC.getreply_to.dummy,$PRE.broker_LTC.getreply_to.y[1],broker_LTC.getreply_to.y[1],$PRE.broker_LTC.getontology.pkgOut[1].dummy,broker_LTC.getontology.pkgOut[1].dummy,$PRE.broker_LTC.getontology.dummy,broker_LTC.getontology.dummy,$PRE.broker_LTC.getontology.y[1],broker_LTC.getontology.y[1],$PRE.broker_LTC.performative.pkgOut[1].dummy,broker_LTC.performative.pkgOut[1].dummy,$PRE.broker_LTC.getMessageID.dummy,broker_LTC.getMessageID.dummy,$PRE.broker_LTC.messageID.pkgOut[1].dummy,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,$whenCondition152,broker_LTC.getontology.pkgOut[1].trigger,$whenCondition153,$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,$PRE.broker_LTC.receiver.u[1],broker_LTC.receiver.u[1],$PRE.broker_LTC.getperformative.y[1],broker_LTC.getperformative.y[1],$PRE.broker_LTC.getsender.y[1],broker_LTC.getsender.y[1],$PRE.broker_LTC.getMessageID.y[1],broker_LTC.getMessageID.y[1],broker_LTC.messageID.pkgOut[1].trigger,broker_LTC.messageID.pkgOut[1].backwardTrigger,broker_LTC.stateGraphRoot.activeSteps,$PRE.broker_LTC.proposalsComplete,broker_LTC.proposalsComplete,$PRE.broker_LTC.requestsExceedSupply,broker_LTC.requestsExceedSupply,$PRE.broker_LTC.heatingRequestSum,broker_LTC.heatingRequestSum,$PRE.broker_LTC.calculationDone,broker_LTC.calculationDone,$PRE.broker_LTC.informationDone,broker_LTC.informationDone,$PRE.broker_LTC.finalRequestDone,broker_LTC.finalRequestDone,broker_LTC.waiting.active,$PRE.broker_LTC.waiting.localActive,broker_LTC.waiting.localActive,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,$PRE.broker_LTC.waiting.newActive,broker_LTC.waiting.newActive,$PRE.broker_LTC.waiting.oldActive,broker_LTC.waiting.oldActive,broker_LTC.newMessage.enableFire,broker_LTC.message.active,$PRE.broker_LTC.message.localActive,broker_LTC.message.localActive,broker_LTC.message.outPort[2].available,$PRE.broker_LTC.message.newActive,broker_LTC.message.newActive,$PRE.broker_LTC.message.oldActive,broker_LTC.message.oldActive,$PRE.broker_LTC.integerChange.u,broker_LTC.integerChange.u,broker_LTC.transitionWithSignal.enableFire,broker_LTC.requests.active,$PRE.broker_LTC.requests.localActive,broker_LTC.requests.localActive,broker_LTC.requests.inPort[2].occupied,$PRE.broker_LTC.requests.newActive,broker_LTC.requests.newActive,$PRE.broker_LTC.requests.oldActive,broker_LTC.requests.oldActive,broker_LTC.waitforRequests.enableFire,broker_LTC.waitforRequests.fire,$PRE.broker_LTC.waitforRequests.t_start,broker_LTC.waitforRequests.t_start,broker_LTC.newRequests.enableFire,broker_LTC.callForProposal.active,$PRE.broker_LTC.callForProposal.localActive,broker_LTC.callForProposal.localActive,broker_LTC.callForProposal.inPort[2].occupied,$PRE.broker_LTC.callForProposal.newActive,broker_LTC.callForProposal.newActive,$PRE.broker_LTC.callForProposal.oldActive,broker_LTC.callForProposal.oldActive,broker_LTC.newProposal.enableFire,broker_LTC.collectProposal.active,$PRE.broker_LTC.collectProposal.localActive,broker_LTC.collectProposal.localActive,broker_LTC.collectProposal.outPort[2].available,$PRE.broker_LTC.collectProposal.newActive,broker_LTC.collectProposal.newActive,$PRE.broker_LTC.collectProposal.oldActive,broker_LTC.collectProposal.oldActive,broker_LTC.allProposalsCollected.enableFire,broker_LTC.allProposalsCollected.fire,$PRE.broker_LTC.allProposalsCollected.t_start,broker_LTC.allProposalsCollected.t_start,broker_LTC.sendOutRequest.active,$PRE.broker_LTC.sendOutRequest.localActive,broker_LTC.sendOutRequest.localActive,broker_LTC.sendOutRequest.inPort[2].occupied,broker_LTC.sendOutRequest.inPort[3].occupied,$PRE.broker_LTC.sendOutRequest.newActive,broker_LTC.sendOutRequest.newActive,$PRE.broker_LTC.sendOutRequest.oldActive,broker_LTC.sendOutRequest.oldActive,broker_LTC.notFinished.enableFire,broker_LTC.notFinished.fire,$PRE.broker_LTC.notFinished.t_start,broker_LTC.notFinished.t_start,$PRE.broker_LTC.sendCall.localActive,broker_LTC.sendCall.localActive,broker_LTC.sendCall.outPort[2].available,$PRE.broker_LTC.sendCall.newActive,broker_LTC.sendCall.newActive,$PRE.broker_LTC.sendCall.oldActive,broker_LTC.sendCall.oldActive,broker_LTC.sendCall.active,broker_LTC.transition.enableFire,broker_LTC.transition.fire,$PRE.broker_LTC.transition.t_start,broker_LTC.transition.t_start,$PRE.broker_LTC.sendRequest.localActive,broker_LTC.sendRequest.localActive,broker_LTC.sendRequest.outPort[2].available,$PRE.broker_LTC.sendRequest.newActive,broker_LTC.sendRequest.newActive,$PRE.broker_LTC.sendRequest.oldActive,broker_LTC.sendRequest.oldActive,broker_LTC.sendRequest.active,broker_LTC.transition1.enableFire,broker_LTC.transition1.fire,$PRE.broker_LTC.transition1.t_start,broker_LTC.transition1.t_start,broker_LTC.check.active,$PRE.broker_LTC.check.localActive,broker_LTC.check.localActive,broker_LTC.check.outPort[2].available,$PRE.broker_LTC.check.newActive,broker_LTC.check.newActive,$PRE.broker_LTC.check.oldActive,broker_LTC.check.oldActive,broker_LTC.correctPerformative.condition,broker_LTC.correctPerformative.enableFire,broker_LTC.check1.active,$PRE.broker_LTC.check1.localActive,broker_LTC.check1.localActive,$PRE.broker_LTC.check1.newActive,broker_LTC.check1.newActive,$PRE.broker_LTC.check1.oldActive,broker_LTC.check1.oldActive,broker_LTC.correctPerformative1.condition,broker_LTC.correctPerformative1.enableFire,broker_LTC.requestNoted.enableFire,broker_LTC.requestNoted.fire,$PRE.broker_LTC.requestNoted.t_start,broker_LTC.requestNoted.t_start,$PRE.broker_LTC.sendConfirmation.localActive,broker_LTC.sendConfirmation.localActive,broker_LTC.sendConfirmation.outPort[2].available,$PRE.broker_LTC.sendConfirmation.newActive,broker_LTC.sendConfirmation.newActive,$PRE.broker_LTC.sendConfirmation.oldActive,broker_LTC.sendConfirmation.oldActive,broker_LTC.sendConfirmation.active,broker_LTC.actionConfirmed.condition,broker_LTC.actionConfirmed.enableFire,broker_LTC.transitionWithSignal3.condition,broker_LTC.transitionWithSignal3.enableFire,broker_LTC.transitionWithSignal3.fire,$PRE.broker_LTC.transitionWithSignal3.t_start,broker_LTC.transitionWithSignal3.t_start,broker_LTC.composeNotUnderstood.active,$PRE.broker_LTC.composeNotUnderstood.localActive,broker_LTC.composeNotUnderstood.localActive,$PRE.broker_LTC.composeNotUnderstood.newActive,broker_LTC.composeNotUnderstood.newActive,$PRE.broker_LTC.composeNotUnderstood.oldActive,broker_LTC.composeNotUnderstood.oldActive,broker_LTC.transition2.enableFire,broker_LTC.transition2.fire,$PRE.broker_LTC.transition2.t_start,broker_LTC.transition2.t_start,$PRE.broker_LTC.sendNotUnderstood.localActive,broker_LTC.sendNotUnderstood.localActive,$PRE.broker_LTC.sendNotUnderstood.newActive,broker_LTC.sendNotUnderstood.newActive,$PRE.broker_LTC.sendNotUnderstood.oldActive,broker_LTC.sendNotUnderstood.oldActive,broker_LTC.sendNotUnderstood.active,broker_LTC.transition4.enableFire,broker_LTC.transition4.fire,$PRE.broker_LTC.transition4.t_start,broker_LTC.transition4.t_start,broker_LTC.composeInformation.active,$PRE.broker_LTC.composeInformation.localActive,broker_LTC.composeInformation.localActive,broker_LTC.composeInformation.inPort[2].occupied,$PRE.broker_LTC.composeInformation.newActive,broker_LTC.composeInformation.newActive,$PRE.broker_LTC.composeInformation.oldActive,broker_LTC.composeInformation.oldActive,broker_LTC.newConfirm.condition,broker_LTC.newConfirm.enableFire,broker_LTC.check2.active,$PRE.broker_LTC.check2.localActive,broker_LTC.check2.localActive,broker_LTC.check2.outPort[2].available,$PRE.broker_LTC.check2.newActive,broker_LTC.check2.newActive,$PRE.broker_LTC.check2.oldActive,broker_LTC.check2.oldActive,broker_LTC.correctPerformative2.condition,broker_LTC.correctPerformative2.enableFire,broker_LTC.collectConfirm.active,$PRE.broker_LTC.collectConfirm.localActive,broker_LTC.collectConfirm.localActive,broker_LTC.collectConfirm.outPort[2].available,broker_LTC.collectConfirm.outPort[3].available,$PRE.broker_LTC.collectConfirm.newActive,broker_LTC.collectConfirm.newActive,$PRE.broker_LTC.collectConfirm.oldActive,broker_LTC.collectConfirm.oldActive,broker_LTC.computePrice.active,$PRE.broker_LTC.computePrice.localActive,broker_LTC.computePrice.localActive,$PRE.broker_LTC.computePrice.newActive,broker_LTC.computePrice.newActive,$PRE.broker_LTC.computePrice.oldActive,broker_LTC.computePrice.oldActive,broker_LTC.transition5.enableFire,broker_LTC.transition5.fire,$PRE.broker_LTC.transition5.t_start,broker_LTC.transition5.t_start,broker_LTC.transition6.enableFire,broker_LTC.transition6.fire,$PRE.broker_LTC.transition6.t_start,broker_LTC.transition6.t_start,$PRE.broker_LTC.sendInformation.localActive,broker_LTC.sendInformation.localActive,$PRE.broker_LTC.sendInformation.newActive,broker_LTC.sendInformation.newActive,$PRE.broker_LTC.sendInformation.oldActive,broker_LTC.sendInformation.oldActive,broker_LTC.sendInformation.active,broker_LTC.confirmComplete.condition,broker_LTC.confirmComplete.enableFire,broker_LTC.computeFinalConstellation.active,$PRE.broker_LTC.computeFinalConstellation.localActive,broker_LTC.computeFinalConstellation.localActive,$PRE.broker_LTC.computeFinalConstellation.newActive,broker_LTC.computeFinalConstellation.newActive,$PRE.broker_LTC.computeFinalConstellation.oldActive,broker_LTC.computeFinalConstellation.oldActive,broker_LTC.transition7.enableFire,broker_LTC.transition7.fire,$PRE.broker_LTC.transition7.t_start,broker_LTC.transition7.t_start,broker_LTC.checkRequestComplete.active,$PRE.broker_LTC.checkRequestComplete.localActive,broker_LTC.checkRequestComplete.localActive,broker_LTC.checkRequestComplete.outPort[2].available,$PRE.broker_LTC.checkRequestComplete.newActive,broker_LTC.checkRequestComplete.newActive,$PRE.broker_LTC.checkRequestComplete.oldActive,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.enableFire,broker_LTC.abort.fire,$PRE.broker_LTC.abort.t_start,broker_LTC.abort.t_start,broker_LTC.prepareTableforRejections.active,$PRE.broker_LTC.prepareTableforRejections.localActive,broker_LTC.prepareTableforRejections.localActive,$PRE.broker_LTC.prepareTableforRejections.newActive,broker_LTC.prepareTableforRejections.newActive,$PRE.broker_LTC.prepareTableforRejections.oldActive,broker_LTC.prepareTableforRejections.oldActive,broker_LTC.transition3.enableFire,broker_LTC.transition3.fire,$PRE.broker_LTC.transition3.t_start,broker_LTC.transition3.t_start,broker_LTC.reset.enableFire,broker_LTC.reset.fire,$PRE.broker_LTC.reset.t_start,broker_LTC.reset.t_start,broker_LTC.reset1.enableFire,broker_LTC.reset1.fire,$PRE.broker_LTC.reset1.t_start,broker_LTC.reset1.t_start,broker_LTC.reset2.enableFire,broker_LTC.reset2.fire,$PRE.broker_LTC.reset2.t_start,broker_LTC.reset2.t_start,broker_LTC.reset3.enableFire,broker_LTC.reset3.fire,$PRE.broker_LTC.reset3.t_start,broker_LTC.reset3.t_start,broker_LTC.checkAvailability.active,$PRE.broker_LTC.checkAvailability.localActive,broker_LTC.checkAvailability.localActive,broker_LTC.checkAvailability.outPort[2].available,$PRE.broker_LTC.checkAvailability.newActive,broker_LTC.checkAvailability.newActive,$PRE.broker_LTC.checkAvailability.oldActive,broker_LTC.checkAvailability.oldActive,broker_LTC.enoughSupply.enableFire,broker_LTC.enoughSupply.fire,$PRE.broker_LTC.enoughSupply.t_start,broker_LTC.enoughSupply.t_start,broker_LTC.limitedSupplyAbort.active,$PRE.broker_LTC.limitedSupplyAbort.localActive,broker_LTC.limitedSupplyAbort.localActive,$PRE.broker_LTC.limitedSupplyAbort.newActive,broker_LTC.limitedSupplyAbort.newActive,$PRE.broker_LTC.limitedSupplyAbort.oldActive,broker_LTC.limitedSupplyAbort.oldActive,broker_LTC.enoughSupply1.enableFire,broker_LTC.enoughSupply1.fire,$PRE.broker_LTC.enoughSupply1.t_start,broker_LTC.enoughSupply1.t_start,broker_LTC.reset4.enableFire,broker_LTC.reset4.fire,$PRE.broker_LTC.reset4.t_start,broker_LTC.reset4.t_start,$PRE.broker_LTC.newMessage.t_start,broker_LTC.newMessage.t_start,$PRE.broker_LTC.transitionWithSignal.t_start,broker_LTC.transitionWithSignal.t_start,$PRE.broker_LTC.newRequests.t_start,broker_LTC.newRequests.t_start,$PRE.broker_LTC.newProposal.t_start,broker_LTC.newProposal.t_start,$PRE.broker_LTC.correctPerformative.t_start,broker_LTC.correctPerformative.t_start,$PRE.broker_LTC.correctPerformative1.t_start,broker_LTC.correctPerformative1.t_start,$PRE.broker_LTC.actionConfirmed.t_start,broker_LTC.actionConfirmed.t_start,$PRE.broker_LTC.newConfirm.t_start,broker_LTC.newConfirm.t_start,$PRE.broker_LTC.correctPerformative2.t_start,broker_LTC.correctPerformative2.t_start,$PRE.broker_LTC.confirmComplete.t_start,broker_LTC.confirmComplete.t_start,$PRE.broker_LTC.requestsComplete.t_start,broker_LTC.requestsComplete.t_start,$PRE.broker_LTC.requestsNotComplete.t_start,broker_LTC.requestsNotComplete.t_start,$PRE.broker_LTC.confirmNotComplete.t_start,broker_LTC.confirmNotComplete.t_start,$PRE.heatProducerAgent2.packager.pkgOut.dummy,heatProducerAgent2.packager.pkgOut.dummy,$PRE.heatProducerAgent2.content.pkgOut[1].dummy,heatProducerAgent2.content.pkgOut[1].dummy,$PRE.heatProducerAgent2.get_content.pkgOut[1].dummy,heatProducerAgent2.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent2.get_content.dummy,heatProducerAgent2.get_content.dummy,$PRE.heatProducerAgent2.get_content.y[2],heatProducerAgent2.get_content.y[2],$PRE.heatProducerAgent2.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent2.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent2.uDPReceive_adapted.nRecvBytes,heatProducerAgent2.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent2.uDPReceive_adapted.pkgOut.dummy,heatProducerAgent2.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent2.uDPSend_adapted.dummy,heatProducerAgent2.uDPSend_adapted.dummy,$PRE.heatProducerAgent2.sender.pkgOut[1].dummy,heatProducerAgent2.sender.pkgOut[1].dummy,$PRE.heatProducerAgent2.receiver.pkgOut[1].dummy,heatProducerAgent2.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent2.reply_to.pkgOut[1].dummy,heatProducerAgent2.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent2.ontology.pkgOut[1].dummy,heatProducerAgent2.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent2.getperformative.pkgOut[1].dummy,heatProducerAgent2.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent2.getperformative.dummy,heatProducerAgent2.getperformative.dummy,$PRE.heatProducerAgent2.getsender.pkgOut[1].dummy,heatProducerAgent2.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent2.getsender.dummy,heatProducerAgent2.getsender.dummy,$PRE.heatProducerAgent2.getsender.y[1],heatProducerAgent2.getsender.y[1],$PRE.heatProducerAgent2.getreceiver.pkgOut[1].dummy,heatProducerAgent2.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent2.getreceiver.dummy,heatProducerAgent2.getreceiver.dummy,$PRE.heatProducerAgent2.getreceiver.y[1],heatProducerAgent2.getreceiver.y[1],$PRE.heatProducerAgent2.getreply_to.pkgOut[1].dummy,heatProducerAgent2.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent2.getreply_to.dummy,heatProducerAgent2.getreply_to.dummy,$PRE.heatProducerAgent2.getreply_to.y[1],heatProducerAgent2.getreply_to.y[1],$PRE.heatProducerAgent2.getontology.pkgOut[1].dummy,heatProducerAgent2.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent2.getontology.dummy,heatProducerAgent2.getontology.dummy,$PRE.heatProducerAgent2.getontology.y[1],heatProducerAgent2.getontology.y[1],$PRE.heatProducerAgent2.performative.pkgOut[1].dummy,heatProducerAgent2.performative.pkgOut[1].dummy,$PRE.heatProducerAgent2.getMessageID.dummy,heatProducerAgent2.getMessageID.dummy,$PRE.heatProducerAgent2.messageID.pkgOut[1].dummy,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.setCapacity,heatProducerAgent2.and1.u2,$PRE.heatProducerAgent2.calcCapacityInternal,heatProducerAgent2.calcCapacityInternal,$whenCondition76,heatProducerAgent2.getontology.pkgOut[1].trigger,$PRE.heatProducerAgent1.packager.pkgOut.dummy,heatProducerAgent1.packager.pkgOut.dummy,$PRE.heatProducerAgent1.content.pkgOut[1].dummy,heatProducerAgent1.content.pkgOut[1].dummy,$PRE.heatProducerAgent1.get_content.pkgOut[1].dummy,heatProducerAgent1.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent1.get_content.dummy,heatProducerAgent1.get_content.dummy,$PRE.heatProducerAgent1.get_content.y[2],heatProducerAgent1.get_content.y[2],$PRE.heatProducerAgent1.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent1.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent1.uDPReceive_adapted.nRecvBytes,heatProducerAgent1.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent1.uDPReceive_adapted.pkgOut.dummy,heatProducerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent1.uDPSend_adapted.dummy,heatProducerAgent1.uDPSend_adapted.dummy,$PRE.heatProducerAgent1.sender.pkgOut[1].dummy,heatProducerAgent1.sender.pkgOut[1].dummy,$PRE.heatProducerAgent1.receiver.pkgOut[1].dummy,heatProducerAgent1.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent1.reply_to.pkgOut[1].dummy,heatProducerAgent1.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent1.ontology.pkgOut[1].dummy,heatProducerAgent1.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent1.getperformative.pkgOut[1].dummy,heatProducerAgent1.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent1.getperformative.dummy,heatProducerAgent1.getperformative.dummy,$PRE.heatProducerAgent1.getsender.pkgOut[1].dummy,heatProducerAgent1.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent1.getsender.dummy,heatProducerAgent1.getsender.dummy,$PRE.heatProducerAgent1.getsender.y[1],heatProducerAgent1.getsender.y[1],$PRE.heatProducerAgent1.getreceiver.pkgOut[1].dummy,heatProducerAgent1.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent1.getreceiver.dummy,heatProducerAgent1.getreceiver.dummy,$PRE.heatProducerAgent1.getreceiver.y[1],heatProducerAgent1.getreceiver.y[1],$PRE.heatProducerAgent1.getreply_to.pkgOut[1].dummy,heatProducerAgent1.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent1.getreply_to.dummy,heatProducerAgent1.getreply_to.dummy,$PRE.heatProducerAgent1.getreply_to.y[1],heatProducerAgent1.getreply_to.y[1],$PRE.heatProducerAgent1.getontology.pkgOut[1].dummy,heatProducerAgent1.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent1.getontology.dummy,heatProducerAgent1.getontology.dummy,$PRE.heatProducerAgent1.getontology.y[1],heatProducerAgent1.getontology.y[1],$PRE.heatProducerAgent1.performative.pkgOut[1].dummy,heatProducerAgent1.performative.pkgOut[1].dummy,$PRE.heatProducerAgent1.getMessageID.dummy,heatProducerAgent1.getMessageID.dummy,$PRE.heatProducerAgent1.messageID.pkgOut[1].dummy,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.setCapacity,heatProducerAgent1.and1.u2,$PRE.heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.calcCapacityInternal,$whenCondition88,heatProducerAgent1.getontology.pkgOut[1].trigger,$PRE.heatProducerAgent.packager.pkgOut.dummy,heatProducerAgent.packager.pkgOut.dummy,$PRE.heatProducerAgent.content.pkgOut[1].dummy,heatProducerAgent.content.pkgOut[1].dummy,$PRE.heatProducerAgent.get_content.pkgOut[1].dummy,heatProducerAgent.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent.get_content.dummy,heatProducerAgent.get_content.dummy,$PRE.heatProducerAgent.get_content.y[2],heatProducerAgent.get_content.y[2],$PRE.heatProducerAgent.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent.uDPReceive_adapted.nRecvBytes,heatProducerAgent.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent.uDPReceive_adapted.pkgOut.dummy,heatProducerAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent.uDPSend_adapted.dummy,heatProducerAgent.uDPSend_adapted.dummy,$PRE.heatProducerAgent.sender.pkgOut[1].dummy,heatProducerAgent.sender.pkgOut[1].dummy,$PRE.heatProducerAgent.receiver.pkgOut[1].dummy,heatProducerAgent.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent.reply_to.pkgOut[1].dummy,heatProducerAgent.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent.ontology.pkgOut[1].dummy,heatProducerAgent.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent.getperformative.pkgOut[1].dummy,heatProducerAgent.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent.getperformative.dummy,heatProducerAgent.getperformative.dummy,$PRE.heatProducerAgent.getsender.pkgOut[1].dummy,heatProducerAgent.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent.getsender.dummy,heatProducerAgent.getsender.dummy,$PRE.heatProducerAgent.getsender.y[1],heatProducerAgent.getsender.y[1],$PRE.heatProducerAgent.getreceiver.pkgOut[1].dummy,heatProducerAgent.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent.getreceiver.dummy,heatProducerAgent.getreceiver.dummy,$PRE.heatProducerAgent.getreceiver.y[1],heatProducerAgent.getreceiver.y[1],$PRE.heatProducerAgent.getreply_to.pkgOut[1].dummy,heatProducerAgent.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent.getreply_to.dummy,heatProducerAgent.getreply_to.dummy,$PRE.heatProducerAgent.getreply_to.y[1],heatProducerAgent.getreply_to.y[1],$PRE.heatProducerAgent.getontology.pkgOut[1].dummy,heatProducerAgent.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent.getontology.dummy,heatProducerAgent.getontology.dummy,$PRE.heatProducerAgent.getontology.y[1],heatProducerAgent.getontology.y[1],$PRE.heatProducerAgent.performative.pkgOut[1].dummy,heatProducerAgent.performative.pkgOut[1].dummy,$PRE.heatProducerAgent.getMessageID.dummy,heatProducerAgent.getMessageID.dummy,$PRE.heatProducerAgent.messageID.pkgOut[1].dummy,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.setCapacity,heatProducerAgent.and1.u2,$PRE.heatProducerAgent.calcCapacityInternal,heatProducerAgent.calcCapacityInternal,$whenCondition100,heatProducerAgent.getontology.pkgOut[1].trigger,$PRE.intermediateAgent_C.packager.pkgOut.dummy,intermediateAgent_C.packager.pkgOut.dummy,$PRE.intermediateAgent_C.content.pkgOut[1].dummy,intermediateAgent_C.content.pkgOut[1].dummy,$PRE.intermediateAgent_C.get_content.pkgOut[1].dummy,intermediateAgent_C.get_content.pkgOut[1].dummy,$PRE.intermediateAgent_C.get_content.dummy,intermediateAgent_C.get_content.dummy,$PRE.intermediateAgent_C.get_content.y[2],intermediateAgent_C.get_content.y[2],$PRE.intermediateAgent_C.get_content.y[1],intermediateAgent_C.get_content.y[1],$PRE.intermediateAgent_C.uDPReceive_adapted.nRecvbufOverwrites,intermediateAgent_C.uDPReceive_adapted.nRecvbufOverwrites,$PRE.intermediateAgent_C.uDPReceive_adapted.nRecvBytes,intermediateAgent_C.uDPReceive_adapted.nRecvBytes,$PRE.intermediateAgent_C.uDPReceive_adapted.pkgOut.dummy,intermediateAgent_C.uDPReceive_adapted.pkgOut.dummy,$PRE.intermediateAgent_C.uDPSend_adapted.dummy,intermediateAgent_C.uDPSend_adapted.dummy,$PRE.intermediateAgent_C.sender.pkgOut[1].dummy,intermediateAgent_C.sender.pkgOut[1].dummy,$PRE.intermediateAgent_C.receiver.pkgOut[1].dummy,intermediateAgent_C.receiver.pkgOut[1].dummy,$PRE.intermediateAgent_C.reply_to.pkgOut[1].dummy,intermediateAgent_C.reply_to.pkgOut[1].dummy,$PRE.intermediateAgent_C.ontology.pkgOut[1].dummy,intermediateAgent_C.ontology.pkgOut[1].dummy,$PRE.intermediateAgent_C.getperformative.pkgOut[1].dummy,intermediateAgent_C.getperformative.pkgOut[1].dummy,$PRE.intermediateAgent_C.getperformative.dummy,intermediateAgent_C.getperformative.dummy,$PRE.intermediateAgent_C.getsender.pkgOut[1].dummy,intermediateAgent_C.getsender.pkgOut[1].dummy,$PRE.intermediateAgent_C.getsender.dummy,intermediateAgent_C.getsender.dummy,$PRE.intermediateAgent_C.getreceiver.pkgOut[1].dummy,intermediateAgent_C.getreceiver.pkgOut[1].dummy,$PRE.intermediateAgent_C.getreceiver.dummy,intermediateAgent_C.getreceiver.dummy,$PRE.intermediateAgent_C.getreceiver.y[1],intermediateAgent_C.getreceiver.y[1],$PRE.intermediateAgent_C.getreply_to.pkgOut[1].dummy,intermediateAgent_C.getreply_to.pkgOut[1].dummy,$PRE.intermediateAgent_C.getreply_to.dummy,intermediateAgent_C.getreply_to.dummy,$PRE.intermediateAgent_C.getreply_to.y[1],intermediateAgent_C.getreply_to.y[1],$PRE.intermediateAgent_C.getontology.pkgOut[1].dummy,intermediateAgent_C.getontology.pkgOut[1].dummy,$PRE.intermediateAgent_C.getontology.dummy,intermediateAgent_C.getontology.dummy,$PRE.intermediateAgent_C.getontology.y[1],intermediateAgent_C.getontology.y[1],$PRE.intermediateAgent_C.performative.pkgOut[1].dummy,intermediateAgent_C.performative.pkgOut[1].dummy,$PRE.intermediateAgent_C.getMessageID.dummy,intermediateAgent_C.getMessageID.dummy,$PRE.intermediateAgent_C.messageID.pkgOut[1].dummy,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.setCapacity,intermediateAgent_C.and1.u2,$whenCondition115,intermediateAgent_C.getontology.pkgOut[1].trigger,$PRE.intermediateAgent_C.newMessage.t_start,intermediateAgent_C.newMessage.t_start,$PRE.intermediateAgent_C.transitionWithSignal.t_start,intermediateAgent_C.transitionWithSignal.t_start,$PRE.intermediateAgent_C.fromTopBroker.t_start,intermediateAgent_C.fromTopBroker.t_start,$PRE.intermediateAgent_C.newMessage1.t_start,intermediateAgent_C.newMessage1.t_start,$PRE.intermediateAgent_C.newMessage2.t_start,intermediateAgent_C.newMessage2.t_start,$PRE.intermediateAgent_C.fromBottomBroker.t_start,intermediateAgent_C.fromBottomBroker.t_start,$PRE.intermediateAgent_C.Off.t_start,intermediateAgent_C.Off.t_start,$PRE.broker_HTC.packager.pkgOut.dummy,broker_HTC.packager.pkgOut.dummy,$PRE.broker_HTC.content.pkgOut[1].dummy,broker_HTC.content.pkgOut[1].dummy,$PRE.broker_HTC.get_content.pkgOut[1].dummy,broker_HTC.get_content.pkgOut[1].dummy,$PRE.broker_HTC.get_content.dummy,broker_HTC.get_content.dummy,$PRE.broker_HTC.get_content.y[2],broker_HTC.get_content.y[2],$PRE.broker_HTC.get_content.y[1],broker_HTC.get_content.y[1],$PRE.broker_HTC.uDPReceive_adapted.nRecvbufOverwrites,broker_HTC.uDPReceive_adapted.nRecvbufOverwrites,$PRE.broker_HTC.uDPReceive_adapted.nRecvBytes,broker_HTC.uDPReceive_adapted.nRecvBytes,$PRE.broker_HTC.uDPReceive_adapted.pkgOut.dummy,broker_HTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_HTC.uDPSend_adapted.dummy,broker_HTC.uDPSend_adapted.dummy,$PRE.broker_HTC.sender.pkgOut[1].dummy,broker_HTC.sender.pkgOut[1].dummy,$PRE.broker_HTC.receiver.pkgOut[1].dummy,broker_HTC.receiver.pkgOut[1].dummy,$PRE.broker_HTC.reply_to.pkgOut[1].dummy,broker_HTC.reply_to.pkgOut[1].dummy,$PRE.broker_HTC.ontology.pkgOut[1].dummy,broker_HTC.ontology.pkgOut[1].dummy,$PRE.broker_HTC.getperformative.pkgOut[1].dummy,broker_HTC.getperformative.pkgOut[1].dummy,$PRE.broker_HTC.getperformative.dummy,broker_HTC.getperformative.dummy,$PRE.broker_HTC.getsender.pkgOut[1].dummy,broker_HTC.getsender.pkgOut[1].dummy,$PRE.broker_HTC.getsender.dummy,broker_HTC.getsender.dummy,$PRE.broker_HTC.getreceiver.pkgOut[1].dummy,broker_HTC.getreceiver.pkgOut[1].dummy,$PRE.broker_HTC.getreceiver.dummy,broker_HTC.getreceiver.dummy,$PRE.broker_HTC.getreceiver.y[1],broker_HTC.getreceiver.y[1],$PRE.broker_HTC.getreply_to.pkgOut[1].dummy,broker_HTC.getreply_to.pkgOut[1].dummy,$PRE.broker_HTC.getreply_to.dummy,broker_HTC.getreply_to.dummy,$PRE.broker_HTC.getreply_to.y[1],broker_HTC.getreply_to.y[1],$PRE.broker_HTC.getontology.pkgOut[1].dummy,broker_HTC.getontology.pkgOut[1].dummy,$PRE.broker_HTC.getontology.dummy,broker_HTC.getontology.dummy,$PRE.broker_HTC.getontology.y[1],broker_HTC.getontology.y[1],$PRE.broker_HTC.performative.pkgOut[1].dummy,broker_HTC.performative.pkgOut[1].dummy,$PRE.broker_HTC.getMessageID.dummy,broker_HTC.getMessageID.dummy,$PRE.broker_HTC.messageID.pkgOut[1].dummy,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,$whenCondition39,broker_HTC.getontology.pkgOut[1].trigger,$whenCondition40,$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,$PRE.broker_HTC.receiver.u[1],broker_HTC.receiver.u[1],$PRE.broker_HTC.getperformative.y[1],broker_HTC.getperformative.y[1],$PRE.broker_HTC.getsender.y[1],broker_HTC.getsender.y[1],$PRE.broker_HTC.getMessageID.y[1],broker_HTC.getMessageID.y[1],broker_HTC.messageID.pkgOut[1].trigger,broker_HTC.messageID.pkgOut[1].backwardTrigger,broker_HTC.stateGraphRoot.activeSteps,$PRE.broker_HTC.proposalsComplete,broker_HTC.proposalsComplete,$PRE.broker_HTC.requestsExceedSupply,broker_HTC.requestsExceedSupply,$PRE.broker_HTC.heatingRequestSum,broker_HTC.heatingRequestSum,$PRE.broker_HTC.calculationDone,broker_HTC.calculationDone,$PRE.broker_HTC.informationDone,broker_HTC.informationDone,$PRE.broker_HTC.finalRequestDone,broker_HTC.finalRequestDone,broker_HTC.waiting.active,$PRE.broker_HTC.waiting.localActive,broker_HTC.waiting.localActive,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,$PRE.broker_HTC.waiting.newActive,broker_HTC.waiting.newActive,$PRE.broker_HTC.waiting.oldActive,broker_HTC.waiting.oldActive,broker_HTC.newMessage.enableFire,broker_HTC.message.active,$PRE.broker_HTC.message.localActive,broker_HTC.message.localActive,broker_HTC.message.outPort[2].available,$PRE.broker_HTC.message.newActive,broker_HTC.message.newActive,$PRE.broker_HTC.message.oldActive,broker_HTC.message.oldActive,$PRE.broker_HTC.integerChange.u,broker_HTC.integerChange.u,broker_HTC.transitionWithSignal.enableFire,broker_HTC.requests.active,$PRE.broker_HTC.requests.localActive,broker_HTC.requests.localActive,broker_HTC.requests.inPort[2].occupied,$PRE.broker_HTC.requests.newActive,broker_HTC.requests.newActive,$PRE.broker_HTC.requests.oldActive,broker_HTC.requests.oldActive,broker_HTC.waitforRequests.enableFire,broker_HTC.waitforRequests.fire,$PRE.broker_HTC.waitforRequests.t_start,broker_HTC.waitforRequests.t_start,broker_HTC.newRequests.enableFire,broker_HTC.callForProposal.active,$PRE.broker_HTC.callForProposal.localActive,broker_HTC.callForProposal.localActive,broker_HTC.callForProposal.inPort[2].occupied,$PRE.broker_HTC.callForProposal.newActive,broker_HTC.callForProposal.newActive,$PRE.broker_HTC.callForProposal.oldActive,broker_HTC.callForProposal.oldActive,broker_HTC.newProposal.enableFire,broker_HTC.collectProposal.active,$PRE.broker_HTC.collectProposal.localActive,broker_HTC.collectProposal.localActive,broker_HTC.collectProposal.outPort[2].available,$PRE.broker_HTC.collectProposal.newActive,broker_HTC.collectProposal.newActive,$PRE.broker_HTC.collectProposal.oldActive,broker_HTC.collectProposal.oldActive,broker_HTC.allProposalsCollected.enableFire,broker_HTC.allProposalsCollected.fire,$PRE.broker_HTC.allProposalsCollected.t_start,broker_HTC.allProposalsCollected.t_start,broker_HTC.sendOutRequest.active,$PRE.broker_HTC.sendOutRequest.localActive,broker_HTC.sendOutRequest.localActive,broker_HTC.sendOutRequest.inPort[2].occupied,broker_HTC.sendOutRequest.inPort[3].occupied,$PRE.broker_HTC.sendOutRequest.newActive,broker_HTC.sendOutRequest.newActive,$PRE.broker_HTC.sendOutRequest.oldActive,broker_HTC.sendOutRequest.oldActive,broker_HTC.notFinished.enableFire,broker_HTC.notFinished.fire,$PRE.broker_HTC.notFinished.t_start,broker_HTC.notFinished.t_start,$PRE.broker_HTC.sendCall.localActive,broker_HTC.sendCall.localActive,broker_HTC.sendCall.outPort[2].available,$PRE.broker_HTC.sendCall.newActive,broker_HTC.sendCall.newActive,$PRE.broker_HTC.sendCall.oldActive,broker_HTC.sendCall.oldActive,broker_HTC.sendCall.active,broker_HTC.transition.enableFire,broker_HTC.transition.fire,$PRE.broker_HTC.transition.t_start,broker_HTC.transition.t_start,$PRE.broker_HTC.sendRequest.localActive,broker_HTC.sendRequest.localActive,broker_HTC.sendRequest.outPort[2].available,$PRE.broker_HTC.sendRequest.newActive,broker_HTC.sendRequest.newActive,$PRE.broker_HTC.sendRequest.oldActive,broker_HTC.sendRequest.oldActive,broker_HTC.sendRequest.active,broker_HTC.transition1.enableFire,broker_HTC.transition1.fire,$PRE.broker_HTC.transition1.t_start,broker_HTC.transition1.t_start,broker_HTC.check.active,$PRE.broker_HTC.check.localActive,broker_HTC.check.localActive,broker_HTC.check.outPort[2].available,$PRE.broker_HTC.check.newActive,broker_HTC.check.newActive,$PRE.broker_HTC.check.oldActive,broker_HTC.check.oldActive,broker_HTC.correctPerformative.condition,broker_HTC.correctPerformative.enableFire,broker_HTC.check1.active,$PRE.broker_HTC.check1.localActive,broker_HTC.check1.localActive,$PRE.broker_HTC.check1.newActive,broker_HTC.check1.newActive,$PRE.broker_HTC.check1.oldActive,broker_HTC.check1.oldActive,broker_HTC.correctPerformative1.condition,broker_HTC.correctPerformative1.enableFire,broker_HTC.requestNoted.enableFire,broker_HTC.requestNoted.fire,$PRE.broker_HTC.requestNoted.t_start,broker_HTC.requestNoted.t_start,$PRE.broker_HTC.sendConfirmation.localActive,broker_HTC.sendConfirmation.localActive,broker_HTC.sendConfirmation.outPort[2].available,$PRE.broker_HTC.sendConfirmation.newActive,broker_HTC.sendConfirmation.newActive,$PRE.broker_HTC.sendConfirmation.oldActive,broker_HTC.sendConfirmation.oldActive,broker_HTC.sendConfirmation.active,broker_HTC.actionConfirmed.condition,broker_HTC.actionConfirmed.enableFire,broker_HTC.transitionWithSignal3.condition,broker_HTC.transitionWithSignal3.enableFire,broker_HTC.transitionWithSignal3.fire,$PRE.broker_HTC.transitionWithSignal3.t_start,broker_HTC.transitionWithSignal3.t_start,broker_HTC.composeNotUnderstood.active,$PRE.broker_HTC.composeNotUnderstood.localActive,broker_HTC.composeNotUnderstood.localActive,$PRE.broker_HTC.composeNotUnderstood.newActive,broker_HTC.composeNotUnderstood.newActive,$PRE.broker_HTC.composeNotUnderstood.oldActive,broker_HTC.composeNotUnderstood.oldActive,broker_HTC.transition2.enableFire,broker_HTC.transition2.fire,$PRE.broker_HTC.transition2.t_start,broker_HTC.transition2.t_start,$PRE.broker_HTC.sendNotUnderstood.localActive,broker_HTC.sendNotUnderstood.localActive,$PRE.broker_HTC.sendNotUnderstood.newActive,broker_HTC.sendNotUnderstood.newActive,$PRE.broker_HTC.sendNotUnderstood.oldActive,broker_HTC.sendNotUnderstood.oldActive,broker_HTC.sendNotUnderstood.active,broker_HTC.transition4.enableFire,broker_HTC.transition4.fire,$PRE.broker_HTC.transition4.t_start,broker_HTC.transition4.t_start,broker_HTC.composeInformation.active,$PRE.broker_HTC.composeInformation.localActive,broker_HTC.composeInformation.localActive,broker_HTC.composeInformation.inPort[2].occupied,$PRE.broker_HTC.composeInformation.newActive,broker_HTC.composeInformation.newActive,$PRE.broker_HTC.composeInformation.oldActive,broker_HTC.composeInformation.oldActive,broker_HTC.newConfirm.condition,broker_HTC.newConfirm.enableFire,broker_HTC.check2.active,$PRE.broker_HTC.check2.localActive,broker_HTC.check2.localActive,broker_HTC.check2.outPort[2].available,$PRE.broker_HTC.check2.newActive,broker_HTC.check2.newActive,$PRE.broker_HTC.check2.oldActive,broker_HTC.check2.oldActive,broker_HTC.correctPerformative2.condition,broker_HTC.correctPerformative2.enableFire,broker_HTC.collectConfirm.active,$PRE.broker_HTC.collectConfirm.localActive,broker_HTC.collectConfirm.localActive,broker_HTC.collectConfirm.outPort[2].available,broker_HTC.collectConfirm.outPort[3].available,$PRE.broker_HTC.collectConfirm.newActive,broker_HTC.collectConfirm.newActive,$PRE.broker_HTC.collectConfirm.oldActive,broker_HTC.collectConfirm.oldActive,broker_HTC.computePrice.active,$PRE.broker_HTC.computePrice.localActive,broker_HTC.computePrice.localActive,$PRE.broker_HTC.computePrice.newActive,broker_HTC.computePrice.newActive,$PRE.broker_HTC.computePrice.oldActive,broker_HTC.computePrice.oldActive,broker_HTC.transition5.enableFire,broker_HTC.transition5.fire,$PRE.broker_HTC.transition5.t_start,broker_HTC.transition5.t_start,broker_HTC.transition6.enableFire,broker_HTC.transition6.fire,$PRE.broker_HTC.transition6.t_start,broker_HTC.transition6.t_start,$PRE.broker_HTC.sendInformation.localActive,broker_HTC.sendInformation.localActive,$PRE.broker_HTC.sendInformation.newActive,broker_HTC.sendInformation.newActive,$PRE.broker_HTC.sendInformation.oldActive,broker_HTC.sendInformation.oldActive,broker_HTC.sendInformation.active,broker_HTC.confirmComplete.condition,broker_HTC.confirmComplete.enableFire,broker_HTC.computeFinalConstellation.active,$PRE.broker_HTC.computeFinalConstellation.localActive,broker_HTC.computeFinalConstellation.localActive,$PRE.broker_HTC.computeFinalConstellation.newActive,broker_HTC.computeFinalConstellation.newActive,$PRE.broker_HTC.computeFinalConstellation.oldActive,broker_HTC.computeFinalConstellation.oldActive,broker_HTC.transition7.enableFire,broker_HTC.transition7.fire,$PRE.broker_HTC.transition7.t_start,broker_HTC.transition7.t_start,broker_HTC.checkRequestComplete.active,$PRE.broker_HTC.checkRequestComplete.localActive,broker_HTC.checkRequestComplete.localActive,broker_HTC.checkRequestComplete.outPort[2].available,$PRE.broker_HTC.checkRequestComplete.newActive,broker_HTC.checkRequestComplete.newActive,$PRE.broker_HTC.checkRequestComplete.oldActive,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.enableFire,broker_HTC.abort.fire,$PRE.broker_HTC.abort.t_start,broker_HTC.abort.t_start,broker_HTC.prepareTableforRejections.active,$PRE.broker_HTC.prepareTableforRejections.localActive,broker_HTC.prepareTableforRejections.localActive,$PRE.broker_HTC.prepareTableforRejections.newActive,broker_HTC.prepareTableforRejections.newActive,$PRE.broker_HTC.prepareTableforRejections.oldActive,broker_HTC.prepareTableforRejections.oldActive,broker_HTC.transition3.enableFire,broker_HTC.transition3.fire,$PRE.broker_HTC.transition3.t_start,broker_HTC.transition3.t_start,broker_HTC.reset.enableFire,broker_HTC.reset.fire,$PRE.broker_HTC.reset.t_start,broker_HTC.reset.t_start,broker_HTC.reset1.enableFire,broker_HTC.reset1.fire,$PRE.broker_HTC.reset1.t_start,broker_HTC.reset1.t_start,broker_HTC.reset2.enableFire,broker_HTC.reset2.fire,$PRE.broker_HTC.reset2.t_start,broker_HTC.reset2.t_start,broker_HTC.reset3.enableFire,broker_HTC.reset3.fire,$PRE.broker_HTC.reset3.t_start,broker_HTC.reset3.t_start,broker_HTC.checkAvailability.active,$PRE.broker_HTC.checkAvailability.localActive,broker_HTC.checkAvailability.localActive,broker_HTC.checkAvailability.outPort[2].available,$PRE.broker_HTC.checkAvailability.newActive,broker_HTC.checkAvailability.newActive,$PRE.broker_HTC.checkAvailability.oldActive,broker_HTC.checkAvailability.oldActive,broker_HTC.enoughSupply.enableFire,broker_HTC.enoughSupply.fire,$PRE.broker_HTC.enoughSupply.t_start,broker_HTC.enoughSupply.t_start,broker_HTC.limitedSupplyAbort.active,$PRE.broker_HTC.limitedSupplyAbort.localActive,broker_HTC.limitedSupplyAbort.localActive,$PRE.broker_HTC.limitedSupplyAbort.newActive,broker_HTC.limitedSupplyAbort.newActive,$PRE.broker_HTC.limitedSupplyAbort.oldActive,broker_HTC.limitedSupplyAbort.oldActive,broker_HTC.enoughSupply1.enableFire,broker_HTC.enoughSupply1.fire,$PRE.broker_HTC.enoughSupply1.t_start,broker_HTC.enoughSupply1.t_start,broker_HTC.reset4.enableFire,broker_HTC.reset4.fire,$PRE.broker_HTC.reset4.t_start,broker_HTC.reset4.t_start,$PRE.broker_HTC.newMessage.t_start,broker_HTC.newMessage.t_start,$PRE.broker_HTC.transitionWithSignal.t_start,broker_HTC.transitionWithSignal.t_start,$PRE.broker_HTC.newRequests.t_start,broker_HTC.newRequests.t_start,$PRE.broker_HTC.newProposal.t_start,broker_HTC.newProposal.t_start,$PRE.broker_HTC.correctPerformative.t_start,broker_HTC.correctPerformative.t_start,$PRE.broker_HTC.correctPerformative1.t_start,broker_HTC.correctPerformative1.t_start,$PRE.broker_HTC.actionConfirmed.t_start,broker_HTC.actionConfirmed.t_start,$PRE.broker_HTC.newConfirm.t_start,broker_HTC.newConfirm.t_start,$PRE.broker_HTC.correctPerformative2.t_start,broker_HTC.correctPerformative2.t_start,$PRE.broker_HTC.confirmComplete.t_start,broker_HTC.confirmComplete.t_start,$PRE.broker_HTC.requestsComplete.t_start,broker_HTC.requestsComplete.t_start,$PRE.broker_HTC.requestsNotComplete.t_start,broker_HTC.requestsNotComplete.t_start,$PRE.broker_HTC.confirmNotComplete.t_start,broker_HTC.confirmNotComplete.t_start,$PRE.heatProducerAgent.newMessage.t_start,heatProducerAgent.newMessage.t_start,$PRE.heatProducerAgent.transitionWithSignal.t_start,heatProducerAgent.transitionWithSignal.t_start,$PRE.heatProducerAgent.transitionWithSignal1.t_start,heatProducerAgent.transitionWithSignal1.t_start,$PRE.heatProducerAgent.transitionWithSignal2.t_start,heatProducerAgent.transitionWithSignal2.t_start,$PRE.heatProducerAgent.Off.t_start,heatProducerAgent.Off.t_start,$PRE.heatProducerAgent.zeroOrderHold.firstTrigger,heatProducerAgent.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent.zeroOrderHold.ySample,$whenCondition3,heatProducerAgent.zeroOrderHold.sampleTrigger,heatProducerAgent.zeroOrderHold.ySample,$PRE.heatProducerAgent1.newMessage.t_start,heatProducerAgent1.newMessage.t_start,$PRE.heatProducerAgent1.transitionWithSignal.t_start,heatProducerAgent1.transitionWithSignal.t_start,$PRE.heatProducerAgent1.transitionWithSignal1.t_start,heatProducerAgent1.transitionWithSignal1.t_start,$PRE.heatProducerAgent1.transitionWithSignal2.t_start,heatProducerAgent1.transitionWithSignal2.t_start,$PRE.heatProducerAgent1.Off.t_start,heatProducerAgent1.Off.t_start,$PRE.heatProducerAgent1.zeroOrderHold.firstTrigger,heatProducerAgent1.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent1.zeroOrderHold.ySample,$whenCondition2,heatProducerAgent1.zeroOrderHold.sampleTrigger,heatProducerAgent1.zeroOrderHold.ySample,$PRE.heatProducerAgent2.newMessage.t_start,heatProducerAgent2.newMessage.t_start,$PRE.heatProducerAgent2.transitionWithSignal.t_start,heatProducerAgent2.transitionWithSignal.t_start,$PRE.heatProducerAgent2.transitionWithSignal1.t_start,heatProducerAgent2.transitionWithSignal1.t_start,$PRE.heatProducerAgent2.transitionWithSignal2.t_start,heatProducerAgent2.transitionWithSignal2.t_start,$PRE.heatProducerAgent2.Off.t_start,heatProducerAgent2.Off.t_start,$PRE.heatProducerAgent2.zeroOrderHold.firstTrigger,heatProducerAgent2.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent2.zeroOrderHold.ySample,$whenCondition1,heatProducerAgent2.zeroOrderHold.sampleTrigger,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.condition,heatProducerAgent.Off.condition,heatProducerAgent1.Off.condition,heatProducerAgent2.Off.condition,$whenCondition77,$whenCondition75,$whenCondition74,$whenCondition73,$whenCondition72,$whenCondition71,$whenCondition70,$whenCondition69,$whenCondition68,$whenCondition67,$whenCondition66,$whenCondition60,$whenCondition61,$whenCondition62,$whenCondition63,$whenCondition64,$whenCondition65,$PRE.heatProducerAgent2.get_content.y[1],heatProducerAgent2.get_content.y[1],$PRE.heatProducerAgent2.getperformative.y[1],heatProducerAgent2.getperformative.y[1],$PRE.heatProducerAgent2.getMessageID.y[1],heatProducerAgent2.getMessageID.y[1],heatProducerAgent2.messageID.pkgOut[1].trigger,heatProducerAgent2.messageID.pkgOut[1].backwardTrigger,heatProducerAgent2.stateGraphRoot.activeSteps,heatProducerAgent2.waiting.active,$PRE.heatProducerAgent2.waiting.localActive,heatProducerAgent2.waiting.localActive,heatProducerAgent2.waiting.inPort[2].occupied,heatProducerAgent2.waiting.inPort[3].occupied,heatProducerAgent2.waiting.inPort[4].occupied,heatProducerAgent2.waiting.outPort[2].available,$PRE.heatProducerAgent2.waiting.newActive,heatProducerAgent2.waiting.newActive,$PRE.heatProducerAgent2.waiting.oldActive,heatProducerAgent2.waiting.oldActive,heatProducerAgent2.newMessage.condition,heatProducerAgent2.newMessage.enableFire,heatProducerAgent2.message.active,$PRE.heatProducerAgent2.message.localActive,heatProducerAgent2.message.localActive,heatProducerAgent2.message.outPort[2].available,$PRE.heatProducerAgent2.message.newActive,heatProducerAgent2.message.newActive,$PRE.heatProducerAgent2.message.oldActive,heatProducerAgent2.message.oldActive,heatProducerAgent2.adjustHeat.active,$PRE.heatProducerAgent2.adjustHeat.localActive,heatProducerAgent2.adjustHeat.localActive,$PRE.heatProducerAgent2.adjustHeat.newActive,heatProducerAgent2.adjustHeat.newActive,$PRE.heatProducerAgent2.adjustHeat.oldActive,heatProducerAgent2.adjustHeat.oldActive,heatProducerAgent2.transition2.condition,heatProducerAgent2.transition2.enableFire,heatProducerAgent2.transition2.fire,$PRE.heatProducerAgent2.transition2.t_start,heatProducerAgent2.transition2.t_start,heatProducerAgent2.computeProposal.active,$PRE.heatProducerAgent2.computeProposal.localActive,heatProducerAgent2.computeProposal.localActive,$PRE.heatProducerAgent2.computeProposal.newActive,heatProducerAgent2.computeProposal.newActive,$PRE.heatProducerAgent2.computeProposal.oldActive,heatProducerAgent2.computeProposal.oldActive,heatProducerAgent2.transitionWithSignal.enableFire,heatProducerAgent2.transitionWithSignal1.condition,heatProducerAgent2.transitionWithSignal1.enableFire,heatProducerAgent2.transition1.enableFire,heatProducerAgent2.transition1.fire,$PRE.heatProducerAgent2.transition1.t_start,heatProducerAgent2.transition1.t_start,$PRE.heatProducerAgent2.sendProposal.localActive,heatProducerAgent2.sendProposal.localActive,heatProducerAgent2.sendProposal.outPort[2].available,heatProducerAgent2.sendProposal.outPort[3].available,$PRE.heatProducerAgent2.sendProposal.newActive,heatProducerAgent2.sendProposal.newActive,$PRE.heatProducerAgent2.sendProposal.oldActive,heatProducerAgent2.sendProposal.oldActive,heatProducerAgent2.sendProposal.active,$PRE.heatProducerAgent2.integerChange.u,heatProducerAgent2.integerChange.u,heatProducerAgent2.transitionWithSignal2.condition,heatProducerAgent2.transitionWithSignal2.enableFire,heatProducerAgent2.transitionWithSignal3.enableFire,heatProducerAgent2.transitionWithSignal3.fire,$PRE.heatProducerAgent2.transitionWithSignal3.t_start,heatProducerAgent2.transitionWithSignal3.t_start,heatProducerAgent2.booleanExpression3.y,heatProducerAgent2.composeNotUnderstood.active,$PRE.heatProducerAgent2.composeNotUnderstood.localActive,heatProducerAgent2.composeNotUnderstood.localActive,$PRE.heatProducerAgent2.composeNotUnderstood.newActive,heatProducerAgent2.composeNotUnderstood.newActive,$PRE.heatProducerAgent2.composeNotUnderstood.oldActive,heatProducerAgent2.composeNotUnderstood.oldActive,heatProducerAgent2.transition3.enableFire,heatProducerAgent2.transition3.fire,$PRE.heatProducerAgent2.transition3.t_start,heatProducerAgent2.transition3.t_start,$PRE.heatProducerAgent2.sendNotUnderstood.localActive,heatProducerAgent2.sendNotUnderstood.localActive,$PRE.heatProducerAgent2.sendNotUnderstood.newActive,heatProducerAgent2.sendNotUnderstood.newActive,$PRE.heatProducerAgent2.sendNotUnderstood.oldActive,heatProducerAgent2.sendNotUnderstood.oldActive,heatProducerAgent2.sendNotUnderstood.active,heatProducerAgent2.transition4.enableFire,heatProducerAgent2.transition4.fire,$PRE.heatProducerAgent2.transition4.t_start,heatProducerAgent2.transition4.t_start,heatProducerAgent2.or1.y,$PRE.heatProducerAgent2.setCapacityOut,heatProducerAgent2.setCapacityOut,$PRE.heatProducerAgent2.sendConfirmation.localActive,heatProducerAgent2.sendConfirmation.localActive,heatProducerAgent2.sendConfirmation.inPort[2].occupied,$PRE.heatProducerAgent2.sendConfirmation.newActive,heatProducerAgent2.sendConfirmation.newActive,$PRE.heatProducerAgent2.sendConfirmation.oldActive,heatProducerAgent2.sendConfirmation.oldActive,heatProducerAgent2.sendConfirmation.active,heatProducerAgent2.transition5.enableFire,heatProducerAgent2.transition5.fire,$PRE.heatProducerAgent2.transition5.t_start,heatProducerAgent2.transition5.t_start,heatProducerAgent2.confirm.active,$PRE.heatProducerAgent2.confirm.localActive,heatProducerAgent2.confirm.localActive,$PRE.heatProducerAgent2.confirm.newActive,heatProducerAgent2.confirm.newActive,$PRE.heatProducerAgent2.confirm.oldActive,heatProducerAgent2.confirm.oldActive,heatProducerAgent2.transition6.enableFire,heatProducerAgent2.transition6.fire,$PRE.heatProducerAgent2.transition6.t_start,heatProducerAgent2.transition6.t_start,heatProducerAgent2.shutDown.active,$PRE.heatProducerAgent2.shutDown.localActive,heatProducerAgent2.shutDown.localActive,$PRE.heatProducerAgent2.shutDown.newActive,heatProducerAgent2.shutDown.newActive,$PRE.heatProducerAgent2.shutDown.oldActive,heatProducerAgent2.shutDown.oldActive,heatProducerAgent2.transition7.enableFire,heatProducerAgent2.transition7.fire,$PRE.heatProducerAgent2.transition7.t_start,heatProducerAgent2.transition7.t_start,heatProducerAgent2.reset.enableFire,heatProducerAgent2.reset.fire,$PRE.heatProducerAgent2.reset.t_start,heatProducerAgent2.reset.t_start,heatProducerAgent2.Off.enableFire,$whenCondition89,$whenCondition87,$whenCondition86,$whenCondition85,$whenCondition84,$whenCondition83,$whenCondition82,$whenCondition81,$whenCondition80,$whenCondition79,$whenCondition78,$whenCondition54,$whenCondition55,$whenCondition56,$whenCondition57,$whenCondition58,$whenCondition59,$PRE.heatProducerAgent1.get_content.y[1],heatProducerAgent1.get_content.y[1],$PRE.heatProducerAgent1.getperformative.y[1],heatProducerAgent1.getperformative.y[1],$PRE.heatProducerAgent1.getMessageID.y[1],heatProducerAgent1.getMessageID.y[1],heatProducerAgent1.messageID.pkgOut[1].trigger,heatProducerAgent1.messageID.pkgOut[1].backwardTrigger,heatProducerAgent1.stateGraphRoot.activeSteps,heatProducerAgent1.waiting.active,$PRE.heatProducerAgent1.waiting.localActive,heatProducerAgent1.waiting.localActive,heatProducerAgent1.waiting.inPort[2].occupied,heatProducerAgent1.waiting.inPort[3].occupied,heatProducerAgent1.waiting.inPort[4].occupied,heatProducerAgent1.waiting.outPort[2].available,$PRE.heatProducerAgent1.waiting.newActive,heatProducerAgent1.waiting.newActive,$PRE.heatProducerAgent1.waiting.oldActive,heatProducerAgent1.waiting.oldActive,heatProducerAgent1.newMessage.condition,heatProducerAgent1.newMessage.enableFire,heatProducerAgent1.message.active,$PRE.heatProducerAgent1.message.localActive,heatProducerAgent1.message.localActive,heatProducerAgent1.message.outPort[2].available,$PRE.heatProducerAgent1.message.newActive,heatProducerAgent1.message.newActive,$PRE.heatProducerAgent1.message.oldActive,heatProducerAgent1.message.oldActive,heatProducerAgent1.adjustHeat.active,$PRE.heatProducerAgent1.adjustHeat.localActive,heatProducerAgent1.adjustHeat.localActive,$PRE.heatProducerAgent1.adjustHeat.newActive,heatProducerAgent1.adjustHeat.newActive,$PRE.heatProducerAgent1.adjustHeat.oldActive,heatProducerAgent1.adjustHeat.oldActive,heatProducerAgent1.transition2.condition,heatProducerAgent1.transition2.enableFire,heatProducerAgent1.transition2.fire,$PRE.heatProducerAgent1.transition2.t_start,heatProducerAgent1.transition2.t_start,heatProducerAgent1.computeProposal.active,$PRE.heatProducerAgent1.computeProposal.localActive,heatProducerAgent1.computeProposal.localActive,$PRE.heatProducerAgent1.computeProposal.newActive,heatProducerAgent1.computeProposal.newActive,$PRE.heatProducerAgent1.computeProposal.oldActive,heatProducerAgent1.computeProposal.oldActive,heatProducerAgent1.transitionWithSignal.enableFire,heatProducerAgent1.transitionWithSignal1.condition,heatProducerAgent1.transitionWithSignal1.enableFire,heatProducerAgent1.transition1.enableFire,heatProducerAgent1.transition1.fire,$PRE.heatProducerAgent1.transition1.t_start,heatProducerAgent1.transition1.t_start,$PRE.heatProducerAgent1.sendProposal.localActive,heatProducerAgent1.sendProposal.localActive,heatProducerAgent1.sendProposal.outPort[2].available,heatProducerAgent1.sendProposal.outPort[3].available,$PRE.heatProducerAgent1.sendProposal.newActive,heatProducerAgent1.sendProposal.newActive,$PRE.heatProducerAgent1.sendProposal.oldActive,heatProducerAgent1.sendProposal.oldActive,heatProducerAgent1.sendProposal.active,$PRE.heatProducerAgent1.integerChange.u,heatProducerAgent1.integerChange.u,heatProducerAgent1.transitionWithSignal2.condition,heatProducerAgent1.transitionWithSignal2.enableFire,heatProducerAgent1.transitionWithSignal3.enableFire,heatProducerAgent1.transitionWithSignal3.fire,$PRE.heatProducerAgent1.transitionWithSignal3.t_start,heatProducerAgent1.transitionWithSignal3.t_start,heatProducerAgent1.booleanExpression3.y,heatProducerAgent1.composeNotUnderstood.active,$PRE.heatProducerAgent1.composeNotUnderstood.localActive,heatProducerAgent1.composeNotUnderstood.localActive,$PRE.heatProducerAgent1.composeNotUnderstood.newActive,heatProducerAgent1.composeNotUnderstood.newActive,$PRE.heatProducerAgent1.composeNotUnderstood.oldActive,heatProducerAgent1.composeNotUnderstood.oldActive,heatProducerAgent1.transition3.enableFire,heatProducerAgent1.transition3.fire,$PRE.heatProducerAgent1.transition3.t_start,heatProducerAgent1.transition3.t_start,$PRE.heatProducerAgent1.sendNotUnderstood.localActive,heatProducerAgent1.sendNotUnderstood.localActive,$PRE.heatProducerAgent1.sendNotUnderstood.newActive,heatProducerAgent1.sendNotUnderstood.newActive,$PRE.heatProducerAgent1.sendNotUnderstood.oldActive,heatProducerAgent1.sendNotUnderstood.oldActive,heatProducerAgent1.sendNotUnderstood.active,heatProducerAgent1.transition4.enableFire,heatProducerAgent1.transition4.fire,$PRE.heatProducerAgent1.transition4.t_start,heatProducerAgent1.transition4.t_start,heatProducerAgent1.or1.y,$PRE.heatProducerAgent1.setCapacityOut,heatProducerAgent1.setCapacityOut,$PRE.heatProducerAgent1.sendConfirmation.localActive,heatProducerAgent1.sendConfirmation.localActive,heatProducerAgent1.sendConfirmation.inPort[2].occupied,$PRE.heatProducerAgent1.sendConfirmation.newActive,heatProducerAgent1.sendConfirmation.newActive,$PRE.heatProducerAgent1.sendConfirmation.oldActive,heatProducerAgent1.sendConfirmation.oldActive,heatProducerAgent1.sendConfirmation.active,heatProducerAgent1.transition5.enableFire,heatProducerAgent1.transition5.fire,$PRE.heatProducerAgent1.transition5.t_start,heatProducerAgent1.transition5.t_start,heatProducerAgent1.confirm.active,$PRE.heatProducerAgent1.confirm.localActive,heatProducerAgent1.confirm.localActive,$PRE.heatProducerAgent1.confirm.newActive,heatProducerAgent1.confirm.newActive,$PRE.heatProducerAgent1.confirm.oldActive,heatProducerAgent1.confirm.oldActive,heatProducerAgent1.transition6.enableFire,heatProducerAgent1.transition6.fire,$PRE.heatProducerAgent1.transition6.t_start,heatProducerAgent1.transition6.t_start,heatProducerAgent1.shutDown.active,$PRE.heatProducerAgent1.shutDown.localActive,heatProducerAgent1.shutDown.localActive,$PRE.heatProducerAgent1.shutDown.newActive,heatProducerAgent1.shutDown.newActive,$PRE.heatProducerAgent1.shutDown.oldActive,heatProducerAgent1.shutDown.oldActive,heatProducerAgent1.transition7.enableFire,heatProducerAgent1.transition7.fire,$PRE.heatProducerAgent1.transition7.t_start,heatProducerAgent1.transition7.t_start,heatProducerAgent1.reset.enableFire,heatProducerAgent1.reset.fire,$PRE.heatProducerAgent1.reset.t_start,heatProducerAgent1.reset.t_start,heatProducerAgent1.Off.enableFire,$whenCondition101,$whenCondition99,$whenCondition98,$whenCondition97,$whenCondition96,$whenCondition95,$whenCondition94,$whenCondition93,$whenCondition92,$whenCondition91,$whenCondition90,$whenCondition48,$whenCondition49,$whenCondition50,$whenCondition51,$whenCondition52,$whenCondition53,$PRE.heatProducerAgent.get_content.y[1],heatProducerAgent.get_content.y[1],$PRE.heatProducerAgent.getperformative.y[1],heatProducerAgent.getperformative.y[1],$PRE.heatProducerAgent.getMessageID.y[1],heatProducerAgent.getMessageID.y[1],heatProducerAgent.messageID.pkgOut[1].trigger,heatProducerAgent.messageID.pkgOut[1].backwardTrigger,heatProducerAgent.stateGraphRoot.activeSteps,heatProducerAgent.waiting.active,$PRE.heatProducerAgent.waiting.localActive,heatProducerAgent.waiting.localActive,heatProducerAgent.waiting.inPort[2].occupied,heatProducerAgent.waiting.inPort[3].occupied,heatProducerAgent.waiting.inPort[4].occupied,heatProducerAgent.waiting.outPort[2].available,$PRE.heatProducerAgent.waiting.newActive,heatProducerAgent.waiting.newActive,$PRE.heatProducerAgent.waiting.oldActive,heatProducerAgent.waiting.oldActive,heatProducerAgent.newMessage.condition,heatProducerAgent.newMessage.enableFire,heatProducerAgent.message.active,$PRE.heatProducerAgent.message.localActive,heatProducerAgent.message.localActive,heatProducerAgent.message.outPort[2].available,$PRE.heatProducerAgent.message.newActive,heatProducerAgent.message.newActive,$PRE.heatProducerAgent.message.oldActive,heatProducerAgent.message.oldActive,heatProducerAgent.adjustHeat.active,$PRE.heatProducerAgent.adjustHeat.localActive,heatProducerAgent.adjustHeat.localActive,$PRE.heatProducerAgent.adjustHeat.newActive,heatProducerAgent.adjustHeat.newActive,$PRE.heatProducerAgent.adjustHeat.oldActive,heatProducerAgent.adjustHeat.oldActive,heatProducerAgent.transition2.condition,heatProducerAgent.transition2.enableFire,heatProducerAgent.transition2.fire,$PRE.heatProducerAgent.transition2.t_start,heatProducerAgent.transition2.t_start,heatProducerAgent.computeProposal.active,$PRE.heatProducerAgent.computeProposal.localActive,heatProducerAgent.computeProposal.localActive,$PRE.heatProducerAgent.computeProposal.newActive,heatProducerAgent.computeProposal.newActive,$PRE.heatProducerAgent.computeProposal.oldActive,heatProducerAgent.computeProposal.oldActive,heatProducerAgent.transitionWithSignal.enableFire,heatProducerAgent.transitionWithSignal1.condition,heatProducerAgent.transitionWithSignal1.enableFire,heatProducerAgent.transition1.enableFire,heatProducerAgent.transition1.fire,$PRE.heatProducerAgent.transition1.t_start,heatProducerAgent.transition1.t_start,$PRE.heatProducerAgent.sendProposal.localActive,heatProducerAgent.sendProposal.localActive,heatProducerAgent.sendProposal.outPort[2].available,heatProducerAgent.sendProposal.outPort[3].available,$PRE.heatProducerAgent.sendProposal.newActive,heatProducerAgent.sendProposal.newActive,$PRE.heatProducerAgent.sendProposal.oldActive,heatProducerAgent.sendProposal.oldActive,heatProducerAgent.sendProposal.active,$PRE.heatProducerAgent.integerChange.u,heatProducerAgent.integerChange.u,heatProducerAgent.transitionWithSignal2.condition,heatProducerAgent.transitionWithSignal2.enableFire,heatProducerAgent.transitionWithSignal3.enableFire,heatProducerAgent.transitionWithSignal3.fire,$PRE.heatProducerAgent.transitionWithSignal3.t_start,heatProducerAgent.transitionWithSignal3.t_start,heatProducerAgent.booleanExpression3.y,heatProducerAgent.composeNotUnderstood.active,$PRE.heatProducerAgent.composeNotUnderstood.localActive,heatProducerAgent.composeNotUnderstood.localActive,$PRE.heatProducerAgent.composeNotUnderstood.newActive,heatProducerAgent.composeNotUnderstood.newActive,$PRE.heatProducerAgent.composeNotUnderstood.oldActive,heatProducerAgent.composeNotUnderstood.oldActive,heatProducerAgent.transition3.enableFire,heatProducerAgent.transition3.fire,$PRE.heatProducerAgent.transition3.t_start,heatProducerAgent.transition3.t_start,$PRE.heatProducerAgent.sendNotUnderstood.localActive,heatProducerAgent.sendNotUnderstood.localActive,$PRE.heatProducerAgent.sendNotUnderstood.newActive,heatProducerAgent.sendNotUnderstood.newActive,$PRE.heatProducerAgent.sendNotUnderstood.oldActive,heatProducerAgent.sendNotUnderstood.oldActive,heatProducerAgent.sendNotUnderstood.active,heatProducerAgent.transition4.enableFire,heatProducerAgent.transition4.fire,$PRE.heatProducerAgent.transition4.t_start,heatProducerAgent.transition4.t_start,heatProducerAgent.or1.y,$PRE.heatProducerAgent.setCapacityOut,heatProducerAgent.setCapacityOut,$PRE.heatProducerAgent.sendConfirmation.localActive,heatProducerAgent.sendConfirmation.localActive,heatProducerAgent.sendConfirmation.inPort[2].occupied,$PRE.heatProducerAgent.sendConfirmation.newActive,heatProducerAgent.sendConfirmation.newActive,$PRE.heatProducerAgent.sendConfirmation.oldActive,heatProducerAgent.sendConfirmation.oldActive,heatProducerAgent.sendConfirmation.active,heatProducerAgent.transition5.enableFire,heatProducerAgent.transition5.fire,$PRE.heatProducerAgent.transition5.t_start,heatProducerAgent.transition5.t_start,heatProducerAgent.confirm.active,$PRE.heatProducerAgent.confirm.localActive,heatProducerAgent.confirm.localActive,$PRE.heatProducerAgent.confirm.newActive,heatProducerAgent.confirm.newActive,$PRE.heatProducerAgent.confirm.oldActive,heatProducerAgent.confirm.oldActive,heatProducerAgent.transition6.enableFire,heatProducerAgent.transition6.fire,$PRE.heatProducerAgent.transition6.t_start,heatProducerAgent.transition6.t_start,heatProducerAgent.shutDown.active,$PRE.heatProducerAgent.shutDown.localActive,heatProducerAgent.shutDown.localActive,$PRE.heatProducerAgent.shutDown.newActive,heatProducerAgent.shutDown.newActive,$PRE.heatProducerAgent.shutDown.oldActive,heatProducerAgent.shutDown.oldActive,heatProducerAgent.transition7.enableFire,heatProducerAgent.transition7.fire,$PRE.heatProducerAgent.transition7.t_start,heatProducerAgent.transition7.t_start,heatProducerAgent.reset.enableFire,heatProducerAgent.reset.fire,$PRE.heatProducerAgent.reset.t_start,heatProducerAgent.reset.t_start,heatProducerAgent.Off.enableFire,$whenCondition116,$whenCondition114,$whenCondition113,$whenCondition112,$whenCondition111,$whenCondition110,$whenCondition109,$whenCondition108,$whenCondition107,$whenCondition106,$whenCondition105,$whenCondition104,$whenCondition103,$whenCondition102,$whenCondition41,$whenCondition42,$whenCondition43,$whenCondition44,$whenCondition45,$whenCondition46,$whenCondition47,$PRE.intermediateAgent_C.getperformative.y[1],intermediateAgent_C.getperformative.y[1],$PRE.intermediateAgent_C.getsender.y[1],intermediateAgent_C.getsender.y[1],$PRE.intermediateAgent_C.getMessageID.y[1],intermediateAgent_C.getMessageID.y[1],intermediateAgent_C.messageID.pkgOut[1].trigger,intermediateAgent_C.messageID.pkgOut[1].backwardTrigger,intermediateAgent_C.stateGraphRoot.activeSteps,$PRE.intermediateAgent_C.currentClient,intermediateAgent_C.currentClient,intermediateAgent_C.waiting.active,$PRE.intermediateAgent_C.waiting.localActive,intermediateAgent_C.waiting.localActive,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,$PRE.intermediateAgent_C.waiting.newActive,intermediateAgent_C.waiting.newActive,$PRE.intermediateAgent_C.waiting.oldActive,intermediateAgent_C.waiting.oldActive,intermediateAgent_C.newMessage.enableFire,intermediateAgent_C.message.active,$PRE.intermediateAgent_C.message.localActive,intermediateAgent_C.message.localActive,intermediateAgent_C.message.outPort[2].available,$PRE.intermediateAgent_C.message.newActive,intermediateAgent_C.message.newActive,$PRE.intermediateAgent_C.message.oldActive,intermediateAgent_C.message.oldActive,intermediateAgent_C.passOnCall.active,$PRE.intermediateAgent_C.passOnCall.localActive,intermediateAgent_C.passOnCall.localActive,$PRE.intermediateAgent_C.passOnCall.newActive,intermediateAgent_C.passOnCall.newActive,$PRE.intermediateAgent_C.passOnCall.oldActive,intermediateAgent_C.passOnCall.oldActive,intermediateAgent_C.transitionWithSignal.enableFire,intermediateAgent_C.transition1.enableFire,intermediateAgent_C.transition1.fire,$PRE.intermediateAgent_C.transition1.t_start,intermediateAgent_C.transition1.t_start,$PRE.intermediateAgent_C.sendCall.localActive,intermediateAgent_C.sendCall.localActive,intermediateAgent_C.sendCall.outPort[2].available,$PRE.intermediateAgent_C.sendCall.newActive,intermediateAgent_C.sendCall.newActive,$PRE.intermediateAgent_C.sendCall.oldActive,intermediateAgent_C.sendCall.oldActive,intermediateAgent_C.sendCall.active,$PRE.intermediateAgent_C.integerChange.u,intermediateAgent_C.integerChange.u,intermediateAgent_C.transitionWithSignal3.enableFire,intermediateAgent_C.transitionWithSignal3.fire,$PRE.intermediateAgent_C.transitionWithSignal3.t_start,intermediateAgent_C.transitionWithSignal3.t_start,intermediateAgent_C.booleanExpression3.y,intermediateAgent_C.composeNotUnderstood.active,$PRE.intermediateAgent_C.composeNotUnderstood.localActive,intermediateAgent_C.composeNotUnderstood.localActive,$PRE.intermediateAgent_C.composeNotUnderstood.newActive,intermediateAgent_C.composeNotUnderstood.newActive,$PRE.intermediateAgent_C.composeNotUnderstood.oldActive,intermediateAgent_C.composeNotUnderstood.oldActive,intermediateAgent_C.transition3.enableFire,intermediateAgent_C.transition3.fire,$PRE.intermediateAgent_C.transition3.t_start,intermediateAgent_C.transition3.t_start,$PRE.intermediateAgent_C.sendNotUnderstood.localActive,intermediateAgent_C.sendNotUnderstood.localActive,$PRE.intermediateAgent_C.sendNotUnderstood.newActive,intermediateAgent_C.sendNotUnderstood.newActive,$PRE.intermediateAgent_C.sendNotUnderstood.oldActive,intermediateAgent_C.sendNotUnderstood.oldActive,intermediateAgent_C.sendNotUnderstood.active,intermediateAgent_C.transition4.enableFire,intermediateAgent_C.transition4.fire,$PRE.intermediateAgent_C.transition4.t_start,intermediateAgent_C.transition4.t_start,intermediateAgent_C.fromTopBroker.condition,intermediateAgent_C.fromTopBroker.enableFire,intermediateAgent_C.newMessage1.enableFire,intermediateAgent_C.check.active,$PRE.intermediateAgent_C.check.localActive,intermediateAgent_C.check.localActive,$PRE.intermediateAgent_C.check.newActive,intermediateAgent_C.check.newActive,$PRE.intermediateAgent_C.check.oldActive,intermediateAgent_C.check.oldActive,intermediateAgent_C.passOnInformation.active,$PRE.intermediateAgent_C.passOnInformation.localActive,intermediateAgent_C.passOnInformation.localActive,$PRE.intermediateAgent_C.passOnInformation.newActive,intermediateAgent_C.passOnInformation.newActive,$PRE.intermediateAgent_C.passOnInformation.oldActive,intermediateAgent_C.passOnInformation.oldActive,intermediateAgent_C.transition7.enableFire,intermediateAgent_C.transition7.fire,$PRE.intermediateAgent_C.transition7.t_start,intermediateAgent_C.transition7.t_start,$PRE.intermediateAgent_C.sendInformation.localActive,intermediateAgent_C.sendInformation.localActive,intermediateAgent_C.sendInformation.outPort[2].available,$PRE.intermediateAgent_C.sendInformation.newActive,intermediateAgent_C.sendInformation.newActive,$PRE.intermediateAgent_C.sendInformation.oldActive,intermediateAgent_C.sendInformation.oldActive,intermediateAgent_C.sendInformation.active,intermediateAgent_C.newMessage2.condition,intermediateAgent_C.newMessage2.enableFire,intermediateAgent_C.check1.active,$PRE.intermediateAgent_C.check1.localActive,intermediateAgent_C.check1.localActive,$PRE.intermediateAgent_C.check1.newActive,intermediateAgent_C.check1.newActive,$PRE.intermediateAgent_C.check1.oldActive,intermediateAgent_C.check1.oldActive,intermediateAgent_C.fromBottomBroker.condition,intermediateAgent_C.fromBottomBroker.enableFire,intermediateAgent_C.passOnConfirmation.active,$PRE.intermediateAgent_C.passOnConfirmation.localActive,intermediateAgent_C.passOnConfirmation.localActive,$PRE.intermediateAgent_C.passOnConfirmation.newActive,intermediateAgent_C.passOnConfirmation.newActive,$PRE.intermediateAgent_C.passOnConfirmation.oldActive,intermediateAgent_C.passOnConfirmation.oldActive,intermediateAgent_C.transition8.enableFire,intermediateAgent_C.transition8.fire,$PRE.intermediateAgent_C.transition8.t_start,intermediateAgent_C.transition8.t_start,$PRE.intermediateAgent_C.sendConfirmation.localActive,intermediateAgent_C.sendConfirmation.localActive,$PRE.intermediateAgent_C.sendConfirmation.newActive,intermediateAgent_C.sendConfirmation.newActive,$PRE.intermediateAgent_C.sendConfirmation.oldActive,intermediateAgent_C.sendConfirmation.oldActive,intermediateAgent_C.sendConfirmation.active,intermediateAgent_C.transition2.enableFire,intermediateAgent_C.transition2.fire,$PRE.intermediateAgent_C.transition2.t_start,intermediateAgent_C.transition2.t_start,intermediateAgent_C.confirmToBottom.active,$PRE.intermediateAgent_C.confirmToBottom.localActive,intermediateAgent_C.confirmToBottom.localActive,$PRE.intermediateAgent_C.confirmToBottom.newActive,intermediateAgent_C.confirmToBottom.newActive,$PRE.intermediateAgent_C.confirmToBottom.oldActive,intermediateAgent_C.confirmToBottom.oldActive,intermediateAgent_C.transition5.enableFire,intermediateAgent_C.transition5.fire,$PRE.intermediateAgent_C.transition5.t_start,intermediateAgent_C.transition5.t_start,$PRE.intermediateAgent_C.sendConfirmation1.localActive,intermediateAgent_C.sendConfirmation1.localActive,$PRE.intermediateAgent_C.sendConfirmation1.newActive,intermediateAgent_C.sendConfirmation1.newActive,$PRE.intermediateAgent_C.sendConfirmation1.oldActive,intermediateAgent_C.sendConfirmation1.oldActive,intermediateAgent_C.sendConfirmation1.active,intermediateAgent_C.transition6.enableFire,intermediateAgent_C.transition6.fire,$PRE.intermediateAgent_C.transition6.t_start,intermediateAgent_C.transition6.t_start,intermediateAgent_C.or2.y,intermediateAgent_C.or4.u1,intermediateAgent_C.or4.u2,intermediateAgent_C.reset.enableFire,intermediateAgent_C.reset.fire,$PRE.intermediateAgent_C.reset.t_start,intermediateAgent_C.reset.t_start,intermediateAgent_C.reset1.enableFire,intermediateAgent_C.reset1.fire,$PRE.intermediateAgent_C.reset1.t_start,intermediateAgent_C.reset1.t_start,intermediateAgent_C.shutDown.active,$PRE.intermediateAgent_C.shutDown.localActive,intermediateAgent_C.shutDown.localActive,$PRE.intermediateAgent_C.shutDown.newActive,intermediateAgent_C.shutDown.newActive,$PRE.intermediateAgent_C.shutDown.oldActive,intermediateAgent_C.shutDown.oldActive,intermediateAgent_C.transition9.enableFire,intermediateAgent_C.transition9.fire,$PRE.intermediateAgent_C.transition9.t_start,intermediateAgent_C.transition9.t_start,intermediateAgent_C.Off.enableFire,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.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,heatProducerAgent2.uDPSend_adapted.bufferSize,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,heatProducerAgent1.uDPSend_adapted.bufferSize,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,heatProducerAgent.uDPSend_adapted.bufferSize,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.uDPSend_adapted.bufferSize,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.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.uDPSend_adapted.bufferSize,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.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.uDPSend_adapted.bufferSize,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.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.uDPSend_adapted.bufferSize,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: 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 (linear and non-linear blocks): 0 * Torn equation systems: 9 * Mixed (continuous/discrete) equation systems: 0 Notification: Torn system details for strict tearing set: * Linear torn systems: 9 {(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%) 1} * Non-linear torn systems: 0 Notification: Performance of prepare postOptimizeDAE: time 0.02174/2.237, allocations: 7.925 MB / 1.37 GB, free: 10.04 MB / 0.9514 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.005324/2.243, allocations: 1.183 MB / 1.371 GB, free: 8.848 MB / 0.9514 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.5861/2.829, allocations: 29.67 MB / 1.4 GB, free: 313.6 MB / 0.967 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 0.0002641/2.829, allocations: 191.4 kB / 1.4 GB, free: 313.6 MB / 0.967 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 0.0001279/2.829, allocations: 20.53 kB / 1.4 GB, free: 313.6 MB / 0.967 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 0.0003127/2.83, allocations: 105 kB / 1.4 GB, free: 313.6 MB / 0.967 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.09466/2.924, allocations: 53.99 MB / 1.453 GB, free: 295.6 MB / 0.967 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 0.0002895/2.925, allocations: 16.91 kB / 1.453 GB, free: 295.6 MB / 0.967 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.004768/2.929, allocations: 0.8901 MB / 1.454 GB, free: 295.4 MB / 0.967 GB Notification: Performance of postOpt tearingSystem (simulation): time 0.002954/2.932, allocations: 2.007 MB / 1.456 GB, free: 294.8 MB / 0.967 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.004532/2.937, allocations: 0.6591 MB / 1.456 GB, free: 294.6 MB / 0.967 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 0.00534/2.942, allocations: 4.904 MB / 1.461 GB, free: 291.8 MB / 0.967 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 1.631e-05/2.942, allocations: 28.12 kB / 1.461 GB, free: 291.8 MB / 0.967 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.05692/2.999, allocations: 35.5 MB / 1.496 GB, free: 263.4 MB / 0.967 GB Notification: Performance of postOpt removeConstants (simulation): time 0.002602/3.002, allocations: 1.235 MB / 1.497 GB, free: 262.2 MB / 0.967 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.005628/3.008, allocations: 0.7457 MB / 1.498 GB, free: 261.4 MB / 0.967 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.008781/3.016, allocations: 0.8276 MB / 1.498 GB, free: 260.6 MB / 0.967 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.00456/3.021, allocations: 1.884 MB / 1.5 GB, free: 258.7 MB / 0.967 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.003631/3.025, allocations: 0.8744 MB / 1.501 GB, free: 257.8 MB / 0.967 GB Notification: Performance of sorting global known variables: time 0.003161/3.028, allocations: 2.01 MB / 1.503 GB, free: 255.8 MB / 0.967 GB Notification: Performance of sort global known variables: time 5.01e-07/3.028, allocations: 0 / 1.503 GB, free: 255.8 MB / 0.967 GB Notification: Performance of remove unused functions: time 0.01988/3.048, allocations: 4.757 MB / 1.508 GB, free: 251.1 MB / 0.967 GB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 77 * Number of states: 0 () * Number of discrete variables: 1860 (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.transition5.enableFire,broker_HTC.allProposalsCollected.enableFire,broker_HTC.notFinished.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.localActive,broker_HTC.messageID.pkgOut[1].backwardTrigger,broker_HTC.sendRequest.localActive,broker_HTC.check.localActive,broker_HTC.check1.localActive,broker_HTC.sendConfirmation.localActive,broker_HTC.composeNotUnderstood.localActive,broker_HTC.transition2.enableFire,broker_HTC.sendNotUnderstood.localActive,broker_HTC.composeInformation.localActive,broker_HTC.transition6.enableFire,broker_HTC.check2.localActive,broker_HTC.collectConfirm.localActive,broker_HTC.computePrice.localActive,broker_HTC.sendInformation.localActive,broker_HTC.computeFinalConstellation.localActive,broker_HTC.checkRequestComplete.localActive,broker_HTC.prepareTableforRejections.localActive,broker_HTC.checkAvailability.localActive,broker_HTC.limitedSupplyAbort.localActive,$cse131,$cse132,$cse133,$cse134,$cse135,$cse136,$cse137,$cse138,$cse139,$cse140,$cse141,$cse142,$cse143,$cse144,$cse145,$cse146,$cse147,$cse148,$cse149,$cse150,$cse151,$cse152,$cse153,$cse154,$cse155,$cse156,$cse157,$cse158,$cse159,$cse160,$cse161,$cse162,$cse163,$cse164,$cse165,$cse166,$cse167,$cse168,$cse169,$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.outPort[2].available,broker_HTC.sendCall.newActive,broker_HTC.sendCall.oldActive,broker_HTC.sendCall.active,broker_HTC.transition.fire,broker_HTC.transition.t_start,broker_HTC.sendRequest.outPort[2].available,broker_HTC.sendRequest.newActive,broker_HTC.sendRequest.oldActive,broker_HTC.sendRequest.active,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.condition,broker_HTC.correctPerformative.enableFire,broker_HTC.check1.active,broker_HTC.check1.newActive,broker_HTC.check1.oldActive,broker_HTC.correctPerformative1.condition,broker_HTC.correctPerformative1.enableFire,broker_HTC.requestNoted.fire,broker_HTC.requestNoted.t_start,broker_HTC.sendConfirmation.outPort[2].available,broker_HTC.sendConfirmation.newActive,broker_HTC.sendConfirmation.oldActive,broker_HTC.sendConfirmation.active,broker_HTC.actionConfirmed.condition,broker_HTC.actionConfirmed.enableFire,broker_HTC.transitionWithSignal3.condition,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.newActive,broker_HTC.sendNotUnderstood.oldActive,broker_HTC.sendNotUnderstood.active,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.condition,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.condition,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.newActive,broker_HTC.sendInformation.oldActive,broker_HTC.sendInformation.active,broker_HTC.confirmComplete.condition,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.localActive,intermediateAgent_C.messageID.pkgOut[1].backwardTrigger,intermediateAgent_C.composeNotUnderstood.localActive,intermediateAgent_C.transition3.enableFire,intermediateAgent_C.sendNotUnderstood.localActive,intermediateAgent_C.check.localActive,intermediateAgent_C.passOnInformation.localActive,intermediateAgent_C.transition7.enableFire,intermediateAgent_C.sendInformation.localActive,intermediateAgent_C.check1.localActive,intermediateAgent_C.passOnConfirmation.localActive,intermediateAgent_C.transition8.enableFire,intermediateAgent_C.sendConfirmation.localActive,intermediateAgent_C.transition2.enableFire,intermediateAgent_C.confirmToBottom.localActive,intermediateAgent_C.transition5.enableFire,intermediateAgent_C.sendConfirmation1.localActive,intermediateAgent_C.shutDown.localActive,$cse109,$cse110,$cse111,$cse112,$cse113,$cse114,$cse115,$cse116,$cse117,$cse118,$cse119,$cse120,$cse121,$cse122,$cse123,$cse124,$cse125,$cse126,$cse127,$cse128,$cse130,$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.outPort[2].available,intermediateAgent_C.sendCall.newActive,intermediateAgent_C.sendCall.oldActive,intermediateAgent_C.sendCall.active,intermediateAgent_C.integerChange.u,intermediateAgent_C.transitionWithSignal3.fire,intermediateAgent_C.transitionWithSignal3.t_start,intermediateAgent_C.booleanExpression3.y,intermediateAgent_C.composeNotUnderstood.active,intermediateAgent_C.composeNotUnderstood.newActive,intermediateAgent_C.composeNotUnderstood.oldActive,intermediateAgent_C.transition3.fire,intermediateAgent_C.transition3.t_start,intermediateAgent_C.sendNotUnderstood.newActive,intermediateAgent_C.sendNotUnderstood.oldActive,intermediateAgent_C.sendNotUnderstood.active,intermediateAgent_C.transition4.fire,intermediateAgent_C.transition4.t_start,intermediateAgent_C.fromTopBroker.condition,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.outPort[2].available,intermediateAgent_C.sendInformation.newActive,intermediateAgent_C.sendInformation.oldActive,intermediateAgent_C.sendInformation.active,intermediateAgent_C.newMessage2.condition,intermediateAgent_C.newMessage2.enableFire,intermediateAgent_C.check1.active,intermediateAgent_C.check1.newActive,intermediateAgent_C.check1.oldActive,intermediateAgent_C.fromBottomBroker.condition,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.newActive,intermediateAgent_C.sendConfirmation.oldActive,intermediateAgent_C.sendConfirmation.active,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.newActive,intermediateAgent_C.sendConfirmation1.oldActive,intermediateAgent_C.sendConfirmation1.active,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.localActive,heatProducerAgent.messageID.pkgOut[1].backwardTrigger,heatProducerAgent.composeNotUnderstood.localActive,heatProducerAgent.transition3.enableFire,heatProducerAgent.sendNotUnderstood.localActive,heatProducerAgent.sendConfirmation.localActive,heatProducerAgent.confirm.localActive,heatProducerAgent.shutDown.localActive,$cse91,$cse92,$cse93,$cse94,$cse95,$cse96,$cse97,$cse98,$cse99,$cse100,$cse101,$cse102,$cse103,$cse104,$cse105,$cse106,$cse108,$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.condition,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.condition,heatProducerAgent.transition2.fire,heatProducerAgent.transition2.t_start,heatProducerAgent.computeProposal.active,heatProducerAgent.computeProposal.newActive,heatProducerAgent.computeProposal.oldActive,heatProducerAgent.transitionWithSignal.enableFire,heatProducerAgent.transitionWithSignal1.condition,heatProducerAgent.transitionWithSignal1.enableFire,heatProducerAgent.transition1.fire,heatProducerAgent.transition1.t_start,heatProducerAgent.sendProposal.outPort[2].available,heatProducerAgent.sendProposal.outPort[3].available,heatProducerAgent.sendProposal.newActive,heatProducerAgent.sendProposal.oldActive,heatProducerAgent.sendProposal.active,heatProducerAgent.integerChange.u,heatProducerAgent.transitionWithSignal2.condition,heatProducerAgent.transitionWithSignal2.enableFire,heatProducerAgent.transitionWithSignal3.fire,heatProducerAgent.transitionWithSignal3.t_start,heatProducerAgent.booleanExpression3.y,heatProducerAgent.composeNotUnderstood.active,heatProducerAgent.composeNotUnderstood.newActive,heatProducerAgent.composeNotUnderstood.oldActive,heatProducerAgent.transition3.fire,heatProducerAgent.transition3.t_start,heatProducerAgent.sendNotUnderstood.newActive,heatProducerAgent.sendNotUnderstood.oldActive,heatProducerAgent.sendNotUnderstood.active,heatProducerAgent.transition4.fire,heatProducerAgent.transition4.t_start,heatProducerAgent.or1.y,heatProducerAgent.setCapacityOut,heatProducerAgent.sendConfirmation.inPort[2].occupied,heatProducerAgent.sendConfirmation.newActive,heatProducerAgent.sendConfirmation.oldActive,heatProducerAgent.sendConfirmation.active,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.localActive,heatProducerAgent1.messageID.pkgOut[1].backwardTrigger,heatProducerAgent1.composeNotUnderstood.localActive,heatProducerAgent1.transition3.enableFire,heatProducerAgent1.sendNotUnderstood.localActive,heatProducerAgent1.sendConfirmation.localActive,heatProducerAgent1.confirm.localActive,heatProducerAgent1.shutDown.localActive,$cse73,$cse74,$cse75,$cse76,$cse77,$cse78,$cse79,$cse80,$cse81,$cse82,$cse83,$cse84,$cse85,$cse86,$cse87,$cse88,$cse90,$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.condition,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.condition,heatProducerAgent1.transition2.fire,heatProducerAgent1.transition2.t_start,heatProducerAgent1.computeProposal.active,heatProducerAgent1.computeProposal.newActive,heatProducerAgent1.computeProposal.oldActive,heatProducerAgent1.transitionWithSignal.enableFire,heatProducerAgent1.transitionWithSignal1.condition,heatProducerAgent1.transitionWithSignal1.enableFire,heatProducerAgent1.transition1.fire,heatProducerAgent1.transition1.t_start,heatProducerAgent1.sendProposal.outPort[2].available,heatProducerAgent1.sendProposal.outPort[3].available,heatProducerAgent1.sendProposal.newActive,heatProducerAgent1.sendProposal.oldActive,heatProducerAgent1.sendProposal.active,heatProducerAgent1.integerChange.u,heatProducerAgent1.transitionWithSignal2.condition,heatProducerAgent1.transitionWithSignal2.enableFire,heatProducerAgent1.transitionWithSignal3.fire,heatProducerAgent1.transitionWithSignal3.t_start,heatProducerAgent1.booleanExpression3.y,heatProducerAgent1.composeNotUnderstood.active,heatProducerAgent1.composeNotUnderstood.newActive,heatProducerAgent1.composeNotUnderstood.oldActive,heatProducerAgent1.transition3.fire,heatProducerAgent1.transition3.t_start,heatProducerAgent1.sendNotUnderstood.newActive,heatProducerAgent1.sendNotUnderstood.oldActive,heatProducerAgent1.sendNotUnderstood.active,heatProducerAgent1.transition4.fire,heatProducerAgent1.transition4.t_start,heatProducerAgent1.or1.y,heatProducerAgent1.setCapacityOut,heatProducerAgent1.sendConfirmation.inPort[2].occupied,heatProducerAgent1.sendConfirmation.newActive,heatProducerAgent1.sendConfirmation.oldActive,heatProducerAgent1.sendConfirmation.active,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.localActive,heatProducerAgent2.messageID.pkgOut[1].backwardTrigger,heatProducerAgent2.composeNotUnderstood.localActive,heatProducerAgent2.transition3.enableFire,heatProducerAgent2.sendNotUnderstood.localActive,heatProducerAgent2.sendConfirmation.localActive,heatProducerAgent2.confirm.localActive,heatProducerAgent2.shutDown.localActive,$cse55,$cse56,$cse57,$cse58,$cse59,$cse60,$cse61,$cse62,$cse63,$cse64,$cse65,$cse66,$cse67,$cse68,$cse69,$cse70,$cse72,$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.condition,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.condition,heatProducerAgent2.transition2.fire,heatProducerAgent2.transition2.t_start,heatProducerAgent2.computeProposal.active,heatProducerAgent2.computeProposal.newActive,heatProducerAgent2.computeProposal.oldActive,heatProducerAgent2.transitionWithSignal.enableFire,heatProducerAgent2.transitionWithSignal1.condition,heatProducerAgent2.transitionWithSignal1.enableFire,heatProducerAgent2.transition1.fire,heatProducerAgent2.transition1.t_start,heatProducerAgent2.sendProposal.outPort[2].available,heatProducerAgent2.sendProposal.outPort[3].available,heatProducerAgent2.sendProposal.newActive,heatProducerAgent2.sendProposal.oldActive,heatProducerAgent2.sendProposal.active,heatProducerAgent2.integerChange.u,heatProducerAgent2.transitionWithSignal2.condition,heatProducerAgent2.transitionWithSignal2.enableFire,heatProducerAgent2.transitionWithSignal3.fire,heatProducerAgent2.transitionWithSignal3.t_start,heatProducerAgent2.booleanExpression3.y,heatProducerAgent2.composeNotUnderstood.active,heatProducerAgent2.composeNotUnderstood.newActive,heatProducerAgent2.composeNotUnderstood.oldActive,heatProducerAgent2.transition3.fire,heatProducerAgent2.transition3.t_start,heatProducerAgent2.sendNotUnderstood.newActive,heatProducerAgent2.sendNotUnderstood.oldActive,heatProducerAgent2.sendNotUnderstood.active,heatProducerAgent2.transition4.fire,heatProducerAgent2.transition4.t_start,heatProducerAgent2.or1.y,heatProducerAgent2.setCapacityOut,heatProducerAgent2.sendConfirmation.inPort[2].occupied,heatProducerAgent2.sendConfirmation.newActive,heatProducerAgent2.sendConfirmation.oldActive,heatProducerAgent2.sendConfirmation.active,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.transition5.enableFire,broker_LTC.allProposalsCollected.enableFire,broker_LTC.notFinished.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.localActive,broker_LTC.messageID.pkgOut[1].backwardTrigger,broker_LTC.sendRequest.localActive,broker_LTC.check.localActive,broker_LTC.check1.localActive,broker_LTC.sendConfirmation.localActive,broker_LTC.composeNotUnderstood.localActive,broker_LTC.transition2.enableFire,broker_LTC.sendNotUnderstood.localActive,broker_LTC.composeInformation.localActive,broker_LTC.transition6.enableFire,broker_LTC.check2.localActive,broker_LTC.collectConfirm.localActive,broker_LTC.computePrice.localActive,broker_LTC.sendInformation.localActive,broker_LTC.computeFinalConstellation.localActive,broker_LTC.checkRequestComplete.localActive,broker_LTC.prepareTableforRejections.localActive,broker_LTC.checkAvailability.localActive,broker_LTC.limitedSupplyAbort.localActive,$cse16,$cse17,$cse18,$cse19,$cse20,$cse21,$cse22,$cse23,$cse24,$cse25,$cse26,$cse27,$cse28,$cse29,$cse30,$cse31,$cse32,$cse33,$cse34,$cse35,$cse36,$cse37,$cse38,$cse39,$cse40,$cse41,$cse42,$cse43,$cse44,$cse45,$cse46,$cse47,$cse48,$cse49,$cse50,$cse51,$cse52,$cse53,$cse54,$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.outPort[2].available,broker_LTC.sendCall.newActive,broker_LTC.sendCall.oldActive,broker_LTC.sendCall.active,broker_LTC.transition.fire,broker_LTC.transition.t_start,broker_LTC.sendRequest.outPort[2].available,broker_LTC.sendRequest.newActive,broker_LTC.sendRequest.oldActive,broker_LTC.sendRequest.active,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.condition,broker_LTC.correctPerformative.enableFire,broker_LTC.check1.active,broker_LTC.check1.newActive,broker_LTC.check1.oldActive,broker_LTC.correctPerformative1.condition,broker_LTC.correctPerformative1.enableFire,broker_LTC.requestNoted.fire,broker_LTC.requestNoted.t_start,broker_LTC.sendConfirmation.outPort[2].available,broker_LTC.sendConfirmation.newActive,broker_LTC.sendConfirmation.oldActive,broker_LTC.sendConfirmation.active,broker_LTC.actionConfirmed.condition,broker_LTC.actionConfirmed.enableFire,broker_LTC.transitionWithSignal3.condition,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.newActive,broker_LTC.sendNotUnderstood.oldActive,broker_LTC.sendNotUnderstood.active,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.condition,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.condition,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.newActive,broker_LTC.sendInformation.oldActive,broker_LTC.sendInformation.active,broker_LTC.confirmComplete.condition,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.localActive,roomAgent_C.messageID.pkgOut[1].backwardTrigger,roomAgent_C.messageID.pkgOut[1].trigger,roomAgent_C.transition1.enableFire,roomAgent_C.confirmNoted.enableFire,roomAgent_C.sendConfirm.localActive,roomAgent_C.composeConfirm.localActive,roomAgent_C.sendNotUnderstood.localActive,roomAgent_C.transition2.enableFire,roomAgent_C.composeNotUnderstood.localActive,roomAgent_C.state.localActive,roomAgent_C.sendRequest.localActive,roomAgent_C.requestNoted.enableFire,roomAgent_C.composeRequest.localActive,roomAgent_C.waiting.localActive,roomAgent_C.getontology.pkgOut[1].trigger,$cse1,$cse2,$cse3,$cse4,$cse5,$cse6,$cse7,$cse8,$cse9,$cse10,$cse11,$cse12,$cse13,$cse14,$cse15,$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.active,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.condition,roomAgent_C.transitionWithSignal.enableFire,roomAgent_C.composeRequest.active,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.outPort[2].available,roomAgent_C.sendRequest.newActive,roomAgent_C.sendRequest.oldActive,roomAgent_C.sendRequest.active,roomAgent_C.newMessage1.condition,roomAgent_C.newMessage1.enableFire,roomAgent_C.repeat.fire,roomAgent_C.repeat.t_start,roomAgent_C.state.active,roomAgent_C.state.outPort[2].available,roomAgent_C.state.newActive,roomAgent_C.state.oldActive,roomAgent_C.rightMessage.condition,roomAgent_C.rightMessage.enableFire,roomAgent_C.repeat1.fire,roomAgent_C.repeat1.t_start,roomAgent_C.composeNotUnderstood.active,roomAgent_C.composeNotUnderstood.newActive,roomAgent_C.composeNotUnderstood.oldActive,roomAgent_C.transition2.fire,roomAgent_C.transition2.t_start,roomAgent_C.sendNotUnderstood.newActive,roomAgent_C.sendNotUnderstood.oldActive,roomAgent_C.sendNotUnderstood.active,roomAgent_C.transition4.fire,roomAgent_C.transition4.t_start,roomAgent_C.or2.y,roomAgent_C.composeConfirm.active,roomAgent_C.composeConfirm.newActive,roomAgent_C.composeConfirm.oldActive,roomAgent_C.sendConfirm.newActive,roomAgent_C.sendConfirm.oldActive,roomAgent_C.sendConfirm.active,roomAgent_C.confirmNoted.fire,roomAgent_C.confirmNoted.t_start,roomAgent_C.transition1.fire,roomAgent_C.transition1.t_start,roomAgent_C.waitForInform.active,roomAgent_C.waitForInform.outPort[2].available,roomAgent_C.waitForInform.newActive,roomAgent_C.waitForInform.oldActive,roomAgent_C.rightMessage1.condition,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 (1830): * Single equations (assignments): 1273 * Array equations: 0 * Algorithm blocks: 5 * Record equations: 0 * When equations: 549 * If-equations: 0 * Equation systems (linear and non-linear blocks): 0 * Torn equation systems: 3 * Mixed (continuous/discrete) equation systems: 0 Notification: Torn system details for strict tearing set: * Linear torn systems: 0 * Non-linear torn systems: 3 {1 1,1 1,1 1} Notification: Performance of Backend phase and start with SimCode phase: time 0.006319/3.054, allocations: 2.524 MB / 1.51 GB, free: 248.7 MB / 0.967 GB Notification: Performance of simCode: created initialization part: time 0.03504/3.089, allocations: 22.55 MB / 1.532 GB, free: 225.9 MB / 0.967 GB Notification: Performance of simCode: created event and clocks part: time 1.759e-05/3.089, allocations: 4.938 kB / 1.532 GB, free: 225.9 MB / 0.967 GB Notification: Performance of simCode: created simulation system equations: time 0.0432/3.132, allocations: 61.65 MB / 1.592 GB, free: 164.2 MB / 0.967 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.01094/3.143, allocations: 1.985 MB / 1.594 GB, free: 162.3 MB / 0.967 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.053/3.196, allocations: 33.89 MB / 1.627 GB, free: 128.1 MB / 0.967 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.007354/3.204, allocations: 7.068 MB / 1.634 GB, free: 121 MB / 0.967 GB Notification: Performance of simCode: alias equations: time 0.007932/3.212, allocations: 2.018 MB / 1.636 GB, free: 119 MB / 0.967 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.003751/3.216, allocations: 1.065 MB / 1.637 GB, free: 117.9 MB / 0.967 GB Notification: Performance of SimCode: time 6.61e-07/3.216, allocations: 0 / 1.637 GB, free: 117.9 MB / 0.967 GB Notification: Performance of Templates: time 0.7138/3.929, allocations: 160.5 MB / 1.794 GB, free: 305.1 MB / 0.9827 GB make -j1 -f AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.makefile (rm -f AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe ; mkfifo AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe ; head -c 1048576 < AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe >> ../files/AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.sim & ./AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication -abortSlowSimulation -alarm=480 -lv LOG_STATS > AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe 2>&1)