Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr AixLib_latest_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.4.0-development/package.mo", uses=false) Using package AixLib with version 1.4.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.4.0-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_latest_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication") translateModel(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication,tolerance=1e-06,outputFormat="empty",numberOfIntervals=10,variableFilter="",fileNamePrefix="AixLib_latest_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.001017/0.001017, allocations: 98.27 kB / 15.36 MB, free: 0.7344 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.008975/0.008975, allocations: 170.7 kB / 16.27 MB, free: 6.652 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.455/1.455, allocations: 223.3 MB / 240.3 MB, free: 5.348 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1/package.mo): time 0.1947/0.1947, allocations: 12.03 MB / 303.5 MB, free: 1.641 MB / 238.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo): time 0.000191/0.0001912, allocations: 22.97 kB / 357.5 MB, free: 3.09 MB / 286.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-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.4.0-development/package.mo): time 2.017/2.017, allocations: 270.9 MB / 0.6665 GB, free: 15.27 MB / 478.1 MB Notification: Performance of FrontEnd - loaded program: time 0.0005276/0.0005275, allocations: 15.91 kB / 0.7881 GB, free: 31.59 MB / 0.545 GB Notification: Performance of FrontEnd - Absyn->SCode: time 0.2732/0.2737, allocations: 111 MB / 0.8964 GB, free: 12.45 MB / 0.6075 GB Notification: Performance of NFInst.instantiate(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication): time 0.03305/0.3068, allocations: 27.95 MB / 0.9237 GB, free: 364 kB / 0.6232 GB Notification: Performance of NFInst.instExpressions: time 0.04581/0.3527, allocations: 22 MB / 0.9452 GB, free: 10.3 MB / 0.6544 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.01948/0.3722, allocations: 401.5 kB / 0.9456 GB, free: 9.91 MB / 0.6544 GB Notification: Performance of NFTyping.typeComponents: time 0.01118/0.3835, allocations: 1.634 MB / 0.9472 GB, free: 8.262 MB / 0.6544 GB Notification: Performance of NFTyping.typeBindings: time 0.01549/0.399, allocations: 1.136 MB / 0.9483 GB, free: 7.117 MB / 0.6544 GB Notification: Performance of NFTyping.typeClassSections: time 0.03202/0.4311, allocations: 10.69 MB / 0.9587 GB, free: 12.46 MB / 0.67 GB Notification: Performance of NFFlatten.flatten: time 0.04618/0.4773, allocations: 23.27 MB / 0.9815 GB, free: 5.145 MB / 0.6857 GB Notification: Performance of NFFlatten.resolveConnections: time 0.03264/0.51, allocations: 14.23 MB / 0.9954 GB, free: 6.77 MB / 0.7013 GB Notification: Performance of NFEvalConstants.evaluate: time 0.01845/0.5285, allocations: 6.482 MB / 1.002 GB, free: 268 kB / 0.7013 GB Notification: Performance of NFSimplifyModel.simplify: time 0.01585/0.5444, allocations: 7.595 MB / 1.009 GB, free: 8.625 MB / 0.7169 GB Notification: Performance of NFPackage.collectConstants: time 0.00891/0.5533, allocations: 0.875 MB / 1.01 GB, free: 7.75 MB / 0.7169 GB Notification: Performance of NFFlatten.collectFunctions: time 0.007526/0.5609, allocations: 1.086 MB / 1.011 GB, free: 6.668 MB / 0.7169 GB Notification: Performance of NFScalarize.scalarize: time 0.01079/0.5717, allocations: 3.974 MB / 1.015 GB, free: 2.68 MB / 0.7169 GB Notification: Performance of NFVerifyModel.verify: time 0.01992/0.5917, allocations: 8.067 MB / 1.023 GB, free: 10.56 MB / 0.7325 GB Notification: Performance of NFConvertDAE.convert: time 0.6046/1.196, allocations: 25.55 MB / 1.048 GB, free: 50.13 MB / 0.7325 GB Notification: Performance of FrontEnd - DAE generated: time 7.223e-06/1.196, allocations: 0 / 1.048 GB, free: 50.13 MB / 0.7325 GB Notification: Performance of FrontEnd: time 2.545e-06/1.196, allocations: 1.531 kB / 1.048 GB, free: 50.13 MB / 0.7325 GB Notification: Performance of Transformations before backend: time 0.001551/1.198, allocations: 1.094 kB / 1.048 GB, free: 50.13 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.07671/1.275, allocations: 41.57 MB / 1.088 GB, free: 18.09 MB / 0.7325 GB Notification: Performance of prepare preOptimizeDAE: time 7.305e-05/1.275, allocations: 14.19 kB / 1.088 GB, free: 18.09 MB / 0.7325 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.01622/1.291, allocations: 1.971 MB / 1.09 GB, free: 17.15 MB / 0.7325 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.02507/1.316, allocations: 7.624 MB / 1.098 GB, free: 14.47 MB / 0.7325 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.003591/1.32, allocations: 1.643 MB / 1.099 GB, free: 14.38 MB / 0.7325 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.01077/1.331, allocations: 2.092 MB / 1.101 GB, free: 14.33 MB / 0.7325 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.09254/1.423, allocations: 23.68 MB / 1.124 GB, free: 7.875 MB / 0.7325 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.001345/1.425, allocations: 40.5 kB / 1.125 GB, free: 7.871 MB / 0.7325 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.007917/1.432, allocations: 0.8263 MB / 1.125 GB, free: 7.82 MB / 0.7325 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0005068/1.433, allocations: 441.2 kB / 1.126 GB, free: 7.816 MB / 0.7325 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.05321/1.486, allocations: 20.38 MB / 1.146 GB, free: 12.44 MB / 0.7482 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.154/1.64, allocations: 65.06 MB / 1.209 GB, free: 12 MB / 0.8107 GB Notification: Performance of preOpt comSubExp (simulation): time 0.05222/1.693, allocations: 41.8 MB / 1.25 GB, free: 1.863 MB / 0.8419 GB Notification: Performance of preOpt resolveLoops (simulation): time 0.03755/1.73, allocations: 34.35 MB / 1.284 GB, free: 15.32 MB / 0.8888 GB Notification: Performance of preOpt evalFunc (simulation): time 0.001248/1.731, allocations: 234.1 kB / 1.284 GB, free: 15.12 MB / 0.8888 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.03857/1.77, allocations: 15.49 MB / 1.299 GB, free: 14.87 MB / 0.9044 GB Notification: Performance of pre-optimization done (n=1997): time 0.0001063/1.77, allocations: 4 kB / 1.299 GB, free: 14.87 MB / 0.9044 GB Notification: Performance of matching and sorting (n=1997): time 0.07558/1.846, allocations: 37.46 MB / 1.335 GB, free: 9.469 MB / 0.9357 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.005401/1.851, allocations: 5.409 MB / 1.341 GB, free: 3.266 MB / 0.9357 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.01237/1.864, allocations: 5.298 MB / 1.346 GB, free: 13.95 MB / 0.9513 GB Notification: Performance of collectPreVariables (initialization): time 0.00532/1.869, allocations: 1.15 MB / 1.347 GB, free: 12.79 MB / 0.9513 GB Notification: Performance of collectInitialEqns (initialization): time 0.006971/1.876, allocations: 5.064 MB / 1.352 GB, free: 8.094 MB / 0.9513 GB Notification: Performance of collectInitialBindings (initialization): time 0.0106/1.887, allocations: 4.793 MB / 1.357 GB, free: 3.441 MB / 0.9513 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.01036/1.897, allocations: 3.507 MB / 1.36 GB, free: 15.93 MB / 0.9669 GB Notification: Performance of setup shared object (initialization): time 0.0001161/1.897, allocations: 309.1 kB / 1.36 GB, free: 15.62 MB / 0.9669 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.01915/1.916, allocations: 6.221 MB / 1.366 GB, free: 9.398 MB / 0.9669 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.02535/1.942, allocations: 12.59 MB / 1.379 GB, free: 10.27 MB / 0.9825 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.6211/2.563, allocations: 27.06 MB / 1.405 GB, free: 337.7 MB / 0.9982 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0003579/2.563, allocations: 54.47 kB / 1.405 GB, free: 337.7 MB / 0.9982 GB Warning: The linear system: 1 : $PRE.heatProducerAgent2.costDifference = heatProducerAgent2.costDifference 2 : heatProducerAgent2.costDifference = $PRE.heatProducerAgent2.costDifference [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent2.costDifference ; heatProducerAgent2.costDifference ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent2.costDifference since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent2.costNew = heatProducerAgent2.costNew 2 : heatProducerAgent2.costNew = $PRE.heatProducerAgent2.costNew [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent2.costNew ; heatProducerAgent2.costNew ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent2.costNew since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent2.totalRequest = heatProducerAgent2.totalRequest 2 : heatProducerAgent2.totalRequest = $PRE.heatProducerAgent2.totalRequest [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent2.totalRequest ; heatProducerAgent2.totalRequest ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent2.totalRequest since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent1.costDifference = heatProducerAgent1.costDifference 2 : heatProducerAgent1.costDifference = $PRE.heatProducerAgent1.costDifference [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent1.costDifference ; heatProducerAgent1.costDifference ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent1.costDifference since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent1.costNew = heatProducerAgent1.costNew 2 : heatProducerAgent1.costNew = $PRE.heatProducerAgent1.costNew [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent1.costNew ; heatProducerAgent1.costNew ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent1.costNew since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent1.totalRequest = heatProducerAgent1.totalRequest 2 : heatProducerAgent1.totalRequest = $PRE.heatProducerAgent1.totalRequest [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent1.totalRequest ; heatProducerAgent1.totalRequest ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent1.totalRequest since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent.costDifference = heatProducerAgent.costDifference 2 : heatProducerAgent.costDifference = $PRE.heatProducerAgent.costDifference [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent.costDifference ; heatProducerAgent.costDifference ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent.costDifference since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent.costNew = heatProducerAgent.costNew 2 : heatProducerAgent.costNew = $PRE.heatProducerAgent.costNew [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent.costNew ; heatProducerAgent.costNew ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent.costNew since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.heatProducerAgent.totalRequest = heatProducerAgent.totalRequest 2 : heatProducerAgent.totalRequest = $PRE.heatProducerAgent.totalRequest [ 1.0 , -1.0 ; -1.0 , 1.0 ] * [ $PRE.heatProducerAgent.totalRequest ; heatProducerAgent.totalRequest ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable heatProducerAgent.totalRequest since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Notification: Performance of matching and sorting (n=3287) (initialization): time 0.05889/2.622, allocations: 23.6 MB / 1.428 GB, free: 334.2 MB / 0.9982 GB Notification: Performance of prepare postOptimizeDAE: time 0.0003079/2.623, allocations: 353.1 kB / 1.429 GB, free: 334 MB / 0.9982 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0003301/2.623, allocations: 193.6 kB / 1.429 GB, free: 334 MB / 0.9982 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.0007071/2.624, allocations: 449.8 kB / 1.429 GB, free: 333.9 MB / 0.9982 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.01297/2.637, allocations: 2.794 MB / 1.432 GB, free: 333.5 MB / 0.9982 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.005484/2.642, allocations: 12.3 MB / 1.444 GB, free: 321.4 MB / 0.9982 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.01379/2.656, allocations: 2.117 MB / 1.446 GB, free: 320.8 MB / 0.9982 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.004649/2.661, allocations: 1.071 MB / 1.447 GB, free: 320.6 MB / 0.9982 GB Warning: Assuming fixed start value for the following 211 variables: roomAgent_C.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent_C.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real roomAgent_C.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] roomAgent_C.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent_C.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent_C.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent_C.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent_C.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] roomAgent_C.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] roomAgent_C.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real roomAgent_C.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer broker_LTC.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real broker_LTC.averagePrice:DISCRETE(fixed = true ) "Real variable to define averagePrice" type: Real broker_LTC.totalHeat:DISCRETE(fixed = true ) "Real variable to define totalHeat" type: Real broker_LTC.totalPrice:DISCRETE(fixed = true ) "Real variable to define totalPrice" type: Real broker_LTC.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_LTC.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real broker_LTC.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_LTC.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_LTC.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] broker_LTC.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_LTC.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] broker_LTC.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] broker_LTC.rejectsComplete:DISCRETE(start = false fixed = true ) type: Boolean broker_LTC.requestComplete:DISCRETE(start = false fixed = true ) "Boolean variable to describe whether all requests are served by the current constellation" type: Boolean broker_LTC.requestCounter:DISCRETE(start = 1 fixed = true ) "Real variable to define requestCounter" type: Integer broker_LTC.requestAddresses[10,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_LTC.requestAddresses[9,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_LTC.requestAddresses[8,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_LTC.requestAddresses[7,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_LTC.requestAddresses[6,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_LTC.requestAddresses[5,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_LTC.requestAddresses[4,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_LTC.requestAddresses[3,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_LTC.requestAddresses[2,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_LTC.requestAddresses[1,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_LTC.requestTable[10,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_LTC.requestTable[9,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_LTC.requestTable[8,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_LTC.requestTable[7,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_LTC.requestTable[6,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_LTC.requestTable[5,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_LTC.requestTable[4,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_LTC.requestTable[3,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_LTC.requestTable[2,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_LTC.requestTable[1,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_LTC.restHeat:DISCRETE(fixed = true ) "Real variable to define restHeat" type: Real broker_LTC.totalaveragePrice:DISCRETE(fixed = true ) "Real variable to define totalaveragePrice" type: Real broker_LTC.heatingPriceSum:DISCRETE(fixed = true ) "Real variable to define the sum of heatingPrice" type: Real broker_LTC.cheapest:DISCRETE(start = 1 fixed = true ) "Integer variable to define the cheapest offer" type: Integer broker_LTC.heatingCalculationSum:DISCRETE(start = 0.0 fixed = true ) "Real variable to define the sum of heatingCalculation" type: Real broker_LTC.informationCounter:DISCRETE(start = 1 fixed = true ) "Integer variable to define informationCounter" type: Integer broker_LTC.proposalCounter:DISCRETE(start = 1 fixed = true ) "Integer variable to describe proposalCounter" type: Integer broker_LTC.heatSupplierTable[2,7]:DISCRETE(start = broker_LTC.startTable[2,7] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,6]:DISCRETE(start = broker_LTC.startTable[2,6] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,5]:DISCRETE(start = broker_LTC.startTable[2,5] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,4]:DISCRETE(start = broker_LTC.startTable[2,4] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,3]:DISCRETE(start = broker_LTC.startTable[2,3] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,2]:DISCRETE(start = broker_LTC.startTable[2,2] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[2,1]:DISCRETE(start = broker_LTC.startTable[2,1] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,7]:DISCRETE(start = broker_LTC.startTable[1,7] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,6]:DISCRETE(start = broker_LTC.startTable[1,6] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,5]:DISCRETE(start = broker_LTC.startTable[1,5] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,4]:DISCRETE(start = broker_LTC.startTable[1,4] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,3]:DISCRETE(start = broker_LTC.startTable[1,3] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,2]:DISCRETE(start = broker_LTC.startTable[1,2] fixed = true ) type: Real [2,7] broker_LTC.heatSupplierTable[1,1]:DISCRETE(start = broker_LTC.startTable[1,1] fixed = true ) type: Real [2,7] broker_LTC.lowestPrice:DISCRETE(start = 0.0 fixed = true ) "Real variable to define lowestPrice" type: Real broker_LTC.counterReject:DISCRETE(start = 1 fixed = true ) "Integer variable to describe counterReject" type: Integer broker_LTC.counter:DISCRETE(start = 1 fixed = true ) "Integer variable to describe counter" type: Integer broker_LTC.proposalsComplete:DISCRETE(start = false fixed = true ) "Boolean variable to describe whether all proposals have been collected" type: Boolean broker_LTC.requestsExceedSupply:DISCRETE(start = false fixed = true ) "Boolean variable to describe whteher requests exceed supply" type: Boolean broker_LTC.heatingRequestSum:DISCRETE(start = 0.0 fixed = true ) "Real variable to define the sum of heating requests" type: Real broker_LTC.calculationDone:DISCRETE(start = false fixed = true ) "Boolean variable to annonce calculationDone" type: Boolean broker_LTC.informationDone:DISCRETE(start = false fixed = true ) "Boolean variable to announce informationDone" type: Boolean broker_LTC.finalRequestDone:DISCRETE(start = false fixed = true ) "Boolean variable to announce finalRequestDone" type: Boolean broker_LTC.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer broker_LTC.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent2.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] heatProducerAgent2.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real heatProducerAgent2.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent2.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent2.costCurrent:DISCRETE(start = 40.0 fixed = true ) "Real variable to define costCurrent" type: Real heatProducerAgent2.currentCapacityDiscrete:DISCRETE(start = 2000.0 fixed = true ) "Real variable to define currentCapacityDiscrete" type: Real heatProducerAgent2.setCapacity:DISCRETE(start = 4000.0 fixed = true ) "Real variable to define setCapacity" type: Real heatProducerAgent2.calcCapacityInternal:DISCRETE(start = 1.0 fixed = true ) "Real variable to define calcCapacityInternal" type: Real heatProducerAgent1.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent1.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent1.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent1.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent1.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] heatProducerAgent1.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent1.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real heatProducerAgent1.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent1.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent1.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent1.costCurrent:DISCRETE(start = 40.0 fixed = true ) "Real variable to define costCurrent" type: Real heatProducerAgent1.currentCapacityDiscrete:DISCRETE(start = 2000.0 fixed = true ) "Real variable to define currentCapacityDiscrete" type: Real heatProducerAgent1.setCapacity:DISCRETE(start = 1000.0 fixed = true ) "Real variable to define setCapacity" type: Real heatProducerAgent1.calcCapacityInternal:DISCRETE(start = 1.0 fixed = true ) "Real variable to define calcCapacityInternal" type: Real heatProducerAgent.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] heatProducerAgent.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real heatProducerAgent.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] heatProducerAgent.costCurrent:DISCRETE(start = 40.0 fixed = true ) "Real variable to define costCurrent" type: Real heatProducerAgent.currentCapacityDiscrete:DISCRETE(start = 2000.0 fixed = true ) "Real variable to define currentCapacityDiscrete" type: Real heatProducerAgent.setCapacity:DISCRETE(start = 3000.0 fixed = true ) "Real variable to define setCapacity" type: Real heatProducerAgent.calcCapacityInternal:DISCRETE(start = 1.0 fixed = true ) "Real variable to define calcCapacityInternal" type: Real intermediateAgent_C.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real intermediateAgent_C.ownCost:DISCRETE(start = 0.0 fixed = true ) "Real variable to define ownCost" type: Real intermediateAgent_C.newCost:DISCRETE(start = 0.0 fixed = true ) "Real variable to define newCost" type: Real intermediateAgent_C.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] intermediateAgent_C.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real intermediateAgent_C.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] intermediateAgent_C.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] intermediateAgent_C.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] intermediateAgent_C.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] intermediateAgent_C.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] intermediateAgent_C.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] intermediateAgent_C.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] intermediateAgent_C.setCapacityOut:DISCRETE(flow=false start = 0.001 fixed = true ) "Output for set capacity of device" type: Real intermediateAgent_C.currentCost:DISCRETE(start = 0.0 fixed = true ) "Real variable to define currentCost" type: Real intermediateAgent_C.calcCapacity:DISCRETE(flow=false fixed = true ) "Output to connect with cost function" type: Real intermediateAgent_C.setCapacity:DISCRETE(start = 3000.0 fixed = true ) "Real variable to define setCapacity" type: Real broker_HTC.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real broker_HTC.averagePrice:DISCRETE(fixed = true ) "Real variable to define averagePrice" type: Real broker_HTC.totalHeat:DISCRETE(fixed = true ) "Real variable to define totalHeat" type: Real broker_HTC.totalPrice:DISCRETE(fixed = true ) "Real variable to define totalPrice" type: Real broker_HTC.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_HTC.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real broker_HTC.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_HTC.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_HTC.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] broker_HTC.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker_HTC.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] broker_HTC.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] broker_HTC.rejectsComplete:DISCRETE(start = false fixed = true ) type: Boolean broker_HTC.requestComplete:DISCRETE(start = false fixed = true ) "Boolean variable to describe whether all requests are served by the current constellation" type: Boolean broker_HTC.requestCounter:DISCRETE(start = 1 fixed = true ) "Real variable to define requestCounter" type: Integer broker_HTC.requestAddresses[10,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_HTC.requestAddresses[9,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_HTC.requestAddresses[8,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_HTC.requestAddresses[7,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_HTC.requestAddresses[6,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_HTC.requestAddresses[5,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_HTC.requestAddresses[4,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_HTC.requestAddresses[3,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_HTC.requestAddresses[2,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_HTC.requestAddresses[1,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestAddresses" type: Real [10,1] broker_HTC.requestTable[10,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_HTC.requestTable[9,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_HTC.requestTable[8,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_HTC.requestTable[7,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_HTC.requestTable[6,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_HTC.requestTable[5,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_HTC.requestTable[4,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_HTC.requestTable[3,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_HTC.requestTable[2,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_HTC.requestTable[1,1]:DISCRETE(start = 0.0 fixed = true ) "Real variable to define requestTable" type: Real [10,1] broker_HTC.restHeat:DISCRETE(fixed = true ) "Real variable to define restHeat" type: Real broker_HTC.totalaveragePrice:DISCRETE(fixed = true ) "Real variable to define totalaveragePrice" type: Real broker_HTC.heatingPriceSum:DISCRETE(fixed = true ) "Real variable to define the sum of heatingPrice" type: Real broker_HTC.cheapest:DISCRETE(start = 1 fixed = true ) "Integer variable to define the cheapest offer" type: Integer broker_HTC.heatingCalculationSum:DISCRETE(start = 0.0 fixed = true ) "Real variable to define the sum of heatingCalculation" type: Real broker_HTC.informationCounter:DISCRETE(start = 1 fixed = true ) "Integer variable to define informationCounter" type: Integer broker_HTC.proposalCounter:DISCRETE(start = 1 fixed = true ) "Integer variable to describe proposalCounter" type: Integer broker_HTC.heatSupplierTable[2,7]:DISCRETE(start = broker_HTC.startTable[2,7] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,6]:DISCRETE(start = broker_HTC.startTable[2,6] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,5]:DISCRETE(start = broker_HTC.startTable[2,5] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,4]:DISCRETE(start = broker_HTC.startTable[2,4] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,3]:DISCRETE(start = broker_HTC.startTable[2,3] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,2]:DISCRETE(start = broker_HTC.startTable[2,2] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[2,1]:DISCRETE(start = broker_HTC.startTable[2,1] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,7]:DISCRETE(start = broker_HTC.startTable[1,7] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,6]:DISCRETE(start = broker_HTC.startTable[1,6] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,5]:DISCRETE(start = broker_HTC.startTable[1,5] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,4]:DISCRETE(start = broker_HTC.startTable[1,4] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,3]:DISCRETE(start = broker_HTC.startTable[1,3] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,2]:DISCRETE(start = broker_HTC.startTable[1,2] fixed = true ) type: Real [2,7] broker_HTC.heatSupplierTable[1,1]:DISCRETE(start = broker_HTC.startTable[1,1] fixed = true ) type: Real [2,7] broker_HTC.lowestPrice:DISCRETE(start = 0.0 fixed = true ) "Real variable to define lowestPrice" type: Real broker_HTC.counterReject:DISCRETE(start = 1 fixed = true ) "Integer variable to describe counterReject" type: Integer broker_HTC.counter:DISCRETE(start = 1 fixed = true ) "Integer variable to describe counter" type: Integer broker_HTC.proposalsComplete:DISCRETE(start = false fixed = true ) "Boolean variable to describe whether all proposals have been collected" type: Boolean broker_HTC.requestsExceedSupply:DISCRETE(start = false fixed = true ) "Boolean variable to describe whteher requests exceed supply" type: Boolean broker_HTC.heatingRequestSum:DISCRETE(start = 0.0 fixed = true ) "Real variable to define the sum of heating requests" type: Real broker_HTC.calculationDone:DISCRETE(start = false fixed = true ) "Boolean variable to annonce calculationDone" type: Boolean broker_HTC.informationDone:DISCRETE(start = false fixed = true ) "Boolean variable to announce informationDone" type: Boolean broker_HTC.finalRequestDone:DISCRETE(start = false fixed = true ) "Boolean variable to announce finalRequestDone" type: Boolean broker_HTC.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer broker_HTC.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] heatProducerAgent2.setCapacityOut:DISCRETE(flow=false fixed = true ) "Output for set capacity of device" type: Real heatProducerAgent2.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer heatProducerAgent1.setCapacityOut:DISCRETE(flow=false fixed = true ) "Output for set capacity of device" type: Real heatProducerAgent1.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer heatProducerAgent.setCapacityOut:DISCRETE(flow=false fixed = true ) "Output for set capacity of device" type: Real heatProducerAgent.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer intermediateAgent_C.currentClient:DISCRETE(start = 0 fixed = true ) "Integer variable to define currentClient" type: Integer intermediateAgent_C.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 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],roomAgent_C.messageID.pkgOut[1].dummy,$PRE.roomAgent_C.messageID.pkgOut[1].dummy,roomAgent_C.getMessageID.dummy,$PRE.roomAgent_C.getMessageID.dummy,roomAgent_C.performative.pkgOut[1].dummy,$PRE.roomAgent_C.performative.pkgOut[1].dummy,roomAgent_C.getontology.dummy,$PRE.roomAgent_C.getontology.dummy,roomAgent_C.getontology.y[1],$PRE.roomAgent_C.getontology.y[1],roomAgent_C.getontology.pkgOut[1].dummy,$PRE.roomAgent_C.getontology.pkgOut[1].dummy,roomAgent_C.getreply_to.dummy,$PRE.roomAgent_C.getreply_to.dummy,roomAgent_C.getreply_to.y[1],$PRE.roomAgent_C.getreply_to.y[1],roomAgent_C.getreply_to.pkgOut[1].dummy,$PRE.roomAgent_C.getreply_to.pkgOut[1].dummy,roomAgent_C.getreceiver.dummy,$PRE.roomAgent_C.getreceiver.dummy,roomAgent_C.getreceiver.y[1],$PRE.roomAgent_C.getreceiver.y[1],roomAgent_C.getreceiver.pkgOut[1].dummy,$PRE.roomAgent_C.getreceiver.pkgOut[1].dummy,roomAgent_C.getsender.dummy,$PRE.roomAgent_C.getsender.dummy,roomAgent_C.getsender.y[1],$PRE.roomAgent_C.getsender.y[1],roomAgent_C.getsender.pkgOut[1].dummy,$PRE.roomAgent_C.getsender.pkgOut[1].dummy,roomAgent_C.getperformative.dummy,$PRE.roomAgent_C.getperformative.dummy,roomAgent_C.getperformative.pkgOut[1].dummy,$PRE.roomAgent_C.getperformative.pkgOut[1].dummy,roomAgent_C.ontology.pkgOut[1].dummy,$PRE.roomAgent_C.ontology.pkgOut[1].dummy,roomAgent_C.reply_to.pkgOut[1].dummy,$PRE.roomAgent_C.reply_to.pkgOut[1].dummy,roomAgent_C.receiver.pkgOut[1].dummy,$PRE.roomAgent_C.receiver.pkgOut[1].dummy,roomAgent_C.sender.pkgOut[1].dummy,$PRE.roomAgent_C.sender.pkgOut[1].dummy,$PRE.roomAgent_C.uDPSend_adapted.dummy,roomAgent_C.uDPSend_adapted.dummy,roomAgent_C.uDPReceive_adapted.nRecvbufOverwrites,$PRE.roomAgent_C.uDPReceive_adapted.nRecvbufOverwrites,roomAgent_C.uDPReceive_adapted.nRecvBytes,$PRE.roomAgent_C.uDPReceive_adapted.nRecvBytes,roomAgent_C.uDPReceive_adapted.pkgOut.dummy,$PRE.roomAgent_C.uDPReceive_adapted.pkgOut.dummy,roomAgent_C.get_content.dummy,$PRE.roomAgent_C.get_content.dummy,roomAgent_C.get_content.y[2],$PRE.roomAgent_C.get_content.y[2],roomAgent_C.get_content.y[1],$PRE.roomAgent_C.get_content.y[1],roomAgent_C.get_content.pkgOut[1].dummy,$PRE.roomAgent_C.get_content.pkgOut[1].dummy,roomAgent_C.content.pkgOut[1].dummy,$PRE.roomAgent_C.content.pkgOut[1].dummy,roomAgent_C.packager.pkgOut.dummy,$PRE.roomAgent_C.packager.pkgOut.dummy,roomAgent_C.getontology.pkgOut[1].trigger,$whenCondition155,$PRE.roomAgent_C.reset.t_start,$PRE.roomAgent_C.waitForInform.oldActive,$PRE.roomAgent_C.waitForInform.newActive,$PRE.roomAgent_C.waitForInform.localActive,$PRE.roomAgent_C.transition1.t_start,$PRE.roomAgent_C.confirmNoted.t_start,$PRE.roomAgent_C.sendConfirm.oldActive,$PRE.roomAgent_C.sendConfirm.newActive,$PRE.roomAgent_C.sendConfirm.localActive,$PRE.roomAgent_C.composeConfirm.oldActive,$PRE.roomAgent_C.composeConfirm.newActive,$PRE.roomAgent_C.composeConfirm.localActive,$PRE.roomAgent_C.transition4.t_start,$PRE.roomAgent_C.sendNotUnderstood.oldActive,$PRE.roomAgent_C.sendNotUnderstood.newActive,$PRE.roomAgent_C.sendNotUnderstood.localActive,$PRE.roomAgent_C.transition2.t_start,$PRE.roomAgent_C.composeNotUnderstood.oldActive,$PRE.roomAgent_C.composeNotUnderstood.newActive,$PRE.roomAgent_C.composeNotUnderstood.localActive,$PRE.roomAgent_C.repeat1.t_start,$PRE.roomAgent_C.state.oldActive,$PRE.roomAgent_C.state.newActive,$PRE.roomAgent_C.state.localActive,$PRE.roomAgent_C.repeat.t_start,$PRE.roomAgent_C.sendRequest.oldActive,$PRE.roomAgent_C.sendRequest.newActive,$PRE.roomAgent_C.sendRequest.localActive,$PRE.roomAgent_C.requestNoted.t_start,$PRE.roomAgent_C.composeRequest.oldActive,$PRE.roomAgent_C.composeRequest.newActive,$PRE.roomAgent_C.composeRequest.localActive,$PRE.roomAgent_C.integerChange.u,$PRE.roomAgent_C.waiting.oldActive,$PRE.roomAgent_C.waiting.newActive,$PRE.roomAgent_C.waiting.localActive,timeTable.nextEventScaled,timeTable.nextEvent,$PRE.timeTable.nextEvent,timeTable.last,timeTable.b,timeTable.a,roomAgent_C.reset.t_start,roomAgent_C.reset.fire,roomAgent_C.reset.enableFire,roomAgent_C.booleanExpression.y,roomAgent_C.and1.u2,roomAgent_C.rightMessage1.enableFire,roomAgent_C.rightMessage1.condition,roomAgent_C.waitForInform.oldActive,roomAgent_C.waitForInform.newActive,roomAgent_C.waitForInform.outPort[2].available,roomAgent_C.waitForInform.localActive,roomAgent_C.waitForInform.active,roomAgent_C.transition1.t_start,roomAgent_C.transition1.fire,roomAgent_C.transition1.enableFire,roomAgent_C.confirmNoted.t_start,roomAgent_C.confirmNoted.fire,roomAgent_C.confirmNoted.enableFire,roomAgent_C.sendConfirm.active,roomAgent_C.sendConfirm.oldActive,roomAgent_C.sendConfirm.newActive,roomAgent_C.sendConfirm.localActive,roomAgent_C.composeConfirm.oldActive,roomAgent_C.composeConfirm.newActive,roomAgent_C.composeConfirm.localActive,roomAgent_C.composeConfirm.active,roomAgent_C.or2.y,roomAgent_C.transition4.t_start,roomAgent_C.transition4.fire,roomAgent_C.transition4.enableFire,roomAgent_C.sendNotUnderstood.active,roomAgent_C.sendNotUnderstood.oldActive,roomAgent_C.sendNotUnderstood.newActive,roomAgent_C.sendNotUnderstood.localActive,roomAgent_C.transition2.t_start,roomAgent_C.transition2.fire,roomAgent_C.transition2.enableFire,roomAgent_C.composeNotUnderstood.oldActive,roomAgent_C.composeNotUnderstood.newActive,roomAgent_C.composeNotUnderstood.localActive,roomAgent_C.composeNotUnderstood.active,roomAgent_C.repeat1.t_start,roomAgent_C.repeat1.fire,roomAgent_C.repeat1.enableFire,roomAgent_C.rightMessage.enableFire,roomAgent_C.rightMessage.condition,roomAgent_C.state.oldActive,roomAgent_C.state.newActive,roomAgent_C.state.outPort[2].available,roomAgent_C.state.localActive,roomAgent_C.state.active,roomAgent_C.repeat.t_start,roomAgent_C.repeat.fire,roomAgent_C.repeat.enableFire,roomAgent_C.newMessage1.enableFire,roomAgent_C.newMessage1.condition,roomAgent_C.sendRequest.active,roomAgent_C.sendRequest.oldActive,roomAgent_C.sendRequest.newActive,roomAgent_C.sendRequest.outPort[2].available,roomAgent_C.sendRequest.localActive,roomAgent_C.requestNoted.t_start,roomAgent_C.requestNoted.fire,roomAgent_C.requestNoted.enableFire,roomAgent_C.composeRequest.oldActive,roomAgent_C.composeRequest.newActive,roomAgent_C.composeRequest.inPort[3].occupied,roomAgent_C.composeRequest.inPort[2].occupied,roomAgent_C.composeRequest.localActive,roomAgent_C.composeRequest.active,roomAgent_C.transitionWithSignal.enableFire,roomAgent_C.transitionWithSignal.condition,roomAgent_C.integerChange.u,roomAgent_C.newMessage.enableFire,roomAgent_C.waiting.oldActive,roomAgent_C.waiting.newActive,roomAgent_C.waiting.outPort[2].available,roomAgent_C.waiting.inPort[3].occupied,roomAgent_C.waiting.inPort[2].occupied,roomAgent_C.waiting.localActive,roomAgent_C.waiting.active,roomAgent_C.stateGraphRoot.activeSteps,roomAgent_C.messageID.pkgOut[1].backwardTrigger,roomAgent_C.messageID.pkgOut[1].trigger,roomAgent_C.getMessageID.y[1],$PRE.roomAgent_C.getMessageID.y[1],roomAgent_C.getperformative.y[1],$PRE.roomAgent_C.getperformative.y[1],$whenCondition169,$whenCondition168,$whenCondition167,$whenCondition166,$whenCondition165,$whenCondition154,$whenCondition156,$whenCondition157,$whenCondition158,$whenCondition159,$whenCondition160,$whenCondition161,$whenCondition162,$whenCondition163,$whenCondition164,roomAgent_C.newMessage.t_start,$PRE.roomAgent_C.newMessage.t_start,roomAgent_C.transitionWithSignal.t_start,$PRE.roomAgent_C.transitionWithSignal.t_start,roomAgent_C.newMessage1.t_start,$PRE.roomAgent_C.newMessage1.t_start,roomAgent_C.rightMessage.t_start,$PRE.roomAgent_C.rightMessage.t_start,roomAgent_C.rightMessage1.t_start,$PRE.roomAgent_C.rightMessage1.t_start,broker_LTC.packager.pkgOut.dummy,$PRE.broker_LTC.packager.pkgOut.dummy,broker_LTC.content.pkgOut[1].dummy,$PRE.broker_LTC.content.pkgOut[1].dummy,broker_LTC.get_content.pkgOut[1].dummy,$PRE.broker_LTC.get_content.pkgOut[1].dummy,broker_LTC.get_content.dummy,$PRE.broker_LTC.get_content.dummy,broker_LTC.get_content.y[2],$PRE.broker_LTC.get_content.y[2],broker_LTC.get_content.y[1],$PRE.broker_LTC.get_content.y[1],broker_LTC.uDPReceive_adapted.nRecvbufOverwrites,$PRE.broker_LTC.uDPReceive_adapted.nRecvbufOverwrites,broker_LTC.uDPReceive_adapted.nRecvBytes,$PRE.broker_LTC.uDPReceive_adapted.nRecvBytes,broker_LTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_LTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_LTC.uDPSend_adapted.dummy,broker_LTC.uDPSend_adapted.dummy,broker_LTC.sender.pkgOut[1].dummy,$PRE.broker_LTC.sender.pkgOut[1].dummy,broker_LTC.receiver.pkgOut[1].dummy,$PRE.broker_LTC.receiver.pkgOut[1].dummy,broker_LTC.reply_to.pkgOut[1].dummy,$PRE.broker_LTC.reply_to.pkgOut[1].dummy,broker_LTC.ontology.pkgOut[1].dummy,$PRE.broker_LTC.ontology.pkgOut[1].dummy,broker_LTC.getperformative.pkgOut[1].dummy,$PRE.broker_LTC.getperformative.pkgOut[1].dummy,broker_LTC.getperformative.dummy,$PRE.broker_LTC.getperformative.dummy,broker_LTC.getsender.pkgOut[1].dummy,$PRE.broker_LTC.getsender.pkgOut[1].dummy,broker_LTC.getsender.dummy,$PRE.broker_LTC.getsender.dummy,broker_LTC.getreceiver.pkgOut[1].dummy,$PRE.broker_LTC.getreceiver.pkgOut[1].dummy,broker_LTC.getreceiver.dummy,$PRE.broker_LTC.getreceiver.dummy,broker_LTC.getreceiver.y[1],$PRE.broker_LTC.getreceiver.y[1],broker_LTC.getreply_to.pkgOut[1].dummy,$PRE.broker_LTC.getreply_to.pkgOut[1].dummy,broker_LTC.getreply_to.dummy,$PRE.broker_LTC.getreply_to.dummy,broker_LTC.getreply_to.y[1],$PRE.broker_LTC.getreply_to.y[1],broker_LTC.getontology.pkgOut[1].dummy,$PRE.broker_LTC.getontology.pkgOut[1].dummy,broker_LTC.getontology.dummy,$PRE.broker_LTC.getontology.dummy,broker_LTC.getontology.y[1],$PRE.broker_LTC.getontology.y[1],broker_LTC.performative.pkgOut[1].dummy,$PRE.broker_LTC.performative.pkgOut[1].dummy,broker_LTC.getMessageID.dummy,$PRE.broker_LTC.getMessageID.dummy,broker_LTC.messageID.pkgOut[1].dummy,$PRE.broker_LTC.messageID.pkgOut[1].dummy,$PRE.broker_LTC.averagePrice,broker_LTC.averagePrice,$PRE.broker_LTC.totalHeat,broker_LTC.totalHeat,$PRE.broker_LTC.totalPrice,broker_LTC.totalPrice,$PRE.broker_LTC.messageID.u[1],broker_LTC.messageID.u[1],$PRE.broker_LTC.uDPSend_adapted.receiver,broker_LTC.uDPSend_adapted.receiver,$PRE.broker_LTC.reply_to.u[1],broker_LTC.reply_to.u[1],$PRE.broker_LTC.sender.u[1],broker_LTC.sender.u[1],$PRE.broker_LTC.ontology.u[1],broker_LTC.ontology.u[1],$PRE.broker_LTC.performative.u[1],broker_LTC.performative.u[1],$PRE.broker_LTC.content.u[2],broker_LTC.content.u[2],$PRE.broker_LTC.content.u[1],broker_LTC.content.u[1],$PRE.broker_LTC.rejectsComplete,broker_LTC.rejectsComplete,$PRE.broker_LTC.requestComplete,broker_LTC.requestComplete,$PRE.broker_LTC.requestCounter,broker_LTC.requestCounter,$PRE.broker_LTC.requestAddresses[10,1],broker_LTC.requestAddresses[10,1],$PRE.broker_LTC.requestAddresses[9,1],broker_LTC.requestAddresses[9,1],$PRE.broker_LTC.requestAddresses[8,1],broker_LTC.requestAddresses[8,1],$PRE.broker_LTC.requestAddresses[7,1],broker_LTC.requestAddresses[7,1],$PRE.broker_LTC.requestAddresses[6,1],broker_LTC.requestAddresses[6,1],$PRE.broker_LTC.requestAddresses[5,1],broker_LTC.requestAddresses[5,1],$PRE.broker_LTC.requestAddresses[4,1],broker_LTC.requestAddresses[4,1],$PRE.broker_LTC.requestAddresses[3,1],broker_LTC.requestAddresses[3,1],$PRE.broker_LTC.requestAddresses[2,1],broker_LTC.requestAddresses[2,1],$PRE.broker_LTC.requestAddresses[1,1],broker_LTC.requestAddresses[1,1],$PRE.broker_LTC.requestTable[10,1],broker_LTC.requestTable[10,1],$PRE.broker_LTC.requestTable[9,1],broker_LTC.requestTable[9,1],$PRE.broker_LTC.requestTable[8,1],broker_LTC.requestTable[8,1],$PRE.broker_LTC.requestTable[7,1],broker_LTC.requestTable[7,1],$PRE.broker_LTC.requestTable[6,1],broker_LTC.requestTable[6,1],$PRE.broker_LTC.requestTable[5,1],broker_LTC.requestTable[5,1],$PRE.broker_LTC.requestTable[4,1],broker_LTC.requestTable[4,1],$PRE.broker_LTC.requestTable[3,1],broker_LTC.requestTable[3,1],$PRE.broker_LTC.requestTable[2,1],broker_LTC.requestTable[2,1],$PRE.broker_LTC.requestTable[1,1],broker_LTC.requestTable[1,1],$PRE.broker_LTC.restHeat,broker_LTC.restHeat,$PRE.broker_LTC.totalaveragePrice,broker_LTC.totalaveragePrice,$PRE.broker_LTC.heatingPriceSum,broker_LTC.heatingPriceSum,$PRE.broker_LTC.cheapest,broker_LTC.cheapest,$PRE.broker_LTC.heatingCalculationSum,broker_LTC.heatingCalculationSum,$PRE.broker_LTC.informationCounter,broker_LTC.informationCounter,$PRE.broker_LTC.proposalCounter,broker_LTC.proposalCounter,$PRE.broker_LTC.heatSupplierTable[2,7],broker_LTC.heatSupplierTable[2,7],$PRE.broker_LTC.heatSupplierTable[2,6],broker_LTC.heatSupplierTable[2,6],$PRE.broker_LTC.heatSupplierTable[2,5],broker_LTC.heatSupplierTable[2,5],$PRE.broker_LTC.heatSupplierTable[2,4],broker_LTC.heatSupplierTable[2,4],$PRE.broker_LTC.heatSupplierTable[2,3],broker_LTC.heatSupplierTable[2,3],$PRE.broker_LTC.heatSupplierTable[2,2],broker_LTC.heatSupplierTable[2,2],$PRE.broker_LTC.heatSupplierTable[2,1],broker_LTC.heatSupplierTable[2,1],$PRE.broker_LTC.heatSupplierTable[1,7],broker_LTC.heatSupplierTable[1,7],$PRE.broker_LTC.heatSupplierTable[1,6],broker_LTC.heatSupplierTable[1,6],$PRE.broker_LTC.heatSupplierTable[1,5],broker_LTC.heatSupplierTable[1,5],$PRE.broker_LTC.heatSupplierTable[1,4],broker_LTC.heatSupplierTable[1,4],$PRE.broker_LTC.heatSupplierTable[1,3],broker_LTC.heatSupplierTable[1,3],$PRE.broker_LTC.heatSupplierTable[1,2],broker_LTC.heatSupplierTable[1,2],$PRE.broker_LTC.heatSupplierTable[1,1],broker_LTC.heatSupplierTable[1,1],$PRE.broker_LTC.lowestPrice,broker_LTC.lowestPrice,$PRE.broker_LTC.counterReject,broker_LTC.counterReject,$PRE.broker_LTC.counter,broker_LTC.counter,broker_LTC.getontology.pkgOut[1].trigger,$whenCondition152,$PRE.broker_LTC.proposalsComplete,$PRE.broker_LTC.requestsExceedSupply,$PRE.broker_LTC.heatingRequestSum,$PRE.broker_LTC.calculationDone,$PRE.broker_LTC.informationDone,$PRE.broker_LTC.finalRequestDone,$PRE.broker_LTC.reset4.t_start,$PRE.broker_LTC.enoughSupply1.t_start,$PRE.broker_LTC.limitedSupplyAbort.oldActive,$PRE.broker_LTC.limitedSupplyAbort.newActive,$PRE.broker_LTC.limitedSupplyAbort.localActive,$PRE.broker_LTC.enoughSupply.t_start,$PRE.broker_LTC.checkAvailability.oldActive,$PRE.broker_LTC.checkAvailability.newActive,$PRE.broker_LTC.checkAvailability.localActive,$PRE.broker_LTC.reset3.t_start,$PRE.broker_LTC.reset2.t_start,$PRE.broker_LTC.reset1.t_start,$PRE.broker_LTC.reset.t_start,$PRE.broker_LTC.transition3.t_start,$PRE.broker_LTC.prepareTableforRejections.oldActive,$PRE.broker_LTC.prepareTableforRejections.newActive,$PRE.broker_LTC.prepareTableforRejections.localActive,$PRE.broker_LTC.abort.t_start,$PRE.broker_LTC.checkRequestComplete.oldActive,$PRE.broker_LTC.checkRequestComplete.newActive,$PRE.broker_LTC.checkRequestComplete.localActive,$PRE.broker_LTC.transition7.t_start,$PRE.broker_LTC.computeFinalConstellation.oldActive,$PRE.broker_LTC.computeFinalConstellation.newActive,$PRE.broker_LTC.computeFinalConstellation.localActive,$PRE.broker_LTC.sendInformation.oldActive,$PRE.broker_LTC.sendInformation.newActive,$PRE.broker_LTC.sendInformation.localActive,$PRE.broker_LTC.transition6.t_start,$PRE.broker_LTC.transition5.t_start,$PRE.broker_LTC.computePrice.oldActive,$PRE.broker_LTC.computePrice.newActive,$PRE.broker_LTC.computePrice.localActive,$PRE.broker_LTC.collectConfirm.oldActive,$PRE.broker_LTC.collectConfirm.newActive,$PRE.broker_LTC.collectConfirm.localActive,$PRE.broker_LTC.check2.oldActive,$PRE.broker_LTC.check2.newActive,$PRE.broker_LTC.check2.localActive,$PRE.broker_LTC.composeInformation.oldActive,$PRE.broker_LTC.composeInformation.newActive,$PRE.broker_LTC.composeInformation.localActive,$PRE.broker_LTC.transition4.t_start,$PRE.broker_LTC.sendNotUnderstood.oldActive,$PRE.broker_LTC.sendNotUnderstood.newActive,$PRE.broker_LTC.sendNotUnderstood.localActive,$PRE.broker_LTC.transition2.t_start,$PRE.broker_LTC.composeNotUnderstood.oldActive,$PRE.broker_LTC.composeNotUnderstood.newActive,$PRE.broker_LTC.composeNotUnderstood.localActive,$PRE.broker_LTC.transitionWithSignal3.t_start,$PRE.broker_LTC.sendConfirmation.oldActive,$PRE.broker_LTC.sendConfirmation.newActive,$PRE.broker_LTC.sendConfirmation.localActive,$PRE.broker_LTC.requestNoted.t_start,$PRE.broker_LTC.check1.oldActive,$PRE.broker_LTC.check1.newActive,$PRE.broker_LTC.check1.localActive,$PRE.broker_LTC.check.oldActive,$PRE.broker_LTC.check.newActive,$PRE.broker_LTC.check.localActive,$PRE.broker_LTC.transition1.t_start,$PRE.broker_LTC.sendRequest.oldActive,$PRE.broker_LTC.sendRequest.newActive,$PRE.broker_LTC.sendRequest.localActive,$PRE.broker_LTC.transition.t_start,$PRE.broker_LTC.sendCall.oldActive,$PRE.broker_LTC.sendCall.newActive,$PRE.broker_LTC.sendCall.localActive,$PRE.broker_LTC.notFinished.t_start,$PRE.broker_LTC.sendOutRequest.oldActive,$PRE.broker_LTC.sendOutRequest.newActive,$PRE.broker_LTC.sendOutRequest.localActive,$PRE.broker_LTC.allProposalsCollected.t_start,$PRE.broker_LTC.collectProposal.oldActive,$PRE.broker_LTC.collectProposal.newActive,$PRE.broker_LTC.collectProposal.localActive,$PRE.broker_LTC.callForProposal.oldActive,$PRE.broker_LTC.callForProposal.newActive,$PRE.broker_LTC.callForProposal.localActive,$PRE.broker_LTC.waitforRequests.t_start,$PRE.broker_LTC.requests.oldActive,$PRE.broker_LTC.requests.newActive,$PRE.broker_LTC.requests.localActive,$PRE.broker_LTC.integerChange.u,$PRE.broker_LTC.message.oldActive,$PRE.broker_LTC.message.newActive,$PRE.broker_LTC.message.localActive,$PRE.broker_LTC.waiting.oldActive,$PRE.broker_LTC.waiting.newActive,$PRE.broker_LTC.waiting.localActive,$PRE.broker_LTC.receiver.u[1],broker_LTC.reset4.t_start,broker_LTC.reset4.fire,broker_LTC.reset4.enableFire,broker_LTC.enoughSupply1.t_start,broker_LTC.enoughSupply1.fire,broker_LTC.enoughSupply1.enableFire,broker_LTC.limitedSupplyAbort.oldActive,broker_LTC.limitedSupplyAbort.newActive,broker_LTC.limitedSupplyAbort.localActive,broker_LTC.limitedSupplyAbort.active,broker_LTC.enoughSupply.t_start,broker_LTC.enoughSupply.fire,broker_LTC.enoughSupply.enableFire,broker_LTC.checkAvailability.oldActive,broker_LTC.checkAvailability.newActive,broker_LTC.checkAvailability.outPort[2].available,broker_LTC.checkAvailability.localActive,broker_LTC.checkAvailability.active,broker_LTC.reset3.t_start,broker_LTC.reset3.fire,broker_LTC.reset3.enableFire,broker_LTC.reset2.t_start,broker_LTC.reset2.fire,broker_LTC.reset2.enableFire,broker_LTC.reset1.t_start,broker_LTC.reset1.fire,broker_LTC.reset1.enableFire,broker_LTC.reset.t_start,broker_LTC.reset.fire,broker_LTC.reset.enableFire,broker_LTC.transition3.t_start,broker_LTC.transition3.fire,broker_LTC.transition3.enableFire,broker_LTC.prepareTableforRejections.oldActive,broker_LTC.prepareTableforRejections.newActive,broker_LTC.prepareTableforRejections.localActive,broker_LTC.prepareTableforRejections.active,broker_LTC.abort.t_start,broker_LTC.abort.fire,broker_LTC.abort.enableFire,broker_LTC.or4.u1,broker_LTC.or2.y,broker_LTC.or1.y,broker_LTC.confirmNotComplete.enableFire,broker_LTC.requestsNotComplete.enableFire,broker_LTC.requestsComplete.enableFire,broker_LTC.checkRequestComplete.oldActive,broker_LTC.checkRequestComplete.newActive,broker_LTC.checkRequestComplete.outPort[2].available,broker_LTC.checkRequestComplete.localActive,broker_LTC.checkRequestComplete.active,broker_LTC.transition7.t_start,broker_LTC.transition7.fire,broker_LTC.transition7.enableFire,broker_LTC.computeFinalConstellation.oldActive,broker_LTC.computeFinalConstellation.newActive,broker_LTC.computeFinalConstellation.localActive,broker_LTC.computeFinalConstellation.active,broker_LTC.confirmComplete.enableFire,broker_LTC.confirmComplete.condition,broker_LTC.sendInformation.active,broker_LTC.sendInformation.oldActive,broker_LTC.sendInformation.newActive,broker_LTC.sendInformation.localActive,broker_LTC.transition6.t_start,broker_LTC.transition6.fire,broker_LTC.transition6.enableFire,broker_LTC.transition5.t_start,broker_LTC.transition5.fire,broker_LTC.transition5.enableFire,broker_LTC.computePrice.oldActive,broker_LTC.computePrice.newActive,broker_LTC.computePrice.localActive,broker_LTC.computePrice.active,broker_LTC.collectConfirm.oldActive,broker_LTC.collectConfirm.newActive,broker_LTC.collectConfirm.outPort[3].available,broker_LTC.collectConfirm.outPort[2].available,broker_LTC.collectConfirm.localActive,broker_LTC.collectConfirm.active,broker_LTC.correctPerformative2.enableFire,broker_LTC.correctPerformative2.condition,broker_LTC.check2.oldActive,broker_LTC.check2.newActive,broker_LTC.check2.outPort[2].available,broker_LTC.check2.localActive,broker_LTC.check2.active,broker_LTC.newConfirm.enableFire,broker_LTC.newConfirm.condition,broker_LTC.composeInformation.oldActive,broker_LTC.composeInformation.newActive,broker_LTC.composeInformation.inPort[2].occupied,broker_LTC.composeInformation.localActive,broker_LTC.composeInformation.active,broker_LTC.transition4.t_start,broker_LTC.transition4.fire,broker_LTC.transition4.enableFire,broker_LTC.sendNotUnderstood.active,broker_LTC.sendNotUnderstood.oldActive,broker_LTC.sendNotUnderstood.newActive,broker_LTC.sendNotUnderstood.localActive,broker_LTC.transition2.t_start,broker_LTC.transition2.fire,broker_LTC.transition2.enableFire,broker_LTC.composeNotUnderstood.oldActive,broker_LTC.composeNotUnderstood.newActive,broker_LTC.composeNotUnderstood.localActive,broker_LTC.composeNotUnderstood.active,broker_LTC.transitionWithSignal3.t_start,broker_LTC.transitionWithSignal3.fire,broker_LTC.transitionWithSignal3.enableFire,broker_LTC.transitionWithSignal3.condition,broker_LTC.actionConfirmed.enableFire,broker_LTC.actionConfirmed.condition,broker_LTC.sendConfirmation.active,broker_LTC.sendConfirmation.oldActive,broker_LTC.sendConfirmation.newActive,broker_LTC.sendConfirmation.outPort[2].available,broker_LTC.sendConfirmation.localActive,broker_LTC.requestNoted.t_start,broker_LTC.requestNoted.fire,broker_LTC.requestNoted.enableFire,broker_LTC.correctPerformative1.enableFire,broker_LTC.correctPerformative1.condition,broker_LTC.check1.oldActive,broker_LTC.check1.newActive,broker_LTC.check1.localActive,broker_LTC.check1.active,broker_LTC.correctPerformative.enableFire,broker_LTC.correctPerformative.condition,broker_LTC.check.oldActive,broker_LTC.check.newActive,broker_LTC.check.outPort[2].available,broker_LTC.check.localActive,broker_LTC.check.active,broker_LTC.transition1.t_start,broker_LTC.transition1.fire,broker_LTC.transition1.enableFire,broker_LTC.sendRequest.active,broker_LTC.sendRequest.oldActive,broker_LTC.sendRequest.newActive,broker_LTC.sendRequest.outPort[2].available,broker_LTC.sendRequest.localActive,broker_LTC.transition.t_start,broker_LTC.transition.fire,broker_LTC.transition.enableFire,broker_LTC.sendCall.active,broker_LTC.sendCall.oldActive,broker_LTC.sendCall.newActive,broker_LTC.sendCall.outPort[2].available,broker_LTC.sendCall.localActive,broker_LTC.notFinished.t_start,broker_LTC.notFinished.fire,broker_LTC.notFinished.enableFire,broker_LTC.sendOutRequest.oldActive,broker_LTC.sendOutRequest.newActive,broker_LTC.sendOutRequest.inPort[3].occupied,broker_LTC.sendOutRequest.inPort[2].occupied,broker_LTC.sendOutRequest.localActive,broker_LTC.sendOutRequest.active,broker_LTC.allProposalsCollected.t_start,broker_LTC.allProposalsCollected.fire,broker_LTC.allProposalsCollected.enableFire,broker_LTC.collectProposal.oldActive,broker_LTC.collectProposal.newActive,broker_LTC.collectProposal.outPort[2].available,broker_LTC.collectProposal.localActive,broker_LTC.collectProposal.active,broker_LTC.newProposal.enableFire,broker_LTC.callForProposal.oldActive,broker_LTC.callForProposal.newActive,broker_LTC.callForProposal.inPort[2].occupied,broker_LTC.callForProposal.localActive,broker_LTC.callForProposal.active,broker_LTC.newRequests.enableFire,broker_LTC.waitforRequests.t_start,broker_LTC.waitforRequests.fire,broker_LTC.waitforRequests.enableFire,broker_LTC.requests.oldActive,broker_LTC.requests.newActive,broker_LTC.requests.inPort[2].occupied,broker_LTC.requests.localActive,broker_LTC.requests.active,broker_LTC.transitionWithSignal.enableFire,broker_LTC.integerChange.u,broker_LTC.message.oldActive,broker_LTC.message.newActive,broker_LTC.message.outPort[2].available,broker_LTC.message.localActive,broker_LTC.message.active,broker_LTC.newMessage.enableFire,broker_LTC.waiting.oldActive,broker_LTC.waiting.newActive,broker_LTC.waiting.inPort[7].occupied,broker_LTC.waiting.inPort[6].occupied,broker_LTC.waiting.inPort[5].occupied,broker_LTC.waiting.inPort[4].occupied,broker_LTC.waiting.inPort[3].occupied,broker_LTC.waiting.inPort[2].occupied,broker_LTC.waiting.localActive,broker_LTC.waiting.active,broker_LTC.finalRequestDone,broker_LTC.informationDone,broker_LTC.calculationDone,broker_LTC.heatingRequestSum,broker_LTC.requestsExceedSupply,broker_LTC.proposalsComplete,broker_LTC.stateGraphRoot.activeSteps,broker_LTC.messageID.pkgOut[1].backwardTrigger,broker_LTC.messageID.pkgOut[1].trigger,broker_LTC.getMessageID.y[1],$PRE.broker_LTC.getMessageID.y[1],broker_LTC.getsender.y[1],$PRE.broker_LTC.getsender.y[1],broker_LTC.getperformative.y[1],$PRE.broker_LTC.getperformative.y[1],broker_LTC.receiver.u[1],$whenCondition129,$whenCondition128,$whenCondition127,$whenCondition126,$whenCondition125,$whenCondition124,$whenCondition123,$whenCondition122,$whenCondition121,$whenCondition120,$whenCondition119,$whenCondition118,$whenCondition117,$whenCondition130,$whenCondition131,$whenCondition132,$whenCondition133,$whenCondition134,$whenCondition135,$whenCondition136,$whenCondition137,$whenCondition138,$whenCondition139,$whenCondition140,$whenCondition141,$whenCondition142,$whenCondition143,$whenCondition144,$whenCondition145,$whenCondition146,$whenCondition147,$whenCondition148,$whenCondition149,$whenCondition150,$whenCondition151,$whenCondition153,broker_LTC.newMessage.t_start,$PRE.broker_LTC.newMessage.t_start,broker_LTC.transitionWithSignal.t_start,$PRE.broker_LTC.transitionWithSignal.t_start,broker_LTC.newRequests.t_start,$PRE.broker_LTC.newRequests.t_start,broker_LTC.newProposal.t_start,$PRE.broker_LTC.newProposal.t_start,broker_LTC.correctPerformative.t_start,$PRE.broker_LTC.correctPerformative.t_start,broker_LTC.correctPerformative1.t_start,$PRE.broker_LTC.correctPerformative1.t_start,broker_LTC.actionConfirmed.t_start,$PRE.broker_LTC.actionConfirmed.t_start,broker_LTC.newConfirm.t_start,$PRE.broker_LTC.newConfirm.t_start,broker_LTC.correctPerformative2.t_start,$PRE.broker_LTC.correctPerformative2.t_start,broker_LTC.confirmComplete.t_start,$PRE.broker_LTC.confirmComplete.t_start,broker_LTC.requestsComplete.t_start,$PRE.broker_LTC.requestsComplete.t_start,broker_LTC.requestsNotComplete.t_start,$PRE.broker_LTC.requestsNotComplete.t_start,broker_LTC.confirmNotComplete.t_start,$PRE.broker_LTC.confirmNotComplete.t_start,heatProducerAgent2.packager.pkgOut.dummy,$PRE.heatProducerAgent2.packager.pkgOut.dummy,heatProducerAgent2.content.pkgOut[1].dummy,$PRE.heatProducerAgent2.content.pkgOut[1].dummy,heatProducerAgent2.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent2.get_content.pkgOut[1].dummy,heatProducerAgent2.get_content.dummy,$PRE.heatProducerAgent2.get_content.dummy,heatProducerAgent2.get_content.y[2],$PRE.heatProducerAgent2.get_content.y[2],heatProducerAgent2.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent2.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent2.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent2.uDPReceive_adapted.nRecvBytes,heatProducerAgent2.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent2.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent2.uDPSend_adapted.dummy,heatProducerAgent2.uDPSend_adapted.dummy,heatProducerAgent2.sender.pkgOut[1].dummy,$PRE.heatProducerAgent2.sender.pkgOut[1].dummy,heatProducerAgent2.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent2.receiver.pkgOut[1].dummy,heatProducerAgent2.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent2.reply_to.pkgOut[1].dummy,heatProducerAgent2.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent2.ontology.pkgOut[1].dummy,heatProducerAgent2.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent2.getperformative.pkgOut[1].dummy,heatProducerAgent2.getperformative.dummy,$PRE.heatProducerAgent2.getperformative.dummy,heatProducerAgent2.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent2.getsender.pkgOut[1].dummy,heatProducerAgent2.getsender.dummy,$PRE.heatProducerAgent2.getsender.dummy,heatProducerAgent2.getsender.y[1],$PRE.heatProducerAgent2.getsender.y[1],heatProducerAgent2.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent2.getreceiver.pkgOut[1].dummy,heatProducerAgent2.getreceiver.dummy,$PRE.heatProducerAgent2.getreceiver.dummy,heatProducerAgent2.getreceiver.y[1],$PRE.heatProducerAgent2.getreceiver.y[1],heatProducerAgent2.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent2.getreply_to.pkgOut[1].dummy,heatProducerAgent2.getreply_to.dummy,$PRE.heatProducerAgent2.getreply_to.dummy,heatProducerAgent2.getreply_to.y[1],$PRE.heatProducerAgent2.getreply_to.y[1],heatProducerAgent2.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent2.getontology.pkgOut[1].dummy,heatProducerAgent2.getontology.dummy,$PRE.heatProducerAgent2.getontology.dummy,heatProducerAgent2.getontology.y[1],$PRE.heatProducerAgent2.getontology.y[1],heatProducerAgent2.performative.pkgOut[1].dummy,$PRE.heatProducerAgent2.performative.pkgOut[1].dummy,heatProducerAgent2.getMessageID.dummy,$PRE.heatProducerAgent2.getMessageID.dummy,heatProducerAgent2.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent2.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent2.messageID.u[1],heatProducerAgent2.messageID.u[1],$PRE.heatProducerAgent2.sender.u[1],heatProducerAgent2.sender.u[1],$PRE.heatProducerAgent2.reply_to.u[1],heatProducerAgent2.reply_to.u[1],$PRE.heatProducerAgent2.ontology.u[1],heatProducerAgent2.ontology.u[1],$PRE.heatProducerAgent2.receiver.u[1],heatProducerAgent2.receiver.u[1],$PRE.heatProducerAgent2.uDPSend_adapted.receiver,heatProducerAgent2.uDPSend_adapted.receiver,$PRE.heatProducerAgent2.performative.u[1],heatProducerAgent2.performative.u[1],$PRE.heatProducerAgent2.content.u[2],heatProducerAgent2.content.u[2],$PRE.heatProducerAgent2.content.u[1],heatProducerAgent2.content.u[1],$PRE.heatProducerAgent2.costCurrent,heatProducerAgent2.costCurrent,$PRE.heatProducerAgent2.currentCapacityDiscrete,heatProducerAgent2.currentCapacityDiscrete,$PRE.heatProducerAgent2.setCapacity,heatProducerAgent2.and1.u2,heatProducerAgent2.setCapacity,$PRE.heatProducerAgent2.calcCapacityInternal,heatProducerAgent2.calcCapacityInternal,heatProducerAgent2.getontology.pkgOut[1].trigger,$whenCondition76,heatProducerAgent1.packager.pkgOut.dummy,$PRE.heatProducerAgent1.packager.pkgOut.dummy,heatProducerAgent1.content.pkgOut[1].dummy,$PRE.heatProducerAgent1.content.pkgOut[1].dummy,heatProducerAgent1.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent1.get_content.pkgOut[1].dummy,heatProducerAgent1.get_content.dummy,$PRE.heatProducerAgent1.get_content.dummy,heatProducerAgent1.get_content.y[2],$PRE.heatProducerAgent1.get_content.y[2],heatProducerAgent1.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent1.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent1.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent1.uDPReceive_adapted.nRecvBytes,heatProducerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent1.uDPSend_adapted.dummy,heatProducerAgent1.uDPSend_adapted.dummy,heatProducerAgent1.sender.pkgOut[1].dummy,$PRE.heatProducerAgent1.sender.pkgOut[1].dummy,heatProducerAgent1.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent1.receiver.pkgOut[1].dummy,heatProducerAgent1.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent1.reply_to.pkgOut[1].dummy,heatProducerAgent1.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent1.ontology.pkgOut[1].dummy,heatProducerAgent1.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent1.getperformative.pkgOut[1].dummy,heatProducerAgent1.getperformative.dummy,$PRE.heatProducerAgent1.getperformative.dummy,heatProducerAgent1.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent1.getsender.pkgOut[1].dummy,heatProducerAgent1.getsender.dummy,$PRE.heatProducerAgent1.getsender.dummy,heatProducerAgent1.getsender.y[1],$PRE.heatProducerAgent1.getsender.y[1],heatProducerAgent1.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent1.getreceiver.pkgOut[1].dummy,heatProducerAgent1.getreceiver.dummy,$PRE.heatProducerAgent1.getreceiver.dummy,heatProducerAgent1.getreceiver.y[1],$PRE.heatProducerAgent1.getreceiver.y[1],heatProducerAgent1.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent1.getreply_to.pkgOut[1].dummy,heatProducerAgent1.getreply_to.dummy,$PRE.heatProducerAgent1.getreply_to.dummy,heatProducerAgent1.getreply_to.y[1],$PRE.heatProducerAgent1.getreply_to.y[1],heatProducerAgent1.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent1.getontology.pkgOut[1].dummy,heatProducerAgent1.getontology.dummy,$PRE.heatProducerAgent1.getontology.dummy,heatProducerAgent1.getontology.y[1],$PRE.heatProducerAgent1.getontology.y[1],heatProducerAgent1.performative.pkgOut[1].dummy,$PRE.heatProducerAgent1.performative.pkgOut[1].dummy,heatProducerAgent1.getMessageID.dummy,$PRE.heatProducerAgent1.getMessageID.dummy,heatProducerAgent1.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent1.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent1.messageID.u[1],heatProducerAgent1.messageID.u[1],$PRE.heatProducerAgent1.sender.u[1],heatProducerAgent1.sender.u[1],$PRE.heatProducerAgent1.reply_to.u[1],heatProducerAgent1.reply_to.u[1],$PRE.heatProducerAgent1.ontology.u[1],heatProducerAgent1.ontology.u[1],$PRE.heatProducerAgent1.receiver.u[1],heatProducerAgent1.receiver.u[1],$PRE.heatProducerAgent1.uDPSend_adapted.receiver,heatProducerAgent1.uDPSend_adapted.receiver,$PRE.heatProducerAgent1.performative.u[1],heatProducerAgent1.performative.u[1],$PRE.heatProducerAgent1.content.u[2],heatProducerAgent1.content.u[2],$PRE.heatProducerAgent1.content.u[1],heatProducerAgent1.content.u[1],$PRE.heatProducerAgent1.costCurrent,heatProducerAgent1.costCurrent,$PRE.heatProducerAgent1.currentCapacityDiscrete,heatProducerAgent1.currentCapacityDiscrete,$PRE.heatProducerAgent1.setCapacity,heatProducerAgent1.and1.u2,heatProducerAgent1.setCapacity,$PRE.heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.getontology.pkgOut[1].trigger,$whenCondition88,heatProducerAgent.packager.pkgOut.dummy,$PRE.heatProducerAgent.packager.pkgOut.dummy,heatProducerAgent.content.pkgOut[1].dummy,$PRE.heatProducerAgent.content.pkgOut[1].dummy,heatProducerAgent.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent.get_content.pkgOut[1].dummy,heatProducerAgent.get_content.dummy,$PRE.heatProducerAgent.get_content.dummy,heatProducerAgent.get_content.y[2],$PRE.heatProducerAgent.get_content.y[2],heatProducerAgent.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent.uDPReceive_adapted.nRecvBytes,heatProducerAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent.uDPSend_adapted.dummy,heatProducerAgent.uDPSend_adapted.dummy,heatProducerAgent.sender.pkgOut[1].dummy,$PRE.heatProducerAgent.sender.pkgOut[1].dummy,heatProducerAgent.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent.receiver.pkgOut[1].dummy,heatProducerAgent.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent.reply_to.pkgOut[1].dummy,heatProducerAgent.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent.ontology.pkgOut[1].dummy,heatProducerAgent.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent.getperformative.pkgOut[1].dummy,heatProducerAgent.getperformative.dummy,$PRE.heatProducerAgent.getperformative.dummy,heatProducerAgent.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent.getsender.pkgOut[1].dummy,heatProducerAgent.getsender.dummy,$PRE.heatProducerAgent.getsender.dummy,heatProducerAgent.getsender.y[1],$PRE.heatProducerAgent.getsender.y[1],heatProducerAgent.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent.getreceiver.pkgOut[1].dummy,heatProducerAgent.getreceiver.dummy,$PRE.heatProducerAgent.getreceiver.dummy,heatProducerAgent.getreceiver.y[1],$PRE.heatProducerAgent.getreceiver.y[1],heatProducerAgent.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent.getreply_to.pkgOut[1].dummy,heatProducerAgent.getreply_to.dummy,$PRE.heatProducerAgent.getreply_to.dummy,heatProducerAgent.getreply_to.y[1],$PRE.heatProducerAgent.getreply_to.y[1],heatProducerAgent.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent.getontology.pkgOut[1].dummy,heatProducerAgent.getontology.dummy,$PRE.heatProducerAgent.getontology.dummy,heatProducerAgent.getontology.y[1],$PRE.heatProducerAgent.getontology.y[1],heatProducerAgent.performative.pkgOut[1].dummy,$PRE.heatProducerAgent.performative.pkgOut[1].dummy,heatProducerAgent.getMessageID.dummy,$PRE.heatProducerAgent.getMessageID.dummy,heatProducerAgent.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent.messageID.u[1],heatProducerAgent.messageID.u[1],$PRE.heatProducerAgent.sender.u[1],heatProducerAgent.sender.u[1],$PRE.heatProducerAgent.reply_to.u[1],heatProducerAgent.reply_to.u[1],$PRE.heatProducerAgent.ontology.u[1],heatProducerAgent.ontology.u[1],$PRE.heatProducerAgent.receiver.u[1],heatProducerAgent.receiver.u[1],$PRE.heatProducerAgent.uDPSend_adapted.receiver,heatProducerAgent.uDPSend_adapted.receiver,$PRE.heatProducerAgent.performative.u[1],heatProducerAgent.performative.u[1],$PRE.heatProducerAgent.content.u[2],heatProducerAgent.content.u[2],$PRE.heatProducerAgent.content.u[1],heatProducerAgent.content.u[1],$PRE.heatProducerAgent.costCurrent,heatProducerAgent.costCurrent,$PRE.heatProducerAgent.currentCapacityDiscrete,heatProducerAgent.currentCapacityDiscrete,$PRE.heatProducerAgent.setCapacity,heatProducerAgent.and1.u2,heatProducerAgent.setCapacity,$PRE.heatProducerAgent.calcCapacityInternal,heatProducerAgent.calcCapacityInternal,heatProducerAgent.getontology.pkgOut[1].trigger,$whenCondition100,intermediateAgent_C.packager.pkgOut.dummy,$PRE.intermediateAgent_C.packager.pkgOut.dummy,intermediateAgent_C.content.pkgOut[1].dummy,$PRE.intermediateAgent_C.content.pkgOut[1].dummy,intermediateAgent_C.get_content.pkgOut[1].dummy,$PRE.intermediateAgent_C.get_content.pkgOut[1].dummy,intermediateAgent_C.get_content.dummy,$PRE.intermediateAgent_C.get_content.dummy,intermediateAgent_C.get_content.y[2],$PRE.intermediateAgent_C.get_content.y[2],intermediateAgent_C.get_content.y[1],$PRE.intermediateAgent_C.get_content.y[1],intermediateAgent_C.uDPReceive_adapted.nRecvbufOverwrites,$PRE.intermediateAgent_C.uDPReceive_adapted.nRecvbufOverwrites,intermediateAgent_C.uDPReceive_adapted.nRecvBytes,$PRE.intermediateAgent_C.uDPReceive_adapted.nRecvBytes,intermediateAgent_C.uDPReceive_adapted.pkgOut.dummy,$PRE.intermediateAgent_C.uDPReceive_adapted.pkgOut.dummy,$PRE.intermediateAgent_C.uDPSend_adapted.dummy,intermediateAgent_C.uDPSend_adapted.dummy,intermediateAgent_C.sender.pkgOut[1].dummy,$PRE.intermediateAgent_C.sender.pkgOut[1].dummy,intermediateAgent_C.receiver.pkgOut[1].dummy,$PRE.intermediateAgent_C.receiver.pkgOut[1].dummy,intermediateAgent_C.reply_to.pkgOut[1].dummy,$PRE.intermediateAgent_C.reply_to.pkgOut[1].dummy,intermediateAgent_C.ontology.pkgOut[1].dummy,$PRE.intermediateAgent_C.ontology.pkgOut[1].dummy,intermediateAgent_C.getperformative.pkgOut[1].dummy,$PRE.intermediateAgent_C.getperformative.pkgOut[1].dummy,intermediateAgent_C.getperformative.dummy,$PRE.intermediateAgent_C.getperformative.dummy,intermediateAgent_C.getsender.pkgOut[1].dummy,$PRE.intermediateAgent_C.getsender.pkgOut[1].dummy,intermediateAgent_C.getsender.dummy,$PRE.intermediateAgent_C.getsender.dummy,intermediateAgent_C.getreceiver.pkgOut[1].dummy,$PRE.intermediateAgent_C.getreceiver.pkgOut[1].dummy,intermediateAgent_C.getreceiver.dummy,$PRE.intermediateAgent_C.getreceiver.dummy,intermediateAgent_C.getreceiver.y[1],$PRE.intermediateAgent_C.getreceiver.y[1],intermediateAgent_C.getreply_to.pkgOut[1].dummy,$PRE.intermediateAgent_C.getreply_to.pkgOut[1].dummy,intermediateAgent_C.getreply_to.dummy,$PRE.intermediateAgent_C.getreply_to.dummy,intermediateAgent_C.getreply_to.y[1],$PRE.intermediateAgent_C.getreply_to.y[1],intermediateAgent_C.getontology.pkgOut[1].dummy,$PRE.intermediateAgent_C.getontology.pkgOut[1].dummy,intermediateAgent_C.getontology.dummy,$PRE.intermediateAgent_C.getontology.dummy,intermediateAgent_C.getontology.y[1],$PRE.intermediateAgent_C.getontology.y[1],intermediateAgent_C.performative.pkgOut[1].dummy,$PRE.intermediateAgent_C.performative.pkgOut[1].dummy,intermediateAgent_C.getMessageID.dummy,$PRE.intermediateAgent_C.getMessageID.dummy,intermediateAgent_C.messageID.pkgOut[1].dummy,$PRE.intermediateAgent_C.messageID.pkgOut[1].dummy,$PRE.intermediateAgent_C.ownCost,intermediateAgent_C.ownCost,$PRE.intermediateAgent_C.newCost,intermediateAgent_C.newCost,$PRE.intermediateAgent_C.messageID.u[1],intermediateAgent_C.messageID.u[1],$PRE.intermediateAgent_C.uDPSend_adapted.receiver,intermediateAgent_C.uDPSend_adapted.receiver,$PRE.intermediateAgent_C.ontology.u[1],intermediateAgent_C.ontology.u[1],$PRE.intermediateAgent_C.content.u[2],intermediateAgent_C.content.u[2],$PRE.intermediateAgent_C.content.u[1],intermediateAgent_C.content.u[1],$PRE.intermediateAgent_C.reply_to.u[1],intermediateAgent_C.reply_to.u[1],$PRE.intermediateAgent_C.receiver.u[1],intermediateAgent_C.receiver.u[1],$PRE.intermediateAgent_C.sender.u[1],intermediateAgent_C.sender.u[1],$PRE.intermediateAgent_C.performative.u[1],intermediateAgent_C.performative.u[1],$PRE.intermediateAgent_C.setCapacityOut,intermediateAgent_C.setCapacityOut,$PRE.intermediateAgent_C.currentCost,intermediateAgent_C.currentCost,$PRE.intermediateAgent_C.calcCapacity,intermediateAgent_C.calcCapacity,$PRE.intermediateAgent_C.setCapacity,intermediateAgent_C.and1.u2,intermediateAgent_C.setCapacity,intermediateAgent_C.getontology.pkgOut[1].trigger,$whenCondition115,intermediateAgent_C.newMessage.t_start,$PRE.intermediateAgent_C.newMessage.t_start,intermediateAgent_C.transitionWithSignal.t_start,$PRE.intermediateAgent_C.transitionWithSignal.t_start,intermediateAgent_C.fromTopBroker.t_start,$PRE.intermediateAgent_C.fromTopBroker.t_start,intermediateAgent_C.newMessage1.t_start,$PRE.intermediateAgent_C.newMessage1.t_start,intermediateAgent_C.newMessage2.t_start,$PRE.intermediateAgent_C.newMessage2.t_start,intermediateAgent_C.fromBottomBroker.t_start,$PRE.intermediateAgent_C.fromBottomBroker.t_start,intermediateAgent_C.Off.t_start,$PRE.intermediateAgent_C.Off.t_start,broker_HTC.packager.pkgOut.dummy,$PRE.broker_HTC.packager.pkgOut.dummy,broker_HTC.content.pkgOut[1].dummy,$PRE.broker_HTC.content.pkgOut[1].dummy,broker_HTC.get_content.pkgOut[1].dummy,$PRE.broker_HTC.get_content.pkgOut[1].dummy,broker_HTC.get_content.dummy,$PRE.broker_HTC.get_content.dummy,broker_HTC.get_content.y[2],$PRE.broker_HTC.get_content.y[2],broker_HTC.get_content.y[1],$PRE.broker_HTC.get_content.y[1],broker_HTC.uDPReceive_adapted.nRecvbufOverwrites,$PRE.broker_HTC.uDPReceive_adapted.nRecvbufOverwrites,broker_HTC.uDPReceive_adapted.nRecvBytes,$PRE.broker_HTC.uDPReceive_adapted.nRecvBytes,broker_HTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_HTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_HTC.uDPSend_adapted.dummy,broker_HTC.uDPSend_adapted.dummy,broker_HTC.sender.pkgOut[1].dummy,$PRE.broker_HTC.sender.pkgOut[1].dummy,broker_HTC.receiver.pkgOut[1].dummy,$PRE.broker_HTC.receiver.pkgOut[1].dummy,broker_HTC.reply_to.pkgOut[1].dummy,$PRE.broker_HTC.reply_to.pkgOut[1].dummy,broker_HTC.ontology.pkgOut[1].dummy,$PRE.broker_HTC.ontology.pkgOut[1].dummy,broker_HTC.getperformative.pkgOut[1].dummy,$PRE.broker_HTC.getperformative.pkgOut[1].dummy,broker_HTC.getperformative.dummy,$PRE.broker_HTC.getperformative.dummy,broker_HTC.getsender.pkgOut[1].dummy,$PRE.broker_HTC.getsender.pkgOut[1].dummy,broker_HTC.getsender.dummy,$PRE.broker_HTC.getsender.dummy,broker_HTC.getreceiver.pkgOut[1].dummy,$PRE.broker_HTC.getreceiver.pkgOut[1].dummy,broker_HTC.getreceiver.dummy,$PRE.broker_HTC.getreceiver.dummy,broker_HTC.getreceiver.y[1],$PRE.broker_HTC.getreceiver.y[1],broker_HTC.getreply_to.pkgOut[1].dummy,$PRE.broker_HTC.getreply_to.pkgOut[1].dummy,broker_HTC.getreply_to.dummy,$PRE.broker_HTC.getreply_to.dummy,broker_HTC.getreply_to.y[1],$PRE.broker_HTC.getreply_to.y[1],broker_HTC.getontology.pkgOut[1].dummy,$PRE.broker_HTC.getontology.pkgOut[1].dummy,broker_HTC.getontology.dummy,$PRE.broker_HTC.getontology.dummy,broker_HTC.getontology.y[1],$PRE.broker_HTC.getontology.y[1],broker_HTC.performative.pkgOut[1].dummy,$PRE.broker_HTC.performative.pkgOut[1].dummy,broker_HTC.getMessageID.dummy,$PRE.broker_HTC.getMessageID.dummy,broker_HTC.messageID.pkgOut[1].dummy,$PRE.broker_HTC.messageID.pkgOut[1].dummy,$PRE.broker_HTC.averagePrice,broker_HTC.averagePrice,$PRE.broker_HTC.totalHeat,broker_HTC.totalHeat,$PRE.broker_HTC.totalPrice,broker_HTC.totalPrice,$PRE.broker_HTC.messageID.u[1],broker_HTC.messageID.u[1],$PRE.broker_HTC.uDPSend_adapted.receiver,broker_HTC.uDPSend_adapted.receiver,$PRE.broker_HTC.reply_to.u[1],broker_HTC.reply_to.u[1],$PRE.broker_HTC.sender.u[1],broker_HTC.sender.u[1],$PRE.broker_HTC.ontology.u[1],broker_HTC.ontology.u[1],$PRE.broker_HTC.performative.u[1],broker_HTC.performative.u[1],$PRE.broker_HTC.content.u[2],broker_HTC.content.u[2],$PRE.broker_HTC.content.u[1],broker_HTC.content.u[1],$PRE.broker_HTC.rejectsComplete,broker_HTC.rejectsComplete,$PRE.broker_HTC.requestComplete,broker_HTC.requestComplete,$PRE.broker_HTC.requestCounter,broker_HTC.requestCounter,$PRE.broker_HTC.requestAddresses[10,1],broker_HTC.requestAddresses[10,1],$PRE.broker_HTC.requestAddresses[9,1],broker_HTC.requestAddresses[9,1],$PRE.broker_HTC.requestAddresses[8,1],broker_HTC.requestAddresses[8,1],$PRE.broker_HTC.requestAddresses[7,1],broker_HTC.requestAddresses[7,1],$PRE.broker_HTC.requestAddresses[6,1],broker_HTC.requestAddresses[6,1],$PRE.broker_HTC.requestAddresses[5,1],broker_HTC.requestAddresses[5,1],$PRE.broker_HTC.requestAddresses[4,1],broker_HTC.requestAddresses[4,1],$PRE.broker_HTC.requestAddresses[3,1],broker_HTC.requestAddresses[3,1],$PRE.broker_HTC.requestAddresses[2,1],broker_HTC.requestAddresses[2,1],$PRE.broker_HTC.requestAddresses[1,1],broker_HTC.requestAddresses[1,1],$PRE.broker_HTC.requestTable[10,1],broker_HTC.requestTable[10,1],$PRE.broker_HTC.requestTable[9,1],broker_HTC.requestTable[9,1],$PRE.broker_HTC.requestTable[8,1],broker_HTC.requestTable[8,1],$PRE.broker_HTC.requestTable[7,1],broker_HTC.requestTable[7,1],$PRE.broker_HTC.requestTable[6,1],broker_HTC.requestTable[6,1],$PRE.broker_HTC.requestTable[5,1],broker_HTC.requestTable[5,1],$PRE.broker_HTC.requestTable[4,1],broker_HTC.requestTable[4,1],$PRE.broker_HTC.requestTable[3,1],broker_HTC.requestTable[3,1],$PRE.broker_HTC.requestTable[2,1],broker_HTC.requestTable[2,1],$PRE.broker_HTC.requestTable[1,1],broker_HTC.requestTable[1,1],$PRE.broker_HTC.restHeat,broker_HTC.restHeat,$PRE.broker_HTC.totalaveragePrice,broker_HTC.totalaveragePrice,$PRE.broker_HTC.heatingPriceSum,broker_HTC.heatingPriceSum,$PRE.broker_HTC.cheapest,broker_HTC.cheapest,$PRE.broker_HTC.heatingCalculationSum,broker_HTC.heatingCalculationSum,$PRE.broker_HTC.informationCounter,broker_HTC.informationCounter,$PRE.broker_HTC.proposalCounter,broker_HTC.proposalCounter,$PRE.broker_HTC.heatSupplierTable[2,7],broker_HTC.heatSupplierTable[2,7],$PRE.broker_HTC.heatSupplierTable[2,6],broker_HTC.heatSupplierTable[2,6],$PRE.broker_HTC.heatSupplierTable[2,5],broker_HTC.heatSupplierTable[2,5],$PRE.broker_HTC.heatSupplierTable[2,4],broker_HTC.heatSupplierTable[2,4],$PRE.broker_HTC.heatSupplierTable[2,3],broker_HTC.heatSupplierTable[2,3],$PRE.broker_HTC.heatSupplierTable[2,2],broker_HTC.heatSupplierTable[2,2],$PRE.broker_HTC.heatSupplierTable[2,1],broker_HTC.heatSupplierTable[2,1],$PRE.broker_HTC.heatSupplierTable[1,7],broker_HTC.heatSupplierTable[1,7],$PRE.broker_HTC.heatSupplierTable[1,6],broker_HTC.heatSupplierTable[1,6],$PRE.broker_HTC.heatSupplierTable[1,5],broker_HTC.heatSupplierTable[1,5],$PRE.broker_HTC.heatSupplierTable[1,4],broker_HTC.heatSupplierTable[1,4],$PRE.broker_HTC.heatSupplierTable[1,3],broker_HTC.heatSupplierTable[1,3],$PRE.broker_HTC.heatSupplierTable[1,2],broker_HTC.heatSupplierTable[1,2],$PRE.broker_HTC.heatSupplierTable[1,1],broker_HTC.heatSupplierTable[1,1],$PRE.broker_HTC.lowestPrice,broker_HTC.lowestPrice,$PRE.broker_HTC.counterReject,broker_HTC.counterReject,$PRE.broker_HTC.counter,broker_HTC.counter,broker_HTC.getontology.pkgOut[1].trigger,$whenCondition39,$PRE.broker_HTC.proposalsComplete,$PRE.broker_HTC.requestsExceedSupply,$PRE.broker_HTC.heatingRequestSum,$PRE.broker_HTC.calculationDone,$PRE.broker_HTC.informationDone,$PRE.broker_HTC.finalRequestDone,$PRE.broker_HTC.reset4.t_start,$PRE.broker_HTC.enoughSupply1.t_start,$PRE.broker_HTC.limitedSupplyAbort.oldActive,$PRE.broker_HTC.limitedSupplyAbort.newActive,$PRE.broker_HTC.limitedSupplyAbort.localActive,$PRE.broker_HTC.enoughSupply.t_start,$PRE.broker_HTC.checkAvailability.oldActive,$PRE.broker_HTC.checkAvailability.newActive,$PRE.broker_HTC.checkAvailability.localActive,$PRE.broker_HTC.reset3.t_start,$PRE.broker_HTC.reset2.t_start,$PRE.broker_HTC.reset1.t_start,$PRE.broker_HTC.reset.t_start,$PRE.broker_HTC.transition3.t_start,$PRE.broker_HTC.prepareTableforRejections.oldActive,$PRE.broker_HTC.prepareTableforRejections.newActive,$PRE.broker_HTC.prepareTableforRejections.localActive,$PRE.broker_HTC.abort.t_start,$PRE.broker_HTC.checkRequestComplete.oldActive,$PRE.broker_HTC.checkRequestComplete.newActive,$PRE.broker_HTC.checkRequestComplete.localActive,$PRE.broker_HTC.transition7.t_start,$PRE.broker_HTC.computeFinalConstellation.oldActive,$PRE.broker_HTC.computeFinalConstellation.newActive,$PRE.broker_HTC.computeFinalConstellation.localActive,$PRE.broker_HTC.sendInformation.oldActive,$PRE.broker_HTC.sendInformation.newActive,$PRE.broker_HTC.sendInformation.localActive,$PRE.broker_HTC.transition6.t_start,$PRE.broker_HTC.transition5.t_start,$PRE.broker_HTC.computePrice.oldActive,$PRE.broker_HTC.computePrice.newActive,$PRE.broker_HTC.computePrice.localActive,$PRE.broker_HTC.collectConfirm.oldActive,$PRE.broker_HTC.collectConfirm.newActive,$PRE.broker_HTC.collectConfirm.localActive,$PRE.broker_HTC.check2.oldActive,$PRE.broker_HTC.check2.newActive,$PRE.broker_HTC.check2.localActive,$PRE.broker_HTC.composeInformation.oldActive,$PRE.broker_HTC.composeInformation.newActive,$PRE.broker_HTC.composeInformation.localActive,$PRE.broker_HTC.transition4.t_start,$PRE.broker_HTC.sendNotUnderstood.oldActive,$PRE.broker_HTC.sendNotUnderstood.newActive,$PRE.broker_HTC.sendNotUnderstood.localActive,$PRE.broker_HTC.transition2.t_start,$PRE.broker_HTC.composeNotUnderstood.oldActive,$PRE.broker_HTC.composeNotUnderstood.newActive,$PRE.broker_HTC.composeNotUnderstood.localActive,$PRE.broker_HTC.transitionWithSignal3.t_start,$PRE.broker_HTC.sendConfirmation.oldActive,$PRE.broker_HTC.sendConfirmation.newActive,$PRE.broker_HTC.sendConfirmation.localActive,$PRE.broker_HTC.requestNoted.t_start,$PRE.broker_HTC.check1.oldActive,$PRE.broker_HTC.check1.newActive,$PRE.broker_HTC.check1.localActive,$PRE.broker_HTC.check.oldActive,$PRE.broker_HTC.check.newActive,$PRE.broker_HTC.check.localActive,$PRE.broker_HTC.transition1.t_start,$PRE.broker_HTC.sendRequest.oldActive,$PRE.broker_HTC.sendRequest.newActive,$PRE.broker_HTC.sendRequest.localActive,$PRE.broker_HTC.transition.t_start,$PRE.broker_HTC.sendCall.oldActive,$PRE.broker_HTC.sendCall.newActive,$PRE.broker_HTC.sendCall.localActive,$PRE.broker_HTC.notFinished.t_start,$PRE.broker_HTC.sendOutRequest.oldActive,$PRE.broker_HTC.sendOutRequest.newActive,$PRE.broker_HTC.sendOutRequest.localActive,$PRE.broker_HTC.allProposalsCollected.t_start,$PRE.broker_HTC.collectProposal.oldActive,$PRE.broker_HTC.collectProposal.newActive,$PRE.broker_HTC.collectProposal.localActive,$PRE.broker_HTC.callForProposal.oldActive,$PRE.broker_HTC.callForProposal.newActive,$PRE.broker_HTC.callForProposal.localActive,$PRE.broker_HTC.waitforRequests.t_start,$PRE.broker_HTC.requests.oldActive,$PRE.broker_HTC.requests.newActive,$PRE.broker_HTC.requests.localActive,$PRE.broker_HTC.integerChange.u,$PRE.broker_HTC.message.oldActive,$PRE.broker_HTC.message.newActive,$PRE.broker_HTC.message.localActive,$PRE.broker_HTC.waiting.oldActive,$PRE.broker_HTC.waiting.newActive,$PRE.broker_HTC.waiting.localActive,$PRE.broker_HTC.receiver.u[1],broker_HTC.reset4.t_start,broker_HTC.reset4.fire,broker_HTC.reset4.enableFire,broker_HTC.enoughSupply1.t_start,broker_HTC.enoughSupply1.fire,broker_HTC.enoughSupply1.enableFire,broker_HTC.limitedSupplyAbort.oldActive,broker_HTC.limitedSupplyAbort.newActive,broker_HTC.limitedSupplyAbort.localActive,broker_HTC.limitedSupplyAbort.active,broker_HTC.enoughSupply.t_start,broker_HTC.enoughSupply.fire,broker_HTC.enoughSupply.enableFire,broker_HTC.checkAvailability.oldActive,broker_HTC.checkAvailability.newActive,broker_HTC.checkAvailability.outPort[2].available,broker_HTC.checkAvailability.localActive,broker_HTC.checkAvailability.active,broker_HTC.reset3.t_start,broker_HTC.reset3.fire,broker_HTC.reset3.enableFire,broker_HTC.reset2.t_start,broker_HTC.reset2.fire,broker_HTC.reset2.enableFire,broker_HTC.reset1.t_start,broker_HTC.reset1.fire,broker_HTC.reset1.enableFire,broker_HTC.reset.t_start,broker_HTC.reset.fire,broker_HTC.reset.enableFire,broker_HTC.transition3.t_start,broker_HTC.transition3.fire,broker_HTC.transition3.enableFire,broker_HTC.prepareTableforRejections.oldActive,broker_HTC.prepareTableforRejections.newActive,broker_HTC.prepareTableforRejections.localActive,broker_HTC.prepareTableforRejections.active,broker_HTC.abort.t_start,broker_HTC.abort.fire,broker_HTC.abort.enableFire,broker_HTC.or4.u1,broker_HTC.or2.y,broker_HTC.or1.y,broker_HTC.confirmNotComplete.enableFire,broker_HTC.requestsNotComplete.enableFire,broker_HTC.requestsComplete.enableFire,broker_HTC.checkRequestComplete.oldActive,broker_HTC.checkRequestComplete.newActive,broker_HTC.checkRequestComplete.outPort[2].available,broker_HTC.checkRequestComplete.localActive,broker_HTC.checkRequestComplete.active,broker_HTC.transition7.t_start,broker_HTC.transition7.fire,broker_HTC.transition7.enableFire,broker_HTC.computeFinalConstellation.oldActive,broker_HTC.computeFinalConstellation.newActive,broker_HTC.computeFinalConstellation.localActive,broker_HTC.computeFinalConstellation.active,broker_HTC.confirmComplete.enableFire,broker_HTC.confirmComplete.condition,broker_HTC.sendInformation.active,broker_HTC.sendInformation.oldActive,broker_HTC.sendInformation.newActive,broker_HTC.sendInformation.localActive,broker_HTC.transition6.t_start,broker_HTC.transition6.fire,broker_HTC.transition6.enableFire,broker_HTC.transition5.t_start,broker_HTC.transition5.fire,broker_HTC.transition5.enableFire,broker_HTC.computePrice.oldActive,broker_HTC.computePrice.newActive,broker_HTC.computePrice.localActive,broker_HTC.computePrice.active,broker_HTC.collectConfirm.oldActive,broker_HTC.collectConfirm.newActive,broker_HTC.collectConfirm.outPort[3].available,broker_HTC.collectConfirm.outPort[2].available,broker_HTC.collectConfirm.localActive,broker_HTC.collectConfirm.active,broker_HTC.correctPerformative2.enableFire,broker_HTC.correctPerformative2.condition,broker_HTC.check2.oldActive,broker_HTC.check2.newActive,broker_HTC.check2.outPort[2].available,broker_HTC.check2.localActive,broker_HTC.check2.active,broker_HTC.newConfirm.enableFire,broker_HTC.newConfirm.condition,broker_HTC.composeInformation.oldActive,broker_HTC.composeInformation.newActive,broker_HTC.composeInformation.inPort[2].occupied,broker_HTC.composeInformation.localActive,broker_HTC.composeInformation.active,broker_HTC.transition4.t_start,broker_HTC.transition4.fire,broker_HTC.transition4.enableFire,broker_HTC.sendNotUnderstood.active,broker_HTC.sendNotUnderstood.oldActive,broker_HTC.sendNotUnderstood.newActive,broker_HTC.sendNotUnderstood.localActive,broker_HTC.transition2.t_start,broker_HTC.transition2.fire,broker_HTC.transition2.enableFire,broker_HTC.composeNotUnderstood.oldActive,broker_HTC.composeNotUnderstood.newActive,broker_HTC.composeNotUnderstood.localActive,broker_HTC.composeNotUnderstood.active,broker_HTC.transitionWithSignal3.t_start,broker_HTC.transitionWithSignal3.fire,broker_HTC.transitionWithSignal3.enableFire,broker_HTC.transitionWithSignal3.condition,broker_HTC.actionConfirmed.enableFire,broker_HTC.actionConfirmed.condition,broker_HTC.sendConfirmation.active,broker_HTC.sendConfirmation.oldActive,broker_HTC.sendConfirmation.newActive,broker_HTC.sendConfirmation.outPort[2].available,broker_HTC.sendConfirmation.localActive,broker_HTC.requestNoted.t_start,broker_HTC.requestNoted.fire,broker_HTC.requestNoted.enableFire,broker_HTC.correctPerformative1.enableFire,broker_HTC.correctPerformative1.condition,broker_HTC.check1.oldActive,broker_HTC.check1.newActive,broker_HTC.check1.localActive,broker_HTC.check1.active,broker_HTC.correctPerformative.enableFire,broker_HTC.correctPerformative.condition,broker_HTC.check.oldActive,broker_HTC.check.newActive,broker_HTC.check.outPort[2].available,broker_HTC.check.localActive,broker_HTC.check.active,broker_HTC.transition1.t_start,broker_HTC.transition1.fire,broker_HTC.transition1.enableFire,broker_HTC.sendRequest.active,broker_HTC.sendRequest.oldActive,broker_HTC.sendRequest.newActive,broker_HTC.sendRequest.outPort[2].available,broker_HTC.sendRequest.localActive,broker_HTC.transition.t_start,broker_HTC.transition.fire,broker_HTC.transition.enableFire,broker_HTC.sendCall.active,broker_HTC.sendCall.oldActive,broker_HTC.sendCall.newActive,broker_HTC.sendCall.outPort[2].available,broker_HTC.sendCall.localActive,broker_HTC.notFinished.t_start,broker_HTC.notFinished.fire,broker_HTC.notFinished.enableFire,broker_HTC.sendOutRequest.oldActive,broker_HTC.sendOutRequest.newActive,broker_HTC.sendOutRequest.inPort[3].occupied,broker_HTC.sendOutRequest.inPort[2].occupied,broker_HTC.sendOutRequest.localActive,broker_HTC.sendOutRequest.active,broker_HTC.allProposalsCollected.t_start,broker_HTC.allProposalsCollected.fire,broker_HTC.allProposalsCollected.enableFire,broker_HTC.collectProposal.oldActive,broker_HTC.collectProposal.newActive,broker_HTC.collectProposal.outPort[2].available,broker_HTC.collectProposal.localActive,broker_HTC.collectProposal.active,broker_HTC.newProposal.enableFire,broker_HTC.callForProposal.oldActive,broker_HTC.callForProposal.newActive,broker_HTC.callForProposal.inPort[2].occupied,broker_HTC.callForProposal.localActive,broker_HTC.callForProposal.active,broker_HTC.newRequests.enableFire,broker_HTC.waitforRequests.t_start,broker_HTC.waitforRequests.fire,broker_HTC.waitforRequests.enableFire,broker_HTC.requests.oldActive,broker_HTC.requests.newActive,broker_HTC.requests.inPort[2].occupied,broker_HTC.requests.localActive,broker_HTC.requests.active,broker_HTC.transitionWithSignal.enableFire,broker_HTC.integerChange.u,broker_HTC.message.oldActive,broker_HTC.message.newActive,broker_HTC.message.outPort[2].available,broker_HTC.message.localActive,broker_HTC.message.active,broker_HTC.newMessage.enableFire,broker_HTC.waiting.oldActive,broker_HTC.waiting.newActive,broker_HTC.waiting.inPort[7].occupied,broker_HTC.waiting.inPort[6].occupied,broker_HTC.waiting.inPort[5].occupied,broker_HTC.waiting.inPort[4].occupied,broker_HTC.waiting.inPort[3].occupied,broker_HTC.waiting.inPort[2].occupied,broker_HTC.waiting.localActive,broker_HTC.waiting.active,broker_HTC.finalRequestDone,broker_HTC.informationDone,broker_HTC.calculationDone,broker_HTC.heatingRequestSum,broker_HTC.requestsExceedSupply,broker_HTC.proposalsComplete,broker_HTC.stateGraphRoot.activeSteps,broker_HTC.messageID.pkgOut[1].backwardTrigger,broker_HTC.messageID.pkgOut[1].trigger,broker_HTC.getMessageID.y[1],$PRE.broker_HTC.getMessageID.y[1],broker_HTC.getsender.y[1],$PRE.broker_HTC.getsender.y[1],broker_HTC.getperformative.y[1],$PRE.broker_HTC.getperformative.y[1],broker_HTC.receiver.u[1],$whenCondition16,$whenCondition15,$whenCondition14,$whenCondition13,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition5,$whenCondition4,$whenCondition17,$whenCondition18,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition22,$whenCondition23,$whenCondition24,$whenCondition25,$whenCondition26,$whenCondition27,$whenCondition28,$whenCondition29,$whenCondition30,$whenCondition31,$whenCondition32,$whenCondition33,$whenCondition34,$whenCondition35,$whenCondition36,$whenCondition37,$whenCondition38,$whenCondition40,broker_HTC.newMessage.t_start,$PRE.broker_HTC.newMessage.t_start,broker_HTC.transitionWithSignal.t_start,$PRE.broker_HTC.transitionWithSignal.t_start,broker_HTC.newRequests.t_start,$PRE.broker_HTC.newRequests.t_start,broker_HTC.newProposal.t_start,$PRE.broker_HTC.newProposal.t_start,broker_HTC.correctPerformative.t_start,$PRE.broker_HTC.correctPerformative.t_start,broker_HTC.correctPerformative1.t_start,$PRE.broker_HTC.correctPerformative1.t_start,broker_HTC.actionConfirmed.t_start,$PRE.broker_HTC.actionConfirmed.t_start,broker_HTC.newConfirm.t_start,$PRE.broker_HTC.newConfirm.t_start,broker_HTC.correctPerformative2.t_start,$PRE.broker_HTC.correctPerformative2.t_start,broker_HTC.confirmComplete.t_start,$PRE.broker_HTC.confirmComplete.t_start,broker_HTC.requestsComplete.t_start,$PRE.broker_HTC.requestsComplete.t_start,broker_HTC.requestsNotComplete.t_start,$PRE.broker_HTC.requestsNotComplete.t_start,broker_HTC.confirmNotComplete.t_start,$PRE.broker_HTC.confirmNotComplete.t_start,heatProducerAgent.newMessage.t_start,$PRE.heatProducerAgent.newMessage.t_start,heatProducerAgent.transitionWithSignal.t_start,$PRE.heatProducerAgent.transitionWithSignal.t_start,heatProducerAgent.transitionWithSignal1.t_start,$PRE.heatProducerAgent.transitionWithSignal1.t_start,heatProducerAgent.transitionWithSignal2.t_start,$PRE.heatProducerAgent.transitionWithSignal2.t_start,heatProducerAgent.Off.t_start,$PRE.heatProducerAgent.Off.t_start,heatProducerAgent.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent.zeroOrderHold.ySample,heatProducerAgent.zeroOrderHold.sampleTrigger,$whenCondition3,heatProducerAgent.zeroOrderHold.ySample,heatProducerAgent1.newMessage.t_start,$PRE.heatProducerAgent1.newMessage.t_start,heatProducerAgent1.transitionWithSignal.t_start,$PRE.heatProducerAgent1.transitionWithSignal.t_start,heatProducerAgent1.transitionWithSignal1.t_start,$PRE.heatProducerAgent1.transitionWithSignal1.t_start,heatProducerAgent1.transitionWithSignal2.t_start,$PRE.heatProducerAgent1.transitionWithSignal2.t_start,heatProducerAgent1.Off.t_start,$PRE.heatProducerAgent1.Off.t_start,heatProducerAgent1.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent1.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent1.zeroOrderHold.ySample,heatProducerAgent1.zeroOrderHold.sampleTrigger,$whenCondition2,heatProducerAgent1.zeroOrderHold.ySample,heatProducerAgent2.newMessage.t_start,$PRE.heatProducerAgent2.newMessage.t_start,heatProducerAgent2.transitionWithSignal.t_start,$PRE.heatProducerAgent2.transitionWithSignal.t_start,heatProducerAgent2.transitionWithSignal1.t_start,$PRE.heatProducerAgent2.transitionWithSignal1.t_start,heatProducerAgent2.transitionWithSignal2.t_start,$PRE.heatProducerAgent2.transitionWithSignal2.t_start,heatProducerAgent2.Off.t_start,$PRE.heatProducerAgent2.Off.t_start,heatProducerAgent2.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent2.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent2.zeroOrderHold.ySample,heatProducerAgent2.zeroOrderHold.sampleTrigger,$whenCondition1,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,$PRE.heatProducerAgent2.reset.t_start,$PRE.heatProducerAgent2.transition7.t_start,$PRE.heatProducerAgent2.shutDown.oldActive,$PRE.heatProducerAgent2.shutDown.newActive,$PRE.heatProducerAgent2.shutDown.localActive,$PRE.heatProducerAgent2.transition6.t_start,$PRE.heatProducerAgent2.confirm.oldActive,$PRE.heatProducerAgent2.confirm.newActive,$PRE.heatProducerAgent2.confirm.localActive,$PRE.heatProducerAgent2.transition5.t_start,$PRE.heatProducerAgent2.sendConfirmation.oldActive,$PRE.heatProducerAgent2.sendConfirmation.newActive,$PRE.heatProducerAgent2.sendConfirmation.localActive,$PRE.heatProducerAgent2.setCapacityOut,$PRE.heatProducerAgent2.transition4.t_start,$PRE.heatProducerAgent2.sendNotUnderstood.oldActive,$PRE.heatProducerAgent2.sendNotUnderstood.newActive,$PRE.heatProducerAgent2.sendNotUnderstood.localActive,$PRE.heatProducerAgent2.transition3.t_start,$PRE.heatProducerAgent2.composeNotUnderstood.oldActive,$PRE.heatProducerAgent2.composeNotUnderstood.newActive,$PRE.heatProducerAgent2.composeNotUnderstood.localActive,$PRE.heatProducerAgent2.transitionWithSignal3.t_start,$PRE.heatProducerAgent2.integerChange.u,$PRE.heatProducerAgent2.sendProposal.oldActive,$PRE.heatProducerAgent2.sendProposal.newActive,$PRE.heatProducerAgent2.sendProposal.localActive,$PRE.heatProducerAgent2.transition1.t_start,$PRE.heatProducerAgent2.computeProposal.oldActive,$PRE.heatProducerAgent2.computeProposal.newActive,$PRE.heatProducerAgent2.computeProposal.localActive,$PRE.heatProducerAgent2.transition2.t_start,$PRE.heatProducerAgent2.adjustHeat.oldActive,$PRE.heatProducerAgent2.adjustHeat.newActive,$PRE.heatProducerAgent2.adjustHeat.localActive,$PRE.heatProducerAgent2.message.oldActive,$PRE.heatProducerAgent2.message.newActive,$PRE.heatProducerAgent2.message.localActive,$PRE.heatProducerAgent2.waiting.oldActive,$PRE.heatProducerAgent2.waiting.newActive,$PRE.heatProducerAgent2.waiting.localActive,heatProducerAgent2.Off.enableFire,heatProducerAgent2.reset.t_start,heatProducerAgent2.reset.fire,heatProducerAgent2.reset.enableFire,heatProducerAgent2.transition7.t_start,heatProducerAgent2.transition7.fire,heatProducerAgent2.transition7.enableFire,heatProducerAgent2.shutDown.oldActive,heatProducerAgent2.shutDown.newActive,heatProducerAgent2.shutDown.localActive,heatProducerAgent2.shutDown.active,heatProducerAgent2.transition6.t_start,heatProducerAgent2.transition6.fire,heatProducerAgent2.transition6.enableFire,heatProducerAgent2.confirm.oldActive,heatProducerAgent2.confirm.newActive,heatProducerAgent2.confirm.localActive,heatProducerAgent2.confirm.active,heatProducerAgent2.transition5.t_start,heatProducerAgent2.transition5.fire,heatProducerAgent2.transition5.enableFire,heatProducerAgent2.sendConfirmation.active,heatProducerAgent2.sendConfirmation.oldActive,heatProducerAgent2.sendConfirmation.newActive,heatProducerAgent2.sendConfirmation.inPort[2].occupied,heatProducerAgent2.sendConfirmation.localActive,heatProducerAgent2.setCapacityOut,heatProducerAgent2.or1.y,heatProducerAgent2.transition4.t_start,heatProducerAgent2.transition4.fire,heatProducerAgent2.transition4.enableFire,heatProducerAgent2.sendNotUnderstood.active,heatProducerAgent2.sendNotUnderstood.oldActive,heatProducerAgent2.sendNotUnderstood.newActive,heatProducerAgent2.sendNotUnderstood.localActive,heatProducerAgent2.transition3.t_start,heatProducerAgent2.transition3.fire,heatProducerAgent2.transition3.enableFire,heatProducerAgent2.composeNotUnderstood.oldActive,heatProducerAgent2.composeNotUnderstood.newActive,heatProducerAgent2.composeNotUnderstood.localActive,heatProducerAgent2.composeNotUnderstood.active,heatProducerAgent2.booleanExpression3.y,heatProducerAgent2.transitionWithSignal3.t_start,heatProducerAgent2.transitionWithSignal3.fire,heatProducerAgent2.transitionWithSignal3.enableFire,heatProducerAgent2.transitionWithSignal2.enableFire,heatProducerAgent2.transitionWithSignal2.condition,heatProducerAgent2.integerChange.u,heatProducerAgent2.sendProposal.active,heatProducerAgent2.sendProposal.oldActive,heatProducerAgent2.sendProposal.newActive,heatProducerAgent2.sendProposal.outPort[3].available,heatProducerAgent2.sendProposal.outPort[2].available,heatProducerAgent2.sendProposal.localActive,heatProducerAgent2.transition1.t_start,heatProducerAgent2.transition1.fire,heatProducerAgent2.transition1.enableFire,heatProducerAgent2.transitionWithSignal1.enableFire,heatProducerAgent2.transitionWithSignal1.condition,heatProducerAgent2.transitionWithSignal.enableFire,heatProducerAgent2.computeProposal.oldActive,heatProducerAgent2.computeProposal.newActive,heatProducerAgent2.computeProposal.localActive,heatProducerAgent2.computeProposal.active,heatProducerAgent2.transition2.t_start,heatProducerAgent2.transition2.fire,heatProducerAgent2.transition2.enableFire,heatProducerAgent2.transition2.condition,heatProducerAgent2.adjustHeat.oldActive,heatProducerAgent2.adjustHeat.newActive,heatProducerAgent2.adjustHeat.localActive,heatProducerAgent2.adjustHeat.active,heatProducerAgent2.message.oldActive,heatProducerAgent2.message.newActive,heatProducerAgent2.message.outPort[2].available,heatProducerAgent2.message.localActive,heatProducerAgent2.message.active,heatProducerAgent2.newMessage.enableFire,heatProducerAgent2.newMessage.condition,heatProducerAgent2.waiting.oldActive,heatProducerAgent2.waiting.newActive,heatProducerAgent2.waiting.outPort[2].available,heatProducerAgent2.waiting.inPort[4].occupied,heatProducerAgent2.waiting.inPort[3].occupied,heatProducerAgent2.waiting.inPort[2].occupied,heatProducerAgent2.waiting.localActive,heatProducerAgent2.waiting.active,heatProducerAgent2.stateGraphRoot.activeSteps,heatProducerAgent2.messageID.pkgOut[1].backwardTrigger,heatProducerAgent2.messageID.pkgOut[1].trigger,heatProducerAgent2.getMessageID.y[1],$PRE.heatProducerAgent2.getMessageID.y[1],heatProducerAgent2.getperformative.y[1],$PRE.heatProducerAgent2.getperformative.y[1],heatProducerAgent2.get_content.y[1],$PRE.heatProducerAgent2.get_content.y[1],$whenCondition65,$whenCondition64,$whenCondition63,$whenCondition62,$whenCondition61,$whenCondition60,$whenCondition66,$whenCondition67,$whenCondition68,$whenCondition69,$whenCondition70,$whenCondition71,$whenCondition72,$whenCondition73,$whenCondition74,$whenCondition75,$whenCondition77,$PRE.heatProducerAgent1.reset.t_start,$PRE.heatProducerAgent1.transition7.t_start,$PRE.heatProducerAgent1.shutDown.oldActive,$PRE.heatProducerAgent1.shutDown.newActive,$PRE.heatProducerAgent1.shutDown.localActive,$PRE.heatProducerAgent1.transition6.t_start,$PRE.heatProducerAgent1.confirm.oldActive,$PRE.heatProducerAgent1.confirm.newActive,$PRE.heatProducerAgent1.confirm.localActive,$PRE.heatProducerAgent1.transition5.t_start,$PRE.heatProducerAgent1.sendConfirmation.oldActive,$PRE.heatProducerAgent1.sendConfirmation.newActive,$PRE.heatProducerAgent1.sendConfirmation.localActive,$PRE.heatProducerAgent1.setCapacityOut,$PRE.heatProducerAgent1.transition4.t_start,$PRE.heatProducerAgent1.sendNotUnderstood.oldActive,$PRE.heatProducerAgent1.sendNotUnderstood.newActive,$PRE.heatProducerAgent1.sendNotUnderstood.localActive,$PRE.heatProducerAgent1.transition3.t_start,$PRE.heatProducerAgent1.composeNotUnderstood.oldActive,$PRE.heatProducerAgent1.composeNotUnderstood.newActive,$PRE.heatProducerAgent1.composeNotUnderstood.localActive,$PRE.heatProducerAgent1.transitionWithSignal3.t_start,$PRE.heatProducerAgent1.integerChange.u,$PRE.heatProducerAgent1.sendProposal.oldActive,$PRE.heatProducerAgent1.sendProposal.newActive,$PRE.heatProducerAgent1.sendProposal.localActive,$PRE.heatProducerAgent1.transition1.t_start,$PRE.heatProducerAgent1.computeProposal.oldActive,$PRE.heatProducerAgent1.computeProposal.newActive,$PRE.heatProducerAgent1.computeProposal.localActive,$PRE.heatProducerAgent1.transition2.t_start,$PRE.heatProducerAgent1.adjustHeat.oldActive,$PRE.heatProducerAgent1.adjustHeat.newActive,$PRE.heatProducerAgent1.adjustHeat.localActive,$PRE.heatProducerAgent1.message.oldActive,$PRE.heatProducerAgent1.message.newActive,$PRE.heatProducerAgent1.message.localActive,$PRE.heatProducerAgent1.waiting.oldActive,$PRE.heatProducerAgent1.waiting.newActive,$PRE.heatProducerAgent1.waiting.localActive,heatProducerAgent1.Off.enableFire,heatProducerAgent1.reset.t_start,heatProducerAgent1.reset.fire,heatProducerAgent1.reset.enableFire,heatProducerAgent1.transition7.t_start,heatProducerAgent1.transition7.fire,heatProducerAgent1.transition7.enableFire,heatProducerAgent1.shutDown.oldActive,heatProducerAgent1.shutDown.newActive,heatProducerAgent1.shutDown.localActive,heatProducerAgent1.shutDown.active,heatProducerAgent1.transition6.t_start,heatProducerAgent1.transition6.fire,heatProducerAgent1.transition6.enableFire,heatProducerAgent1.confirm.oldActive,heatProducerAgent1.confirm.newActive,heatProducerAgent1.confirm.localActive,heatProducerAgent1.confirm.active,heatProducerAgent1.transition5.t_start,heatProducerAgent1.transition5.fire,heatProducerAgent1.transition5.enableFire,heatProducerAgent1.sendConfirmation.active,heatProducerAgent1.sendConfirmation.oldActive,heatProducerAgent1.sendConfirmation.newActive,heatProducerAgent1.sendConfirmation.inPort[2].occupied,heatProducerAgent1.sendConfirmation.localActive,heatProducerAgent1.setCapacityOut,heatProducerAgent1.or1.y,heatProducerAgent1.transition4.t_start,heatProducerAgent1.transition4.fire,heatProducerAgent1.transition4.enableFire,heatProducerAgent1.sendNotUnderstood.active,heatProducerAgent1.sendNotUnderstood.oldActive,heatProducerAgent1.sendNotUnderstood.newActive,heatProducerAgent1.sendNotUnderstood.localActive,heatProducerAgent1.transition3.t_start,heatProducerAgent1.transition3.fire,heatProducerAgent1.transition3.enableFire,heatProducerAgent1.composeNotUnderstood.oldActive,heatProducerAgent1.composeNotUnderstood.newActive,heatProducerAgent1.composeNotUnderstood.localActive,heatProducerAgent1.composeNotUnderstood.active,heatProducerAgent1.booleanExpression3.y,heatProducerAgent1.transitionWithSignal3.t_start,heatProducerAgent1.transitionWithSignal3.fire,heatProducerAgent1.transitionWithSignal3.enableFire,heatProducerAgent1.transitionWithSignal2.enableFire,heatProducerAgent1.transitionWithSignal2.condition,heatProducerAgent1.integerChange.u,heatProducerAgent1.sendProposal.active,heatProducerAgent1.sendProposal.oldActive,heatProducerAgent1.sendProposal.newActive,heatProducerAgent1.sendProposal.outPort[3].available,heatProducerAgent1.sendProposal.outPort[2].available,heatProducerAgent1.sendProposal.localActive,heatProducerAgent1.transition1.t_start,heatProducerAgent1.transition1.fire,heatProducerAgent1.transition1.enableFire,heatProducerAgent1.transitionWithSignal1.enableFire,heatProducerAgent1.transitionWithSignal1.condition,heatProducerAgent1.transitionWithSignal.enableFire,heatProducerAgent1.computeProposal.oldActive,heatProducerAgent1.computeProposal.newActive,heatProducerAgent1.computeProposal.localActive,heatProducerAgent1.computeProposal.active,heatProducerAgent1.transition2.t_start,heatProducerAgent1.transition2.fire,heatProducerAgent1.transition2.enableFire,heatProducerAgent1.transition2.condition,heatProducerAgent1.adjustHeat.oldActive,heatProducerAgent1.adjustHeat.newActive,heatProducerAgent1.adjustHeat.localActive,heatProducerAgent1.adjustHeat.active,heatProducerAgent1.message.oldActive,heatProducerAgent1.message.newActive,heatProducerAgent1.message.outPort[2].available,heatProducerAgent1.message.localActive,heatProducerAgent1.message.active,heatProducerAgent1.newMessage.enableFire,heatProducerAgent1.newMessage.condition,heatProducerAgent1.waiting.oldActive,heatProducerAgent1.waiting.newActive,heatProducerAgent1.waiting.outPort[2].available,heatProducerAgent1.waiting.inPort[4].occupied,heatProducerAgent1.waiting.inPort[3].occupied,heatProducerAgent1.waiting.inPort[2].occupied,heatProducerAgent1.waiting.localActive,heatProducerAgent1.waiting.active,heatProducerAgent1.stateGraphRoot.activeSteps,heatProducerAgent1.messageID.pkgOut[1].backwardTrigger,heatProducerAgent1.messageID.pkgOut[1].trigger,heatProducerAgent1.getMessageID.y[1],$PRE.heatProducerAgent1.getMessageID.y[1],heatProducerAgent1.getperformative.y[1],$PRE.heatProducerAgent1.getperformative.y[1],heatProducerAgent1.get_content.y[1],$PRE.heatProducerAgent1.get_content.y[1],$whenCondition59,$whenCondition58,$whenCondition57,$whenCondition56,$whenCondition55,$whenCondition54,$whenCondition78,$whenCondition79,$whenCondition80,$whenCondition81,$whenCondition82,$whenCondition83,$whenCondition84,$whenCondition85,$whenCondition86,$whenCondition87,$whenCondition89,$PRE.heatProducerAgent.reset.t_start,$PRE.heatProducerAgent.transition7.t_start,$PRE.heatProducerAgent.shutDown.oldActive,$PRE.heatProducerAgent.shutDown.newActive,$PRE.heatProducerAgent.shutDown.localActive,$PRE.heatProducerAgent.transition6.t_start,$PRE.heatProducerAgent.confirm.oldActive,$PRE.heatProducerAgent.confirm.newActive,$PRE.heatProducerAgent.confirm.localActive,$PRE.heatProducerAgent.transition5.t_start,$PRE.heatProducerAgent.sendConfirmation.oldActive,$PRE.heatProducerAgent.sendConfirmation.newActive,$PRE.heatProducerAgent.sendConfirmation.localActive,$PRE.heatProducerAgent.setCapacityOut,$PRE.heatProducerAgent.transition4.t_start,$PRE.heatProducerAgent.sendNotUnderstood.oldActive,$PRE.heatProducerAgent.sendNotUnderstood.newActive,$PRE.heatProducerAgent.sendNotUnderstood.localActive,$PRE.heatProducerAgent.transition3.t_start,$PRE.heatProducerAgent.composeNotUnderstood.oldActive,$PRE.heatProducerAgent.composeNotUnderstood.newActive,$PRE.heatProducerAgent.composeNotUnderstood.localActive,$PRE.heatProducerAgent.transitionWithSignal3.t_start,$PRE.heatProducerAgent.integerChange.u,$PRE.heatProducerAgent.sendProposal.oldActive,$PRE.heatProducerAgent.sendProposal.newActive,$PRE.heatProducerAgent.sendProposal.localActive,$PRE.heatProducerAgent.transition1.t_start,$PRE.heatProducerAgent.computeProposal.oldActive,$PRE.heatProducerAgent.computeProposal.newActive,$PRE.heatProducerAgent.computeProposal.localActive,$PRE.heatProducerAgent.transition2.t_start,$PRE.heatProducerAgent.adjustHeat.oldActive,$PRE.heatProducerAgent.adjustHeat.newActive,$PRE.heatProducerAgent.adjustHeat.localActive,$PRE.heatProducerAgent.message.oldActive,$PRE.heatProducerAgent.message.newActive,$PRE.heatProducerAgent.message.localActive,$PRE.heatProducerAgent.waiting.oldActive,$PRE.heatProducerAgent.waiting.newActive,$PRE.heatProducerAgent.waiting.localActive,heatProducerAgent.Off.enableFire,heatProducerAgent.reset.t_start,heatProducerAgent.reset.fire,heatProducerAgent.reset.enableFire,heatProducerAgent.transition7.t_start,heatProducerAgent.transition7.fire,heatProducerAgent.transition7.enableFire,heatProducerAgent.shutDown.oldActive,heatProducerAgent.shutDown.newActive,heatProducerAgent.shutDown.localActive,heatProducerAgent.shutDown.active,heatProducerAgent.transition6.t_start,heatProducerAgent.transition6.fire,heatProducerAgent.transition6.enableFire,heatProducerAgent.confirm.oldActive,heatProducerAgent.confirm.newActive,heatProducerAgent.confirm.localActive,heatProducerAgent.confirm.active,heatProducerAgent.transition5.t_start,heatProducerAgent.transition5.fire,heatProducerAgent.transition5.enableFire,heatProducerAgent.sendConfirmation.active,heatProducerAgent.sendConfirmation.oldActive,heatProducerAgent.sendConfirmation.newActive,heatProducerAgent.sendConfirmation.inPort[2].occupied,heatProducerAgent.sendConfirmation.localActive,heatProducerAgent.setCapacityOut,heatProducerAgent.or1.y,heatProducerAgent.transition4.t_start,heatProducerAgent.transition4.fire,heatProducerAgent.transition4.enableFire,heatProducerAgent.sendNotUnderstood.active,heatProducerAgent.sendNotUnderstood.oldActive,heatProducerAgent.sendNotUnderstood.newActive,heatProducerAgent.sendNotUnderstood.localActive,heatProducerAgent.transition3.t_start,heatProducerAgent.transition3.fire,heatProducerAgent.transition3.enableFire,heatProducerAgent.composeNotUnderstood.oldActive,heatProducerAgent.composeNotUnderstood.newActive,heatProducerAgent.composeNotUnderstood.localActive,heatProducerAgent.composeNotUnderstood.active,heatProducerAgent.booleanExpression3.y,heatProducerAgent.transitionWithSignal3.t_start,heatProducerAgent.transitionWithSignal3.fire,heatProducerAgent.transitionWithSignal3.enableFire,heatProducerAgent.transitionWithSignal2.enableFire,heatProducerAgent.transitionWithSignal2.condition,heatProducerAgent.integerChange.u,heatProducerAgent.sendProposal.active,heatProducerAgent.sendProposal.oldActive,heatProducerAgent.sendProposal.newActive,heatProducerAgent.sendProposal.outPort[3].available,heatProducerAgent.sendProposal.outPort[2].available,heatProducerAgent.sendProposal.localActive,heatProducerAgent.transition1.t_start,heatProducerAgent.transition1.fire,heatProducerAgent.transition1.enableFire,heatProducerAgent.transitionWithSignal1.enableFire,heatProducerAgent.transitionWithSignal1.condition,heatProducerAgent.transitionWithSignal.enableFire,heatProducerAgent.computeProposal.oldActive,heatProducerAgent.computeProposal.newActive,heatProducerAgent.computeProposal.localActive,heatProducerAgent.computeProposal.active,heatProducerAgent.transition2.t_start,heatProducerAgent.transition2.fire,heatProducerAgent.transition2.enableFire,heatProducerAgent.transition2.condition,heatProducerAgent.adjustHeat.oldActive,heatProducerAgent.adjustHeat.newActive,heatProducerAgent.adjustHeat.localActive,heatProducerAgent.adjustHeat.active,heatProducerAgent.message.oldActive,heatProducerAgent.message.newActive,heatProducerAgent.message.outPort[2].available,heatProducerAgent.message.localActive,heatProducerAgent.message.active,heatProducerAgent.newMessage.enableFire,heatProducerAgent.newMessage.condition,heatProducerAgent.waiting.oldActive,heatProducerAgent.waiting.newActive,heatProducerAgent.waiting.outPort[2].available,heatProducerAgent.waiting.inPort[4].occupied,heatProducerAgent.waiting.inPort[3].occupied,heatProducerAgent.waiting.inPort[2].occupied,heatProducerAgent.waiting.localActive,heatProducerAgent.waiting.active,heatProducerAgent.stateGraphRoot.activeSteps,heatProducerAgent.messageID.pkgOut[1].backwardTrigger,heatProducerAgent.messageID.pkgOut[1].trigger,heatProducerAgent.getMessageID.y[1],$PRE.heatProducerAgent.getMessageID.y[1],heatProducerAgent.getperformative.y[1],$PRE.heatProducerAgent.getperformative.y[1],heatProducerAgent.get_content.y[1],$PRE.heatProducerAgent.get_content.y[1],$whenCondition53,$whenCondition52,$whenCondition51,$whenCondition50,$whenCondition49,$whenCondition48,$whenCondition90,$whenCondition91,$whenCondition92,$whenCondition93,$whenCondition94,$whenCondition95,$whenCondition96,$whenCondition97,$whenCondition98,$whenCondition99,$whenCondition101,$PRE.intermediateAgent_C.currentClient,$PRE.intermediateAgent_C.transition9.t_start,$PRE.intermediateAgent_C.shutDown.oldActive,$PRE.intermediateAgent_C.shutDown.newActive,$PRE.intermediateAgent_C.shutDown.localActive,$PRE.intermediateAgent_C.reset1.t_start,$PRE.intermediateAgent_C.reset.t_start,$PRE.intermediateAgent_C.transition6.t_start,$PRE.intermediateAgent_C.sendConfirmation1.oldActive,$PRE.intermediateAgent_C.sendConfirmation1.newActive,$PRE.intermediateAgent_C.sendConfirmation1.localActive,$PRE.intermediateAgent_C.transition5.t_start,$PRE.intermediateAgent_C.confirmToBottom.oldActive,$PRE.intermediateAgent_C.confirmToBottom.newActive,$PRE.intermediateAgent_C.confirmToBottom.localActive,$PRE.intermediateAgent_C.transition2.t_start,$PRE.intermediateAgent_C.sendConfirmation.oldActive,$PRE.intermediateAgent_C.sendConfirmation.newActive,$PRE.intermediateAgent_C.sendConfirmation.localActive,$PRE.intermediateAgent_C.transition8.t_start,$PRE.intermediateAgent_C.passOnConfirmation.oldActive,$PRE.intermediateAgent_C.passOnConfirmation.newActive,$PRE.intermediateAgent_C.passOnConfirmation.localActive,$PRE.intermediateAgent_C.check1.oldActive,$PRE.intermediateAgent_C.check1.newActive,$PRE.intermediateAgent_C.check1.localActive,$PRE.intermediateAgent_C.sendInformation.oldActive,$PRE.intermediateAgent_C.sendInformation.newActive,$PRE.intermediateAgent_C.sendInformation.localActive,$PRE.intermediateAgent_C.transition7.t_start,$PRE.intermediateAgent_C.passOnInformation.oldActive,$PRE.intermediateAgent_C.passOnInformation.newActive,$PRE.intermediateAgent_C.passOnInformation.localActive,$PRE.intermediateAgent_C.check.oldActive,$PRE.intermediateAgent_C.check.newActive,$PRE.intermediateAgent_C.check.localActive,$PRE.intermediateAgent_C.transition4.t_start,$PRE.intermediateAgent_C.sendNotUnderstood.oldActive,$PRE.intermediateAgent_C.sendNotUnderstood.newActive,$PRE.intermediateAgent_C.sendNotUnderstood.localActive,$PRE.intermediateAgent_C.transition3.t_start,$PRE.intermediateAgent_C.composeNotUnderstood.oldActive,$PRE.intermediateAgent_C.composeNotUnderstood.newActive,$PRE.intermediateAgent_C.composeNotUnderstood.localActive,$PRE.intermediateAgent_C.transitionWithSignal3.t_start,$PRE.intermediateAgent_C.integerChange.u,$PRE.intermediateAgent_C.sendCall.oldActive,$PRE.intermediateAgent_C.sendCall.newActive,$PRE.intermediateAgent_C.sendCall.localActive,$PRE.intermediateAgent_C.transition1.t_start,$PRE.intermediateAgent_C.passOnCall.oldActive,$PRE.intermediateAgent_C.passOnCall.newActive,$PRE.intermediateAgent_C.passOnCall.localActive,$PRE.intermediateAgent_C.message.oldActive,$PRE.intermediateAgent_C.message.newActive,$PRE.intermediateAgent_C.message.localActive,$PRE.intermediateAgent_C.waiting.oldActive,$PRE.intermediateAgent_C.waiting.newActive,$PRE.intermediateAgent_C.waiting.localActive,intermediateAgent_C.Off.enableFire,intermediateAgent_C.transition9.t_start,intermediateAgent_C.transition9.fire,intermediateAgent_C.transition9.enableFire,intermediateAgent_C.shutDown.oldActive,intermediateAgent_C.shutDown.newActive,intermediateAgent_C.shutDown.localActive,intermediateAgent_C.shutDown.active,intermediateAgent_C.reset1.t_start,intermediateAgent_C.reset1.fire,intermediateAgent_C.reset1.enableFire,intermediateAgent_C.reset.t_start,intermediateAgent_C.reset.fire,intermediateAgent_C.reset.enableFire,intermediateAgent_C.or4.u2,intermediateAgent_C.or4.u1,intermediateAgent_C.or2.y,intermediateAgent_C.transition6.t_start,intermediateAgent_C.transition6.fire,intermediateAgent_C.transition6.enableFire,intermediateAgent_C.sendConfirmation1.active,intermediateAgent_C.sendConfirmation1.oldActive,intermediateAgent_C.sendConfirmation1.newActive,intermediateAgent_C.sendConfirmation1.localActive,intermediateAgent_C.transition5.t_start,intermediateAgent_C.transition5.fire,intermediateAgent_C.transition5.enableFire,intermediateAgent_C.confirmToBottom.oldActive,intermediateAgent_C.confirmToBottom.newActive,intermediateAgent_C.confirmToBottom.localActive,intermediateAgent_C.confirmToBottom.active,intermediateAgent_C.transition2.t_start,intermediateAgent_C.transition2.fire,intermediateAgent_C.transition2.enableFire,intermediateAgent_C.sendConfirmation.active,intermediateAgent_C.sendConfirmation.oldActive,intermediateAgent_C.sendConfirmation.newActive,intermediateAgent_C.sendConfirmation.localActive,intermediateAgent_C.transition8.t_start,intermediateAgent_C.transition8.fire,intermediateAgent_C.transition8.enableFire,intermediateAgent_C.passOnConfirmation.oldActive,intermediateAgent_C.passOnConfirmation.newActive,intermediateAgent_C.passOnConfirmation.localActive,intermediateAgent_C.passOnConfirmation.active,intermediateAgent_C.fromBottomBroker.enableFire,intermediateAgent_C.fromBottomBroker.condition,intermediateAgent_C.check1.oldActive,intermediateAgent_C.check1.newActive,intermediateAgent_C.check1.localActive,intermediateAgent_C.check1.active,intermediateAgent_C.newMessage2.enableFire,intermediateAgent_C.newMessage2.condition,intermediateAgent_C.sendInformation.active,intermediateAgent_C.sendInformation.oldActive,intermediateAgent_C.sendInformation.newActive,intermediateAgent_C.sendInformation.outPort[2].available,intermediateAgent_C.sendInformation.localActive,intermediateAgent_C.transition7.t_start,intermediateAgent_C.transition7.fire,intermediateAgent_C.transition7.enableFire,intermediateAgent_C.passOnInformation.oldActive,intermediateAgent_C.passOnInformation.newActive,intermediateAgent_C.passOnInformation.localActive,intermediateAgent_C.passOnInformation.active,intermediateAgent_C.check.oldActive,intermediateAgent_C.check.newActive,intermediateAgent_C.check.localActive,intermediateAgent_C.check.active,intermediateAgent_C.newMessage1.enableFire,intermediateAgent_C.fromTopBroker.enableFire,intermediateAgent_C.fromTopBroker.condition,intermediateAgent_C.transition4.t_start,intermediateAgent_C.transition4.fire,intermediateAgent_C.transition4.enableFire,intermediateAgent_C.sendNotUnderstood.active,intermediateAgent_C.sendNotUnderstood.oldActive,intermediateAgent_C.sendNotUnderstood.newActive,intermediateAgent_C.sendNotUnderstood.localActive,intermediateAgent_C.transition3.t_start,intermediateAgent_C.transition3.fire,intermediateAgent_C.transition3.enableFire,intermediateAgent_C.composeNotUnderstood.oldActive,intermediateAgent_C.composeNotUnderstood.newActive,intermediateAgent_C.composeNotUnderstood.localActive,intermediateAgent_C.composeNotUnderstood.active,intermediateAgent_C.booleanExpression3.y,intermediateAgent_C.transitionWithSignal3.t_start,intermediateAgent_C.transitionWithSignal3.fire,intermediateAgent_C.transitionWithSignal3.enableFire,intermediateAgent_C.integerChange.u,intermediateAgent_C.sendCall.active,intermediateAgent_C.sendCall.oldActive,intermediateAgent_C.sendCall.newActive,intermediateAgent_C.sendCall.outPort[2].available,intermediateAgent_C.sendCall.localActive,intermediateAgent_C.transition1.t_start,intermediateAgent_C.transition1.fire,intermediateAgent_C.transition1.enableFire,intermediateAgent_C.transitionWithSignal.enableFire,intermediateAgent_C.passOnCall.oldActive,intermediateAgent_C.passOnCall.newActive,intermediateAgent_C.passOnCall.localActive,intermediateAgent_C.passOnCall.active,intermediateAgent_C.message.oldActive,intermediateAgent_C.message.newActive,intermediateAgent_C.message.outPort[2].available,intermediateAgent_C.message.localActive,intermediateAgent_C.message.active,intermediateAgent_C.newMessage.enableFire,intermediateAgent_C.waiting.oldActive,intermediateAgent_C.waiting.newActive,intermediateAgent_C.waiting.outPort[2].available,intermediateAgent_C.waiting.inPort[5].occupied,intermediateAgent_C.waiting.inPort[4].occupied,intermediateAgent_C.waiting.inPort[3].occupied,intermediateAgent_C.waiting.inPort[2].occupied,intermediateAgent_C.waiting.localActive,intermediateAgent_C.waiting.active,intermediateAgent_C.currentClient,intermediateAgent_C.stateGraphRoot.activeSteps,intermediateAgent_C.messageID.pkgOut[1].backwardTrigger,intermediateAgent_C.messageID.pkgOut[1].trigger,intermediateAgent_C.getMessageID.y[1],$PRE.intermediateAgent_C.getMessageID.y[1],intermediateAgent_C.getsender.y[1],$PRE.intermediateAgent_C.getsender.y[1],intermediateAgent_C.getperformative.y[1],$PRE.intermediateAgent_C.getperformative.y[1],$whenCondition47,$whenCondition46,$whenCondition45,$whenCondition44,$whenCondition43,$whenCondition42,$whenCondition41,$whenCondition102,$whenCondition103,$whenCondition104,$whenCondition105,$whenCondition106,$whenCondition107,$whenCondition108,$whenCondition109,$whenCondition110,$whenCondition111,$whenCondition112,$whenCondition113,$whenCondition114,$whenCondition116,broker_HTC.reset4.condition,broker_HTC.reset3.condition,broker_HTC.reset2.condition,broker_HTC.reset1.condition,broker_HTC.reset.condition,broker_HTC.transition3.condition,broker_HTC.abort.condition,broker_HTC.transition7.condition,broker_HTC.transition6.condition,broker_HTC.transition4.condition,broker_HTC.transition2.condition,broker_HTC.requestNoted.condition,broker_HTC.transition1.condition,broker_HTC.transition.condition,broker_HTC.waitforRequests.condition,broker_HTC.stateGraphRoot.resume,broker_HTC.stateGraphRoot.suspend,messageNotification.y,heatProducerAgent2.getMessageID.pkgIn.userPkgBitSize,heatProducerAgent2.getMessageID.pkgIn.backwardTrigger,heatProducerAgent1.getMessageID.pkgIn.userPkgBitSize,heatProducerAgent1.getMessageID.pkgIn.backwardTrigger,heatProducerAgent.getMessageID.pkgIn.userPkgBitSize,heatProducerAgent.getMessageID.pkgIn.backwardTrigger,broker_HTC.getMessageID.pkgIn.userPkgBitSize,broker_HTC.getMessageID.pkgIn.backwardTrigger,intermediateAgent_C.getMessageID.pkgIn.userPkgBitSize,intermediateAgent_C.getMessageID.pkgIn.backwardTrigger,broker_LTC.getMessageID.pkgIn.userPkgBitSize,broker_LTC.getMessageID.pkgIn.backwardTrigger,roomAgent_C.getMessageID.pkgIn.userPkgBitSize,roomAgent_C.getMessageID.pkgIn.backwardTrigger,heatProducerAgent2.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent2.getontology.pkgIn.autoPkgBitSize,heatProducerAgent2.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent2.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent2.getsender.pkgIn.autoPkgBitSize,heatProducerAgent2.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPReceive_adapted.bufferSize,heatProducerAgent2.get_content.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPSend_adapted.bufferSize,heatProducerAgent2.messageID.pkgIn.autoPkgBitSize,heatProducerAgent2.performative.pkgIn.autoPkgBitSize,heatProducerAgent2.ontology.pkgIn.autoPkgBitSize,heatProducerAgent2.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent2.receiver.pkgIn.autoPkgBitSize,heatProducerAgent2.sender.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent2.content.pkgIn.autoPkgBitSize,heatProducerAgent2.packager.bufferSize,heatProducerAgent2.packager.backwardPropagatedBufferSize,heatProducerAgent1.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent1.getontology.pkgIn.autoPkgBitSize,heatProducerAgent1.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent1.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent1.getsender.pkgIn.autoPkgBitSize,heatProducerAgent1.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPReceive_adapted.bufferSize,heatProducerAgent1.get_content.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPSend_adapted.bufferSize,heatProducerAgent1.messageID.pkgIn.autoPkgBitSize,heatProducerAgent1.performative.pkgIn.autoPkgBitSize,heatProducerAgent1.ontology.pkgIn.autoPkgBitSize,heatProducerAgent1.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent1.receiver.pkgIn.autoPkgBitSize,heatProducerAgent1.sender.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent1.content.pkgIn.autoPkgBitSize,heatProducerAgent1.packager.bufferSize,heatProducerAgent1.packager.backwardPropagatedBufferSize,heatProducerAgent.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent.getontology.pkgIn.autoPkgBitSize,heatProducerAgent.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent.getsender.pkgIn.autoPkgBitSize,heatProducerAgent.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent.uDPReceive_adapted.bufferSize,heatProducerAgent.get_content.pkgIn.autoPkgBitSize,heatProducerAgent.uDPSend_adapted.bufferSize,heatProducerAgent.messageID.pkgIn.autoPkgBitSize,heatProducerAgent.performative.pkgIn.autoPkgBitSize,heatProducerAgent.ontology.pkgIn.autoPkgBitSize,heatProducerAgent.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent.receiver.pkgIn.autoPkgBitSize,heatProducerAgent.sender.pkgIn.autoPkgBitSize,heatProducerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent.content.pkgIn.autoPkgBitSize,heatProducerAgent.packager.bufferSize,heatProducerAgent.packager.backwardPropagatedBufferSize,broker_HTC.getMessageID.pkgIn.autoPkgBitSize,broker_HTC.getontology.pkgIn.autoPkgBitSize,broker_HTC.getreply_to.pkgIn.autoPkgBitSize,broker_HTC.getreceiver.pkgIn.autoPkgBitSize,broker_HTC.getsender.pkgIn.autoPkgBitSize,broker_HTC.getperformative.pkgIn.autoPkgBitSize,broker_HTC.uDPReceive_adapted.bufferSize,broker_HTC.get_content.pkgIn.autoPkgBitSize,broker_HTC.messageID.pkgIn.autoPkgBitSize,broker_HTC.performative.pkgIn.autoPkgBitSize,broker_HTC.ontology.pkgIn.autoPkgBitSize,broker_HTC.reply_to.pkgIn.autoPkgBitSize,broker_HTC.receiver.pkgIn.autoPkgBitSize,broker_HTC.sender.pkgIn.autoPkgBitSize,broker_HTC.uDPSend_adapted.pkgIn.autoPkgBitSize,broker_HTC.uDPSend_adapted.pkgIn.userPkgBitSize,broker_HTC.content.pkgIn.autoPkgBitSize,broker_HTC.packager.bufferSize,broker_HTC.packager.backwardPropagatedBufferSize,broker_HTC.uDPSend_adapted.bufferSize,intermediateAgent_C.getMessageID.pkgIn.autoPkgBitSize,intermediateAgent_C.getontology.pkgIn.autoPkgBitSize,intermediateAgent_C.getreply_to.pkgIn.autoPkgBitSize,intermediateAgent_C.getreceiver.pkgIn.autoPkgBitSize,intermediateAgent_C.getsender.pkgIn.autoPkgBitSize,intermediateAgent_C.getperformative.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPReceive_adapted.bufferSize,intermediateAgent_C.get_content.pkgIn.autoPkgBitSize,intermediateAgent_C.messageID.pkgIn.autoPkgBitSize,intermediateAgent_C.performative.pkgIn.autoPkgBitSize,intermediateAgent_C.ontology.pkgIn.autoPkgBitSize,intermediateAgent_C.reply_to.pkgIn.autoPkgBitSize,intermediateAgent_C.receiver.pkgIn.autoPkgBitSize,intermediateAgent_C.sender.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPSend_adapted.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPSend_adapted.pkgIn.userPkgBitSize,intermediateAgent_C.content.pkgIn.autoPkgBitSize,intermediateAgent_C.packager.bufferSize,intermediateAgent_C.packager.backwardPropagatedBufferSize,intermediateAgent_C.uDPSend_adapted.bufferSize,broker_LTC.getMessageID.pkgIn.autoPkgBitSize,broker_LTC.getontology.pkgIn.autoPkgBitSize,broker_LTC.getreply_to.pkgIn.autoPkgBitSize,broker_LTC.getreceiver.pkgIn.autoPkgBitSize,broker_LTC.getsender.pkgIn.autoPkgBitSize,broker_LTC.getperformative.pkgIn.autoPkgBitSize,broker_LTC.uDPReceive_adapted.bufferSize,broker_LTC.get_content.pkgIn.autoPkgBitSize,broker_LTC.messageID.pkgIn.autoPkgBitSize,broker_LTC.performative.pkgIn.autoPkgBitSize,broker_LTC.ontology.pkgIn.autoPkgBitSize,broker_LTC.reply_to.pkgIn.autoPkgBitSize,broker_LTC.receiver.pkgIn.autoPkgBitSize,broker_LTC.sender.pkgIn.autoPkgBitSize,broker_LTC.uDPSend_adapted.pkgIn.autoPkgBitSize,broker_LTC.uDPSend_adapted.pkgIn.userPkgBitSize,broker_LTC.content.pkgIn.autoPkgBitSize,broker_LTC.packager.bufferSize,broker_LTC.packager.backwardPropagatedBufferSize,broker_LTC.uDPSend_adapted.bufferSize,roomAgent_C.getMessageID.pkgIn.autoPkgBitSize,roomAgent_C.getontology.pkgIn.autoPkgBitSize,roomAgent_C.getreply_to.pkgIn.autoPkgBitSize,roomAgent_C.getreceiver.pkgIn.autoPkgBitSize,roomAgent_C.getsender.pkgIn.autoPkgBitSize,roomAgent_C.getperformative.pkgIn.autoPkgBitSize,roomAgent_C.uDPReceive_adapted.bufferSize,roomAgent_C.get_content.pkgIn.autoPkgBitSize,roomAgent_C.messageID.pkgIn.autoPkgBitSize,roomAgent_C.performative.pkgIn.autoPkgBitSize,roomAgent_C.ontology.pkgIn.autoPkgBitSize,roomAgent_C.reply_to.pkgIn.autoPkgBitSize,roomAgent_C.receiver.pkgIn.autoPkgBitSize,roomAgent_C.sender.pkgIn.autoPkgBitSize,roomAgent_C.uDPSend_adapted.pkgIn.autoPkgBitSize,roomAgent_C.uDPSend_adapted.pkgIn.userPkgBitSize,roomAgent_C.content.pkgIn.autoPkgBitSize,roomAgent_C.packager.bufferSize,roomAgent_C.packager.backwardPropagatedBufferSize,roomAgent_C.uDPSend_adapted.bufferSize) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (3225): * Single equations (assignments): 3208 * Array equations: 0 * Algorithm blocks: 8 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 9 * Mixed (continuous/discrete) equation systems: 0 Notification: Torn system details for strict tearing set: * Linear torn systems (#iteration vars, #inner vars, density): 9 systems {(1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%)} * Non-linear torn systems (#iteration vars, #inner vars): 0 systems Notification: Performance of prepare postOptimizeDAE: time 0.01906/2.68, allocations: 7.934 MB / 1.455 GB, free: 316.6 MB / 0.9982 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.004395/2.684, allocations: 1.177 MB / 1.456 GB, free: 316.6 MB / 0.9982 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.04311/2.727, allocations: 31.27 MB / 1.487 GB, free: 300.6 MB / 0.9982 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 0.0002307/2.728, allocations: 192 kB / 1.487 GB, free: 300.5 MB / 0.9982 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 0.0001489/2.728, allocations: 24 kB / 1.487 GB, free: 300.4 MB / 0.9982 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 0.000414/2.728, allocations: 110 kB / 1.487 GB, free: 300.4 MB / 0.9982 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.103/2.831, allocations: 55.58 MB / 1.541 GB, free: 249.9 MB / 0.9982 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 0.0002134/2.831, allocations: 16.19 kB / 1.541 GB, free: 249.8 MB / 0.9982 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.004961/2.836, allocations: 0.8881 MB / 1.542 GB, free: 248.9 MB / 0.9982 GB Notification: Performance of postOpt tearingSystem (simulation): time 0.002443/2.839, allocations: 2.008 MB / 1.544 GB, free: 246.9 MB / 0.9982 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.003559/2.842, allocations: 0.6624 MB / 1.545 GB, free: 246.3 MB / 0.9982 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 0.004916/2.847, allocations: 4.899 MB / 1.549 GB, free: 241.3 MB / 0.9982 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 1.597e-05/2.847, allocations: 27.88 kB / 1.549 GB, free: 241.3 MB / 0.9982 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.0687/2.916, allocations: 34.92 MB / 1.584 GB, free: 206.4 MB / 0.9982 GB Notification: Performance of postOpt removeConstants (simulation): time 0.002322/2.918, allocations: 1.222 MB / 1.585 GB, free: 205.2 MB / 0.9982 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.005129/2.924, allocations: 0.7457 MB / 1.585 GB, free: 204.4 MB / 0.9982 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.009139/2.933, allocations: 0.8158 MB / 1.586 GB, free: 203.6 MB / 0.9982 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.005038/2.938, allocations: 1.769 MB / 1.588 GB, free: 201.8 MB / 0.9982 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.003974/2.942, allocations: 0.873 MB / 1.589 GB, free: 201 MB / 0.9982 GB Notification: Performance of sorting global known variables: time 0.003797/2.946, allocations: 2.045 MB / 1.591 GB, free: 198.9 MB / 0.9982 GB Notification: Performance of sort global known variables: time 1.6e-07/2.946, allocations: 4 kB / 1.591 GB, free: 198.9 MB / 0.9982 GB Notification: Performance of remove unused functions: time 0.02044/2.966, allocations: 4.771 MB / 1.595 GB, free: 194.2 MB / 0.9982 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 (not torn): 0 * Torn equation systems: 3 * Mixed (continuous/discrete) equation systems: 0 Notification: Torn system details for strict tearing set: * Linear torn systems (#iteration vars, #inner vars, density): 0 systems * Non-linear torn systems (#iteration vars, #inner vars): 3 systems {(1,1), (1,1), (1,1)} Notification: Performance of Backend phase and start with SimCode phase: time 0.00646/2.973, allocations: 2.495 MB / 1.598 GB, free: 191.7 MB / 0.9982 GB Notification: Performance of simCode: created initialization part: time 0.03859/3.011, allocations: 23.48 MB / 1.621 GB, free: 168 MB / 0.9982 GB Notification: Performance of simCode: created event and clocks part: time 1.384e-05/3.011, allocations: 0 / 1.621 GB, free: 168 MB / 0.9982 GB Notification: Performance of simCode: created simulation system equations: time 0.04556/3.057, allocations: 62.46 MB / 1.682 GB, free: 105.6 MB / 0.9982 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.0277/3.085, allocations: 2.432 MB / 1.684 GB, free: 103.1 MB / 0.9982 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.05991/3.145, allocations: 36.09 MB / 1.719 GB, free: 66.8 MB / 0.9982 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.01137/3.156, allocations: 6.793 MB / 1.726 GB, free: 59.97 MB / 0.9982 GB Notification: Performance of simCode: alias equations: time 0.01212/3.168, allocations: 2.022 MB / 1.728 GB, free: 57.94 MB / 0.9982 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.006034/3.174, allocations: 1.065 MB / 1.729 GB, free: 56.88 MB / 0.9982 GB Notification: Performance of SimCode: time 8.22e-07/3.174, allocations: 4 kB / 1.729 GB, free: 56.87 MB / 0.9982 GB Notification: Performance of Templates: time 0.8052/3.979, allocations: 166.2 MB / 1.891 GB, free: 247 MB / 0.9982 GB make -j1 -f AixLib_latest_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.makefile (rm -f AixLib_latest_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe ; mkfifo AixLib_latest_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe ; head -c 1048576 < AixLib_latest_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe >> ../files/AixLib_latest_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.sim & ./AixLib_latest_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication -abortSlowSimulation -alarm=480 -lv LOG_STATS > AixLib_latest_AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication.pipe 2>&1)