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.006369/0.006369, allocations: 105 kB / 15.74 MB, free: 6.469 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001381/0.001381, allocations: 190.9 kB / 16.67 MB, free: 6.375 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.32/1.32, allocations: 222.9 MB / 240.4 MB, free: 4.332 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1/package.mo): time 0.1646/0.1646, allocations: 12.01 MB / 302.5 MB, free: 0.8789 MB / 238.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo): time 0.0006103/0.0006103, allocations: 39.86 kB / 355.6 MB, free: 3.648 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 1.887/1.887, allocations: 272.2 MB / 0.665 GB, free: 12.86 MB / 478.1 MB Notification: Performance of FrontEnd - loaded program: time 0.002004/0.002004, allocations: 111.8 kB / 0.8927 GB, free: 11.13 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 0.2472/0.2492, allocations: 109.2 MB / 0.9993 GB, free: 13.88 MB / 0.7169 GB Notification: Performance of NFInst.instantiate(AixLib.Controls.HVACAgentBasedControl.Examples.HVACAgentsCommunications.SimpleCommunication): time 0.03106/0.2803, allocations: 28.5 MB / 1.027 GB, free: 1.234 MB / 0.7325 GB Notification: Performance of NFInst.instExpressions: time 0.5443/0.8246, allocations: 20.67 MB / 1.047 GB, free: 2.133 MB / 0.7325 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.01204/0.8367, allocations: 389.4 kB / 1.048 GB, free: 2.133 MB / 0.7325 GB Notification: Performance of NFTyping.typeComponents: time 0.009069/0.8458, allocations: 2.351 MB / 1.05 GB, free: 1.5 MB / 0.7325 GB Notification: Performance of NFTyping.typeBindings: time 0.01121/0.8571, allocations: 1.738 MB / 1.052 GB, free: 328 kB / 0.7325 GB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1/Blocks/Packaging/SerialPackager.mo:130:7-137:16:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.clear' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.clear'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1/Blocks/Packaging/SerialPackager.mo:30:7-39:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.addReal' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.addReal'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1/Blocks/Packaging/SerialPackager.mo:74:7-84:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.getReal' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.getReal'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1/Blocks/Communication.mo:1169:7-1180:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Communication.Internal.DummyFunctions.readUDP' contains a call to impure function 'Modelica_DeviceDrivers.Communication.UDPSocket_.read'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.4.0-development/Controls/HVACAgentBasedControl/BaseClasses/Internal/sendToUDP.mo:2:1-28:14:writable] Warning: Pure function 'AixLib.Controls.HVACAgentBasedControl.BaseClasses.Internal.sendToUDP' contains a call to impure function 'AixLib.Controls.HVACAgentBasedControl.BaseClasses.Internal.sendTo'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1/Blocks/Packaging/SerialPackager.mo:63:7-72:21:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.addInteger' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.addInteger'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1/Blocks/Packaging/SerialPackager.mo:107:7-117:21:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.getInteger' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.getInteger'. Notification: Performance of NFTyping.typeClassSections: time 0.03166/0.8888, allocations: 11.77 MB / 1.063 GB, free: 10.6 MB / 0.7482 GB Notification: Performance of NFFlatten.flatten: time 0.04193/0.9308, allocations: 26.13 MB / 1.089 GB, free: 13.7 MB / 0.7638 GB Notification: Performance of NFFlatten.resolveConnections: time 0.02957/0.9604, allocations: 17.23 MB / 1.106 GB, free: 3.133 MB / 0.7638 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0197/0.9801, allocations: 9.286 MB / 1.115 GB, free: 13.34 MB / 0.7794 GB Notification: Performance of NFSimplifyModel.simplify: time 0.01736/0.9975, allocations: 9.981 MB / 1.124 GB, free: 5.871 MB / 0.7794 GB Notification: Performance of NFPackage.collectConstants: time 0.01418/1.012, allocations: 2.788 MB / 1.127 GB, free: 4.594 MB / 0.7794 GB Notification: Performance of NFFlatten.collectFunctions: time 0.009578/1.021, allocations: 2.998 MB / 1.13 GB, free: 1.602 MB / 0.7794 GB Notification: Performance of NFScalarize.scalarize: time 0.01136/1.033, allocations: 6.101 MB / 1.136 GB, free: 11.61 MB / 0.795 GB Notification: Performance of NFVerifyModel.verify: time 0.01902/1.052, allocations: 10.44 MB / 1.146 GB, free: 1.258 MB / 0.795 GB Notification: Performance of NFConvertDAE.convert: time 0.03732/1.089, allocations: 29.87 MB / 1.175 GB, free: 4.039 MB / 0.8263 GB Notification: Performance of FrontEnd - DAE generated: time 8.126e-06/1.089, allocations: 0 / 1.175 GB, free: 4.039 MB / 0.8263 GB Notification: Performance of FrontEnd: time 1.714e-06/1.089, allocations: 0 / 1.175 GB, free: 4.039 MB / 0.8263 GB Notification: Performance of Transformations before backend: time 0.001197/1.09, allocations: 0 / 1.175 GB, free: 4.039 MB / 0.8263 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.06571/1.156, allocations: 45.95 MB / 1.22 GB, free: 4.445 MB / 0.8732 GB Notification: Performance of prepare preOptimizeDAE: time 4.594e-05/1.156, allocations: 8.031 kB / 1.22 GB, free: 4.438 MB / 0.8732 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.006277/1.163, allocations: 1.97 MB / 1.222 GB, free: 2.449 MB / 0.8732 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.01695/1.179, allocations: 7.738 MB / 1.23 GB, free: 10.73 MB / 0.8888 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.001943/1.181, allocations: 1.644 MB / 1.231 GB, free: 9.082 MB / 0.8888 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.006014/1.188, allocations: 2.086 MB / 1.233 GB, free: 6.996 MB / 0.8888 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.06129/1.249, allocations: 23.68 MB / 1.256 GB, free: 14.64 MB / 0.92 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0007312/1.25, allocations: 31.75 kB / 1.257 GB, free: 14.61 MB / 0.92 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.005864/1.256, allocations: 0.824 MB / 1.257 GB, free: 13.79 MB / 0.92 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0003924/1.256, allocations: 444 kB / 1.258 GB, free: 13.35 MB / 0.92 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.04573/1.302, allocations: 20.38 MB / 1.278 GB, free: 8.965 MB / 0.9357 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.1086/1.41, allocations: 64.17 MB / 1.34 GB, free: 8.43 MB / 0.9982 GB Notification: Performance of preOpt comSubExp (simulation): time 0.03938/1.45, allocations: 41.81 MB / 1.381 GB, free: 14.13 MB / 1.045 GB Notification: Performance of preOpt resolveLoops (simulation): time 0.03002/1.48, allocations: 34.35 MB / 1.415 GB, free: 11.55 MB / 1.076 GB Notification: Performance of preOpt evalFunc (simulation): time 0.0009103/1.481, allocations: 230.7 kB / 1.415 GB, free: 11.35 MB / 1.076 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.02546/1.506, allocations: 15.49 MB / 1.43 GB, free: 11.04 MB / 1.092 GB Notification: Performance of pre-optimization done (n=1997): time 4.7e-05/1.506, allocations: 0 / 1.43 GB, free: 11.04 MB / 1.092 GB Notification: Performance of matching and sorting (n=1997): time 0.5635/2.07, allocations: 37.45 MB / 1.467 GB, free: 344 MB / 1.092 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.002969/2.073, allocations: 5.407 MB / 1.472 GB, free: 339.1 MB / 1.092 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.009903/2.083, allocations: 5.306 MB / 1.477 GB, free: 337.2 MB / 1.092 GB Notification: Performance of collectPreVariables (initialization): time 0.004261/2.087, allocations: 1.145 MB / 1.478 GB, free: 336.6 MB / 1.092 GB Notification: Performance of collectInitialEqns (initialization): time 0.005878/2.093, allocations: 5.064 MB / 1.483 GB, free: 333.2 MB / 1.092 GB Notification: Performance of collectInitialBindings (initialization): time 0.007809/2.101, allocations: 4.783 MB / 1.488 GB, free: 329.7 MB / 1.092 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.01448/2.115, allocations: 5.327 MB / 1.493 GB, free: 327.5 MB / 1.092 GB Notification: Performance of setup shared object (initialization): time 4.572e-05/2.115, allocations: 302.9 kB / 1.493 GB, free: 327.2 MB / 1.092 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.01609/2.132, allocations: 6.222 MB / 1.499 GB, free: 324.9 MB / 1.092 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.02127/2.153, allocations: 12.59 MB / 1.512 GB, free: 314.9 MB / 1.092 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.04129/2.194, allocations: 27.02 MB / 1.538 GB, free: 297.1 MB / 1.092 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0003446/2.195, allocations: 59.88 kB / 1.538 GB, free: 297.1 MB / 1.092 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.04732/2.242, allocations: 23.61 MB / 1.561 GB, free: 277.2 MB / 1.092 GB Notification: Performance of prepare postOptimizeDAE: time 0.0007939/2.243, allocations: 348.2 kB / 1.562 GB, free: 276.8 MB / 1.092 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0006824/2.243, allocations: 192.9 kB / 1.562 GB, free: 276.6 MB / 1.092 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.0008989/2.244, allocations: 459.9 kB / 1.562 GB, free: 276.1 MB / 1.092 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.01267/2.257, allocations: 2.786 MB / 1.565 GB, free: 273.7 MB / 1.092 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.005498/2.263, allocations: 13.75 MB / 1.578 GB, free: 259 MB / 1.092 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.01202/2.275, allocations: 2 MB / 1.58 GB, free: 257.1 MB / 1.092 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.004137/2.279, allocations: 1.075 MB / 1.581 GB, free: 256 MB / 1.092 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.localCondition,roomAgent_C.waitForInform.oldActive,roomAgent_C.waitForInform.newActive,roomAgent_C.waitForInform.outPort[2].available,roomAgent_C.waitForInform.localActive,roomAgent_C.waitForInform.active,roomAgent_C.transition1.t_start,roomAgent_C.transition1.fire,roomAgent_C.transition1.enableFire,roomAgent_C.confirmNoted.t_start,roomAgent_C.confirmNoted.fire,roomAgent_C.confirmNoted.enableFire,roomAgent_C.sendConfirm.active,roomAgent_C.sendConfirm.oldActive,roomAgent_C.sendConfirm.newActive,roomAgent_C.sendConfirm.localActive,roomAgent_C.composeConfirm.oldActive,roomAgent_C.composeConfirm.newActive,roomAgent_C.composeConfirm.localActive,roomAgent_C.composeConfirm.active,roomAgent_C.or2.y,roomAgent_C.transition4.t_start,roomAgent_C.transition4.fire,roomAgent_C.transition4.enableFire,roomAgent_C.sendNotUnderstood.active,roomAgent_C.sendNotUnderstood.oldActive,roomAgent_C.sendNotUnderstood.newActive,roomAgent_C.sendNotUnderstood.localActive,roomAgent_C.transition2.t_start,roomAgent_C.transition2.fire,roomAgent_C.transition2.enableFire,roomAgent_C.composeNotUnderstood.oldActive,roomAgent_C.composeNotUnderstood.newActive,roomAgent_C.composeNotUnderstood.localActive,roomAgent_C.composeNotUnderstood.active,roomAgent_C.repeat1.t_start,roomAgent_C.repeat1.fire,roomAgent_C.repeat1.enableFire,roomAgent_C.rightMessage.enableFire,roomAgent_C.rightMessage.localCondition,roomAgent_C.state.oldActive,roomAgent_C.state.newActive,roomAgent_C.state.outPort[2].available,roomAgent_C.state.localActive,roomAgent_C.state.active,roomAgent_C.repeat.t_start,roomAgent_C.repeat.fire,roomAgent_C.repeat.enableFire,roomAgent_C.newMessage1.enableFire,roomAgent_C.newMessage1.localCondition,roomAgent_C.sendRequest.active,roomAgent_C.sendRequest.oldActive,roomAgent_C.sendRequest.newActive,roomAgent_C.sendRequest.outPort[2].available,roomAgent_C.sendRequest.localActive,roomAgent_C.requestNoted.t_start,roomAgent_C.requestNoted.fire,roomAgent_C.requestNoted.enableFire,roomAgent_C.composeRequest.oldActive,roomAgent_C.composeRequest.newActive,roomAgent_C.composeRequest.inPort[3].occupied,roomAgent_C.composeRequest.inPort[2].occupied,roomAgent_C.composeRequest.localActive,roomAgent_C.composeRequest.active,roomAgent_C.transitionWithSignal.enableFire,roomAgent_C.transitionWithSignal.localCondition,roomAgent_C.integerChange.u,roomAgent_C.newMessage.enableFire,roomAgent_C.waiting.oldActive,roomAgent_C.waiting.newActive,roomAgent_C.waiting.outPort[2].available,roomAgent_C.waiting.inPort[3].occupied,roomAgent_C.waiting.inPort[2].occupied,roomAgent_C.waiting.localActive,roomAgent_C.waiting.active,roomAgent_C.stateGraphRoot.activeSteps,roomAgent_C.messageID.pkgOut[1].backwardTrigger,roomAgent_C.messageID.pkgOut[1].trigger,roomAgent_C.getMessageID.y[1],$PRE.roomAgent_C.getMessageID.y[1],roomAgent_C.getperformative.y[1],$PRE.roomAgent_C.getperformative.y[1],$whenCondition169,$whenCondition168,$whenCondition167,$whenCondition166,$whenCondition165,$whenCondition154,$whenCondition156,$whenCondition157,$whenCondition158,$whenCondition159,$whenCondition160,$whenCondition161,$whenCondition162,$whenCondition163,$whenCondition164,roomAgent_C.newMessage.t_start,$PRE.roomAgent_C.newMessage.t_start,roomAgent_C.transitionWithSignal.t_start,$PRE.roomAgent_C.transitionWithSignal.t_start,roomAgent_C.newMessage1.t_start,$PRE.roomAgent_C.newMessage1.t_start,roomAgent_C.rightMessage.t_start,$PRE.roomAgent_C.rightMessage.t_start,roomAgent_C.rightMessage1.t_start,$PRE.roomAgent_C.rightMessage1.t_start,broker_LTC.packager.pkgOut.dummy,$PRE.broker_LTC.packager.pkgOut.dummy,broker_LTC.content.pkgOut[1].dummy,$PRE.broker_LTC.content.pkgOut[1].dummy,broker_LTC.get_content.pkgOut[1].dummy,$PRE.broker_LTC.get_content.pkgOut[1].dummy,broker_LTC.get_content.dummy,$PRE.broker_LTC.get_content.dummy,broker_LTC.get_content.y[2],$PRE.broker_LTC.get_content.y[2],broker_LTC.get_content.y[1],$PRE.broker_LTC.get_content.y[1],broker_LTC.uDPReceive_adapted.nRecvbufOverwrites,$PRE.broker_LTC.uDPReceive_adapted.nRecvbufOverwrites,broker_LTC.uDPReceive_adapted.nRecvBytes,$PRE.broker_LTC.uDPReceive_adapted.nRecvBytes,broker_LTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_LTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_LTC.uDPSend_adapted.dummy,broker_LTC.uDPSend_adapted.dummy,broker_LTC.sender.pkgOut[1].dummy,$PRE.broker_LTC.sender.pkgOut[1].dummy,broker_LTC.receiver.pkgOut[1].dummy,$PRE.broker_LTC.receiver.pkgOut[1].dummy,broker_LTC.reply_to.pkgOut[1].dummy,$PRE.broker_LTC.reply_to.pkgOut[1].dummy,broker_LTC.ontology.pkgOut[1].dummy,$PRE.broker_LTC.ontology.pkgOut[1].dummy,broker_LTC.getperformative.pkgOut[1].dummy,$PRE.broker_LTC.getperformative.pkgOut[1].dummy,broker_LTC.getperformative.dummy,$PRE.broker_LTC.getperformative.dummy,broker_LTC.getsender.pkgOut[1].dummy,$PRE.broker_LTC.getsender.pkgOut[1].dummy,broker_LTC.getsender.dummy,$PRE.broker_LTC.getsender.dummy,broker_LTC.getreceiver.pkgOut[1].dummy,$PRE.broker_LTC.getreceiver.pkgOut[1].dummy,broker_LTC.getreceiver.dummy,$PRE.broker_LTC.getreceiver.dummy,broker_LTC.getreceiver.y[1],$PRE.broker_LTC.getreceiver.y[1],broker_LTC.getreply_to.pkgOut[1].dummy,$PRE.broker_LTC.getreply_to.pkgOut[1].dummy,broker_LTC.getreply_to.dummy,$PRE.broker_LTC.getreply_to.dummy,broker_LTC.getreply_to.y[1],$PRE.broker_LTC.getreply_to.y[1],broker_LTC.getontology.pkgOut[1].dummy,$PRE.broker_LTC.getontology.pkgOut[1].dummy,broker_LTC.getontology.dummy,$PRE.broker_LTC.getontology.dummy,broker_LTC.getontology.y[1],$PRE.broker_LTC.getontology.y[1],broker_LTC.performative.pkgOut[1].dummy,$PRE.broker_LTC.performative.pkgOut[1].dummy,broker_LTC.getMessageID.dummy,$PRE.broker_LTC.getMessageID.dummy,broker_LTC.messageID.pkgOut[1].dummy,$PRE.broker_LTC.messageID.pkgOut[1].dummy,$PRE.broker_LTC.averagePrice,broker_LTC.averagePrice,$PRE.broker_LTC.totalHeat,broker_LTC.totalHeat,$PRE.broker_LTC.totalPrice,broker_LTC.totalPrice,$PRE.broker_LTC.messageID.u[1],broker_LTC.messageID.u[1],$PRE.broker_LTC.uDPSend_adapted.receiver,broker_LTC.uDPSend_adapted.receiver,$PRE.broker_LTC.reply_to.u[1],broker_LTC.reply_to.u[1],$PRE.broker_LTC.sender.u[1],broker_LTC.sender.u[1],$PRE.broker_LTC.ontology.u[1],broker_LTC.ontology.u[1],$PRE.broker_LTC.performative.u[1],broker_LTC.performative.u[1],$PRE.broker_LTC.content.u[2],broker_LTC.content.u[2],$PRE.broker_LTC.content.u[1],broker_LTC.content.u[1],$PRE.broker_LTC.rejectsComplete,broker_LTC.rejectsComplete,$PRE.broker_LTC.requestComplete,broker_LTC.requestComplete,$PRE.broker_LTC.requestCounter,broker_LTC.requestCounter,$PRE.broker_LTC.requestAddresses[10,1],broker_LTC.requestAddresses[10,1],$PRE.broker_LTC.requestAddresses[9,1],broker_LTC.requestAddresses[9,1],$PRE.broker_LTC.requestAddresses[8,1],broker_LTC.requestAddresses[8,1],$PRE.broker_LTC.requestAddresses[7,1],broker_LTC.requestAddresses[7,1],$PRE.broker_LTC.requestAddresses[6,1],broker_LTC.requestAddresses[6,1],$PRE.broker_LTC.requestAddresses[5,1],broker_LTC.requestAddresses[5,1],$PRE.broker_LTC.requestAddresses[4,1],broker_LTC.requestAddresses[4,1],$PRE.broker_LTC.requestAddresses[3,1],broker_LTC.requestAddresses[3,1],$PRE.broker_LTC.requestAddresses[2,1],broker_LTC.requestAddresses[2,1],$PRE.broker_LTC.requestAddresses[1,1],broker_LTC.requestAddresses[1,1],$PRE.broker_LTC.requestTable[10,1],broker_LTC.requestTable[10,1],$PRE.broker_LTC.requestTable[9,1],broker_LTC.requestTable[9,1],$PRE.broker_LTC.requestTable[8,1],broker_LTC.requestTable[8,1],$PRE.broker_LTC.requestTable[7,1],broker_LTC.requestTable[7,1],$PRE.broker_LTC.requestTable[6,1],broker_LTC.requestTable[6,1],$PRE.broker_LTC.requestTable[5,1],broker_LTC.requestTable[5,1],$PRE.broker_LTC.requestTable[4,1],broker_LTC.requestTable[4,1],$PRE.broker_LTC.requestTable[3,1],broker_LTC.requestTable[3,1],$PRE.broker_LTC.requestTable[2,1],broker_LTC.requestTable[2,1],$PRE.broker_LTC.requestTable[1,1],broker_LTC.requestTable[1,1],$PRE.broker_LTC.restHeat,broker_LTC.restHeat,$PRE.broker_LTC.totalaveragePrice,broker_LTC.totalaveragePrice,$PRE.broker_LTC.heatingPriceSum,broker_LTC.heatingPriceSum,$PRE.broker_LTC.cheapest,broker_LTC.cheapest,$PRE.broker_LTC.heatingCalculationSum,broker_LTC.heatingCalculationSum,$PRE.broker_LTC.informationCounter,broker_LTC.informationCounter,$PRE.broker_LTC.proposalCounter,broker_LTC.proposalCounter,$PRE.broker_LTC.heatSupplierTable[2,7],broker_LTC.heatSupplierTable[2,7],$PRE.broker_LTC.heatSupplierTable[2,6],broker_LTC.heatSupplierTable[2,6],$PRE.broker_LTC.heatSupplierTable[2,5],broker_LTC.heatSupplierTable[2,5],$PRE.broker_LTC.heatSupplierTable[2,4],broker_LTC.heatSupplierTable[2,4],$PRE.broker_LTC.heatSupplierTable[2,3],broker_LTC.heatSupplierTable[2,3],$PRE.broker_LTC.heatSupplierTable[2,2],broker_LTC.heatSupplierTable[2,2],$PRE.broker_LTC.heatSupplierTable[2,1],broker_LTC.heatSupplierTable[2,1],$PRE.broker_LTC.heatSupplierTable[1,7],broker_LTC.heatSupplierTable[1,7],$PRE.broker_LTC.heatSupplierTable[1,6],broker_LTC.heatSupplierTable[1,6],$PRE.broker_LTC.heatSupplierTable[1,5],broker_LTC.heatSupplierTable[1,5],$PRE.broker_LTC.heatSupplierTable[1,4],broker_LTC.heatSupplierTable[1,4],$PRE.broker_LTC.heatSupplierTable[1,3],broker_LTC.heatSupplierTable[1,3],$PRE.broker_LTC.heatSupplierTable[1,2],broker_LTC.heatSupplierTable[1,2],$PRE.broker_LTC.heatSupplierTable[1,1],broker_LTC.heatSupplierTable[1,1],$PRE.broker_LTC.lowestPrice,broker_LTC.lowestPrice,$PRE.broker_LTC.counterReject,broker_LTC.counterReject,$PRE.broker_LTC.counter,broker_LTC.counter,broker_LTC.getontology.pkgOut[1].trigger,$whenCondition152,$PRE.broker_LTC.proposalsComplete,$PRE.broker_LTC.requestsExceedSupply,$PRE.broker_LTC.heatingRequestSum,$PRE.broker_LTC.calculationDone,$PRE.broker_LTC.informationDone,$PRE.broker_LTC.finalRequestDone,$PRE.broker_LTC.reset4.t_start,$PRE.broker_LTC.enoughSupply1.t_start,$PRE.broker_LTC.limitedSupplyAbort.oldActive,$PRE.broker_LTC.limitedSupplyAbort.newActive,$PRE.broker_LTC.limitedSupplyAbort.localActive,$PRE.broker_LTC.enoughSupply.t_start,$PRE.broker_LTC.checkAvailability.oldActive,$PRE.broker_LTC.checkAvailability.newActive,$PRE.broker_LTC.checkAvailability.localActive,$PRE.broker_LTC.reset3.t_start,$PRE.broker_LTC.reset2.t_start,$PRE.broker_LTC.reset1.t_start,$PRE.broker_LTC.reset.t_start,$PRE.broker_LTC.transition3.t_start,$PRE.broker_LTC.prepareTableforRejections.oldActive,$PRE.broker_LTC.prepareTableforRejections.newActive,$PRE.broker_LTC.prepareTableforRejections.localActive,$PRE.broker_LTC.abort.t_start,$PRE.broker_LTC.checkRequestComplete.oldActive,$PRE.broker_LTC.checkRequestComplete.newActive,$PRE.broker_LTC.checkRequestComplete.localActive,$PRE.broker_LTC.transition7.t_start,$PRE.broker_LTC.computeFinalConstellation.oldActive,$PRE.broker_LTC.computeFinalConstellation.newActive,$PRE.broker_LTC.computeFinalConstellation.localActive,$PRE.broker_LTC.sendInformation.oldActive,$PRE.broker_LTC.sendInformation.newActive,$PRE.broker_LTC.sendInformation.localActive,$PRE.broker_LTC.transition6.t_start,$PRE.broker_LTC.transition5.t_start,$PRE.broker_LTC.computePrice.oldActive,$PRE.broker_LTC.computePrice.newActive,$PRE.broker_LTC.computePrice.localActive,$PRE.broker_LTC.collectConfirm.oldActive,$PRE.broker_LTC.collectConfirm.newActive,$PRE.broker_LTC.collectConfirm.localActive,$PRE.broker_LTC.check2.oldActive,$PRE.broker_LTC.check2.newActive,$PRE.broker_LTC.check2.localActive,$PRE.broker_LTC.composeInformation.oldActive,$PRE.broker_LTC.composeInformation.newActive,$PRE.broker_LTC.composeInformation.localActive,$PRE.broker_LTC.transition4.t_start,$PRE.broker_LTC.sendNotUnderstood.oldActive,$PRE.broker_LTC.sendNotUnderstood.newActive,$PRE.broker_LTC.sendNotUnderstood.localActive,$PRE.broker_LTC.transition2.t_start,$PRE.broker_LTC.composeNotUnderstood.oldActive,$PRE.broker_LTC.composeNotUnderstood.newActive,$PRE.broker_LTC.composeNotUnderstood.localActive,$PRE.broker_LTC.transitionWithSignal3.t_start,$PRE.broker_LTC.sendConfirmation.oldActive,$PRE.broker_LTC.sendConfirmation.newActive,$PRE.broker_LTC.sendConfirmation.localActive,$PRE.broker_LTC.requestNoted.t_start,$PRE.broker_LTC.check1.oldActive,$PRE.broker_LTC.check1.newActive,$PRE.broker_LTC.check1.localActive,$PRE.broker_LTC.check.oldActive,$PRE.broker_LTC.check.newActive,$PRE.broker_LTC.check.localActive,$PRE.broker_LTC.transition1.t_start,$PRE.broker_LTC.sendRequest.oldActive,$PRE.broker_LTC.sendRequest.newActive,$PRE.broker_LTC.sendRequest.localActive,$PRE.broker_LTC.transition.t_start,$PRE.broker_LTC.sendCall.oldActive,$PRE.broker_LTC.sendCall.newActive,$PRE.broker_LTC.sendCall.localActive,$PRE.broker_LTC.notFinished.t_start,$PRE.broker_LTC.sendOutRequest.oldActive,$PRE.broker_LTC.sendOutRequest.newActive,$PRE.broker_LTC.sendOutRequest.localActive,$PRE.broker_LTC.allProposalsCollected.t_start,$PRE.broker_LTC.collectProposal.oldActive,$PRE.broker_LTC.collectProposal.newActive,$PRE.broker_LTC.collectProposal.localActive,$PRE.broker_LTC.callForProposal.oldActive,$PRE.broker_LTC.callForProposal.newActive,$PRE.broker_LTC.callForProposal.localActive,$PRE.broker_LTC.waitforRequests.t_start,$PRE.broker_LTC.requests.oldActive,$PRE.broker_LTC.requests.newActive,$PRE.broker_LTC.requests.localActive,$PRE.broker_LTC.integerChange.u,$PRE.broker_LTC.message.oldActive,$PRE.broker_LTC.message.newActive,$PRE.broker_LTC.message.localActive,$PRE.broker_LTC.waiting.oldActive,$PRE.broker_LTC.waiting.newActive,$PRE.broker_LTC.waiting.localActive,$PRE.broker_LTC.receiver.u[1],broker_LTC.reset4.t_start,broker_LTC.reset4.fire,broker_LTC.reset4.enableFire,broker_LTC.enoughSupply1.t_start,broker_LTC.enoughSupply1.fire,broker_LTC.enoughSupply1.enableFire,broker_LTC.limitedSupplyAbort.oldActive,broker_LTC.limitedSupplyAbort.newActive,broker_LTC.limitedSupplyAbort.localActive,broker_LTC.limitedSupplyAbort.active,broker_LTC.enoughSupply.t_start,broker_LTC.enoughSupply.fire,broker_LTC.enoughSupply.enableFire,broker_LTC.checkAvailability.oldActive,broker_LTC.checkAvailability.newActive,broker_LTC.checkAvailability.outPort[2].available,broker_LTC.checkAvailability.localActive,broker_LTC.checkAvailability.active,broker_LTC.reset3.t_start,broker_LTC.reset3.fire,broker_LTC.reset3.enableFire,broker_LTC.reset2.t_start,broker_LTC.reset2.fire,broker_LTC.reset2.enableFire,broker_LTC.reset1.t_start,broker_LTC.reset1.fire,broker_LTC.reset1.enableFire,broker_LTC.reset.t_start,broker_LTC.reset.fire,broker_LTC.reset.enableFire,broker_LTC.transition3.t_start,broker_LTC.transition3.fire,broker_LTC.transition3.enableFire,broker_LTC.prepareTableforRejections.oldActive,broker_LTC.prepareTableforRejections.newActive,broker_LTC.prepareTableforRejections.localActive,broker_LTC.prepareTableforRejections.active,broker_LTC.abort.t_start,broker_LTC.abort.fire,broker_LTC.abort.enableFire,broker_LTC.or4.u1,broker_LTC.or2.y,broker_LTC.or1.y,broker_LTC.confirmNotComplete.enableFire,broker_LTC.requestsNotComplete.enableFire,broker_LTC.requestsComplete.enableFire,broker_LTC.checkRequestComplete.oldActive,broker_LTC.checkRequestComplete.newActive,broker_LTC.checkRequestComplete.outPort[2].available,broker_LTC.checkRequestComplete.localActive,broker_LTC.checkRequestComplete.active,broker_LTC.transition7.t_start,broker_LTC.transition7.fire,broker_LTC.transition7.enableFire,broker_LTC.computeFinalConstellation.oldActive,broker_LTC.computeFinalConstellation.newActive,broker_LTC.computeFinalConstellation.localActive,broker_LTC.computeFinalConstellation.active,broker_LTC.confirmComplete.enableFire,broker_LTC.confirmComplete.localCondition,broker_LTC.sendInformation.active,broker_LTC.sendInformation.oldActive,broker_LTC.sendInformation.newActive,broker_LTC.sendInformation.localActive,broker_LTC.transition6.t_start,broker_LTC.transition6.fire,broker_LTC.transition6.enableFire,broker_LTC.transition5.t_start,broker_LTC.transition5.fire,broker_LTC.transition5.enableFire,broker_LTC.computePrice.oldActive,broker_LTC.computePrice.newActive,broker_LTC.computePrice.localActive,broker_LTC.computePrice.active,broker_LTC.collectConfirm.oldActive,broker_LTC.collectConfirm.newActive,broker_LTC.collectConfirm.outPort[3].available,broker_LTC.collectConfirm.outPort[2].available,broker_LTC.collectConfirm.localActive,broker_LTC.collectConfirm.active,broker_LTC.correctPerformative2.enableFire,broker_LTC.correctPerformative2.localCondition,broker_LTC.check2.oldActive,broker_LTC.check2.newActive,broker_LTC.check2.outPort[2].available,broker_LTC.check2.localActive,broker_LTC.check2.active,broker_LTC.newConfirm.enableFire,broker_LTC.newConfirm.localCondition,broker_LTC.composeInformation.oldActive,broker_LTC.composeInformation.newActive,broker_LTC.composeInformation.inPort[2].occupied,broker_LTC.composeInformation.localActive,broker_LTC.composeInformation.active,broker_LTC.transition4.t_start,broker_LTC.transition4.fire,broker_LTC.transition4.enableFire,broker_LTC.sendNotUnderstood.active,broker_LTC.sendNotUnderstood.oldActive,broker_LTC.sendNotUnderstood.newActive,broker_LTC.sendNotUnderstood.localActive,broker_LTC.transition2.t_start,broker_LTC.transition2.fire,broker_LTC.transition2.enableFire,broker_LTC.composeNotUnderstood.oldActive,broker_LTC.composeNotUnderstood.newActive,broker_LTC.composeNotUnderstood.localActive,broker_LTC.composeNotUnderstood.active,broker_LTC.transitionWithSignal3.t_start,broker_LTC.transitionWithSignal3.fire,broker_LTC.transitionWithSignal3.enableFire,broker_LTC.transitionWithSignal3.localCondition,broker_LTC.actionConfirmed.enableFire,broker_LTC.actionConfirmed.localCondition,broker_LTC.sendConfirmation.active,broker_LTC.sendConfirmation.oldActive,broker_LTC.sendConfirmation.newActive,broker_LTC.sendConfirmation.outPort[2].available,broker_LTC.sendConfirmation.localActive,broker_LTC.requestNoted.t_start,broker_LTC.requestNoted.fire,broker_LTC.requestNoted.enableFire,broker_LTC.correctPerformative1.enableFire,broker_LTC.correctPerformative1.localCondition,broker_LTC.check1.oldActive,broker_LTC.check1.newActive,broker_LTC.check1.localActive,broker_LTC.check1.active,broker_LTC.correctPerformative.enableFire,broker_LTC.correctPerformative.localCondition,broker_LTC.check.oldActive,broker_LTC.check.newActive,broker_LTC.check.outPort[2].available,broker_LTC.check.localActive,broker_LTC.check.active,broker_LTC.transition1.t_start,broker_LTC.transition1.fire,broker_LTC.transition1.enableFire,broker_LTC.sendRequest.active,broker_LTC.sendRequest.oldActive,broker_LTC.sendRequest.newActive,broker_LTC.sendRequest.outPort[2].available,broker_LTC.sendRequest.localActive,broker_LTC.transition.t_start,broker_LTC.transition.fire,broker_LTC.transition.enableFire,broker_LTC.sendCall.active,broker_LTC.sendCall.oldActive,broker_LTC.sendCall.newActive,broker_LTC.sendCall.outPort[2].available,broker_LTC.sendCall.localActive,broker_LTC.notFinished.t_start,broker_LTC.notFinished.fire,broker_LTC.notFinished.enableFire,broker_LTC.sendOutRequest.oldActive,broker_LTC.sendOutRequest.newActive,broker_LTC.sendOutRequest.inPort[3].occupied,broker_LTC.sendOutRequest.inPort[2].occupied,broker_LTC.sendOutRequest.localActive,broker_LTC.sendOutRequest.active,broker_LTC.allProposalsCollected.t_start,broker_LTC.allProposalsCollected.fire,broker_LTC.allProposalsCollected.enableFire,broker_LTC.collectProposal.oldActive,broker_LTC.collectProposal.newActive,broker_LTC.collectProposal.outPort[2].available,broker_LTC.collectProposal.localActive,broker_LTC.collectProposal.active,broker_LTC.newProposal.enableFire,broker_LTC.callForProposal.oldActive,broker_LTC.callForProposal.newActive,broker_LTC.callForProposal.inPort[2].occupied,broker_LTC.callForProposal.localActive,broker_LTC.callForProposal.active,broker_LTC.newRequests.enableFire,broker_LTC.waitforRequests.t_start,broker_LTC.waitforRequests.fire,broker_LTC.waitforRequests.enableFire,broker_LTC.requests.oldActive,broker_LTC.requests.newActive,broker_LTC.requests.inPort[2].occupied,broker_LTC.requests.localActive,broker_LTC.requests.active,broker_LTC.transitionWithSignal.enableFire,broker_LTC.integerChange.u,broker_LTC.message.oldActive,broker_LTC.message.newActive,broker_LTC.message.outPort[2].available,broker_LTC.message.localActive,broker_LTC.message.active,broker_LTC.newMessage.enableFire,broker_LTC.waiting.oldActive,broker_LTC.waiting.newActive,broker_LTC.waiting.inPort[7].occupied,broker_LTC.waiting.inPort[6].occupied,broker_LTC.waiting.inPort[5].occupied,broker_LTC.waiting.inPort[4].occupied,broker_LTC.waiting.inPort[3].occupied,broker_LTC.waiting.inPort[2].occupied,broker_LTC.waiting.localActive,broker_LTC.waiting.active,broker_LTC.finalRequestDone,broker_LTC.informationDone,broker_LTC.calculationDone,broker_LTC.heatingRequestSum,broker_LTC.requestsExceedSupply,broker_LTC.proposalsComplete,broker_LTC.stateGraphRoot.activeSteps,broker_LTC.messageID.pkgOut[1].backwardTrigger,broker_LTC.messageID.pkgOut[1].trigger,broker_LTC.getMessageID.y[1],$PRE.broker_LTC.getMessageID.y[1],broker_LTC.getsender.y[1],$PRE.broker_LTC.getsender.y[1],broker_LTC.getperformative.y[1],$PRE.broker_LTC.getperformative.y[1],broker_LTC.receiver.u[1],$whenCondition129,$whenCondition128,$whenCondition127,$whenCondition126,$whenCondition125,$whenCondition124,$whenCondition123,$whenCondition122,$whenCondition121,$whenCondition120,$whenCondition119,$whenCondition118,$whenCondition117,$whenCondition130,$whenCondition131,$whenCondition132,$whenCondition133,$whenCondition134,$whenCondition135,$whenCondition136,$whenCondition137,$whenCondition138,$whenCondition139,$whenCondition140,$whenCondition141,$whenCondition142,$whenCondition143,$whenCondition144,$whenCondition145,$whenCondition146,$whenCondition147,$whenCondition148,$whenCondition149,$whenCondition150,$whenCondition151,$whenCondition153,broker_LTC.newMessage.t_start,$PRE.broker_LTC.newMessage.t_start,broker_LTC.transitionWithSignal.t_start,$PRE.broker_LTC.transitionWithSignal.t_start,broker_LTC.newRequests.t_start,$PRE.broker_LTC.newRequests.t_start,broker_LTC.newProposal.t_start,$PRE.broker_LTC.newProposal.t_start,broker_LTC.correctPerformative.t_start,$PRE.broker_LTC.correctPerformative.t_start,broker_LTC.correctPerformative1.t_start,$PRE.broker_LTC.correctPerformative1.t_start,broker_LTC.actionConfirmed.t_start,$PRE.broker_LTC.actionConfirmed.t_start,broker_LTC.newConfirm.t_start,$PRE.broker_LTC.newConfirm.t_start,broker_LTC.correctPerformative2.t_start,$PRE.broker_LTC.correctPerformative2.t_start,broker_LTC.confirmComplete.t_start,$PRE.broker_LTC.confirmComplete.t_start,broker_LTC.requestsComplete.t_start,$PRE.broker_LTC.requestsComplete.t_start,broker_LTC.requestsNotComplete.t_start,$PRE.broker_LTC.requestsNotComplete.t_start,broker_LTC.confirmNotComplete.t_start,$PRE.broker_LTC.confirmNotComplete.t_start,heatProducerAgent2.packager.pkgOut.dummy,$PRE.heatProducerAgent2.packager.pkgOut.dummy,heatProducerAgent2.content.pkgOut[1].dummy,$PRE.heatProducerAgent2.content.pkgOut[1].dummy,heatProducerAgent2.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent2.get_content.pkgOut[1].dummy,heatProducerAgent2.get_content.dummy,$PRE.heatProducerAgent2.get_content.dummy,heatProducerAgent2.get_content.y[2],$PRE.heatProducerAgent2.get_content.y[2],heatProducerAgent2.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent2.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent2.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent2.uDPReceive_adapted.nRecvBytes,heatProducerAgent2.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent2.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent2.uDPSend_adapted.dummy,heatProducerAgent2.uDPSend_adapted.dummy,heatProducerAgent2.sender.pkgOut[1].dummy,$PRE.heatProducerAgent2.sender.pkgOut[1].dummy,heatProducerAgent2.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent2.receiver.pkgOut[1].dummy,heatProducerAgent2.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent2.reply_to.pkgOut[1].dummy,heatProducerAgent2.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent2.ontology.pkgOut[1].dummy,heatProducerAgent2.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent2.getperformative.pkgOut[1].dummy,heatProducerAgent2.getperformative.dummy,$PRE.heatProducerAgent2.getperformative.dummy,heatProducerAgent2.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent2.getsender.pkgOut[1].dummy,heatProducerAgent2.getsender.dummy,$PRE.heatProducerAgent2.getsender.dummy,heatProducerAgent2.getsender.y[1],$PRE.heatProducerAgent2.getsender.y[1],heatProducerAgent2.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent2.getreceiver.pkgOut[1].dummy,heatProducerAgent2.getreceiver.dummy,$PRE.heatProducerAgent2.getreceiver.dummy,heatProducerAgent2.getreceiver.y[1],$PRE.heatProducerAgent2.getreceiver.y[1],heatProducerAgent2.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent2.getreply_to.pkgOut[1].dummy,heatProducerAgent2.getreply_to.dummy,$PRE.heatProducerAgent2.getreply_to.dummy,heatProducerAgent2.getreply_to.y[1],$PRE.heatProducerAgent2.getreply_to.y[1],heatProducerAgent2.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent2.getontology.pkgOut[1].dummy,heatProducerAgent2.getontology.dummy,$PRE.heatProducerAgent2.getontology.dummy,heatProducerAgent2.getontology.y[1],$PRE.heatProducerAgent2.getontology.y[1],heatProducerAgent2.performative.pkgOut[1].dummy,$PRE.heatProducerAgent2.performative.pkgOut[1].dummy,heatProducerAgent2.getMessageID.dummy,$PRE.heatProducerAgent2.getMessageID.dummy,heatProducerAgent2.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent2.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent2.messageID.u[1],heatProducerAgent2.messageID.u[1],$PRE.heatProducerAgent2.sender.u[1],heatProducerAgent2.sender.u[1],$PRE.heatProducerAgent2.reply_to.u[1],heatProducerAgent2.reply_to.u[1],$PRE.heatProducerAgent2.ontology.u[1],heatProducerAgent2.ontology.u[1],$PRE.heatProducerAgent2.receiver.u[1],heatProducerAgent2.receiver.u[1],$PRE.heatProducerAgent2.uDPSend_adapted.receiver,heatProducerAgent2.uDPSend_adapted.receiver,$PRE.heatProducerAgent2.performative.u[1],heatProducerAgent2.performative.u[1],$PRE.heatProducerAgent2.content.u[2],heatProducerAgent2.content.u[2],$PRE.heatProducerAgent2.content.u[1],heatProducerAgent2.content.u[1],$PRE.heatProducerAgent2.costCurrent,heatProducerAgent2.costCurrent,$PRE.heatProducerAgent2.currentCapacityDiscrete,heatProducerAgent2.currentCapacityDiscrete,$PRE.heatProducerAgent2.setCapacity,heatProducerAgent2.and1.u2,heatProducerAgent2.setCapacity,$PRE.heatProducerAgent2.calcCapacityInternal,heatProducerAgent2.calcCapacityInternal,heatProducerAgent2.getontology.pkgOut[1].trigger,$whenCondition76,heatProducerAgent1.packager.pkgOut.dummy,$PRE.heatProducerAgent1.packager.pkgOut.dummy,heatProducerAgent1.content.pkgOut[1].dummy,$PRE.heatProducerAgent1.content.pkgOut[1].dummy,heatProducerAgent1.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent1.get_content.pkgOut[1].dummy,heatProducerAgent1.get_content.dummy,$PRE.heatProducerAgent1.get_content.dummy,heatProducerAgent1.get_content.y[2],$PRE.heatProducerAgent1.get_content.y[2],heatProducerAgent1.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent1.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent1.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent1.uDPReceive_adapted.nRecvBytes,heatProducerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent1.uDPSend_adapted.dummy,heatProducerAgent1.uDPSend_adapted.dummy,heatProducerAgent1.sender.pkgOut[1].dummy,$PRE.heatProducerAgent1.sender.pkgOut[1].dummy,heatProducerAgent1.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent1.receiver.pkgOut[1].dummy,heatProducerAgent1.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent1.reply_to.pkgOut[1].dummy,heatProducerAgent1.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent1.ontology.pkgOut[1].dummy,heatProducerAgent1.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent1.getperformative.pkgOut[1].dummy,heatProducerAgent1.getperformative.dummy,$PRE.heatProducerAgent1.getperformative.dummy,heatProducerAgent1.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent1.getsender.pkgOut[1].dummy,heatProducerAgent1.getsender.dummy,$PRE.heatProducerAgent1.getsender.dummy,heatProducerAgent1.getsender.y[1],$PRE.heatProducerAgent1.getsender.y[1],heatProducerAgent1.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent1.getreceiver.pkgOut[1].dummy,heatProducerAgent1.getreceiver.dummy,$PRE.heatProducerAgent1.getreceiver.dummy,heatProducerAgent1.getreceiver.y[1],$PRE.heatProducerAgent1.getreceiver.y[1],heatProducerAgent1.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent1.getreply_to.pkgOut[1].dummy,heatProducerAgent1.getreply_to.dummy,$PRE.heatProducerAgent1.getreply_to.dummy,heatProducerAgent1.getreply_to.y[1],$PRE.heatProducerAgent1.getreply_to.y[1],heatProducerAgent1.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent1.getontology.pkgOut[1].dummy,heatProducerAgent1.getontology.dummy,$PRE.heatProducerAgent1.getontology.dummy,heatProducerAgent1.getontology.y[1],$PRE.heatProducerAgent1.getontology.y[1],heatProducerAgent1.performative.pkgOut[1].dummy,$PRE.heatProducerAgent1.performative.pkgOut[1].dummy,heatProducerAgent1.getMessageID.dummy,$PRE.heatProducerAgent1.getMessageID.dummy,heatProducerAgent1.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent1.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent1.messageID.u[1],heatProducerAgent1.messageID.u[1],$PRE.heatProducerAgent1.sender.u[1],heatProducerAgent1.sender.u[1],$PRE.heatProducerAgent1.reply_to.u[1],heatProducerAgent1.reply_to.u[1],$PRE.heatProducerAgent1.ontology.u[1],heatProducerAgent1.ontology.u[1],$PRE.heatProducerAgent1.receiver.u[1],heatProducerAgent1.receiver.u[1],$PRE.heatProducerAgent1.uDPSend_adapted.receiver,heatProducerAgent1.uDPSend_adapted.receiver,$PRE.heatProducerAgent1.performative.u[1],heatProducerAgent1.performative.u[1],$PRE.heatProducerAgent1.content.u[2],heatProducerAgent1.content.u[2],$PRE.heatProducerAgent1.content.u[1],heatProducerAgent1.content.u[1],$PRE.heatProducerAgent1.costCurrent,heatProducerAgent1.costCurrent,$PRE.heatProducerAgent1.currentCapacityDiscrete,heatProducerAgent1.currentCapacityDiscrete,$PRE.heatProducerAgent1.setCapacity,heatProducerAgent1.and1.u2,heatProducerAgent1.setCapacity,$PRE.heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.getontology.pkgOut[1].trigger,$whenCondition88,heatProducerAgent.packager.pkgOut.dummy,$PRE.heatProducerAgent.packager.pkgOut.dummy,heatProducerAgent.content.pkgOut[1].dummy,$PRE.heatProducerAgent.content.pkgOut[1].dummy,heatProducerAgent.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent.get_content.pkgOut[1].dummy,heatProducerAgent.get_content.dummy,$PRE.heatProducerAgent.get_content.dummy,heatProducerAgent.get_content.y[2],$PRE.heatProducerAgent.get_content.y[2],heatProducerAgent.uDPReceive_adapted.nRecvbufOverwrites,$PRE.heatProducerAgent.uDPReceive_adapted.nRecvbufOverwrites,heatProducerAgent.uDPReceive_adapted.nRecvBytes,$PRE.heatProducerAgent.uDPReceive_adapted.nRecvBytes,heatProducerAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.heatProducerAgent.uDPSend_adapted.dummy,heatProducerAgent.uDPSend_adapted.dummy,heatProducerAgent.sender.pkgOut[1].dummy,$PRE.heatProducerAgent.sender.pkgOut[1].dummy,heatProducerAgent.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent.receiver.pkgOut[1].dummy,heatProducerAgent.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent.reply_to.pkgOut[1].dummy,heatProducerAgent.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent.ontology.pkgOut[1].dummy,heatProducerAgent.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent.getperformative.pkgOut[1].dummy,heatProducerAgent.getperformative.dummy,$PRE.heatProducerAgent.getperformative.dummy,heatProducerAgent.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent.getsender.pkgOut[1].dummy,heatProducerAgent.getsender.dummy,$PRE.heatProducerAgent.getsender.dummy,heatProducerAgent.getsender.y[1],$PRE.heatProducerAgent.getsender.y[1],heatProducerAgent.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent.getreceiver.pkgOut[1].dummy,heatProducerAgent.getreceiver.dummy,$PRE.heatProducerAgent.getreceiver.dummy,heatProducerAgent.getreceiver.y[1],$PRE.heatProducerAgent.getreceiver.y[1],heatProducerAgent.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent.getreply_to.pkgOut[1].dummy,heatProducerAgent.getreply_to.dummy,$PRE.heatProducerAgent.getreply_to.dummy,heatProducerAgent.getreply_to.y[1],$PRE.heatProducerAgent.getreply_to.y[1],heatProducerAgent.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent.getontology.pkgOut[1].dummy,heatProducerAgent.getontology.dummy,$PRE.heatProducerAgent.getontology.dummy,heatProducerAgent.getontology.y[1],$PRE.heatProducerAgent.getontology.y[1],heatProducerAgent.performative.pkgOut[1].dummy,$PRE.heatProducerAgent.performative.pkgOut[1].dummy,heatProducerAgent.getMessageID.dummy,$PRE.heatProducerAgent.getMessageID.dummy,heatProducerAgent.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent.messageID.u[1],heatProducerAgent.messageID.u[1],$PRE.heatProducerAgent.sender.u[1],heatProducerAgent.sender.u[1],$PRE.heatProducerAgent.reply_to.u[1],heatProducerAgent.reply_to.u[1],$PRE.heatProducerAgent.ontology.u[1],heatProducerAgent.ontology.u[1],$PRE.heatProducerAgent.receiver.u[1],heatProducerAgent.receiver.u[1],$PRE.heatProducerAgent.uDPSend_adapted.receiver,heatProducerAgent.uDPSend_adapted.receiver,$PRE.heatProducerAgent.performative.u[1],heatProducerAgent.performative.u[1],$PRE.heatProducerAgent.content.u[2],heatProducerAgent.content.u[2],$PRE.heatProducerAgent.content.u[1],heatProducerAgent.content.u[1],$PRE.heatProducerAgent.costCurrent,heatProducerAgent.costCurrent,$PRE.heatProducerAgent.currentCapacityDiscrete,heatProducerAgent.currentCapacityDiscrete,$PRE.heatProducerAgent.setCapacity,heatProducerAgent.and1.u2,heatProducerAgent.setCapacity,$PRE.heatProducerAgent.calcCapacityInternal,heatProducerAgent.calcCapacityInternal,heatProducerAgent.getontology.pkgOut[1].trigger,$whenCondition100,intermediateAgent_C.packager.pkgOut.dummy,$PRE.intermediateAgent_C.packager.pkgOut.dummy,intermediateAgent_C.content.pkgOut[1].dummy,$PRE.intermediateAgent_C.content.pkgOut[1].dummy,intermediateAgent_C.get_content.pkgOut[1].dummy,$PRE.intermediateAgent_C.get_content.pkgOut[1].dummy,intermediateAgent_C.get_content.dummy,$PRE.intermediateAgent_C.get_content.dummy,intermediateAgent_C.get_content.y[2],$PRE.intermediateAgent_C.get_content.y[2],intermediateAgent_C.get_content.y[1],$PRE.intermediateAgent_C.get_content.y[1],intermediateAgent_C.uDPReceive_adapted.nRecvbufOverwrites,$PRE.intermediateAgent_C.uDPReceive_adapted.nRecvbufOverwrites,intermediateAgent_C.uDPReceive_adapted.nRecvBytes,$PRE.intermediateAgent_C.uDPReceive_adapted.nRecvBytes,intermediateAgent_C.uDPReceive_adapted.pkgOut.dummy,$PRE.intermediateAgent_C.uDPReceive_adapted.pkgOut.dummy,$PRE.intermediateAgent_C.uDPSend_adapted.dummy,intermediateAgent_C.uDPSend_adapted.dummy,intermediateAgent_C.sender.pkgOut[1].dummy,$PRE.intermediateAgent_C.sender.pkgOut[1].dummy,intermediateAgent_C.receiver.pkgOut[1].dummy,$PRE.intermediateAgent_C.receiver.pkgOut[1].dummy,intermediateAgent_C.reply_to.pkgOut[1].dummy,$PRE.intermediateAgent_C.reply_to.pkgOut[1].dummy,intermediateAgent_C.ontology.pkgOut[1].dummy,$PRE.intermediateAgent_C.ontology.pkgOut[1].dummy,intermediateAgent_C.getperformative.pkgOut[1].dummy,$PRE.intermediateAgent_C.getperformative.pkgOut[1].dummy,intermediateAgent_C.getperformative.dummy,$PRE.intermediateAgent_C.getperformative.dummy,intermediateAgent_C.getsender.pkgOut[1].dummy,$PRE.intermediateAgent_C.getsender.pkgOut[1].dummy,intermediateAgent_C.getsender.dummy,$PRE.intermediateAgent_C.getsender.dummy,intermediateAgent_C.getreceiver.pkgOut[1].dummy,$PRE.intermediateAgent_C.getreceiver.pkgOut[1].dummy,intermediateAgent_C.getreceiver.dummy,$PRE.intermediateAgent_C.getreceiver.dummy,intermediateAgent_C.getreceiver.y[1],$PRE.intermediateAgent_C.getreceiver.y[1],intermediateAgent_C.getreply_to.pkgOut[1].dummy,$PRE.intermediateAgent_C.getreply_to.pkgOut[1].dummy,intermediateAgent_C.getreply_to.dummy,$PRE.intermediateAgent_C.getreply_to.dummy,intermediateAgent_C.getreply_to.y[1],$PRE.intermediateAgent_C.getreply_to.y[1],intermediateAgent_C.getontology.pkgOut[1].dummy,$PRE.intermediateAgent_C.getontology.pkgOut[1].dummy,intermediateAgent_C.getontology.dummy,$PRE.intermediateAgent_C.getontology.dummy,intermediateAgent_C.getontology.y[1],$PRE.intermediateAgent_C.getontology.y[1],intermediateAgent_C.performative.pkgOut[1].dummy,$PRE.intermediateAgent_C.performative.pkgOut[1].dummy,intermediateAgent_C.getMessageID.dummy,$PRE.intermediateAgent_C.getMessageID.dummy,intermediateAgent_C.messageID.pkgOut[1].dummy,$PRE.intermediateAgent_C.messageID.pkgOut[1].dummy,$PRE.intermediateAgent_C.ownCost,intermediateAgent_C.ownCost,$PRE.intermediateAgent_C.newCost,intermediateAgent_C.newCost,$PRE.intermediateAgent_C.messageID.u[1],intermediateAgent_C.messageID.u[1],$PRE.intermediateAgent_C.uDPSend_adapted.receiver,intermediateAgent_C.uDPSend_adapted.receiver,$PRE.intermediateAgent_C.ontology.u[1],intermediateAgent_C.ontology.u[1],$PRE.intermediateAgent_C.content.u[2],intermediateAgent_C.content.u[2],$PRE.intermediateAgent_C.content.u[1],intermediateAgent_C.content.u[1],$PRE.intermediateAgent_C.reply_to.u[1],intermediateAgent_C.reply_to.u[1],$PRE.intermediateAgent_C.receiver.u[1],intermediateAgent_C.receiver.u[1],$PRE.intermediateAgent_C.sender.u[1],intermediateAgent_C.sender.u[1],$PRE.intermediateAgent_C.performative.u[1],intermediateAgent_C.performative.u[1],$PRE.intermediateAgent_C.setCapacityOut,intermediateAgent_C.setCapacityOut,$PRE.intermediateAgent_C.currentCost,intermediateAgent_C.currentCost,$PRE.intermediateAgent_C.calcCapacity,intermediateAgent_C.calcCapacity,$PRE.intermediateAgent_C.setCapacity,intermediateAgent_C.and1.u2,intermediateAgent_C.setCapacity,intermediateAgent_C.getontology.pkgOut[1].trigger,$whenCondition115,intermediateAgent_C.newMessage.t_start,$PRE.intermediateAgent_C.newMessage.t_start,intermediateAgent_C.transitionWithSignal.t_start,$PRE.intermediateAgent_C.transitionWithSignal.t_start,intermediateAgent_C.fromTopBroker.t_start,$PRE.intermediateAgent_C.fromTopBroker.t_start,intermediateAgent_C.newMessage1.t_start,$PRE.intermediateAgent_C.newMessage1.t_start,intermediateAgent_C.newMessage2.t_start,$PRE.intermediateAgent_C.newMessage2.t_start,intermediateAgent_C.fromBottomBroker.t_start,$PRE.intermediateAgent_C.fromBottomBroker.t_start,intermediateAgent_C.Off.t_start,$PRE.intermediateAgent_C.Off.t_start,broker_HTC.packager.pkgOut.dummy,$PRE.broker_HTC.packager.pkgOut.dummy,broker_HTC.content.pkgOut[1].dummy,$PRE.broker_HTC.content.pkgOut[1].dummy,broker_HTC.get_content.pkgOut[1].dummy,$PRE.broker_HTC.get_content.pkgOut[1].dummy,broker_HTC.get_content.dummy,$PRE.broker_HTC.get_content.dummy,broker_HTC.get_content.y[2],$PRE.broker_HTC.get_content.y[2],broker_HTC.get_content.y[1],$PRE.broker_HTC.get_content.y[1],broker_HTC.uDPReceive_adapted.nRecvbufOverwrites,$PRE.broker_HTC.uDPReceive_adapted.nRecvbufOverwrites,broker_HTC.uDPReceive_adapted.nRecvBytes,$PRE.broker_HTC.uDPReceive_adapted.nRecvBytes,broker_HTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_HTC.uDPReceive_adapted.pkgOut.dummy,$PRE.broker_HTC.uDPSend_adapted.dummy,broker_HTC.uDPSend_adapted.dummy,broker_HTC.sender.pkgOut[1].dummy,$PRE.broker_HTC.sender.pkgOut[1].dummy,broker_HTC.receiver.pkgOut[1].dummy,$PRE.broker_HTC.receiver.pkgOut[1].dummy,broker_HTC.reply_to.pkgOut[1].dummy,$PRE.broker_HTC.reply_to.pkgOut[1].dummy,broker_HTC.ontology.pkgOut[1].dummy,$PRE.broker_HTC.ontology.pkgOut[1].dummy,broker_HTC.getperformative.pkgOut[1].dummy,$PRE.broker_HTC.getperformative.pkgOut[1].dummy,broker_HTC.getperformative.dummy,$PRE.broker_HTC.getperformative.dummy,broker_HTC.getsender.pkgOut[1].dummy,$PRE.broker_HTC.getsender.pkgOut[1].dummy,broker_HTC.getsender.dummy,$PRE.broker_HTC.getsender.dummy,broker_HTC.getreceiver.pkgOut[1].dummy,$PRE.broker_HTC.getreceiver.pkgOut[1].dummy,broker_HTC.getreceiver.dummy,$PRE.broker_HTC.getreceiver.dummy,broker_HTC.getreceiver.y[1],$PRE.broker_HTC.getreceiver.y[1],broker_HTC.getreply_to.pkgOut[1].dummy,$PRE.broker_HTC.getreply_to.pkgOut[1].dummy,broker_HTC.getreply_to.dummy,$PRE.broker_HTC.getreply_to.dummy,broker_HTC.getreply_to.y[1],$PRE.broker_HTC.getreply_to.y[1],broker_HTC.getontology.pkgOut[1].dummy,$PRE.broker_HTC.getontology.pkgOut[1].dummy,broker_HTC.getontology.dummy,$PRE.broker_HTC.getontology.dummy,broker_HTC.getontology.y[1],$PRE.broker_HTC.getontology.y[1],broker_HTC.performative.pkgOut[1].dummy,$PRE.broker_HTC.performative.pkgOut[1].dummy,broker_HTC.getMessageID.dummy,$PRE.broker_HTC.getMessageID.dummy,broker_HTC.messageID.pkgOut[1].dummy,$PRE.broker_HTC.messageID.pkgOut[1].dummy,$PRE.broker_HTC.averagePrice,broker_HTC.averagePrice,$PRE.broker_HTC.totalHeat,broker_HTC.totalHeat,$PRE.broker_HTC.totalPrice,broker_HTC.totalPrice,$PRE.broker_HTC.messageID.u[1],broker_HTC.messageID.u[1],$PRE.broker_HTC.uDPSend_adapted.receiver,broker_HTC.uDPSend_adapted.receiver,$PRE.broker_HTC.reply_to.u[1],broker_HTC.reply_to.u[1],$PRE.broker_HTC.sender.u[1],broker_HTC.sender.u[1],$PRE.broker_HTC.ontology.u[1],broker_HTC.ontology.u[1],$PRE.broker_HTC.performative.u[1],broker_HTC.performative.u[1],$PRE.broker_HTC.content.u[2],broker_HTC.content.u[2],$PRE.broker_HTC.content.u[1],broker_HTC.content.u[1],$PRE.broker_HTC.rejectsComplete,broker_HTC.rejectsComplete,$PRE.broker_HTC.requestComplete,broker_HTC.requestComplete,$PRE.broker_HTC.requestCounter,broker_HTC.requestCounter,$PRE.broker_HTC.requestAddresses[10,1],broker_HTC.requestAddresses[10,1],$PRE.broker_HTC.requestAddresses[9,1],broker_HTC.requestAddresses[9,1],$PRE.broker_HTC.requestAddresses[8,1],broker_HTC.requestAddresses[8,1],$PRE.broker_HTC.requestAddresses[7,1],broker_HTC.requestAddresses[7,1],$PRE.broker_HTC.requestAddresses[6,1],broker_HTC.requestAddresses[6,1],$PRE.broker_HTC.requestAddresses[5,1],broker_HTC.requestAddresses[5,1],$PRE.broker_HTC.requestAddresses[4,1],broker_HTC.requestAddresses[4,1],$PRE.broker_HTC.requestAddresses[3,1],broker_HTC.requestAddresses[3,1],$PRE.broker_HTC.requestAddresses[2,1],broker_HTC.requestAddresses[2,1],$PRE.broker_HTC.requestAddresses[1,1],broker_HTC.requestAddresses[1,1],$PRE.broker_HTC.requestTable[10,1],broker_HTC.requestTable[10,1],$PRE.broker_HTC.requestTable[9,1],broker_HTC.requestTable[9,1],$PRE.broker_HTC.requestTable[8,1],broker_HTC.requestTable[8,1],$PRE.broker_HTC.requestTable[7,1],broker_HTC.requestTable[7,1],$PRE.broker_HTC.requestTable[6,1],broker_HTC.requestTable[6,1],$PRE.broker_HTC.requestTable[5,1],broker_HTC.requestTable[5,1],$PRE.broker_HTC.requestTable[4,1],broker_HTC.requestTable[4,1],$PRE.broker_HTC.requestTable[3,1],broker_HTC.requestTable[3,1],$PRE.broker_HTC.requestTable[2,1],broker_HTC.requestTable[2,1],$PRE.broker_HTC.requestTable[1,1],broker_HTC.requestTable[1,1],$PRE.broker_HTC.restHeat,broker_HTC.restHeat,$PRE.broker_HTC.totalaveragePrice,broker_HTC.totalaveragePrice,$PRE.broker_HTC.heatingPriceSum,broker_HTC.heatingPriceSum,$PRE.broker_HTC.cheapest,broker_HTC.cheapest,$PRE.broker_HTC.heatingCalculationSum,broker_HTC.heatingCalculationSum,$PRE.broker_HTC.informationCounter,broker_HTC.informationCounter,$PRE.broker_HTC.proposalCounter,broker_HTC.proposalCounter,$PRE.broker_HTC.heatSupplierTable[2,7],broker_HTC.heatSupplierTable[2,7],$PRE.broker_HTC.heatSupplierTable[2,6],broker_HTC.heatSupplierTable[2,6],$PRE.broker_HTC.heatSupplierTable[2,5],broker_HTC.heatSupplierTable[2,5],$PRE.broker_HTC.heatSupplierTable[2,4],broker_HTC.heatSupplierTable[2,4],$PRE.broker_HTC.heatSupplierTable[2,3],broker_HTC.heatSupplierTable[2,3],$PRE.broker_HTC.heatSupplierTable[2,2],broker_HTC.heatSupplierTable[2,2],$PRE.broker_HTC.heatSupplierTable[2,1],broker_HTC.heatSupplierTable[2,1],$PRE.broker_HTC.heatSupplierTable[1,7],broker_HTC.heatSupplierTable[1,7],$PRE.broker_HTC.heatSupplierTable[1,6],broker_HTC.heatSupplierTable[1,6],$PRE.broker_HTC.heatSupplierTable[1,5],broker_HTC.heatSupplierTable[1,5],$PRE.broker_HTC.heatSupplierTable[1,4],broker_HTC.heatSupplierTable[1,4],$PRE.broker_HTC.heatSupplierTable[1,3],broker_HTC.heatSupplierTable[1,3],$PRE.broker_HTC.heatSupplierTable[1,2],broker_HTC.heatSupplierTable[1,2],$PRE.broker_HTC.heatSupplierTable[1,1],broker_HTC.heatSupplierTable[1,1],$PRE.broker_HTC.lowestPrice,broker_HTC.lowestPrice,$PRE.broker_HTC.counterReject,broker_HTC.counterReject,$PRE.broker_HTC.counter,broker_HTC.counter,broker_HTC.getontology.pkgOut[1].trigger,$whenCondition39,$PRE.broker_HTC.proposalsComplete,$PRE.broker_HTC.requestsExceedSupply,$PRE.broker_HTC.heatingRequestSum,$PRE.broker_HTC.calculationDone,$PRE.broker_HTC.informationDone,$PRE.broker_HTC.finalRequestDone,$PRE.broker_HTC.reset4.t_start,$PRE.broker_HTC.enoughSupply1.t_start,$PRE.broker_HTC.limitedSupplyAbort.oldActive,$PRE.broker_HTC.limitedSupplyAbort.newActive,$PRE.broker_HTC.limitedSupplyAbort.localActive,$PRE.broker_HTC.enoughSupply.t_start,$PRE.broker_HTC.checkAvailability.oldActive,$PRE.broker_HTC.checkAvailability.newActive,$PRE.broker_HTC.checkAvailability.localActive,$PRE.broker_HTC.reset3.t_start,$PRE.broker_HTC.reset2.t_start,$PRE.broker_HTC.reset1.t_start,$PRE.broker_HTC.reset.t_start,$PRE.broker_HTC.transition3.t_start,$PRE.broker_HTC.prepareTableforRejections.oldActive,$PRE.broker_HTC.prepareTableforRejections.newActive,$PRE.broker_HTC.prepareTableforRejections.localActive,$PRE.broker_HTC.abort.t_start,$PRE.broker_HTC.checkRequestComplete.oldActive,$PRE.broker_HTC.checkRequestComplete.newActive,$PRE.broker_HTC.checkRequestComplete.localActive,$PRE.broker_HTC.transition7.t_start,$PRE.broker_HTC.computeFinalConstellation.oldActive,$PRE.broker_HTC.computeFinalConstellation.newActive,$PRE.broker_HTC.computeFinalConstellation.localActive,$PRE.broker_HTC.sendInformation.oldActive,$PRE.broker_HTC.sendInformation.newActive,$PRE.broker_HTC.sendInformation.localActive,$PRE.broker_HTC.transition6.t_start,$PRE.broker_HTC.transition5.t_start,$PRE.broker_HTC.computePrice.oldActive,$PRE.broker_HTC.computePrice.newActive,$PRE.broker_HTC.computePrice.localActive,$PRE.broker_HTC.collectConfirm.oldActive,$PRE.broker_HTC.collectConfirm.newActive,$PRE.broker_HTC.collectConfirm.localActive,$PRE.broker_HTC.check2.oldActive,$PRE.broker_HTC.check2.newActive,$PRE.broker_HTC.check2.localActive,$PRE.broker_HTC.composeInformation.oldActive,$PRE.broker_HTC.composeInformation.newActive,$PRE.broker_HTC.composeInformation.localActive,$PRE.broker_HTC.transition4.t_start,$PRE.broker_HTC.sendNotUnderstood.oldActive,$PRE.broker_HTC.sendNotUnderstood.newActive,$PRE.broker_HTC.sendNotUnderstood.localActive,$PRE.broker_HTC.transition2.t_start,$PRE.broker_HTC.composeNotUnderstood.oldActive,$PRE.broker_HTC.composeNotUnderstood.newActive,$PRE.broker_HTC.composeNotUnderstood.localActive,$PRE.broker_HTC.transitionWithSignal3.t_start,$PRE.broker_HTC.sendConfirmation.oldActive,$PRE.broker_HTC.sendConfirmation.newActive,$PRE.broker_HTC.sendConfirmation.localActive,$PRE.broker_HTC.requestNoted.t_start,$PRE.broker_HTC.check1.oldActive,$PRE.broker_HTC.check1.newActive,$PRE.broker_HTC.check1.localActive,$PRE.broker_HTC.check.oldActive,$PRE.broker_HTC.check.newActive,$PRE.broker_HTC.check.localActive,$PRE.broker_HTC.transition1.t_start,$PRE.broker_HTC.sendRequest.oldActive,$PRE.broker_HTC.sendRequest.newActive,$PRE.broker_HTC.sendRequest.localActive,$PRE.broker_HTC.transition.t_start,$PRE.broker_HTC.sendCall.oldActive,$PRE.broker_HTC.sendCall.newActive,$PRE.broker_HTC.sendCall.localActive,$PRE.broker_HTC.notFinished.t_start,$PRE.broker_HTC.sendOutRequest.oldActive,$PRE.broker_HTC.sendOutRequest.newActive,$PRE.broker_HTC.sendOutRequest.localActive,$PRE.broker_HTC.allProposalsCollected.t_start,$PRE.broker_HTC.collectProposal.oldActive,$PRE.broker_HTC.collectProposal.newActive,$PRE.broker_HTC.collectProposal.localActive,$PRE.broker_HTC.callForProposal.oldActive,$PRE.broker_HTC.callForProposal.newActive,$PRE.broker_HTC.callForProposal.localActive,$PRE.broker_HTC.waitforRequests.t_start,$PRE.broker_HTC.requests.oldActive,$PRE.broker_HTC.requests.newActive,$PRE.broker_HTC.requests.localActive,$PRE.broker_HTC.integerChange.u,$PRE.broker_HTC.message.oldActive,$PRE.broker_HTC.message.newActive,$PRE.broker_HTC.message.localActive,$PRE.broker_HTC.waiting.oldActive,$PRE.broker_HTC.waiting.newActive,$PRE.broker_HTC.waiting.localActive,$PRE.broker_HTC.receiver.u[1],broker_HTC.reset4.t_start,broker_HTC.reset4.fire,broker_HTC.reset4.enableFire,broker_HTC.enoughSupply1.t_start,broker_HTC.enoughSupply1.fire,broker_HTC.enoughSupply1.enableFire,broker_HTC.limitedSupplyAbort.oldActive,broker_HTC.limitedSupplyAbort.newActive,broker_HTC.limitedSupplyAbort.localActive,broker_HTC.limitedSupplyAbort.active,broker_HTC.enoughSupply.t_start,broker_HTC.enoughSupply.fire,broker_HTC.enoughSupply.enableFire,broker_HTC.checkAvailability.oldActive,broker_HTC.checkAvailability.newActive,broker_HTC.checkAvailability.outPort[2].available,broker_HTC.checkAvailability.localActive,broker_HTC.checkAvailability.active,broker_HTC.reset3.t_start,broker_HTC.reset3.fire,broker_HTC.reset3.enableFire,broker_HTC.reset2.t_start,broker_HTC.reset2.fire,broker_HTC.reset2.enableFire,broker_HTC.reset1.t_start,broker_HTC.reset1.fire,broker_HTC.reset1.enableFire,broker_HTC.reset.t_start,broker_HTC.reset.fire,broker_HTC.reset.enableFire,broker_HTC.transition3.t_start,broker_HTC.transition3.fire,broker_HTC.transition3.enableFire,broker_HTC.prepareTableforRejections.oldActive,broker_HTC.prepareTableforRejections.newActive,broker_HTC.prepareTableforRejections.localActive,broker_HTC.prepareTableforRejections.active,broker_HTC.abort.t_start,broker_HTC.abort.fire,broker_HTC.abort.enableFire,broker_HTC.or4.u1,broker_HTC.or2.y,broker_HTC.or1.y,broker_HTC.confirmNotComplete.enableFire,broker_HTC.requestsNotComplete.enableFire,broker_HTC.requestsComplete.enableFire,broker_HTC.checkRequestComplete.oldActive,broker_HTC.checkRequestComplete.newActive,broker_HTC.checkRequestComplete.outPort[2].available,broker_HTC.checkRequestComplete.localActive,broker_HTC.checkRequestComplete.active,broker_HTC.transition7.t_start,broker_HTC.transition7.fire,broker_HTC.transition7.enableFire,broker_HTC.computeFinalConstellation.oldActive,broker_HTC.computeFinalConstellation.newActive,broker_HTC.computeFinalConstellation.localActive,broker_HTC.computeFinalConstellation.active,broker_HTC.confirmComplete.enableFire,broker_HTC.confirmComplete.localCondition,broker_HTC.sendInformation.active,broker_HTC.sendInformation.oldActive,broker_HTC.sendInformation.newActive,broker_HTC.sendInformation.localActive,broker_HTC.transition6.t_start,broker_HTC.transition6.fire,broker_HTC.transition6.enableFire,broker_HTC.transition5.t_start,broker_HTC.transition5.fire,broker_HTC.transition5.enableFire,broker_HTC.computePrice.oldActive,broker_HTC.computePrice.newActive,broker_HTC.computePrice.localActive,broker_HTC.computePrice.active,broker_HTC.collectConfirm.oldActive,broker_HTC.collectConfirm.newActive,broker_HTC.collectConfirm.outPort[3].available,broker_HTC.collectConfirm.outPort[2].available,broker_HTC.collectConfirm.localActive,broker_HTC.collectConfirm.active,broker_HTC.correctPerformative2.enableFire,broker_HTC.correctPerformative2.localCondition,broker_HTC.check2.oldActive,broker_HTC.check2.newActive,broker_HTC.check2.outPort[2].available,broker_HTC.check2.localActive,broker_HTC.check2.active,broker_HTC.newConfirm.enableFire,broker_HTC.newConfirm.localCondition,broker_HTC.composeInformation.oldActive,broker_HTC.composeInformation.newActive,broker_HTC.composeInformation.inPort[2].occupied,broker_HTC.composeInformation.localActive,broker_HTC.composeInformation.active,broker_HTC.transition4.t_start,broker_HTC.transition4.fire,broker_HTC.transition4.enableFire,broker_HTC.sendNotUnderstood.active,broker_HTC.sendNotUnderstood.oldActive,broker_HTC.sendNotUnderstood.newActive,broker_HTC.sendNotUnderstood.localActive,broker_HTC.transition2.t_start,broker_HTC.transition2.fire,broker_HTC.transition2.enableFire,broker_HTC.composeNotUnderstood.oldActive,broker_HTC.composeNotUnderstood.newActive,broker_HTC.composeNotUnderstood.localActive,broker_HTC.composeNotUnderstood.active,broker_HTC.transitionWithSignal3.t_start,broker_HTC.transitionWithSignal3.fire,broker_HTC.transitionWithSignal3.enableFire,broker_HTC.transitionWithSignal3.localCondition,broker_HTC.actionConfirmed.enableFire,broker_HTC.actionConfirmed.localCondition,broker_HTC.sendConfirmation.active,broker_HTC.sendConfirmation.oldActive,broker_HTC.sendConfirmation.newActive,broker_HTC.sendConfirmation.outPort[2].available,broker_HTC.sendConfirmation.localActive,broker_HTC.requestNoted.t_start,broker_HTC.requestNoted.fire,broker_HTC.requestNoted.enableFire,broker_HTC.correctPerformative1.enableFire,broker_HTC.correctPerformative1.localCondition,broker_HTC.check1.oldActive,broker_HTC.check1.newActive,broker_HTC.check1.localActive,broker_HTC.check1.active,broker_HTC.correctPerformative.enableFire,broker_HTC.correctPerformative.localCondition,broker_HTC.check.oldActive,broker_HTC.check.newActive,broker_HTC.check.outPort[2].available,broker_HTC.check.localActive,broker_HTC.check.active,broker_HTC.transition1.t_start,broker_HTC.transition1.fire,broker_HTC.transition1.enableFire,broker_HTC.sendRequest.active,broker_HTC.sendRequest.oldActive,broker_HTC.sendRequest.newActive,broker_HTC.sendRequest.outPort[2].available,broker_HTC.sendRequest.localActive,broker_HTC.transition.t_start,broker_HTC.transition.fire,broker_HTC.transition.enableFire,broker_HTC.sendCall.active,broker_HTC.sendCall.oldActive,broker_HTC.sendCall.newActive,broker_HTC.sendCall.outPort[2].available,broker_HTC.sendCall.localActive,broker_HTC.notFinished.t_start,broker_HTC.notFinished.fire,broker_HTC.notFinished.enableFire,broker_HTC.sendOutRequest.oldActive,broker_HTC.sendOutRequest.newActive,broker_HTC.sendOutRequest.inPort[3].occupied,broker_HTC.sendOutRequest.inPort[2].occupied,broker_HTC.sendOutRequest.localActive,broker_HTC.sendOutRequest.active,broker_HTC.allProposalsCollected.t_start,broker_HTC.allProposalsCollected.fire,broker_HTC.allProposalsCollected.enableFire,broker_HTC.collectProposal.oldActive,broker_HTC.collectProposal.newActive,broker_HTC.collectProposal.outPort[2].available,broker_HTC.collectProposal.localActive,broker_HTC.collectProposal.active,broker_HTC.newProposal.enableFire,broker_HTC.callForProposal.oldActive,broker_HTC.callForProposal.newActive,broker_HTC.callForProposal.inPort[2].occupied,broker_HTC.callForProposal.localActive,broker_HTC.callForProposal.active,broker_HTC.newRequests.enableFire,broker_HTC.waitforRequests.t_start,broker_HTC.waitforRequests.fire,broker_HTC.waitforRequests.enableFire,broker_HTC.requests.oldActive,broker_HTC.requests.newActive,broker_HTC.requests.inPort[2].occupied,broker_HTC.requests.localActive,broker_HTC.requests.active,broker_HTC.transitionWithSignal.enableFire,broker_HTC.integerChange.u,broker_HTC.message.oldActive,broker_HTC.message.newActive,broker_HTC.message.outPort[2].available,broker_HTC.message.localActive,broker_HTC.message.active,broker_HTC.newMessage.enableFire,broker_HTC.waiting.oldActive,broker_HTC.waiting.newActive,broker_HTC.waiting.inPort[7].occupied,broker_HTC.waiting.inPort[6].occupied,broker_HTC.waiting.inPort[5].occupied,broker_HTC.waiting.inPort[4].occupied,broker_HTC.waiting.inPort[3].occupied,broker_HTC.waiting.inPort[2].occupied,broker_HTC.waiting.localActive,broker_HTC.waiting.active,broker_HTC.finalRequestDone,broker_HTC.informationDone,broker_HTC.calculationDone,broker_HTC.heatingRequestSum,broker_HTC.requestsExceedSupply,broker_HTC.proposalsComplete,broker_HTC.stateGraphRoot.activeSteps,broker_HTC.messageID.pkgOut[1].backwardTrigger,broker_HTC.messageID.pkgOut[1].trigger,broker_HTC.getMessageID.y[1],$PRE.broker_HTC.getMessageID.y[1],broker_HTC.getsender.y[1],$PRE.broker_HTC.getsender.y[1],broker_HTC.getperformative.y[1],$PRE.broker_HTC.getperformative.y[1],broker_HTC.receiver.u[1],$whenCondition16,$whenCondition15,$whenCondition14,$whenCondition13,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition5,$whenCondition4,$whenCondition17,$whenCondition18,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition22,$whenCondition23,$whenCondition24,$whenCondition25,$whenCondition26,$whenCondition27,$whenCondition28,$whenCondition29,$whenCondition30,$whenCondition31,$whenCondition32,$whenCondition33,$whenCondition34,$whenCondition35,$whenCondition36,$whenCondition37,$whenCondition38,$whenCondition40,broker_HTC.newMessage.t_start,$PRE.broker_HTC.newMessage.t_start,broker_HTC.transitionWithSignal.t_start,$PRE.broker_HTC.transitionWithSignal.t_start,broker_HTC.newRequests.t_start,$PRE.broker_HTC.newRequests.t_start,broker_HTC.newProposal.t_start,$PRE.broker_HTC.newProposal.t_start,broker_HTC.correctPerformative.t_start,$PRE.broker_HTC.correctPerformative.t_start,broker_HTC.correctPerformative1.t_start,$PRE.broker_HTC.correctPerformative1.t_start,broker_HTC.actionConfirmed.t_start,$PRE.broker_HTC.actionConfirmed.t_start,broker_HTC.newConfirm.t_start,$PRE.broker_HTC.newConfirm.t_start,broker_HTC.correctPerformative2.t_start,$PRE.broker_HTC.correctPerformative2.t_start,broker_HTC.confirmComplete.t_start,$PRE.broker_HTC.confirmComplete.t_start,broker_HTC.requestsComplete.t_start,$PRE.broker_HTC.requestsComplete.t_start,broker_HTC.requestsNotComplete.t_start,$PRE.broker_HTC.requestsNotComplete.t_start,broker_HTC.confirmNotComplete.t_start,$PRE.broker_HTC.confirmNotComplete.t_start,heatProducerAgent.newMessage.t_start,$PRE.heatProducerAgent.newMessage.t_start,heatProducerAgent.transitionWithSignal.t_start,$PRE.heatProducerAgent.transitionWithSignal.t_start,heatProducerAgent.transitionWithSignal1.t_start,$PRE.heatProducerAgent.transitionWithSignal1.t_start,heatProducerAgent.transitionWithSignal2.t_start,$PRE.heatProducerAgent.transitionWithSignal2.t_start,heatProducerAgent.Off.t_start,$PRE.heatProducerAgent.Off.t_start,heatProducerAgent.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent.zeroOrderHold.firstTrigger,$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.localCondition,heatProducerAgent.Off.localCondition,heatProducerAgent1.Off.localCondition,heatProducerAgent2.Off.localCondition,$PRE.heatProducerAgent2.reset.t_start,$PRE.heatProducerAgent2.transition7.t_start,$PRE.heatProducerAgent2.shutDown.oldActive,$PRE.heatProducerAgent2.shutDown.newActive,$PRE.heatProducerAgent2.shutDown.localActive,$PRE.heatProducerAgent2.transition6.t_start,$PRE.heatProducerAgent2.confirm.oldActive,$PRE.heatProducerAgent2.confirm.newActive,$PRE.heatProducerAgent2.confirm.localActive,$PRE.heatProducerAgent2.transition5.t_start,$PRE.heatProducerAgent2.sendConfirmation.oldActive,$PRE.heatProducerAgent2.sendConfirmation.newActive,$PRE.heatProducerAgent2.sendConfirmation.localActive,$PRE.heatProducerAgent2.setCapacityOut,$PRE.heatProducerAgent2.transition4.t_start,$PRE.heatProducerAgent2.sendNotUnderstood.oldActive,$PRE.heatProducerAgent2.sendNotUnderstood.newActive,$PRE.heatProducerAgent2.sendNotUnderstood.localActive,$PRE.heatProducerAgent2.transition3.t_start,$PRE.heatProducerAgent2.composeNotUnderstood.oldActive,$PRE.heatProducerAgent2.composeNotUnderstood.newActive,$PRE.heatProducerAgent2.composeNotUnderstood.localActive,$PRE.heatProducerAgent2.transitionWithSignal3.t_start,$PRE.heatProducerAgent2.integerChange.u,$PRE.heatProducerAgent2.sendProposal.oldActive,$PRE.heatProducerAgent2.sendProposal.newActive,$PRE.heatProducerAgent2.sendProposal.localActive,$PRE.heatProducerAgent2.transition1.t_start,$PRE.heatProducerAgent2.computeProposal.oldActive,$PRE.heatProducerAgent2.computeProposal.newActive,$PRE.heatProducerAgent2.computeProposal.localActive,$PRE.heatProducerAgent2.transition2.t_start,$PRE.heatProducerAgent2.adjustHeat.oldActive,$PRE.heatProducerAgent2.adjustHeat.newActive,$PRE.heatProducerAgent2.adjustHeat.localActive,$PRE.heatProducerAgent2.message.oldActive,$PRE.heatProducerAgent2.message.newActive,$PRE.heatProducerAgent2.message.localActive,$PRE.heatProducerAgent2.waiting.oldActive,$PRE.heatProducerAgent2.waiting.newActive,$PRE.heatProducerAgent2.waiting.localActive,heatProducerAgent2.Off.enableFire,heatProducerAgent2.reset.t_start,heatProducerAgent2.reset.fire,heatProducerAgent2.reset.enableFire,heatProducerAgent2.transition7.t_start,heatProducerAgent2.transition7.fire,heatProducerAgent2.transition7.enableFire,heatProducerAgent2.shutDown.oldActive,heatProducerAgent2.shutDown.newActive,heatProducerAgent2.shutDown.localActive,heatProducerAgent2.shutDown.active,heatProducerAgent2.transition6.t_start,heatProducerAgent2.transition6.fire,heatProducerAgent2.transition6.enableFire,heatProducerAgent2.confirm.oldActive,heatProducerAgent2.confirm.newActive,heatProducerAgent2.confirm.localActive,heatProducerAgent2.confirm.active,heatProducerAgent2.transition5.t_start,heatProducerAgent2.transition5.fire,heatProducerAgent2.transition5.enableFire,heatProducerAgent2.sendConfirmation.active,heatProducerAgent2.sendConfirmation.oldActive,heatProducerAgent2.sendConfirmation.newActive,heatProducerAgent2.sendConfirmation.inPort[2].occupied,heatProducerAgent2.sendConfirmation.localActive,heatProducerAgent2.setCapacityOut,heatProducerAgent2.or1.y,heatProducerAgent2.transition4.t_start,heatProducerAgent2.transition4.fire,heatProducerAgent2.transition4.enableFire,heatProducerAgent2.sendNotUnderstood.active,heatProducerAgent2.sendNotUnderstood.oldActive,heatProducerAgent2.sendNotUnderstood.newActive,heatProducerAgent2.sendNotUnderstood.localActive,heatProducerAgent2.transition3.t_start,heatProducerAgent2.transition3.fire,heatProducerAgent2.transition3.enableFire,heatProducerAgent2.composeNotUnderstood.oldActive,heatProducerAgent2.composeNotUnderstood.newActive,heatProducerAgent2.composeNotUnderstood.localActive,heatProducerAgent2.composeNotUnderstood.active,heatProducerAgent2.transitionWithSignal3.t_start,heatProducerAgent2.transitionWithSignal3.fire,heatProducerAgent2.transitionWithSignal3.enableFire,heatProducerAgent2.transitionWithSignal3.localCondition,heatProducerAgent2.transitionWithSignal2.enableFire,heatProducerAgent2.transitionWithSignal2.localCondition,heatProducerAgent2.integerChange.u,heatProducerAgent2.sendProposal.active,heatProducerAgent2.sendProposal.oldActive,heatProducerAgent2.sendProposal.newActive,heatProducerAgent2.sendProposal.outPort[3].available,heatProducerAgent2.sendProposal.outPort[2].available,heatProducerAgent2.sendProposal.localActive,heatProducerAgent2.transition1.t_start,heatProducerAgent2.transition1.fire,heatProducerAgent2.transition1.enableFire,heatProducerAgent2.transitionWithSignal1.enableFire,heatProducerAgent2.transitionWithSignal1.localCondition,heatProducerAgent2.transitionWithSignal.enableFire,heatProducerAgent2.computeProposal.oldActive,heatProducerAgent2.computeProposal.newActive,heatProducerAgent2.computeProposal.localActive,heatProducerAgent2.computeProposal.active,heatProducerAgent2.transition2.t_start,heatProducerAgent2.transition2.fire,heatProducerAgent2.transition2.enableFire,heatProducerAgent2.transition2.localCondition,heatProducerAgent2.adjustHeat.oldActive,heatProducerAgent2.adjustHeat.newActive,heatProducerAgent2.adjustHeat.localActive,heatProducerAgent2.adjustHeat.active,heatProducerAgent2.message.oldActive,heatProducerAgent2.message.newActive,heatProducerAgent2.message.outPort[2].available,heatProducerAgent2.message.localActive,heatProducerAgent2.message.active,heatProducerAgent2.newMessage.enableFire,heatProducerAgent2.newMessage.localCondition,heatProducerAgent2.waiting.oldActive,heatProducerAgent2.waiting.newActive,heatProducerAgent2.waiting.outPort[2].available,heatProducerAgent2.waiting.inPort[4].occupied,heatProducerAgent2.waiting.inPort[3].occupied,heatProducerAgent2.waiting.inPort[2].occupied,heatProducerAgent2.waiting.localActive,heatProducerAgent2.waiting.active,heatProducerAgent2.stateGraphRoot.activeSteps,heatProducerAgent2.messageID.pkgOut[1].backwardTrigger,heatProducerAgent2.messageID.pkgOut[1].trigger,heatProducerAgent2.getMessageID.y[1],$PRE.heatProducerAgent2.getMessageID.y[1],heatProducerAgent2.getperformative.y[1],$PRE.heatProducerAgent2.getperformative.y[1],heatProducerAgent2.get_content.y[1],$PRE.heatProducerAgent2.get_content.y[1],$whenCondition65,$whenCondition64,$whenCondition63,$whenCondition62,$whenCondition61,$whenCondition60,$whenCondition66,$whenCondition67,$whenCondition68,$whenCondition69,$whenCondition70,$whenCondition71,$whenCondition72,$whenCondition73,$whenCondition74,$whenCondition75,$whenCondition77,$PRE.heatProducerAgent1.reset.t_start,$PRE.heatProducerAgent1.transition7.t_start,$PRE.heatProducerAgent1.shutDown.oldActive,$PRE.heatProducerAgent1.shutDown.newActive,$PRE.heatProducerAgent1.shutDown.localActive,$PRE.heatProducerAgent1.transition6.t_start,$PRE.heatProducerAgent1.confirm.oldActive,$PRE.heatProducerAgent1.confirm.newActive,$PRE.heatProducerAgent1.confirm.localActive,$PRE.heatProducerAgent1.transition5.t_start,$PRE.heatProducerAgent1.sendConfirmation.oldActive,$PRE.heatProducerAgent1.sendConfirmation.newActive,$PRE.heatProducerAgent1.sendConfirmation.localActive,$PRE.heatProducerAgent1.setCapacityOut,$PRE.heatProducerAgent1.transition4.t_start,$PRE.heatProducerAgent1.sendNotUnderstood.oldActive,$PRE.heatProducerAgent1.sendNotUnderstood.newActive,$PRE.heatProducerAgent1.sendNotUnderstood.localActive,$PRE.heatProducerAgent1.transition3.t_start,$PRE.heatProducerAgent1.composeNotUnderstood.oldActive,$PRE.heatProducerAgent1.composeNotUnderstood.newActive,$PRE.heatProducerAgent1.composeNotUnderstood.localActive,$PRE.heatProducerAgent1.transitionWithSignal3.t_start,$PRE.heatProducerAgent1.integerChange.u,$PRE.heatProducerAgent1.sendProposal.oldActive,$PRE.heatProducerAgent1.sendProposal.newActive,$PRE.heatProducerAgent1.sendProposal.localActive,$PRE.heatProducerAgent1.transition1.t_start,$PRE.heatProducerAgent1.computeProposal.oldActive,$PRE.heatProducerAgent1.computeProposal.newActive,$PRE.heatProducerAgent1.computeProposal.localActive,$PRE.heatProducerAgent1.transition2.t_start,$PRE.heatProducerAgent1.adjustHeat.oldActive,$PRE.heatProducerAgent1.adjustHeat.newActive,$PRE.heatProducerAgent1.adjustHeat.localActive,$PRE.heatProducerAgent1.message.oldActive,$PRE.heatProducerAgent1.message.newActive,$PRE.heatProducerAgent1.message.localActive,$PRE.heatProducerAgent1.waiting.oldActive,$PRE.heatProducerAgent1.waiting.newActive,$PRE.heatProducerAgent1.waiting.localActive,heatProducerAgent1.Off.enableFire,heatProducerAgent1.reset.t_start,heatProducerAgent1.reset.fire,heatProducerAgent1.reset.enableFire,heatProducerAgent1.transition7.t_start,heatProducerAgent1.transition7.fire,heatProducerAgent1.transition7.enableFire,heatProducerAgent1.shutDown.oldActive,heatProducerAgent1.shutDown.newActive,heatProducerAgent1.shutDown.localActive,heatProducerAgent1.shutDown.active,heatProducerAgent1.transition6.t_start,heatProducerAgent1.transition6.fire,heatProducerAgent1.transition6.enableFire,heatProducerAgent1.confirm.oldActive,heatProducerAgent1.confirm.newActive,heatProducerAgent1.confirm.localActive,heatProducerAgent1.confirm.active,heatProducerAgent1.transition5.t_start,heatProducerAgent1.transition5.fire,heatProducerAgent1.transition5.enableFire,heatProducerAgent1.sendConfirmation.active,heatProducerAgent1.sendConfirmation.oldActive,heatProducerAgent1.sendConfirmation.newActive,heatProducerAgent1.sendConfirmation.inPort[2].occupied,heatProducerAgent1.sendConfirmation.localActive,heatProducerAgent1.setCapacityOut,heatProducerAgent1.or1.y,heatProducerAgent1.transition4.t_start,heatProducerAgent1.transition4.fire,heatProducerAgent1.transition4.enableFire,heatProducerAgent1.sendNotUnderstood.active,heatProducerAgent1.sendNotUnderstood.oldActive,heatProducerAgent1.sendNotUnderstood.newActive,heatProducerAgent1.sendNotUnderstood.localActive,heatProducerAgent1.transition3.t_start,heatProducerAgent1.transition3.fire,heatProducerAgent1.transition3.enableFire,heatProducerAgent1.composeNotUnderstood.oldActive,heatProducerAgent1.composeNotUnderstood.newActive,heatProducerAgent1.composeNotUnderstood.localActive,heatProducerAgent1.composeNotUnderstood.active,heatProducerAgent1.transitionWithSignal3.t_start,heatProducerAgent1.transitionWithSignal3.fire,heatProducerAgent1.transitionWithSignal3.enableFire,heatProducerAgent1.transitionWithSignal3.localCondition,heatProducerAgent1.transitionWithSignal2.enableFire,heatProducerAgent1.transitionWithSignal2.localCondition,heatProducerAgent1.integerChange.u,heatProducerAgent1.sendProposal.active,heatProducerAgent1.sendProposal.oldActive,heatProducerAgent1.sendProposal.newActive,heatProducerAgent1.sendProposal.outPort[3].available,heatProducerAgent1.sendProposal.outPort[2].available,heatProducerAgent1.sendProposal.localActive,heatProducerAgent1.transition1.t_start,heatProducerAgent1.transition1.fire,heatProducerAgent1.transition1.enableFire,heatProducerAgent1.transitionWithSignal1.enableFire,heatProducerAgent1.transitionWithSignal1.localCondition,heatProducerAgent1.transitionWithSignal.enableFire,heatProducerAgent1.computeProposal.oldActive,heatProducerAgent1.computeProposal.newActive,heatProducerAgent1.computeProposal.localActive,heatProducerAgent1.computeProposal.active,heatProducerAgent1.transition2.t_start,heatProducerAgent1.transition2.fire,heatProducerAgent1.transition2.enableFire,heatProducerAgent1.transition2.localCondition,heatProducerAgent1.adjustHeat.oldActive,heatProducerAgent1.adjustHeat.newActive,heatProducerAgent1.adjustHeat.localActive,heatProducerAgent1.adjustHeat.active,heatProducerAgent1.message.oldActive,heatProducerAgent1.message.newActive,heatProducerAgent1.message.outPort[2].available,heatProducerAgent1.message.localActive,heatProducerAgent1.message.active,heatProducerAgent1.newMessage.enableFire,heatProducerAgent1.newMessage.localCondition,heatProducerAgent1.waiting.oldActive,heatProducerAgent1.waiting.newActive,heatProducerAgent1.waiting.outPort[2].available,heatProducerAgent1.waiting.inPort[4].occupied,heatProducerAgent1.waiting.inPort[3].occupied,heatProducerAgent1.waiting.inPort[2].occupied,heatProducerAgent1.waiting.localActive,heatProducerAgent1.waiting.active,heatProducerAgent1.stateGraphRoot.activeSteps,heatProducerAgent1.messageID.pkgOut[1].backwardTrigger,heatProducerAgent1.messageID.pkgOut[1].trigger,heatProducerAgent1.getMessageID.y[1],$PRE.heatProducerAgent1.getMessageID.y[1],heatProducerAgent1.getperformative.y[1],$PRE.heatProducerAgent1.getperformative.y[1],heatProducerAgent1.get_content.y[1],$PRE.heatProducerAgent1.get_content.y[1],$whenCondition59,$whenCondition58,$whenCondition57,$whenCondition56,$whenCondition55,$whenCondition54,$whenCondition78,$whenCondition79,$whenCondition80,$whenCondition81,$whenCondition82,$whenCondition83,$whenCondition84,$whenCondition85,$whenCondition86,$whenCondition87,$whenCondition89,$PRE.heatProducerAgent.reset.t_start,$PRE.heatProducerAgent.transition7.t_start,$PRE.heatProducerAgent.shutDown.oldActive,$PRE.heatProducerAgent.shutDown.newActive,$PRE.heatProducerAgent.shutDown.localActive,$PRE.heatProducerAgent.transition6.t_start,$PRE.heatProducerAgent.confirm.oldActive,$PRE.heatProducerAgent.confirm.newActive,$PRE.heatProducerAgent.confirm.localActive,$PRE.heatProducerAgent.transition5.t_start,$PRE.heatProducerAgent.sendConfirmation.oldActive,$PRE.heatProducerAgent.sendConfirmation.newActive,$PRE.heatProducerAgent.sendConfirmation.localActive,$PRE.heatProducerAgent.setCapacityOut,$PRE.heatProducerAgent.transition4.t_start,$PRE.heatProducerAgent.sendNotUnderstood.oldActive,$PRE.heatProducerAgent.sendNotUnderstood.newActive,$PRE.heatProducerAgent.sendNotUnderstood.localActive,$PRE.heatProducerAgent.transition3.t_start,$PRE.heatProducerAgent.composeNotUnderstood.oldActive,$PRE.heatProducerAgent.composeNotUnderstood.newActive,$PRE.heatProducerAgent.composeNotUnderstood.localActive,$PRE.heatProducerAgent.transitionWithSignal3.t_start,$PRE.heatProducerAgent.integerChange.u,$PRE.heatProducerAgent.sendProposal.oldActive,$PRE.heatProducerAgent.sendProposal.newActive,$PRE.heatProducerAgent.sendProposal.localActive,$PRE.heatProducerAgent.transition1.t_start,$PRE.heatProducerAgent.computeProposal.oldActive,$PRE.heatProducerAgent.computeProposal.newActive,$PRE.heatProducerAgent.computeProposal.localActive,$PRE.heatProducerAgent.transition2.t_start,$PRE.heatProducerAgent.adjustHeat.oldActive,$PRE.heatProducerAgent.adjustHeat.newActive,$PRE.heatProducerAgent.adjustHeat.localActive,$PRE.heatProducerAgent.message.oldActive,$PRE.heatProducerAgent.message.newActive,$PRE.heatProducerAgent.message.localActive,$PRE.heatProducerAgent.waiting.oldActive,$PRE.heatProducerAgent.waiting.newActive,$PRE.heatProducerAgent.waiting.localActive,heatProducerAgent.Off.enableFire,heatProducerAgent.reset.t_start,heatProducerAgent.reset.fire,heatProducerAgent.reset.enableFire,heatProducerAgent.transition7.t_start,heatProducerAgent.transition7.fire,heatProducerAgent.transition7.enableFire,heatProducerAgent.shutDown.oldActive,heatProducerAgent.shutDown.newActive,heatProducerAgent.shutDown.localActive,heatProducerAgent.shutDown.active,heatProducerAgent.transition6.t_start,heatProducerAgent.transition6.fire,heatProducerAgent.transition6.enableFire,heatProducerAgent.confirm.oldActive,heatProducerAgent.confirm.newActive,heatProducerAgent.confirm.localActive,heatProducerAgent.confirm.active,heatProducerAgent.transition5.t_start,heatProducerAgent.transition5.fire,heatProducerAgent.transition5.enableFire,heatProducerAgent.sendConfirmation.active,heatProducerAgent.sendConfirmation.oldActive,heatProducerAgent.sendConfirmation.newActive,heatProducerAgent.sendConfirmation.inPort[2].occupied,heatProducerAgent.sendConfirmation.localActive,heatProducerAgent.setCapacityOut,heatProducerAgent.or1.y,heatProducerAgent.transition4.t_start,heatProducerAgent.transition4.fire,heatProducerAgent.transition4.enableFire,heatProducerAgent.sendNotUnderstood.active,heatProducerAgent.sendNotUnderstood.oldActive,heatProducerAgent.sendNotUnderstood.newActive,heatProducerAgent.sendNotUnderstood.localActive,heatProducerAgent.transition3.t_start,heatProducerAgent.transition3.fire,heatProducerAgent.transition3.enableFire,heatProducerAgent.composeNotUnderstood.oldActive,heatProducerAgent.composeNotUnderstood.newActive,heatProducerAgent.composeNotUnderstood.localActive,heatProducerAgent.composeNotUnderstood.active,heatProducerAgent.transitionWithSignal3.t_start,heatProducerAgent.transitionWithSignal3.fire,heatProducerAgent.transitionWithSignal3.enableFire,heatProducerAgent.transitionWithSignal3.localCondition,heatProducerAgent.transitionWithSignal2.enableFire,heatProducerAgent.transitionWithSignal2.localCondition,heatProducerAgent.integerChange.u,heatProducerAgent.sendProposal.active,heatProducerAgent.sendProposal.oldActive,heatProducerAgent.sendProposal.newActive,heatProducerAgent.sendProposal.outPort[3].available,heatProducerAgent.sendProposal.outPort[2].available,heatProducerAgent.sendProposal.localActive,heatProducerAgent.transition1.t_start,heatProducerAgent.transition1.fire,heatProducerAgent.transition1.enableFire,heatProducerAgent.transitionWithSignal1.enableFire,heatProducerAgent.transitionWithSignal1.localCondition,heatProducerAgent.transitionWithSignal.enableFire,heatProducerAgent.computeProposal.oldActive,heatProducerAgent.computeProposal.newActive,heatProducerAgent.computeProposal.localActive,heatProducerAgent.computeProposal.active,heatProducerAgent.transition2.t_start,heatProducerAgent.transition2.fire,heatProducerAgent.transition2.enableFire,heatProducerAgent.transition2.localCondition,heatProducerAgent.adjustHeat.oldActive,heatProducerAgent.adjustHeat.newActive,heatProducerAgent.adjustHeat.localActive,heatProducerAgent.adjustHeat.active,heatProducerAgent.message.oldActive,heatProducerAgent.message.newActive,heatProducerAgent.message.outPort[2].available,heatProducerAgent.message.localActive,heatProducerAgent.message.active,heatProducerAgent.newMessage.enableFire,heatProducerAgent.newMessage.localCondition,heatProducerAgent.waiting.oldActive,heatProducerAgent.waiting.newActive,heatProducerAgent.waiting.outPort[2].available,heatProducerAgent.waiting.inPort[4].occupied,heatProducerAgent.waiting.inPort[3].occupied,heatProducerAgent.waiting.inPort[2].occupied,heatProducerAgent.waiting.localActive,heatProducerAgent.waiting.active,heatProducerAgent.stateGraphRoot.activeSteps,heatProducerAgent.messageID.pkgOut[1].backwardTrigger,heatProducerAgent.messageID.pkgOut[1].trigger,heatProducerAgent.getMessageID.y[1],$PRE.heatProducerAgent.getMessageID.y[1],heatProducerAgent.getperformative.y[1],$PRE.heatProducerAgent.getperformative.y[1],heatProducerAgent.get_content.y[1],$PRE.heatProducerAgent.get_content.y[1],$whenCondition53,$whenCondition52,$whenCondition51,$whenCondition50,$whenCondition49,$whenCondition48,$whenCondition90,$whenCondition91,$whenCondition92,$whenCondition93,$whenCondition94,$whenCondition95,$whenCondition96,$whenCondition97,$whenCondition98,$whenCondition99,$whenCondition101,$PRE.intermediateAgent_C.currentClient,$PRE.intermediateAgent_C.transition9.t_start,$PRE.intermediateAgent_C.shutDown.oldActive,$PRE.intermediateAgent_C.shutDown.newActive,$PRE.intermediateAgent_C.shutDown.localActive,$PRE.intermediateAgent_C.reset1.t_start,$PRE.intermediateAgent_C.reset.t_start,$PRE.intermediateAgent_C.transition6.t_start,$PRE.intermediateAgent_C.sendConfirmation1.oldActive,$PRE.intermediateAgent_C.sendConfirmation1.newActive,$PRE.intermediateAgent_C.sendConfirmation1.localActive,$PRE.intermediateAgent_C.transition5.t_start,$PRE.intermediateAgent_C.confirmToBottom.oldActive,$PRE.intermediateAgent_C.confirmToBottom.newActive,$PRE.intermediateAgent_C.confirmToBottom.localActive,$PRE.intermediateAgent_C.transition2.t_start,$PRE.intermediateAgent_C.sendConfirmation.oldActive,$PRE.intermediateAgent_C.sendConfirmation.newActive,$PRE.intermediateAgent_C.sendConfirmation.localActive,$PRE.intermediateAgent_C.transition8.t_start,$PRE.intermediateAgent_C.passOnConfirmation.oldActive,$PRE.intermediateAgent_C.passOnConfirmation.newActive,$PRE.intermediateAgent_C.passOnConfirmation.localActive,$PRE.intermediateAgent_C.check1.oldActive,$PRE.intermediateAgent_C.check1.newActive,$PRE.intermediateAgent_C.check1.localActive,$PRE.intermediateAgent_C.sendInformation.oldActive,$PRE.intermediateAgent_C.sendInformation.newActive,$PRE.intermediateAgent_C.sendInformation.localActive,$PRE.intermediateAgent_C.transition7.t_start,$PRE.intermediateAgent_C.passOnInformation.oldActive,$PRE.intermediateAgent_C.passOnInformation.newActive,$PRE.intermediateAgent_C.passOnInformation.localActive,$PRE.intermediateAgent_C.check.oldActive,$PRE.intermediateAgent_C.check.newActive,$PRE.intermediateAgent_C.check.localActive,$PRE.intermediateAgent_C.transition4.t_start,$PRE.intermediateAgent_C.sendNotUnderstood.oldActive,$PRE.intermediateAgent_C.sendNotUnderstood.newActive,$PRE.intermediateAgent_C.sendNotUnderstood.localActive,$PRE.intermediateAgent_C.transition3.t_start,$PRE.intermediateAgent_C.composeNotUnderstood.oldActive,$PRE.intermediateAgent_C.composeNotUnderstood.newActive,$PRE.intermediateAgent_C.composeNotUnderstood.localActive,$PRE.intermediateAgent_C.transitionWithSignal3.t_start,$PRE.intermediateAgent_C.integerChange.u,$PRE.intermediateAgent_C.sendCall.oldActive,$PRE.intermediateAgent_C.sendCall.newActive,$PRE.intermediateAgent_C.sendCall.localActive,$PRE.intermediateAgent_C.transition1.t_start,$PRE.intermediateAgent_C.passOnCall.oldActive,$PRE.intermediateAgent_C.passOnCall.newActive,$PRE.intermediateAgent_C.passOnCall.localActive,$PRE.intermediateAgent_C.message.oldActive,$PRE.intermediateAgent_C.message.newActive,$PRE.intermediateAgent_C.message.localActive,$PRE.intermediateAgent_C.waiting.oldActive,$PRE.intermediateAgent_C.waiting.newActive,$PRE.intermediateAgent_C.waiting.localActive,intermediateAgent_C.Off.enableFire,intermediateAgent_C.transition9.t_start,intermediateAgent_C.transition9.fire,intermediateAgent_C.transition9.enableFire,intermediateAgent_C.shutDown.oldActive,intermediateAgent_C.shutDown.newActive,intermediateAgent_C.shutDown.localActive,intermediateAgent_C.shutDown.active,intermediateAgent_C.reset1.t_start,intermediateAgent_C.reset1.fire,intermediateAgent_C.reset1.enableFire,intermediateAgent_C.reset.t_start,intermediateAgent_C.reset.fire,intermediateAgent_C.reset.enableFire,intermediateAgent_C.or4.u2,intermediateAgent_C.or4.u1,intermediateAgent_C.or2.y,intermediateAgent_C.transition6.t_start,intermediateAgent_C.transition6.fire,intermediateAgent_C.transition6.enableFire,intermediateAgent_C.sendConfirmation1.active,intermediateAgent_C.sendConfirmation1.oldActive,intermediateAgent_C.sendConfirmation1.newActive,intermediateAgent_C.sendConfirmation1.localActive,intermediateAgent_C.transition5.t_start,intermediateAgent_C.transition5.fire,intermediateAgent_C.transition5.enableFire,intermediateAgent_C.confirmToBottom.oldActive,intermediateAgent_C.confirmToBottom.newActive,intermediateAgent_C.confirmToBottom.localActive,intermediateAgent_C.confirmToBottom.active,intermediateAgent_C.transition2.t_start,intermediateAgent_C.transition2.fire,intermediateAgent_C.transition2.enableFire,intermediateAgent_C.sendConfirmation.active,intermediateAgent_C.sendConfirmation.oldActive,intermediateAgent_C.sendConfirmation.newActive,intermediateAgent_C.sendConfirmation.localActive,intermediateAgent_C.transition8.t_start,intermediateAgent_C.transition8.fire,intermediateAgent_C.transition8.enableFire,intermediateAgent_C.passOnConfirmation.oldActive,intermediateAgent_C.passOnConfirmation.newActive,intermediateAgent_C.passOnConfirmation.localActive,intermediateAgent_C.passOnConfirmation.active,intermediateAgent_C.fromBottomBroker.enableFire,intermediateAgent_C.fromBottomBroker.localCondition,intermediateAgent_C.check1.oldActive,intermediateAgent_C.check1.newActive,intermediateAgent_C.check1.localActive,intermediateAgent_C.check1.active,intermediateAgent_C.newMessage2.enableFire,intermediateAgent_C.newMessage2.localCondition,intermediateAgent_C.sendInformation.active,intermediateAgent_C.sendInformation.oldActive,intermediateAgent_C.sendInformation.newActive,intermediateAgent_C.sendInformation.outPort[2].available,intermediateAgent_C.sendInformation.localActive,intermediateAgent_C.transition7.t_start,intermediateAgent_C.transition7.fire,intermediateAgent_C.transition7.enableFire,intermediateAgent_C.passOnInformation.oldActive,intermediateAgent_C.passOnInformation.newActive,intermediateAgent_C.passOnInformation.localActive,intermediateAgent_C.passOnInformation.active,intermediateAgent_C.check.oldActive,intermediateAgent_C.check.newActive,intermediateAgent_C.check.localActive,intermediateAgent_C.check.active,intermediateAgent_C.newMessage1.enableFire,intermediateAgent_C.fromTopBroker.enableFire,intermediateAgent_C.fromTopBroker.localCondition,intermediateAgent_C.transition4.t_start,intermediateAgent_C.transition4.fire,intermediateAgent_C.transition4.enableFire,intermediateAgent_C.sendNotUnderstood.active,intermediateAgent_C.sendNotUnderstood.oldActive,intermediateAgent_C.sendNotUnderstood.newActive,intermediateAgent_C.sendNotUnderstood.localActive,intermediateAgent_C.transition3.t_start,intermediateAgent_C.transition3.fire,intermediateAgent_C.transition3.enableFire,intermediateAgent_C.composeNotUnderstood.oldActive,intermediateAgent_C.composeNotUnderstood.newActive,intermediateAgent_C.composeNotUnderstood.localActive,intermediateAgent_C.composeNotUnderstood.active,intermediateAgent_C.transitionWithSignal3.t_start,intermediateAgent_C.transitionWithSignal3.fire,intermediateAgent_C.transitionWithSignal3.enableFire,intermediateAgent_C.transitionWithSignal3.localCondition,intermediateAgent_C.integerChange.u,intermediateAgent_C.sendCall.active,intermediateAgent_C.sendCall.oldActive,intermediateAgent_C.sendCall.newActive,intermediateAgent_C.sendCall.outPort[2].available,intermediateAgent_C.sendCall.localActive,intermediateAgent_C.transition1.t_start,intermediateAgent_C.transition1.fire,intermediateAgent_C.transition1.enableFire,intermediateAgent_C.transitionWithSignal.enableFire,intermediateAgent_C.passOnCall.oldActive,intermediateAgent_C.passOnCall.newActive,intermediateAgent_C.passOnCall.localActive,intermediateAgent_C.passOnCall.active,intermediateAgent_C.message.oldActive,intermediateAgent_C.message.newActive,intermediateAgent_C.message.outPort[2].available,intermediateAgent_C.message.localActive,intermediateAgent_C.message.active,intermediateAgent_C.newMessage.enableFire,intermediateAgent_C.waiting.oldActive,intermediateAgent_C.waiting.newActive,intermediateAgent_C.waiting.outPort[2].available,intermediateAgent_C.waiting.inPort[5].occupied,intermediateAgent_C.waiting.inPort[4].occupied,intermediateAgent_C.waiting.inPort[3].occupied,intermediateAgent_C.waiting.inPort[2].occupied,intermediateAgent_C.waiting.localActive,intermediateAgent_C.waiting.active,intermediateAgent_C.currentClient,intermediateAgent_C.stateGraphRoot.activeSteps,intermediateAgent_C.messageID.pkgOut[1].backwardTrigger,intermediateAgent_C.messageID.pkgOut[1].trigger,intermediateAgent_C.getMessageID.y[1],$PRE.intermediateAgent_C.getMessageID.y[1],intermediateAgent_C.getsender.y[1],$PRE.intermediateAgent_C.getsender.y[1],intermediateAgent_C.getperformative.y[1],$PRE.intermediateAgent_C.getperformative.y[1],$whenCondition47,$whenCondition46,$whenCondition45,$whenCondition44,$whenCondition43,$whenCondition42,$whenCondition41,$whenCondition102,$whenCondition103,$whenCondition104,$whenCondition105,$whenCondition106,$whenCondition107,$whenCondition108,$whenCondition109,$whenCondition110,$whenCondition111,$whenCondition112,$whenCondition113,$whenCondition114,$whenCondition116,broker_HTC.reset4.condition,broker_HTC.reset3.condition,broker_HTC.reset2.condition,broker_HTC.reset1.condition,broker_HTC.reset.condition,broker_HTC.transition3.condition,broker_HTC.abort.condition,broker_HTC.transition7.condition,broker_HTC.transition6.condition,broker_HTC.transition4.condition,broker_HTC.transition2.condition,broker_HTC.requestNoted.condition,broker_HTC.transition1.condition,broker_HTC.transition.condition,broker_HTC.waitforRequests.condition,broker_HTC.stateGraphRoot.resume,broker_HTC.stateGraphRoot.suspend,messageNotification.y,heatProducerAgent2.getMessageID.pkgIn.userPkgBitSize,heatProducerAgent2.getMessageID.pkgIn.backwardTrigger,heatProducerAgent1.getMessageID.pkgIn.userPkgBitSize,heatProducerAgent1.getMessageID.pkgIn.backwardTrigger,heatProducerAgent.getMessageID.pkgIn.userPkgBitSize,heatProducerAgent.getMessageID.pkgIn.backwardTrigger,broker_HTC.getMessageID.pkgIn.userPkgBitSize,broker_HTC.getMessageID.pkgIn.backwardTrigger,intermediateAgent_C.getMessageID.pkgIn.userPkgBitSize,intermediateAgent_C.getMessageID.pkgIn.backwardTrigger,broker_LTC.getMessageID.pkgIn.userPkgBitSize,broker_LTC.getMessageID.pkgIn.backwardTrigger,roomAgent_C.getMessageID.pkgIn.userPkgBitSize,roomAgent_C.getMessageID.pkgIn.backwardTrigger,heatProducerAgent2.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent2.getontology.pkgIn.autoPkgBitSize,heatProducerAgent2.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent2.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent2.getsender.pkgIn.autoPkgBitSize,heatProducerAgent2.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPReceive_adapted.bufferSize,heatProducerAgent2.get_content.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPSend_adapted.bufferSize,heatProducerAgent2.messageID.pkgIn.autoPkgBitSize,heatProducerAgent2.performative.pkgIn.autoPkgBitSize,heatProducerAgent2.ontology.pkgIn.autoPkgBitSize,heatProducerAgent2.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent2.receiver.pkgIn.autoPkgBitSize,heatProducerAgent2.sender.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent2.content.pkgIn.autoPkgBitSize,heatProducerAgent2.packager.bufferSize,heatProducerAgent2.packager.backwardPropagatedBufferSize,heatProducerAgent1.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent1.getontology.pkgIn.autoPkgBitSize,heatProducerAgent1.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent1.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent1.getsender.pkgIn.autoPkgBitSize,heatProducerAgent1.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPReceive_adapted.bufferSize,heatProducerAgent1.get_content.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPSend_adapted.bufferSize,heatProducerAgent1.messageID.pkgIn.autoPkgBitSize,heatProducerAgent1.performative.pkgIn.autoPkgBitSize,heatProducerAgent1.ontology.pkgIn.autoPkgBitSize,heatProducerAgent1.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent1.receiver.pkgIn.autoPkgBitSize,heatProducerAgent1.sender.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent1.content.pkgIn.autoPkgBitSize,heatProducerAgent1.packager.bufferSize,heatProducerAgent1.packager.backwardPropagatedBufferSize,heatProducerAgent.getMessageID.pkgIn.autoPkgBitSize,heatProducerAgent.getontology.pkgIn.autoPkgBitSize,heatProducerAgent.getreply_to.pkgIn.autoPkgBitSize,heatProducerAgent.getreceiver.pkgIn.autoPkgBitSize,heatProducerAgent.getsender.pkgIn.autoPkgBitSize,heatProducerAgent.getperformative.pkgIn.autoPkgBitSize,heatProducerAgent.uDPReceive_adapted.bufferSize,heatProducerAgent.get_content.pkgIn.autoPkgBitSize,heatProducerAgent.uDPSend_adapted.bufferSize,heatProducerAgent.messageID.pkgIn.autoPkgBitSize,heatProducerAgent.performative.pkgIn.autoPkgBitSize,heatProducerAgent.ontology.pkgIn.autoPkgBitSize,heatProducerAgent.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent.receiver.pkgIn.autoPkgBitSize,heatProducerAgent.sender.pkgIn.autoPkgBitSize,heatProducerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent.content.pkgIn.autoPkgBitSize,heatProducerAgent.packager.bufferSize,heatProducerAgent.packager.backwardPropagatedBufferSize,broker_HTC.getMessageID.pkgIn.autoPkgBitSize,broker_HTC.getontology.pkgIn.autoPkgBitSize,broker_HTC.getreply_to.pkgIn.autoPkgBitSize,broker_HTC.getreceiver.pkgIn.autoPkgBitSize,broker_HTC.getsender.pkgIn.autoPkgBitSize,broker_HTC.getperformative.pkgIn.autoPkgBitSize,broker_HTC.uDPReceive_adapted.bufferSize,broker_HTC.get_content.pkgIn.autoPkgBitSize,broker_HTC.messageID.pkgIn.autoPkgBitSize,broker_HTC.performative.pkgIn.autoPkgBitSize,broker_HTC.ontology.pkgIn.autoPkgBitSize,broker_HTC.reply_to.pkgIn.autoPkgBitSize,broker_HTC.receiver.pkgIn.autoPkgBitSize,broker_HTC.sender.pkgIn.autoPkgBitSize,broker_HTC.uDPSend_adapted.pkgIn.autoPkgBitSize,broker_HTC.uDPSend_adapted.pkgIn.userPkgBitSize,broker_HTC.content.pkgIn.autoPkgBitSize,broker_HTC.packager.bufferSize,broker_HTC.packager.backwardPropagatedBufferSize,broker_HTC.uDPSend_adapted.bufferSize,intermediateAgent_C.getMessageID.pkgIn.autoPkgBitSize,intermediateAgent_C.getontology.pkgIn.autoPkgBitSize,intermediateAgent_C.getreply_to.pkgIn.autoPkgBitSize,intermediateAgent_C.getreceiver.pkgIn.autoPkgBitSize,intermediateAgent_C.getsender.pkgIn.autoPkgBitSize,intermediateAgent_C.getperformative.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPReceive_adapted.bufferSize,intermediateAgent_C.get_content.pkgIn.autoPkgBitSize,intermediateAgent_C.messageID.pkgIn.autoPkgBitSize,intermediateAgent_C.performative.pkgIn.autoPkgBitSize,intermediateAgent_C.ontology.pkgIn.autoPkgBitSize,intermediateAgent_C.reply_to.pkgIn.autoPkgBitSize,intermediateAgent_C.receiver.pkgIn.autoPkgBitSize,intermediateAgent_C.sender.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPSend_adapted.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPSend_adapted.pkgIn.userPkgBitSize,intermediateAgent_C.content.pkgIn.autoPkgBitSize,intermediateAgent_C.packager.bufferSize,intermediateAgent_C.packager.backwardPropagatedBufferSize,intermediateAgent_C.uDPSend_adapted.bufferSize,broker_LTC.getMessageID.pkgIn.autoPkgBitSize,broker_LTC.getontology.pkgIn.autoPkgBitSize,broker_LTC.getreply_to.pkgIn.autoPkgBitSize,broker_LTC.getreceiver.pkgIn.autoPkgBitSize,broker_LTC.getsender.pkgIn.autoPkgBitSize,broker_LTC.getperformative.pkgIn.autoPkgBitSize,broker_LTC.uDPReceive_adapted.bufferSize,broker_LTC.get_content.pkgIn.autoPkgBitSize,broker_LTC.messageID.pkgIn.autoPkgBitSize,broker_LTC.performative.pkgIn.autoPkgBitSize,broker_LTC.ontology.pkgIn.autoPkgBitSize,broker_LTC.reply_to.pkgIn.autoPkgBitSize,broker_LTC.receiver.pkgIn.autoPkgBitSize,broker_LTC.sender.pkgIn.autoPkgBitSize,broker_LTC.uDPSend_adapted.pkgIn.autoPkgBitSize,broker_LTC.uDPSend_adapted.pkgIn.userPkgBitSize,broker_LTC.content.pkgIn.autoPkgBitSize,broker_LTC.packager.bufferSize,broker_LTC.packager.backwardPropagatedBufferSize,broker_LTC.uDPSend_adapted.bufferSize,roomAgent_C.getMessageID.pkgIn.autoPkgBitSize,roomAgent_C.getontology.pkgIn.autoPkgBitSize,roomAgent_C.getreply_to.pkgIn.autoPkgBitSize,roomAgent_C.getreceiver.pkgIn.autoPkgBitSize,roomAgent_C.getsender.pkgIn.autoPkgBitSize,roomAgent_C.getperformative.pkgIn.autoPkgBitSize,roomAgent_C.uDPReceive_adapted.bufferSize,roomAgent_C.get_content.pkgIn.autoPkgBitSize,roomAgent_C.messageID.pkgIn.autoPkgBitSize,roomAgent_C.performative.pkgIn.autoPkgBitSize,roomAgent_C.ontology.pkgIn.autoPkgBitSize,roomAgent_C.reply_to.pkgIn.autoPkgBitSize,roomAgent_C.receiver.pkgIn.autoPkgBitSize,roomAgent_C.sender.pkgIn.autoPkgBitSize,roomAgent_C.uDPSend_adapted.pkgIn.autoPkgBitSize,roomAgent_C.uDPSend_adapted.pkgIn.userPkgBitSize,roomAgent_C.content.pkgIn.autoPkgBitSize,roomAgent_C.packager.bufferSize,roomAgent_C.packager.backwardPropagatedBufferSize,roomAgent_C.uDPSend_adapted.bufferSize) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (3225): * Single equations (assignments): 3208 * Array equations: 0 * Algorithm blocks: 8 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 9 * Mixed (continuous/discrete) equation systems: 0 Notification: Torn system details for strict tearing set: * Linear torn systems (#iteration vars, #inner vars, density): 9 systems {(1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%), (1,1,100.0%)} * Non-linear torn systems (#iteration vars, #inner vars): 0 systems Notification: Performance of prepare postOptimizeDAE: time 0.01608/2.295, allocations: 7.93 MB / 1.589 GB, free: 248.8 MB / 1.092 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.004986/2.3, allocations: 1.189 MB / 1.59 GB, free: 247.7 MB / 1.092 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.04371/2.344, allocations: 31.25 MB / 1.621 GB, free: 217.3 MB / 1.092 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 0.0001728/2.344, allocations: 192 kB / 1.621 GB, free: 217.1 MB / 1.092 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 0.0001323/2.344, allocations: 20 kB / 1.621 GB, free: 217.1 MB / 1.092 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 0.0002627/2.344, allocations: 115.6 kB / 1.621 GB, free: 217 MB / 1.092 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.07854/2.423, allocations: 54.9 MB / 1.675 GB, free: 162.3 MB / 1.092 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 0.0001761/2.423, allocations: 20 kB / 1.675 GB, free: 162.3 MB / 1.092 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.004375/2.427, allocations: 0.8803 MB / 1.676 GB, free: 161.4 MB / 1.092 GB Notification: Performance of postOpt tearingSystem (simulation): time 0.002187/2.43, allocations: 2.005 MB / 1.677 GB, free: 159.4 MB / 1.092 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.003524/2.433, allocations: 0.6625 MB / 1.678 GB, free: 158.7 MB / 1.092 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 0.004681/2.438, allocations: 4.896 MB / 1.683 GB, free: 153.7 MB / 1.092 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 1.339e-05/2.438, allocations: 35.81 kB / 1.683 GB, free: 153.7 MB / 1.092 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.04637/2.484, allocations: 34.92 MB / 1.717 GB, free: 118.3 MB / 1.092 GB Notification: Performance of postOpt removeConstants (simulation): time 0.002153/2.486, allocations: 1.223 MB / 1.718 GB, free: 117.1 MB / 1.092 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.00467/2.491, allocations: 0.7379 MB / 1.719 GB, free: 116.3 MB / 1.092 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.007146/2.498, allocations: 0.7064 MB / 1.72 GB, free: 115.6 MB / 1.092 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.003767/2.502, allocations: 1.773 MB / 1.721 GB, free: 113.8 MB / 1.092 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.00194/2.504, allocations: 0.8736 MB / 1.722 GB, free: 113 MB / 1.092 GB Notification: Performance of sorting global known variables: time 0.002263/2.506, allocations: 2.045 MB / 1.724 GB, free: 110.9 MB / 1.092 GB Notification: Performance of sort global known variables: time 1.61e-07/2.506, allocations: 4 kB / 1.724 GB, free: 110.9 MB / 1.092 GB Notification: Performance of remove unused functions: time 0.01432/2.521, allocations: 4.783 MB / 1.729 GB, free: 106.1 MB / 1.092 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.active,broker_HTC.messageID.pkgOut[1].backwardTrigger,broker_HTC.sendRequest.active,broker_HTC.check.localActive,broker_HTC.check1.localActive,broker_HTC.sendConfirmation.active,broker_HTC.composeNotUnderstood.localActive,broker_HTC.transition2.enableFire,broker_HTC.sendNotUnderstood.active,broker_HTC.composeInformation.localActive,broker_HTC.transition6.enableFire,broker_HTC.check2.localActive,broker_HTC.collectConfirm.localActive,broker_HTC.computePrice.localActive,broker_HTC.sendInformation.active,broker_HTC.computeFinalConstellation.localActive,broker_HTC.checkRequestComplete.localActive,broker_HTC.prepareTableforRejections.localActive,broker_HTC.checkAvailability.localActive,broker_HTC.limitedSupplyAbort.localActive,$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.localActive,broker_HTC.sendCall.outPort[2].available,broker_HTC.sendCall.newActive,broker_HTC.sendCall.oldActive,broker_HTC.transition.fire,broker_HTC.transition.t_start,broker_HTC.sendRequest.localActive,broker_HTC.sendRequest.outPort[2].available,broker_HTC.sendRequest.newActive,broker_HTC.sendRequest.oldActive,broker_HTC.transition1.fire,broker_HTC.transition1.t_start,broker_HTC.check.active,broker_HTC.check.outPort[2].available,broker_HTC.check.newActive,broker_HTC.check.oldActive,broker_HTC.correctPerformative.localCondition,broker_HTC.correctPerformative.enableFire,broker_HTC.check1.active,broker_HTC.check1.newActive,broker_HTC.check1.oldActive,broker_HTC.correctPerformative1.localCondition,broker_HTC.correctPerformative1.enableFire,broker_HTC.requestNoted.fire,broker_HTC.requestNoted.t_start,broker_HTC.sendConfirmation.localActive,broker_HTC.sendConfirmation.outPort[2].available,broker_HTC.sendConfirmation.newActive,broker_HTC.sendConfirmation.oldActive,broker_HTC.actionConfirmed.localCondition,broker_HTC.actionConfirmed.enableFire,broker_HTC.transitionWithSignal3.localCondition,broker_HTC.transitionWithSignal3.fire,broker_HTC.transitionWithSignal3.t_start,broker_HTC.composeNotUnderstood.active,broker_HTC.composeNotUnderstood.newActive,broker_HTC.composeNotUnderstood.oldActive,broker_HTC.transition2.fire,broker_HTC.transition2.t_start,broker_HTC.sendNotUnderstood.localActive,broker_HTC.sendNotUnderstood.newActive,broker_HTC.sendNotUnderstood.oldActive,broker_HTC.transition4.fire,broker_HTC.transition4.t_start,broker_HTC.composeInformation.active,broker_HTC.composeInformation.inPort[2].occupied,broker_HTC.composeInformation.newActive,broker_HTC.composeInformation.oldActive,broker_HTC.newConfirm.localCondition,broker_HTC.newConfirm.enableFire,broker_HTC.check2.active,broker_HTC.check2.outPort[2].available,broker_HTC.check2.newActive,broker_HTC.check2.oldActive,broker_HTC.correctPerformative2.localCondition,broker_HTC.correctPerformative2.enableFire,broker_HTC.collectConfirm.active,broker_HTC.collectConfirm.outPort[2].available,broker_HTC.collectConfirm.outPort[3].available,broker_HTC.collectConfirm.newActive,broker_HTC.collectConfirm.oldActive,broker_HTC.computePrice.active,broker_HTC.computePrice.newActive,broker_HTC.computePrice.oldActive,broker_HTC.transition5.fire,broker_HTC.transition5.t_start,broker_HTC.transition6.fire,broker_HTC.transition6.t_start,broker_HTC.sendInformation.localActive,broker_HTC.sendInformation.newActive,broker_HTC.sendInformation.oldActive,broker_HTC.confirmComplete.localCondition,broker_HTC.confirmComplete.enableFire,broker_HTC.computeFinalConstellation.active,broker_HTC.computeFinalConstellation.newActive,broker_HTC.computeFinalConstellation.oldActive,broker_HTC.transition7.fire,broker_HTC.transition7.t_start,broker_HTC.checkRequestComplete.active,broker_HTC.checkRequestComplete.outPort[2].available,broker_HTC.checkRequestComplete.newActive,broker_HTC.checkRequestComplete.oldActive,broker_HTC.requestsComplete.enableFire,broker_HTC.requestsNotComplete.enableFire,broker_HTC.confirmNotComplete.enableFire,broker_HTC.or1.y,broker_HTC.or2.y,broker_HTC.or4.u1,broker_HTC.abort.fire,broker_HTC.abort.t_start,broker_HTC.prepareTableforRejections.active,broker_HTC.prepareTableforRejections.newActive,broker_HTC.prepareTableforRejections.oldActive,broker_HTC.transition3.fire,broker_HTC.transition3.t_start,broker_HTC.reset.fire,broker_HTC.reset.t_start,broker_HTC.reset1.fire,broker_HTC.reset1.t_start,broker_HTC.reset2.fire,broker_HTC.reset2.t_start,broker_HTC.reset3.fire,broker_HTC.reset3.t_start,broker_HTC.checkAvailability.active,broker_HTC.checkAvailability.outPort[2].available,broker_HTC.checkAvailability.newActive,broker_HTC.checkAvailability.oldActive,broker_HTC.enoughSupply.fire,broker_HTC.enoughSupply.t_start,broker_HTC.limitedSupplyAbort.active,broker_HTC.limitedSupplyAbort.newActive,broker_HTC.limitedSupplyAbort.oldActive,broker_HTC.enoughSupply1.fire,broker_HTC.enoughSupply1.t_start,broker_HTC.reset4.fire,broker_HTC.reset4.t_start,broker_HTC.packager.backwardPropagatedBufferSize,broker_HTC.packager.bufferSize,broker_HTC.content.pkgIn.autoPkgBitSize,broker_HTC.uDPSend_adapted.pkgIn.userPkgBitSize,broker_HTC.uDPSend_adapted.pkgIn.autoPkgBitSize,broker_HTC.sender.pkgIn.autoPkgBitSize,broker_HTC.receiver.pkgIn.autoPkgBitSize,broker_HTC.reply_to.pkgIn.autoPkgBitSize,broker_HTC.ontology.pkgIn.autoPkgBitSize,broker_HTC.performative.pkgIn.autoPkgBitSize,broker_HTC.messageID.pkgIn.autoPkgBitSize,intermediateAgent_C.Off.t_start,intermediateAgent_C.fromBottomBroker.t_start,intermediateAgent_C.newMessage2.t_start,intermediateAgent_C.newMessage1.t_start,intermediateAgent_C.fromTopBroker.t_start,intermediateAgent_C.transitionWithSignal.t_start,intermediateAgent_C.newMessage.t_start,intermediateAgent_C.get_content.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPReceive_adapted.bufferSize,intermediateAgent_C.getperformative.pkgIn.autoPkgBitSize,intermediateAgent_C.getsender.pkgIn.autoPkgBitSize,intermediateAgent_C.getreceiver.pkgIn.autoPkgBitSize,intermediateAgent_C.getreply_to.pkgIn.autoPkgBitSize,intermediateAgent_C.getontology.pkgIn.autoPkgBitSize,intermediateAgent_C.getMessageID.pkgIn.autoPkgBitSize,intermediateAgent_C.messageID.pkgOut[1].trigger,intermediateAgent_C.transition9.enableFire,intermediateAgent_C.reset1.enableFire,intermediateAgent_C.reset.enableFire,intermediateAgent_C.transitionWithSignal3.enableFire,intermediateAgent_C.getontology.pkgOut[1].trigger,intermediateAgent_C.waiting.localActive,intermediateAgent_C.transition6.enableFire,intermediateAgent_C.transition4.enableFire,intermediateAgent_C.message.localActive,intermediateAgent_C.passOnCall.localActive,intermediateAgent_C.transition1.enableFire,intermediateAgent_C.sendCall.active,intermediateAgent_C.messageID.pkgOut[1].backwardTrigger,intermediateAgent_C.composeNotUnderstood.localActive,intermediateAgent_C.transition3.enableFire,intermediateAgent_C.sendNotUnderstood.active,intermediateAgent_C.check.localActive,intermediateAgent_C.passOnInformation.localActive,intermediateAgent_C.transition7.enableFire,intermediateAgent_C.sendInformation.active,intermediateAgent_C.check1.localActive,intermediateAgent_C.passOnConfirmation.localActive,intermediateAgent_C.transition8.enableFire,intermediateAgent_C.sendConfirmation.active,intermediateAgent_C.transition2.enableFire,intermediateAgent_C.confirmToBottom.localActive,intermediateAgent_C.transition5.enableFire,intermediateAgent_C.sendConfirmation1.active,intermediateAgent_C.shutDown.localActive,$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.localActive,intermediateAgent_C.sendCall.outPort[2].available,intermediateAgent_C.sendCall.newActive,intermediateAgent_C.sendCall.oldActive,intermediateAgent_C.integerChange.u,intermediateAgent_C.transitionWithSignal3.localCondition,intermediateAgent_C.transitionWithSignal3.fire,intermediateAgent_C.transitionWithSignal3.t_start,intermediateAgent_C.composeNotUnderstood.active,intermediateAgent_C.composeNotUnderstood.newActive,intermediateAgent_C.composeNotUnderstood.oldActive,intermediateAgent_C.transition3.fire,intermediateAgent_C.transition3.t_start,intermediateAgent_C.sendNotUnderstood.localActive,intermediateAgent_C.sendNotUnderstood.newActive,intermediateAgent_C.sendNotUnderstood.oldActive,intermediateAgent_C.transition4.fire,intermediateAgent_C.transition4.t_start,intermediateAgent_C.fromTopBroker.localCondition,intermediateAgent_C.fromTopBroker.enableFire,intermediateAgent_C.newMessage1.enableFire,intermediateAgent_C.check.active,intermediateAgent_C.check.newActive,intermediateAgent_C.check.oldActive,intermediateAgent_C.passOnInformation.active,intermediateAgent_C.passOnInformation.newActive,intermediateAgent_C.passOnInformation.oldActive,intermediateAgent_C.transition7.fire,intermediateAgent_C.transition7.t_start,intermediateAgent_C.sendInformation.localActive,intermediateAgent_C.sendInformation.outPort[2].available,intermediateAgent_C.sendInformation.newActive,intermediateAgent_C.sendInformation.oldActive,intermediateAgent_C.newMessage2.localCondition,intermediateAgent_C.newMessage2.enableFire,intermediateAgent_C.check1.active,intermediateAgent_C.check1.newActive,intermediateAgent_C.check1.oldActive,intermediateAgent_C.fromBottomBroker.localCondition,intermediateAgent_C.fromBottomBroker.enableFire,intermediateAgent_C.passOnConfirmation.active,intermediateAgent_C.passOnConfirmation.newActive,intermediateAgent_C.passOnConfirmation.oldActive,intermediateAgent_C.transition8.fire,intermediateAgent_C.transition8.t_start,intermediateAgent_C.sendConfirmation.localActive,intermediateAgent_C.sendConfirmation.newActive,intermediateAgent_C.sendConfirmation.oldActive,intermediateAgent_C.transition2.fire,intermediateAgent_C.transition2.t_start,intermediateAgent_C.confirmToBottom.active,intermediateAgent_C.confirmToBottom.newActive,intermediateAgent_C.confirmToBottom.oldActive,intermediateAgent_C.transition5.fire,intermediateAgent_C.transition5.t_start,intermediateAgent_C.sendConfirmation1.localActive,intermediateAgent_C.sendConfirmation1.newActive,intermediateAgent_C.sendConfirmation1.oldActive,intermediateAgent_C.transition6.fire,intermediateAgent_C.transition6.t_start,intermediateAgent_C.or2.y,intermediateAgent_C.or4.u1,intermediateAgent_C.or4.u2,intermediateAgent_C.calcCapacity,intermediateAgent_C.setCapacityOut,intermediateAgent_C.reset.fire,intermediateAgent_C.reset.t_start,intermediateAgent_C.reset1.fire,intermediateAgent_C.reset1.t_start,intermediateAgent_C.and1.u2,intermediateAgent_C.shutDown.active,intermediateAgent_C.shutDown.newActive,intermediateAgent_C.shutDown.oldActive,intermediateAgent_C.transition9.fire,intermediateAgent_C.transition9.t_start,heatProducerAgent.transition6.enableFire,heatProducerAgent.transition2.enableFire,heatProducerAgent.messageID.pkgOut[1].trigger,heatProducerAgent.reset.enableFire,heatProducerAgent.transitionWithSignal3.enableFire,heatProducerAgent.getontology.pkgOut[1].trigger,heatProducerAgent.waiting.localActive,heatProducerAgent.transition7.enableFire,heatProducerAgent.transition5.enableFire,heatProducerAgent.transition4.enableFire,heatProducerAgent.message.localActive,heatProducerAgent.adjustHeat.localActive,heatProducerAgent.computeProposal.localActive,heatProducerAgent.transition1.enableFire,heatProducerAgent.sendProposal.active,heatProducerAgent.messageID.pkgOut[1].backwardTrigger,heatProducerAgent.composeNotUnderstood.localActive,heatProducerAgent.transition3.enableFire,heatProducerAgent.sendNotUnderstood.active,heatProducerAgent.sendConfirmation.active,heatProducerAgent.confirm.localActive,heatProducerAgent.shutDown.localActive,$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.localCondition,heatProducerAgent.newMessage.enableFire,heatProducerAgent.message.active,heatProducerAgent.message.outPort[2].available,heatProducerAgent.message.newActive,heatProducerAgent.message.oldActive,heatProducerAgent.adjustHeat.active,heatProducerAgent.adjustHeat.newActive,heatProducerAgent.adjustHeat.oldActive,heatProducerAgent.transition2.localCondition,heatProducerAgent.transition2.fire,heatProducerAgent.transition2.t_start,heatProducerAgent.computeProposal.active,heatProducerAgent.computeProposal.newActive,heatProducerAgent.computeProposal.oldActive,heatProducerAgent.transitionWithSignal.enableFire,heatProducerAgent.transitionWithSignal1.localCondition,heatProducerAgent.transitionWithSignal1.enableFire,heatProducerAgent.transition1.fire,heatProducerAgent.transition1.t_start,heatProducerAgent.sendProposal.localActive,heatProducerAgent.sendProposal.outPort[2].available,heatProducerAgent.sendProposal.outPort[3].available,heatProducerAgent.sendProposal.newActive,heatProducerAgent.sendProposal.oldActive,heatProducerAgent.integerChange.u,heatProducerAgent.transitionWithSignal2.localCondition,heatProducerAgent.transitionWithSignal2.enableFire,heatProducerAgent.transitionWithSignal3.localCondition,heatProducerAgent.transitionWithSignal3.fire,heatProducerAgent.transitionWithSignal3.t_start,heatProducerAgent.composeNotUnderstood.active,heatProducerAgent.composeNotUnderstood.newActive,heatProducerAgent.composeNotUnderstood.oldActive,heatProducerAgent.transition3.fire,heatProducerAgent.transition3.t_start,heatProducerAgent.sendNotUnderstood.localActive,heatProducerAgent.sendNotUnderstood.newActive,heatProducerAgent.sendNotUnderstood.oldActive,heatProducerAgent.transition4.fire,heatProducerAgent.transition4.t_start,heatProducerAgent.or1.y,heatProducerAgent.setCapacityOut,heatProducerAgent.sendConfirmation.localActive,heatProducerAgent.sendConfirmation.inPort[2].occupied,heatProducerAgent.sendConfirmation.newActive,heatProducerAgent.sendConfirmation.oldActive,heatProducerAgent.transition5.fire,heatProducerAgent.transition5.t_start,heatProducerAgent.confirm.active,heatProducerAgent.confirm.newActive,heatProducerAgent.confirm.oldActive,heatProducerAgent.transition6.fire,heatProducerAgent.transition6.t_start,heatProducerAgent.shutDown.active,heatProducerAgent.shutDown.newActive,heatProducerAgent.shutDown.oldActive,heatProducerAgent.transition7.fire,heatProducerAgent.transition7.t_start,heatProducerAgent.and1.u2,heatProducerAgent.reset.fire,heatProducerAgent.reset.t_start,heatProducerAgent1.transition6.enableFire,heatProducerAgent1.transition2.enableFire,heatProducerAgent1.messageID.pkgOut[1].trigger,heatProducerAgent1.reset.enableFire,heatProducerAgent1.transitionWithSignal3.enableFire,heatProducerAgent1.getontology.pkgOut[1].trigger,heatProducerAgent1.waiting.localActive,heatProducerAgent1.transition7.enableFire,heatProducerAgent1.transition5.enableFire,heatProducerAgent1.transition4.enableFire,heatProducerAgent1.message.localActive,heatProducerAgent1.adjustHeat.localActive,heatProducerAgent1.computeProposal.localActive,heatProducerAgent1.transition1.enableFire,heatProducerAgent1.sendProposal.active,heatProducerAgent1.messageID.pkgOut[1].backwardTrigger,heatProducerAgent1.composeNotUnderstood.localActive,heatProducerAgent1.transition3.enableFire,heatProducerAgent1.sendNotUnderstood.active,heatProducerAgent1.sendConfirmation.active,heatProducerAgent1.confirm.localActive,heatProducerAgent1.shutDown.localActive,$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.localCondition,heatProducerAgent1.newMessage.enableFire,heatProducerAgent1.message.active,heatProducerAgent1.message.outPort[2].available,heatProducerAgent1.message.newActive,heatProducerAgent1.message.oldActive,heatProducerAgent1.adjustHeat.active,heatProducerAgent1.adjustHeat.newActive,heatProducerAgent1.adjustHeat.oldActive,heatProducerAgent1.transition2.localCondition,heatProducerAgent1.transition2.fire,heatProducerAgent1.transition2.t_start,heatProducerAgent1.computeProposal.active,heatProducerAgent1.computeProposal.newActive,heatProducerAgent1.computeProposal.oldActive,heatProducerAgent1.transitionWithSignal.enableFire,heatProducerAgent1.transitionWithSignal1.localCondition,heatProducerAgent1.transitionWithSignal1.enableFire,heatProducerAgent1.transition1.fire,heatProducerAgent1.transition1.t_start,heatProducerAgent1.sendProposal.localActive,heatProducerAgent1.sendProposal.outPort[2].available,heatProducerAgent1.sendProposal.outPort[3].available,heatProducerAgent1.sendProposal.newActive,heatProducerAgent1.sendProposal.oldActive,heatProducerAgent1.integerChange.u,heatProducerAgent1.transitionWithSignal2.localCondition,heatProducerAgent1.transitionWithSignal2.enableFire,heatProducerAgent1.transitionWithSignal3.localCondition,heatProducerAgent1.transitionWithSignal3.fire,heatProducerAgent1.transitionWithSignal3.t_start,heatProducerAgent1.composeNotUnderstood.active,heatProducerAgent1.composeNotUnderstood.newActive,heatProducerAgent1.composeNotUnderstood.oldActive,heatProducerAgent1.transition3.fire,heatProducerAgent1.transition3.t_start,heatProducerAgent1.sendNotUnderstood.localActive,heatProducerAgent1.sendNotUnderstood.newActive,heatProducerAgent1.sendNotUnderstood.oldActive,heatProducerAgent1.transition4.fire,heatProducerAgent1.transition4.t_start,heatProducerAgent1.or1.y,heatProducerAgent1.setCapacityOut,heatProducerAgent1.sendConfirmation.localActive,heatProducerAgent1.sendConfirmation.inPort[2].occupied,heatProducerAgent1.sendConfirmation.newActive,heatProducerAgent1.sendConfirmation.oldActive,heatProducerAgent1.transition5.fire,heatProducerAgent1.transition5.t_start,heatProducerAgent1.confirm.active,heatProducerAgent1.confirm.newActive,heatProducerAgent1.confirm.oldActive,heatProducerAgent1.transition6.fire,heatProducerAgent1.transition6.t_start,heatProducerAgent1.shutDown.active,heatProducerAgent1.shutDown.newActive,heatProducerAgent1.shutDown.oldActive,heatProducerAgent1.transition7.fire,heatProducerAgent1.transition7.t_start,heatProducerAgent1.and1.u2,heatProducerAgent1.reset.fire,heatProducerAgent1.reset.t_start,heatProducerAgent2.transition6.enableFire,heatProducerAgent2.transition2.enableFire,heatProducerAgent2.messageID.pkgOut[1].trigger,heatProducerAgent2.reset.enableFire,heatProducerAgent2.transitionWithSignal3.enableFire,heatProducerAgent2.getontology.pkgOut[1].trigger,heatProducerAgent2.waiting.localActive,heatProducerAgent2.transition7.enableFire,heatProducerAgent2.transition5.enableFire,heatProducerAgent2.transition4.enableFire,heatProducerAgent2.message.localActive,heatProducerAgent2.adjustHeat.localActive,heatProducerAgent2.computeProposal.localActive,heatProducerAgent2.transition1.enableFire,heatProducerAgent2.sendProposal.active,heatProducerAgent2.messageID.pkgOut[1].backwardTrigger,heatProducerAgent2.composeNotUnderstood.localActive,heatProducerAgent2.transition3.enableFire,heatProducerAgent2.sendNotUnderstood.active,heatProducerAgent2.sendConfirmation.active,heatProducerAgent2.confirm.localActive,heatProducerAgent2.shutDown.localActive,$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.localCondition,heatProducerAgent2.newMessage.enableFire,heatProducerAgent2.message.active,heatProducerAgent2.message.outPort[2].available,heatProducerAgent2.message.newActive,heatProducerAgent2.message.oldActive,heatProducerAgent2.adjustHeat.active,heatProducerAgent2.adjustHeat.newActive,heatProducerAgent2.adjustHeat.oldActive,heatProducerAgent2.transition2.localCondition,heatProducerAgent2.transition2.fire,heatProducerAgent2.transition2.t_start,heatProducerAgent2.computeProposal.active,heatProducerAgent2.computeProposal.newActive,heatProducerAgent2.computeProposal.oldActive,heatProducerAgent2.transitionWithSignal.enableFire,heatProducerAgent2.transitionWithSignal1.localCondition,heatProducerAgent2.transitionWithSignal1.enableFire,heatProducerAgent2.transition1.fire,heatProducerAgent2.transition1.t_start,heatProducerAgent2.sendProposal.localActive,heatProducerAgent2.sendProposal.outPort[2].available,heatProducerAgent2.sendProposal.outPort[3].available,heatProducerAgent2.sendProposal.newActive,heatProducerAgent2.sendProposal.oldActive,heatProducerAgent2.integerChange.u,heatProducerAgent2.transitionWithSignal2.localCondition,heatProducerAgent2.transitionWithSignal2.enableFire,heatProducerAgent2.transitionWithSignal3.localCondition,heatProducerAgent2.transitionWithSignal3.fire,heatProducerAgent2.transitionWithSignal3.t_start,heatProducerAgent2.composeNotUnderstood.active,heatProducerAgent2.composeNotUnderstood.newActive,heatProducerAgent2.composeNotUnderstood.oldActive,heatProducerAgent2.transition3.fire,heatProducerAgent2.transition3.t_start,heatProducerAgent2.sendNotUnderstood.localActive,heatProducerAgent2.sendNotUnderstood.newActive,heatProducerAgent2.sendNotUnderstood.oldActive,heatProducerAgent2.transition4.fire,heatProducerAgent2.transition4.t_start,heatProducerAgent2.or1.y,heatProducerAgent2.setCapacityOut,heatProducerAgent2.sendConfirmation.localActive,heatProducerAgent2.sendConfirmation.inPort[2].occupied,heatProducerAgent2.sendConfirmation.newActive,heatProducerAgent2.sendConfirmation.oldActive,heatProducerAgent2.transition5.fire,heatProducerAgent2.transition5.t_start,heatProducerAgent2.confirm.active,heatProducerAgent2.confirm.newActive,heatProducerAgent2.confirm.oldActive,heatProducerAgent2.transition6.fire,heatProducerAgent2.transition6.t_start,heatProducerAgent2.shutDown.active,heatProducerAgent2.shutDown.newActive,heatProducerAgent2.shutDown.oldActive,heatProducerAgent2.transition7.fire,heatProducerAgent2.transition7.t_start,heatProducerAgent2.and1.u2,heatProducerAgent2.reset.fire,heatProducerAgent2.reset.t_start,intermediateAgent_C.packager.backwardPropagatedBufferSize,intermediateAgent_C.packager.bufferSize,intermediateAgent_C.content.pkgIn.autoPkgBitSize,intermediateAgent_C.uDPSend_adapted.pkgIn.userPkgBitSize,intermediateAgent_C.uDPSend_adapted.pkgIn.autoPkgBitSize,intermediateAgent_C.sender.pkgIn.autoPkgBitSize,intermediateAgent_C.receiver.pkgIn.autoPkgBitSize,intermediateAgent_C.reply_to.pkgIn.autoPkgBitSize,intermediateAgent_C.ontology.pkgIn.autoPkgBitSize,intermediateAgent_C.performative.pkgIn.autoPkgBitSize,intermediateAgent_C.messageID.pkgIn.autoPkgBitSize,broker_LTC.confirmNotComplete.t_start,broker_LTC.requestsNotComplete.t_start,broker_LTC.requestsComplete.t_start,broker_LTC.confirmComplete.t_start,broker_LTC.correctPerformative2.t_start,broker_LTC.newConfirm.t_start,broker_LTC.actionConfirmed.t_start,broker_LTC.correctPerformative1.t_start,broker_LTC.correctPerformative.t_start,broker_LTC.newProposal.t_start,broker_LTC.newRequests.t_start,broker_LTC.transitionWithSignal.t_start,broker_LTC.newMessage.t_start,broker_LTC.get_content.pkgIn.autoPkgBitSize,broker_LTC.uDPReceive_adapted.bufferSize,broker_LTC.getperformative.pkgIn.autoPkgBitSize,broker_LTC.getsender.pkgIn.autoPkgBitSize,broker_LTC.getreceiver.pkgIn.autoPkgBitSize,broker_LTC.getreply_to.pkgIn.autoPkgBitSize,broker_LTC.getontology.pkgIn.autoPkgBitSize,broker_LTC.getMessageID.pkgIn.autoPkgBitSize,broker_LTC.enoughSupply1.enableFire,broker_LTC.enoughSupply.enableFire,broker_LTC.transition3.enableFire,broker_LTC.reset4.enableFire,broker_LTC.reset3.enableFire,broker_LTC.reset2.enableFire,broker_LTC.reset1.enableFire,broker_LTC.reset.enableFire,broker_LTC.transition4.enableFire,broker_LTC.abort.enableFire,broker_LTC.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.active,broker_LTC.messageID.pkgOut[1].backwardTrigger,broker_LTC.sendRequest.active,broker_LTC.check.localActive,broker_LTC.check1.localActive,broker_LTC.sendConfirmation.active,broker_LTC.composeNotUnderstood.localActive,broker_LTC.transition2.enableFire,broker_LTC.sendNotUnderstood.active,broker_LTC.composeInformation.localActive,broker_LTC.transition6.enableFire,broker_LTC.check2.localActive,broker_LTC.collectConfirm.localActive,broker_LTC.computePrice.localActive,broker_LTC.sendInformation.active,broker_LTC.computeFinalConstellation.localActive,broker_LTC.checkRequestComplete.localActive,broker_LTC.prepareTableforRejections.localActive,broker_LTC.checkAvailability.localActive,broker_LTC.limitedSupplyAbort.localActive,$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.localActive,broker_LTC.sendCall.outPort[2].available,broker_LTC.sendCall.newActive,broker_LTC.sendCall.oldActive,broker_LTC.transition.fire,broker_LTC.transition.t_start,broker_LTC.sendRequest.localActive,broker_LTC.sendRequest.outPort[2].available,broker_LTC.sendRequest.newActive,broker_LTC.sendRequest.oldActive,broker_LTC.transition1.fire,broker_LTC.transition1.t_start,broker_LTC.check.active,broker_LTC.check.outPort[2].available,broker_LTC.check.newActive,broker_LTC.check.oldActive,broker_LTC.correctPerformative.localCondition,broker_LTC.correctPerformative.enableFire,broker_LTC.check1.active,broker_LTC.check1.newActive,broker_LTC.check1.oldActive,broker_LTC.correctPerformative1.localCondition,broker_LTC.correctPerformative1.enableFire,broker_LTC.requestNoted.fire,broker_LTC.requestNoted.t_start,broker_LTC.sendConfirmation.localActive,broker_LTC.sendConfirmation.outPort[2].available,broker_LTC.sendConfirmation.newActive,broker_LTC.sendConfirmation.oldActive,broker_LTC.actionConfirmed.localCondition,broker_LTC.actionConfirmed.enableFire,broker_LTC.transitionWithSignal3.localCondition,broker_LTC.transitionWithSignal3.fire,broker_LTC.transitionWithSignal3.t_start,broker_LTC.composeNotUnderstood.active,broker_LTC.composeNotUnderstood.newActive,broker_LTC.composeNotUnderstood.oldActive,broker_LTC.transition2.fire,broker_LTC.transition2.t_start,broker_LTC.sendNotUnderstood.localActive,broker_LTC.sendNotUnderstood.newActive,broker_LTC.sendNotUnderstood.oldActive,broker_LTC.transition4.fire,broker_LTC.transition4.t_start,broker_LTC.composeInformation.active,broker_LTC.composeInformation.inPort[2].occupied,broker_LTC.composeInformation.newActive,broker_LTC.composeInformation.oldActive,broker_LTC.newConfirm.localCondition,broker_LTC.newConfirm.enableFire,broker_LTC.check2.active,broker_LTC.check2.outPort[2].available,broker_LTC.check2.newActive,broker_LTC.check2.oldActive,broker_LTC.correctPerformative2.localCondition,broker_LTC.correctPerformative2.enableFire,broker_LTC.collectConfirm.active,broker_LTC.collectConfirm.outPort[2].available,broker_LTC.collectConfirm.outPort[3].available,broker_LTC.collectConfirm.newActive,broker_LTC.collectConfirm.oldActive,broker_LTC.computePrice.active,broker_LTC.computePrice.newActive,broker_LTC.computePrice.oldActive,broker_LTC.transition5.fire,broker_LTC.transition5.t_start,broker_LTC.transition6.fire,broker_LTC.transition6.t_start,broker_LTC.sendInformation.localActive,broker_LTC.sendInformation.newActive,broker_LTC.sendInformation.oldActive,broker_LTC.confirmComplete.localCondition,broker_LTC.confirmComplete.enableFire,broker_LTC.computeFinalConstellation.active,broker_LTC.computeFinalConstellation.newActive,broker_LTC.computeFinalConstellation.oldActive,broker_LTC.transition7.fire,broker_LTC.transition7.t_start,broker_LTC.checkRequestComplete.active,broker_LTC.checkRequestComplete.outPort[2].available,broker_LTC.checkRequestComplete.newActive,broker_LTC.checkRequestComplete.oldActive,broker_LTC.requestsComplete.enableFire,broker_LTC.requestsNotComplete.enableFire,broker_LTC.confirmNotComplete.enableFire,broker_LTC.or1.y,broker_LTC.or2.y,broker_LTC.or4.u1,broker_LTC.abort.fire,broker_LTC.abort.t_start,broker_LTC.prepareTableforRejections.active,broker_LTC.prepareTableforRejections.newActive,broker_LTC.prepareTableforRejections.oldActive,broker_LTC.transition3.fire,broker_LTC.transition3.t_start,broker_LTC.reset.fire,broker_LTC.reset.t_start,broker_LTC.reset1.fire,broker_LTC.reset1.t_start,broker_LTC.reset2.fire,broker_LTC.reset2.t_start,broker_LTC.reset3.fire,broker_LTC.reset3.t_start,broker_LTC.checkAvailability.active,broker_LTC.checkAvailability.outPort[2].available,broker_LTC.checkAvailability.newActive,broker_LTC.checkAvailability.oldActive,broker_LTC.enoughSupply.fire,broker_LTC.enoughSupply.t_start,broker_LTC.limitedSupplyAbort.active,broker_LTC.limitedSupplyAbort.newActive,broker_LTC.limitedSupplyAbort.oldActive,broker_LTC.enoughSupply1.fire,broker_LTC.enoughSupply1.t_start,broker_LTC.reset4.fire,broker_LTC.reset4.t_start,broker_LTC.packager.backwardPropagatedBufferSize,broker_LTC.packager.bufferSize,broker_LTC.content.pkgIn.autoPkgBitSize,broker_LTC.uDPSend_adapted.pkgIn.userPkgBitSize,broker_LTC.uDPSend_adapted.pkgIn.autoPkgBitSize,broker_LTC.sender.pkgIn.autoPkgBitSize,broker_LTC.receiver.pkgIn.autoPkgBitSize,broker_LTC.reply_to.pkgIn.autoPkgBitSize,broker_LTC.ontology.pkgIn.autoPkgBitSize,broker_LTC.performative.pkgIn.autoPkgBitSize,broker_LTC.messageID.pkgIn.autoPkgBitSize,roomAgent_C.rightMessage1.t_start,roomAgent_C.rightMessage.t_start,roomAgent_C.newMessage1.t_start,roomAgent_C.transitionWithSignal.t_start,roomAgent_C.newMessage.t_start,roomAgent_C.get_content.pkgIn.autoPkgBitSize,roomAgent_C.uDPReceive_adapted.bufferSize,roomAgent_C.getperformative.pkgIn.autoPkgBitSize,roomAgent_C.getsender.pkgIn.autoPkgBitSize,roomAgent_C.getreceiver.pkgIn.autoPkgBitSize,roomAgent_C.getreply_to.pkgIn.autoPkgBitSize,roomAgent_C.getontology.pkgIn.autoPkgBitSize,roomAgent_C.getMessageID.pkgIn.autoPkgBitSize,roomAgent_C.repeat1.enableFire,roomAgent_C.repeat.enableFire,roomAgent_C.reset.enableFire,roomAgent_C.transition4.enableFire,roomAgent_C.waitForInform.active,roomAgent_C.messageID.pkgOut[1].backwardTrigger,roomAgent_C.messageID.pkgOut[1].trigger,roomAgent_C.transition1.enableFire,roomAgent_C.confirmNoted.enableFire,roomAgent_C.sendConfirm.active,roomAgent_C.composeConfirm.active,roomAgent_C.sendNotUnderstood.active,roomAgent_C.transition2.enableFire,roomAgent_C.composeNotUnderstood.active,roomAgent_C.state.active,roomAgent_C.sendRequest.active,roomAgent_C.requestNoted.enableFire,roomAgent_C.composeRequest.active,roomAgent_C.waiting.active,roomAgent_C.getontology.pkgOut[1].trigger,$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.localActive,roomAgent_C.waiting.inPort[2].occupied,roomAgent_C.waiting.inPort[3].occupied,roomAgent_C.waiting.outPort[2].available,roomAgent_C.waiting.newActive,roomAgent_C.waiting.oldActive,roomAgent_C.newMessage.enableFire,roomAgent_C.integerChange.u,roomAgent_C.transitionWithSignal.localCondition,roomAgent_C.transitionWithSignal.enableFire,roomAgent_C.composeRequest.localActive,roomAgent_C.composeRequest.inPort[2].occupied,roomAgent_C.composeRequest.inPort[3].occupied,roomAgent_C.composeRequest.newActive,roomAgent_C.composeRequest.oldActive,roomAgent_C.requestNoted.fire,roomAgent_C.requestNoted.t_start,roomAgent_C.sendRequest.localActive,roomAgent_C.sendRequest.outPort[2].available,roomAgent_C.sendRequest.newActive,roomAgent_C.sendRequest.oldActive,roomAgent_C.newMessage1.localCondition,roomAgent_C.newMessage1.enableFire,roomAgent_C.repeat.fire,roomAgent_C.repeat.t_start,roomAgent_C.state.localActive,roomAgent_C.state.outPort[2].available,roomAgent_C.state.newActive,roomAgent_C.state.oldActive,roomAgent_C.rightMessage.localCondition,roomAgent_C.rightMessage.enableFire,roomAgent_C.repeat1.fire,roomAgent_C.repeat1.t_start,roomAgent_C.composeNotUnderstood.localActive,roomAgent_C.composeNotUnderstood.newActive,roomAgent_C.composeNotUnderstood.oldActive,roomAgent_C.transition2.fire,roomAgent_C.transition2.t_start,roomAgent_C.sendNotUnderstood.localActive,roomAgent_C.sendNotUnderstood.newActive,roomAgent_C.sendNotUnderstood.oldActive,roomAgent_C.transition4.fire,roomAgent_C.transition4.t_start,roomAgent_C.or2.y,roomAgent_C.composeConfirm.localActive,roomAgent_C.composeConfirm.newActive,roomAgent_C.composeConfirm.oldActive,roomAgent_C.sendConfirm.localActive,roomAgent_C.sendConfirm.newActive,roomAgent_C.sendConfirm.oldActive,roomAgent_C.confirmNoted.fire,roomAgent_C.confirmNoted.t_start,roomAgent_C.transition1.fire,roomAgent_C.transition1.t_start,roomAgent_C.waitForInform.localActive,roomAgent_C.waitForInform.outPort[2].available,roomAgent_C.waitForInform.newActive,roomAgent_C.waitForInform.oldActive,roomAgent_C.rightMessage1.localCondition,roomAgent_C.rightMessage1.enableFire,roomAgent_C.and1.u2,roomAgent_C.booleanExpression.y,roomAgent_C.reset.fire,roomAgent_C.reset.t_start,timeTable.a,timeTable.b,timeTable.last,timeTable.nextEvent,timeTable.nextEventScaled,roomAgent_C.packager.backwardPropagatedBufferSize,roomAgent_C.packager.bufferSize,roomAgent_C.content.pkgIn.autoPkgBitSize,roomAgent_C.uDPSend_adapted.pkgIn.userPkgBitSize,roomAgent_C.uDPSend_adapted.pkgIn.autoPkgBitSize,roomAgent_C.sender.pkgIn.autoPkgBitSize,roomAgent_C.receiver.pkgIn.autoPkgBitSize,roomAgent_C.reply_to.pkgIn.autoPkgBitSize,roomAgent_C.ontology.pkgIn.autoPkgBitSize,roomAgent_C.performative.pkgIn.autoPkgBitSize,roomAgent_C.messageID.pkgIn.autoPkgBitSize) * Number of discrete states: 421 (roomAgent_C.waiting.newActive,roomAgent_C.composeRequest.newActive,roomAgent_C.sendRequest.newActive,roomAgent_C.state.newActive,roomAgent_C.composeNotUnderstood.newActive,roomAgent_C.sendNotUnderstood.newActive,roomAgent_C.composeConfirm.newActive,roomAgent_C.sendConfirm.newActive,roomAgent_C.waitForInform.newActive,timeTable.nextEvent,timeTable.last,timeTable.nextEventScaled,timeTable.b,timeTable.a,$whenCondition165,roomAgent_C.integerChange.u,$whenCondition169,$whenCondition168,roomAgent_C.messageID.u[1],roomAgent_C.uDPSend_adapted.receiver,roomAgent_C.ontology.u[1],roomAgent_C.reply_to.u[1],roomAgent_C.receiver.u[1],roomAgent_C.sender.u[1],roomAgent_C.performative.u[1],$whenCondition167,roomAgent_C.content.u[2],roomAgent_C.content.u[1],$whenCondition166,roomAgent_C.newMessage.t_start,roomAgent_C.transitionWithSignal.t_start,roomAgent_C.newMessage1.t_start,roomAgent_C.rightMessage.t_start,roomAgent_C.rightMessage1.t_start,broker_LTC.limitedSupplyAbort.newActive,broker_LTC.checkAvailability.newActive,broker_LTC.prepareTableforRejections.newActive,broker_LTC.checkRequestComplete.newActive,broker_LTC.computeFinalConstellation.newActive,broker_LTC.sendInformation.newActive,broker_LTC.computePrice.newActive,broker_LTC.collectConfirm.newActive,broker_LTC.check2.newActive,broker_LTC.composeInformation.newActive,broker_LTC.sendNotUnderstood.newActive,broker_LTC.composeNotUnderstood.newActive,broker_LTC.sendConfirmation.newActive,broker_LTC.check1.newActive,broker_LTC.check.newActive,broker_LTC.sendRequest.newActive,broker_LTC.sendCall.newActive,broker_LTC.sendOutRequest.newActive,broker_LTC.collectProposal.newActive,broker_LTC.callForProposal.newActive,broker_LTC.requests.newActive,broker_LTC.message.newActive,broker_LTC.waiting.newActive,broker_LTC.integerChange.u,$whenCondition129,$whenCondition128,broker_LTC.averagePrice,broker_LTC.totalHeat,broker_LTC.totalPrice,$whenCondition127,$whenCondition126,$whenCondition125,$whenCondition124,$whenCondition123,$whenCondition122,$whenCondition121,$whenCondition120,$whenCondition119,broker_LTC.messageID.u[1],broker_LTC.uDPSend_adapted.receiver,broker_LTC.reply_to.u[1],broker_LTC.receiver.u[1],broker_LTC.sender.u[1],broker_LTC.ontology.u[1],broker_LTC.performative.u[1],$whenCondition118,broker_LTC.requestsExceedSupply,broker_LTC.calculationDone,broker_LTC.content.u[2],broker_LTC.content.u[1],broker_LTC.rejectsComplete,broker_LTC.requestComplete,broker_LTC.proposalsComplete,broker_LTC.requestCounter,broker_LTC.heatingRequestSum,broker_LTC.requestAddresses[10,1],broker_LTC.requestAddresses[9,1],broker_LTC.requestAddresses[8,1],broker_LTC.requestAddresses[7,1],broker_LTC.requestAddresses[6,1],broker_LTC.requestAddresses[5,1],broker_LTC.requestAddresses[4,1],broker_LTC.requestAddresses[3,1],broker_LTC.requestAddresses[2,1],broker_LTC.requestAddresses[1,1],broker_LTC.requestTable[10,1],broker_LTC.requestTable[9,1],broker_LTC.requestTable[8,1],broker_LTC.requestTable[7,1],broker_LTC.requestTable[6,1],broker_LTC.requestTable[5,1],broker_LTC.requestTable[4,1],broker_LTC.requestTable[3,1],broker_LTC.requestTable[2,1],broker_LTC.requestTable[1,1],broker_LTC.restHeat,broker_LTC.totalaveragePrice,broker_LTC.heatingPriceSum,broker_LTC.cheapest,broker_LTC.heatingCalculationSum,broker_LTC.informationDone,broker_LTC.informationCounter,broker_LTC.finalRequestDone,broker_LTC.proposalCounter,broker_LTC.heatSupplierTable[2,7],broker_LTC.heatSupplierTable[2,6],broker_LTC.heatSupplierTable[2,5],broker_LTC.heatSupplierTable[2,4],broker_LTC.heatSupplierTable[2,3],broker_LTC.heatSupplierTable[2,2],broker_LTC.heatSupplierTable[2,1],broker_LTC.heatSupplierTable[1,7],broker_LTC.heatSupplierTable[1,6],broker_LTC.heatSupplierTable[1,5],broker_LTC.heatSupplierTable[1,4],broker_LTC.heatSupplierTable[1,3],broker_LTC.heatSupplierTable[1,2],broker_LTC.heatSupplierTable[1,1],broker_LTC.lowestPrice,broker_LTC.counterReject,broker_LTC.counter,$whenCondition117,broker_LTC.newMessage.t_start,broker_LTC.transitionWithSignal.t_start,broker_LTC.newRequests.t_start,broker_LTC.newProposal.t_start,broker_LTC.correctPerformative.t_start,broker_LTC.correctPerformative1.t_start,broker_LTC.actionConfirmed.t_start,broker_LTC.newConfirm.t_start,broker_LTC.correctPerformative2.t_start,broker_LTC.confirmComplete.t_start,broker_LTC.requestsComplete.t_start,broker_LTC.requestsNotComplete.t_start,broker_LTC.confirmNotComplete.t_start,heatProducerAgent2.shutDown.newActive,heatProducerAgent2.confirm.newActive,heatProducerAgent2.sendConfirmation.newActive,heatProducerAgent2.sendNotUnderstood.newActive,heatProducerAgent2.composeNotUnderstood.newActive,heatProducerAgent2.sendProposal.newActive,heatProducerAgent2.computeProposal.newActive,heatProducerAgent2.adjustHeat.newActive,heatProducerAgent2.message.newActive,heatProducerAgent2.waiting.newActive,heatProducerAgent2.integerChange.u,$whenCondition65,$whenCondition64,$whenCondition63,heatProducerAgent2.messageID.u[1],heatProducerAgent2.sender.u[1],heatProducerAgent2.reply_to.u[1],heatProducerAgent2.ontology.u[1],heatProducerAgent2.receiver.u[1],heatProducerAgent2.uDPSend_adapted.receiver,heatProducerAgent2.performative.u[1],heatProducerAgent2.content.u[2],heatProducerAgent2.content.u[1],$whenCondition62,heatProducerAgent2.setCapacityOut,heatProducerAgent2.setCapacity,$whenCondition61,heatProducerAgent2.costCurrent,heatProducerAgent2.calcCapacityInternal,heatProducerAgent2.currentCapacityDiscrete,$whenCondition60,heatProducerAgent1.shutDown.newActive,heatProducerAgent1.confirm.newActive,heatProducerAgent1.sendConfirmation.newActive,heatProducerAgent1.sendNotUnderstood.newActive,heatProducerAgent1.composeNotUnderstood.newActive,heatProducerAgent1.sendProposal.newActive,heatProducerAgent1.computeProposal.newActive,heatProducerAgent1.adjustHeat.newActive,heatProducerAgent1.message.newActive,heatProducerAgent1.waiting.newActive,heatProducerAgent1.integerChange.u,$whenCondition59,$whenCondition58,$whenCondition57,heatProducerAgent1.messageID.u[1],heatProducerAgent1.sender.u[1],heatProducerAgent1.reply_to.u[1],heatProducerAgent1.ontology.u[1],heatProducerAgent1.receiver.u[1],heatProducerAgent1.uDPSend_adapted.receiver,heatProducerAgent1.performative.u[1],heatProducerAgent1.content.u[2],heatProducerAgent1.content.u[1],$whenCondition56,heatProducerAgent1.setCapacityOut,heatProducerAgent1.setCapacity,$whenCondition55,heatProducerAgent1.costCurrent,heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.currentCapacityDiscrete,$whenCondition54,heatProducerAgent.shutDown.newActive,heatProducerAgent.confirm.newActive,heatProducerAgent.sendConfirmation.newActive,heatProducerAgent.sendNotUnderstood.newActive,heatProducerAgent.composeNotUnderstood.newActive,heatProducerAgent.sendProposal.newActive,heatProducerAgent.computeProposal.newActive,heatProducerAgent.adjustHeat.newActive,heatProducerAgent.message.newActive,heatProducerAgent.waiting.newActive,heatProducerAgent.integerChange.u,$whenCondition53,$whenCondition52,$whenCondition51,heatProducerAgent.messageID.u[1],heatProducerAgent.sender.u[1],heatProducerAgent.reply_to.u[1],heatProducerAgent.ontology.u[1],heatProducerAgent.receiver.u[1],heatProducerAgent.uDPSend_adapted.receiver,heatProducerAgent.performative.u[1],heatProducerAgent.content.u[2],heatProducerAgent.content.u[1],$whenCondition50,heatProducerAgent.setCapacityOut,heatProducerAgent.setCapacity,$whenCondition49,heatProducerAgent.costCurrent,heatProducerAgent.calcCapacityInternal,heatProducerAgent.currentCapacityDiscrete,$whenCondition48,intermediateAgent_C.shutDown.newActive,intermediateAgent_C.sendConfirmation1.newActive,intermediateAgent_C.confirmToBottom.newActive,intermediateAgent_C.sendConfirmation.newActive,intermediateAgent_C.passOnConfirmation.newActive,intermediateAgent_C.check1.newActive,intermediateAgent_C.sendInformation.newActive,intermediateAgent_C.passOnInformation.newActive,intermediateAgent_C.check.newActive,intermediateAgent_C.sendNotUnderstood.newActive,intermediateAgent_C.composeNotUnderstood.newActive,intermediateAgent_C.sendCall.newActive,intermediateAgent_C.passOnCall.newActive,intermediateAgent_C.message.newActive,intermediateAgent_C.waiting.newActive,intermediateAgent_C.integerChange.u,$whenCondition47,$whenCondition46,$whenCondition45,intermediateAgent_C.ownCost,intermediateAgent_C.newCost,$whenCondition44,intermediateAgent_C.messageID.u[1],intermediateAgent_C.uDPSend_adapted.receiver,intermediateAgent_C.ontology.u[1],intermediateAgent_C.content.u[2],intermediateAgent_C.content.u[1],intermediateAgent_C.reply_to.u[1],intermediateAgent_C.receiver.u[1],intermediateAgent_C.sender.u[1],intermediateAgent_C.performative.u[1],$whenCondition43,intermediateAgent_C.setCapacityOut,intermediateAgent_C.setCapacity,$whenCondition42,intermediateAgent_C.currentCost,intermediateAgent_C.calcCapacity,intermediateAgent_C.currentClient,$whenCondition41,intermediateAgent_C.newMessage.t_start,intermediateAgent_C.transitionWithSignal.t_start,intermediateAgent_C.fromTopBroker.t_start,intermediateAgent_C.newMessage1.t_start,intermediateAgent_C.newMessage2.t_start,intermediateAgent_C.fromBottomBroker.t_start,intermediateAgent_C.Off.t_start,broker_HTC.limitedSupplyAbort.newActive,broker_HTC.checkAvailability.newActive,broker_HTC.prepareTableforRejections.newActive,broker_HTC.checkRequestComplete.newActive,broker_HTC.computeFinalConstellation.newActive,broker_HTC.sendInformation.newActive,broker_HTC.computePrice.newActive,broker_HTC.collectConfirm.newActive,broker_HTC.check2.newActive,broker_HTC.composeInformation.newActive,broker_HTC.sendNotUnderstood.newActive,broker_HTC.composeNotUnderstood.newActive,broker_HTC.sendConfirmation.newActive,broker_HTC.check1.newActive,broker_HTC.check.newActive,broker_HTC.sendRequest.newActive,broker_HTC.sendCall.newActive,broker_HTC.sendOutRequest.newActive,broker_HTC.collectProposal.newActive,broker_HTC.callForProposal.newActive,broker_HTC.requests.newActive,broker_HTC.message.newActive,broker_HTC.waiting.newActive,broker_HTC.integerChange.u,$whenCondition16,$whenCondition15,broker_HTC.averagePrice,broker_HTC.totalHeat,broker_HTC.totalPrice,$whenCondition14,$whenCondition13,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,broker_HTC.messageID.u[1],broker_HTC.uDPSend_adapted.receiver,broker_HTC.reply_to.u[1],broker_HTC.receiver.u[1],broker_HTC.sender.u[1],broker_HTC.ontology.u[1],broker_HTC.performative.u[1],$whenCondition5,broker_HTC.requestsExceedSupply,broker_HTC.calculationDone,broker_HTC.content.u[2],broker_HTC.content.u[1],broker_HTC.rejectsComplete,broker_HTC.requestComplete,broker_HTC.proposalsComplete,broker_HTC.requestCounter,broker_HTC.heatingRequestSum,broker_HTC.requestAddresses[10,1],broker_HTC.requestAddresses[9,1],broker_HTC.requestAddresses[8,1],broker_HTC.requestAddresses[7,1],broker_HTC.requestAddresses[6,1],broker_HTC.requestAddresses[5,1],broker_HTC.requestAddresses[4,1],broker_HTC.requestAddresses[3,1],broker_HTC.requestAddresses[2,1],broker_HTC.requestAddresses[1,1],broker_HTC.requestTable[10,1],broker_HTC.requestTable[9,1],broker_HTC.requestTable[8,1],broker_HTC.requestTable[7,1],broker_HTC.requestTable[6,1],broker_HTC.requestTable[5,1],broker_HTC.requestTable[4,1],broker_HTC.requestTable[3,1],broker_HTC.requestTable[2,1],broker_HTC.requestTable[1,1],broker_HTC.restHeat,broker_HTC.totalaveragePrice,broker_HTC.heatingPriceSum,broker_HTC.cheapest,broker_HTC.heatingCalculationSum,broker_HTC.informationDone,broker_HTC.informationCounter,broker_HTC.finalRequestDone,broker_HTC.proposalCounter,broker_HTC.heatSupplierTable[2,7],broker_HTC.heatSupplierTable[2,6],broker_HTC.heatSupplierTable[2,5],broker_HTC.heatSupplierTable[2,4],broker_HTC.heatSupplierTable[2,3],broker_HTC.heatSupplierTable[2,2],broker_HTC.heatSupplierTable[2,1],broker_HTC.heatSupplierTable[1,7],broker_HTC.heatSupplierTable[1,6],broker_HTC.heatSupplierTable[1,5],broker_HTC.heatSupplierTable[1,4],broker_HTC.heatSupplierTable[1,3],broker_HTC.heatSupplierTable[1,2],broker_HTC.heatSupplierTable[1,1],broker_HTC.lowestPrice,broker_HTC.counterReject,broker_HTC.counter,$whenCondition4,broker_HTC.newMessage.t_start,broker_HTC.transitionWithSignal.t_start,broker_HTC.newRequests.t_start,broker_HTC.newProposal.t_start,broker_HTC.correctPerformative.t_start,broker_HTC.correctPerformative1.t_start,broker_HTC.actionConfirmed.t_start,broker_HTC.newConfirm.t_start,broker_HTC.correctPerformative2.t_start,broker_HTC.confirmComplete.t_start,broker_HTC.requestsComplete.t_start,broker_HTC.requestsNotComplete.t_start,broker_HTC.confirmNotComplete.t_start,heatProducerAgent.newMessage.t_start,heatProducerAgent.transitionWithSignal.t_start,heatProducerAgent.transitionWithSignal1.t_start,heatProducerAgent.transitionWithSignal2.t_start,heatProducerAgent.Off.t_start,heatProducerAgent.zeroOrderHold.ySample,heatProducerAgent1.newMessage.t_start,heatProducerAgent1.transitionWithSignal.t_start,heatProducerAgent1.transitionWithSignal1.t_start,heatProducerAgent1.transitionWithSignal2.t_start,heatProducerAgent1.Off.t_start,heatProducerAgent1.zeroOrderHold.ySample,heatProducerAgent2.newMessage.t_start,heatProducerAgent2.transitionWithSignal.t_start,heatProducerAgent2.transitionWithSignal1.t_start,heatProducerAgent2.transitionWithSignal2.t_start,heatProducerAgent2.Off.t_start,heatProducerAgent2.zeroOrderHold.ySample) * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for simulation (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.003835/2.524, allocations: 2.498 MB / 1.731 GB, free: 103.7 MB / 1.092 GB Notification: Performance of simCode: created initialization part: time 0.03059/2.555, allocations: 23.55 MB / 1.754 GB, free: 79.95 MB / 1.092 GB Notification: Performance of simCode: created event and clocks part: time 1.212e-05/2.555, allocations: 0 / 1.754 GB, free: 79.95 MB / 1.092 GB Notification: Performance of simCode: created simulation system equations: time 0.03979/2.595, allocations: 62.47 MB / 1.815 GB, free: 17.44 MB / 1.092 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.01109/2.606, allocations: 2.608 MB / 1.818 GB, free: 14.91 MB / 1.092 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.04703/2.653, allocations: 29.93 MB / 1.847 GB, free: 0.7148 MB / 1.108 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.007701/2.661, allocations: 6.777 MB / 1.854 GB, free: 9.895 MB / 1.123 GB Notification: Performance of simCode: alias equations: time 0.007575/2.668, allocations: 2.046 MB / 1.856 GB, free: 7.844 MB / 1.123 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.4244/3.093, allocations: 1.09 MB / 1.857 GB, free: 341.4 MB / 1.123 GB Notification: Performance of SimCode: time 1.103e-06/3.093, allocations: 0 / 1.857 GB, free: 341.4 MB / 1.123 GB Notification: Performance of Templates: time 0.2764/3.369, allocations: 185.7 MB / 2.038 GB, free: 222.2 MB / 1.123 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)