Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "[:1:22-1:33:writable] Warning: Modelica only supports 32-bit signed integers! Transforming: 13743895347 into a real [:1:1-1:33:writable] Error: Class GC_set_max_heap_size not found in scope (looking for a function or record). Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo): time 0.0004358/0.0004358, allocations: 0 / 0, free: 0 / 0 " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo): time 0.0005274/0.0005274, allocations: 0 / 0, free: 0 / 0 " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo): time 0.4276/0.4276, allocations: 0 / 0, free: 0 / 0 " [Timeout remaining time 179] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo): time 0.02653/0.02653, allocations: 0 / 0, free: 0 / 0 [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/EmbeddedTargets/STM32F4/Functions/HAL.mo:5:3-11:14:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/OperatingSystem/DynamicArray.mo:6:3-94:18:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1041:3-1062:27:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1064:3-1092:25:writable] Warning: External function annotation should occur on the external-clause, not on the function. " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo): time 0.0002105/0.0002105, allocations: 0 / 0, free: 0 / 0 [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/EmbeddedTargets/STM32F4/Functions/HAL.mo:5:3-11:14:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/OperatingSystem/DynamicArray.mo:6:3-94:18:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1041:3-1062:27:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1064:3-1092:25:writable] Warning: External function annotation should occur on the external-clause, not on the function. " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/package.mo): time 0.6746/0.6746, allocations: 0 / 0, free: 0 / 0 [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/EmbeddedTargets/STM32F4/Functions/HAL.mo:5:3-11:14:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/OperatingSystem/DynamicArray.mo:6:3-94:18:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1041:3-1062:27:writable] Warning: External function annotation should occur on the external-clause, not on the function. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1064:3-1092:25:writable] Warning: External function annotation should occur on the external-clause, not on the function. " [Timeout remaining time 179] Using package AixLib with version 3.0.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/package.mo) Using package SDF with version 0.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo) Using package Modelica_DeviceDrivers with version 2.2.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo) Using package Modelica with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo) Using package Complex with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo) Using package ModelicaServices with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo) Running command: simulate(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke,startTime=2.6784e+06,stopTime=3.2832e+06,tolerance=1e-06,numberOfIntervals=2500,outputFormat="empty",variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke",simflags="-alarm=480 -lv LOG_STATS") simulate(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke,startTime=2.6784e+06,stopTime=3.2832e+06,tolerance=1e-06,numberOfIntervals=2500,outputFormat="empty",variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke",simflags="-alarm=480 -lv LOG_STATS") [Timeout 1140] "Notification: Performance of FrontEnd - loaded program: time 9.42e-07/9.42e-07, allocations: 0 / 0, free: 0 / 0 Notification: Performance of FrontEnd - Absyn->SCode: time 2.263e-05/2.357e-05, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFInst.instantiate(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke): time 1.366/1.366, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFInst.instExpressions: time 0.6469/2.013, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFInst.updateImplicitVariability: time 0.07232/2.086, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFTyping.typeComponents: time 0.07903/2.165, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFTyping.typeBindings: time 0.0768/2.242, allocations: 0 / 0, free: 0 / 0 [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:130:7-137:16:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.clear' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.clear'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:30:7-39:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.addReal' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.addReal'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:74:7-84:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.getReal' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.getReal'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Communication.mo:1170:7-1181:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Communication.Internal.DummyFunctions.readUDP' contains a call to impure function 'Modelica_DeviceDrivers.Communication.UDPSocket_.read'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/Controls/HVACAgentBasedControl/BaseClasses/Internal/sendToUDP.mo:2:1-28:14:writable] Warning: Pure function 'AixLib.Controls.HVACAgentBasedControl.BaseClasses.Internal.sendToUDP' contains a call to impure function 'AixLib.Controls.HVACAgentBasedControl.BaseClasses.Internal.sendTo'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:63:7-72:21:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.addInteger' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.addInteger'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:107:7-117:21:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.getInteger' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.getInteger'. Notification: Performance of NFTyping.typeClassSections: time 0.08898/2.33, allocations: 0 / 0, free: 0 / 0 [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/ThermalZones/ReducedOrder/EquivalentAirTemperature/BaseClasses/PartialVDI6007.mo:12:3-16:43:writable] Warning: Parameter thermalZone.eqAirTempWall.TGro has no value, and is fixed during initialization (fixed=true), using available start value (start=288.15) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/ThermalZones/ReducedOrder/EquivalentAirTemperature/BaseClasses/PartialVDI6007.mo:12:3-16:43:writable] Warning: Parameter thermalZone1.eqAirTempWall.TGro has no value, and is fixed during initialization (fixed=true), using available start value (start=288.15) as default value. Notification: Performance of NFFlatten.flatten: time 0.1307/2.461, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFFlatten.resolveConnections: time 0.1124/2.574, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFEvalConstants.evaluate: time 0.1326/2.706, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFSimplifyModel.simplify: time 0.1021/2.808, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFPackage.collectConstants: time 0.0211/2.829, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFFlatten.collectFunctions: time 0.0353/2.865, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFScalarize.scalarize: time 0.06284/2.928, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFVerifyModel.verify: time 0.09508/3.023, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFConvertDAE.convert: time 0.2399/3.263, allocations: 0 / 0, free: 0 / 0 Notification: Performance of FrontEnd - DAE generated: time 0.03583/3.298, allocations: 0 / 0, free: 0 / 0 Notification: Performance of FrontEnd: time 3.386e-06/3.298, allocations: 0 / 0, free: 0 / 0 Notification: Performance of Transformations before backend: time 0.002194/3.301, allocations: 0 / 0, free: 0 / 0 Warning: Alias equations of external objects are not Modelica compliant as in: broker.messageID.pkgOut[1].pkg = broker.messageID.pkgIn.pkg broker.performative.pkgOut[1].pkg = broker.performative.pkgIn.pkg broker.getontology.pkgOut[1].pkg = broker.getontology.pkgIn.pkg broker.getreply_to.pkgOut[1].pkg = broker.getreply_to.pkgIn.pkg broker.getreceiver.pkgOut[1].pkg = broker.getreceiver.pkgIn.pkg broker.getsender.pkgOut[1].pkg = broker.getsender.pkgIn.pkg broker.getperformative.pkgOut[1].pkg = broker.getperformative.pkgIn.pkg broker.ontology.pkgOut[1].pkg = broker.ontology.pkgIn.pkg broker.reply_to.pkgOut[1].pkg = broker.reply_to.pkgIn.pkg broker.receiver.pkgOut[1].pkg = broker.receiver.pkgIn.pkg broker.sender.pkgOut[1].pkg = broker.sender.pkgIn.pkg broker.get_content.pkgOut[1].pkg = broker.get_content.pkgIn.pkg broker.content.pkgOut[1].pkg = broker.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 roomAgent1.messageID.pkgOut[1].pkg = roomAgent1.messageID.pkgIn.pkg roomAgent1.performative.pkgOut[1].pkg = roomAgent1.performative.pkgIn.pkg roomAgent1.getontology.pkgOut[1].pkg = roomAgent1.getontology.pkgIn.pkg roomAgent1.getreply_to.pkgOut[1].pkg = roomAgent1.getreply_to.pkgIn.pkg roomAgent1.getreceiver.pkgOut[1].pkg = roomAgent1.getreceiver.pkgIn.pkg roomAgent1.getsender.pkgOut[1].pkg = roomAgent1.getsender.pkgIn.pkg roomAgent1.getperformative.pkgOut[1].pkg = roomAgent1.getperformative.pkgIn.pkg roomAgent1.ontology.pkgOut[1].pkg = roomAgent1.ontology.pkgIn.pkg roomAgent1.reply_to.pkgOut[1].pkg = roomAgent1.reply_to.pkgIn.pkg roomAgent1.receiver.pkgOut[1].pkg = roomAgent1.receiver.pkgIn.pkg roomAgent1.sender.pkgOut[1].pkg = roomAgent1.sender.pkgIn.pkg roomAgent1.get_content.pkgOut[1].pkg = roomAgent1.get_content.pkgIn.pkg roomAgent1.content.pkgOut[1].pkg = roomAgent1.content.pkgIn.pkg roomAgent.messageID.pkgOut[1].pkg = roomAgent.messageID.pkgIn.pkg roomAgent.performative.pkgOut[1].pkg = roomAgent.performative.pkgIn.pkg roomAgent.getontology.pkgOut[1].pkg = roomAgent.getontology.pkgIn.pkg roomAgent.getreply_to.pkgOut[1].pkg = roomAgent.getreply_to.pkgIn.pkg roomAgent.getreceiver.pkgOut[1].pkg = roomAgent.getreceiver.pkgIn.pkg roomAgent.getsender.pkgOut[1].pkg = roomAgent.getsender.pkgIn.pkg roomAgent.getperformative.pkgOut[1].pkg = roomAgent.getperformative.pkgIn.pkg roomAgent.ontology.pkgOut[1].pkg = roomAgent.ontology.pkgIn.pkg roomAgent.reply_to.pkgOut[1].pkg = roomAgent.reply_to.pkgIn.pkg roomAgent.receiver.pkgOut[1].pkg = roomAgent.receiver.pkgIn.pkg roomAgent.sender.pkgOut[1].pkg = roomAgent.sender.pkgIn.pkg roomAgent.get_content.pkgOut[1].pkg = roomAgent.get_content.pkgIn.pkg roomAgent.content.pkgOut[1].pkg = roomAgent.content.pkgIn.pkg broker.messageID.pkgOut[1].pkg = broker.uDPSend_adapted.pkgIn.pkg broker.ontology.pkgOut[1].pkg = broker.messageID.pkgIn.pkg broker.getontology.pkgOut[1].pkg = broker.getMessageID.pkgIn.pkg broker.performative.pkgOut[1].pkg = broker.sender.pkgIn.pkg broker.performative.pkgIn.pkg = broker.packager.pkgOut.pkg broker.get_content.pkgOut[1].pkg = broker.getontology.pkgIn.pkg broker.getreply_to.pkgOut[1].pkg = broker.get_content.pkgIn.pkg broker.getreceiver.pkgOut[1].pkg = broker.getreply_to.pkgIn.pkg broker.getsender.pkgOut[1].pkg = broker.getreceiver.pkgIn.pkg broker.getperformative.pkgOut[1].pkg = broker.getsender.pkgIn.pkg broker.getperformative.pkgIn.pkg = broker.uDPReceive_adapted.pkgOut.pkg broker.content.pkgOut[1].pkg = broker.ontology.pkgIn.pkg broker.reply_to.pkgOut[1].pkg = broker.content.pkgIn.pkg broker.receiver.pkgOut[1].pkg = broker.reply_to.pkgIn.pkg broker.sender.pkgOut[1].pkg = broker.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 roomAgent1.messageID.pkgOut[1].pkg = roomAgent1.uDPSend_adapted.pkgIn.pkg roomAgent1.ontology.pkgOut[1].pkg = roomAgent1.messageID.pkgIn.pkg roomAgent1.getontology.pkgOut[1].pkg = roomAgent1.getMessageID.pkgIn.pkg roomAgent1.performative.pkgOut[1].pkg = roomAgent1.sender.pkgIn.pkg roomAgent1.performative.pkgIn.pkg = roomAgent1.packager.pkgOut.pkg roomAgent1.get_content.pkgOut[1].pkg = roomAgent1.getontology.pkgIn.pkg roomAgent1.getreply_to.pkgOut[1].pkg = roomAgent1.get_content.pkgIn.pkg roomAgent1.getreceiver.pkgOut[1].pkg = roomAgent1.getreply_to.pkgIn.pkg roomAgent1.getsender.pkgOut[1].pkg = roomAgent1.getreceiver.pkgIn.pkg roomAgent1.getperformative.pkgOut[1].pkg = roomAgent1.getsender.pkgIn.pkg roomAgent1.getperformative.pkgIn.pkg = roomAgent1.uDPReceive_adapted.pkgOut.pkg roomAgent1.content.pkgOut[1].pkg = roomAgent1.ontology.pkgIn.pkg roomAgent1.reply_to.pkgOut[1].pkg = roomAgent1.content.pkgIn.pkg roomAgent1.receiver.pkgOut[1].pkg = roomAgent1.reply_to.pkgIn.pkg roomAgent1.sender.pkgOut[1].pkg = roomAgent1.receiver.pkgIn.pkg roomAgent.messageID.pkgOut[1].pkg = roomAgent.uDPSend_adapted.pkgIn.pkg roomAgent.ontology.pkgOut[1].pkg = roomAgent.messageID.pkgIn.pkg roomAgent.getontology.pkgOut[1].pkg = roomAgent.getMessageID.pkgIn.pkg roomAgent.performative.pkgOut[1].pkg = roomAgent.sender.pkgIn.pkg roomAgent.performative.pkgIn.pkg = roomAgent.packager.pkgOut.pkg roomAgent.get_content.pkgOut[1].pkg = roomAgent.getontology.pkgIn.pkg roomAgent.getreply_to.pkgOut[1].pkg = roomAgent.get_content.pkgIn.pkg roomAgent.getreceiver.pkgOut[1].pkg = roomAgent.getreply_to.pkgIn.pkg roomAgent.getsender.pkgOut[1].pkg = roomAgent.getreceiver.pkgIn.pkg roomAgent.getperformative.pkgOut[1].pkg = roomAgent.getsender.pkgIn.pkg roomAgent.getperformative.pkgIn.pkg = roomAgent.uDPReceive_adapted.pkgOut.pkg roomAgent.content.pkgOut[1].pkg = roomAgent.ontology.pkgIn.pkg roomAgent.reply_to.pkgOut[1].pkg = roomAgent.content.pkgIn.pkg roomAgent.receiver.pkgOut[1].pkg = roomAgent.reply_to.pkgIn.pkg roomAgent.sender.pkgOut[1].pkg = roomAgent.receiver.pkgIn.pkg Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 7496 * Number of variables: 7496 Notification: Performance of Generate backend data structure: time 0.4478/3.748, allocations: 0 / 0, free: 0 / 0 Notification: Performance of prepare preOptimizeDAE: time 0.007773/3.756, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt normalInlineFunction (simulation): time 0.3311/4.087, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt evaluateParameters (simulation): time 0.1474/4.235, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.009534/4.244, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt expandDerOperator (simulation): time 0.02603/4.27, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt clockPartitioning (simulation): time 0.3576/4.628, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt findStateOrder (simulation): time 0.002125/4.63, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.01952/4.649, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.00421/4.654, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt removeEqualRHS (simulation): time 0.3401/4.994, allocations: 0 / 0, free: 0 / 0 Warning: The model contains alias variables with redundant start and/or conflicting nominal values. It is recommended to resolve the conflicts, because otherwise the system could be hard to solve. To print the conflicting alias sets and the chosen candidates please use -d=aliasConflicts. Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.701/5.695, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt comSubExp (simulation): time 0.1854/5.88, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt resolveLoops (simulation): time 0.1199/6, allocations: 0 / 0, free: 0 / 0 Warning: The model contains alias variables with redundant start and/or conflicting nominal values. It is recommended to resolve the conflicts, because otherwise the system could be hard to solve. To print the conflicting alias sets and the chosen candidates please use -d=aliasConflicts. Notification: Performance of preOpt evalFunc (simulation): time 0.397/6.397, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.1469/6.544, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt simplifyInStream (simulation): time 0.02676/6.571, allocations: 0 / 0, free: 0 / 0 Notification: Performance of pre-optimization done (n=2683): time 0.00678/6.577, allocations: 0 / 0, free: 0 / 0 Notification: Performance of matching and sorting (n=2711): time 2.588/9.165, allocations: 0 / 0, free: 0 / 0 Warning: The linear system: 1 : val1.dp = hydraulicResistance.port_a.p - volume1.medium.p 2 : val.dp = hydraulicResistance.port_a.p - volume1.medium.p [ -1.0 , 1.0 ; -1.0 , 1.0 ] * [ hydraulicResistance.port_a.p ; volume1.medium.p ] = [ -val1.dp ; -val.dp ] might be structurally or numerically singular for variable volume1.medium.p since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : val.dp = hydraulicResistance.port_a.p - volume1.medium.p 2 : val1.dp = hydraulicResistance.port_a.p - volume1.medium.p [ -1.0 , 1.0 ; -1.0 , 1.0 ] * [ hydraulicResistance.port_a.p ; volume1.medium.p ] = [ -val.dp ; -val1.dp ] might be structurally or numerically singular for variable volume1.medium.p since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Error: Internal error IndexReduction.pantelidesIndexReduction failed! System is structurally singular and cannot be handled because the number of unassigned equations is larger than the number of states. Use -d=bltdump to get more information. Error: Internal error Transformation Module PFPlusExt index Reduction Method Pantelides failed! [BackEnd/SymbolicJacobian.mo:0:0-0:0:writable] Error: Internal error function optimizeJacobianMatrix failed [BackEnd/SymbolicJacobian.mo:0:0-0:0:writable] Error: Internal error function createJacobian failed [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/ThermalZones/ReducedOrder/EquivalentAirTemperature/BaseClasses/PartialVDI6007.mo:12:3-16:43:writable] Warning: Parameter thermalZone1.eqAirTempWall.TGro has no value, and is fixed during initialization (fixed=true), using available start value (start=288.15) as default value. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/ThermalZones/ReducedOrder/EquivalentAirTemperature/BaseClasses/PartialVDI6007.mo:12:3-16:43:writable] Warning: Parameter thermalZone.eqAirTempWall.TGro has no value, and is fixed during initialization (fixed=true), using available start value (start=288.15) as default value. 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. 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: Assuming fixed start value for the following 136 variables: roomAgent.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real roomAgent.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] roomAgent.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] roomAgent.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] roomAgent1.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent1.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real roomAgent1.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] roomAgent1.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent1.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent1.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent1.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent1.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] roomAgent1.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] 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 = 1.0 fixed = true ) \"Real variable to define currentCapacityDiscrete\" 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 = 1.0 fixed = true ) \"Real variable to define currentCapacityDiscrete\" type: Real broker.averagePrice:DISCRETE(fixed = true ) \"Real variable to define averagePrice\" type: Real broker.totalHeat:DISCRETE(fixed = true ) \"Real variable to define totalHeat\" type: Real broker.totalPrice:DISCRETE(fixed = true ) \"Real variable to define totalPrice\" type: Real broker.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real broker.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] broker.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] broker.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] broker.rejectsComplete:DISCRETE(start = false fixed = true ) type: Boolean broker.requestComplete:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whether all requests are served by the current constellation\" type: Boolean broker.requestCounter:DISCRETE(start = 1 fixed = true ) \"Real variable to define requestCounter\" type: Integer broker.requestAddresses[10,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[9,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[8,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[7,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[6,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[5,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[4,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[3,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[2,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[1,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestTable[10,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[9,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[8,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[7,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[6,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[5,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[4,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[3,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[2,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[1,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.restHeat:DISCRETE(fixed = true ) \"Real variable to define restHeat\" type: Real broker.totalaveragePrice:DISCRETE(fixed = true ) \"Real variable to define totalaveragePrice\" type: Real broker.heatingPriceSum:DISCRETE(fixed = true ) \"Real variable to define the sum of heatingPrice\" type: Real broker.cheapest:DISCRETE(start = 1 fixed = true ) \"Integer variable to define the cheapest offer\" type: Integer broker.heatingCalculationSum:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define the sum of heatingCalculation\" type: Real broker.informationCounter:DISCRETE(start = 1 fixed = true ) \"Integer variable to define informationCounter\" type: Integer broker.proposalCounter:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe proposalCounter\" type: Integer broker.heatSupplierTable[2,7]:DISCRETE(start = broker.startTable[2,7] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,6]:DISCRETE(start = broker.startTable[2,6] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,5]:DISCRETE(start = broker.startTable[2,5] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,4]:DISCRETE(start = broker.startTable[2,4] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,3]:DISCRETE(start = broker.startTable[2,3] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,2]:DISCRETE(start = broker.startTable[2,2] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,1]:DISCRETE(start = broker.startTable[2,1] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,7]:DISCRETE(start = broker.startTable[1,7] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,6]:DISCRETE(start = broker.startTable[1,6] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,5]:DISCRETE(start = broker.startTable[1,5] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,4]:DISCRETE(start = broker.startTable[1,4] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,3]:DISCRETE(start = broker.startTable[1,3] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,2]:DISCRETE(start = broker.startTable[1,2] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,1]:DISCRETE(start = broker.startTable[1,1] fixed = true ) type: Real [2,7] broker.lowestPrice:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define lowestPrice\" type: Real broker.counterReject:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe counterReject\" type: Integer broker.counter:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe counter\" type: Integer broker.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent1.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real roomAgent1.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real roomAgent.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent.calcCapacityInternal:DISCRETE(start = 1.0 fixed = true ) \"Real variable to define calcCapacityInternal\" type: Real heatProducerAgent1.calcCapacityInternal:DISCRETE(start = 1.0 fixed = true ) \"Real variable to define calcCapacityInternal\" type: Real heatProducerAgent.setCapacity:DISCRETE(start = 1.0 fixed = true ) \"Real variable to define setCapacity\" type: Real heatProducerAgent1.setCapacity:DISCRETE(start = 1.0 fixed = true ) \"Real variable to define setCapacity\" type: Real thermalZone.ROM.volAir.dynBal.U:VARIABLE(start = 6700.0 * thermalZone.ROM.volAir.dynBal.rho_start * AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.thermalZone.ROM.volAir.dynBal.Medium.specificInternalEnergy(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.thermalZone.ROM.volAir.dynBal.Medium.setState_pTX(thermalZone.ROM.volAir.dynBal.p_start, thermalZone.ROM.volAir.dynBal.T_start, {})) + (thermalZone.ROM.volAir.dynBal.T_start - 298.15) * 0.0 unit = \"J\" fixed = true nominal = 1e5 protected = true ) \"Internal energy of fluid\" type: Real thermalZone.ROM.volAir.dynBal.m:VARIABLE(min = 0.0 start = 6700.0 * thermalZone.ROM.volAir.rho_start unit = \"kg\" fixed = true stateSelect=StateSelect.prefer protected = true ) \"Mass of fluid\" type: Real thermalZone.ROM.extWallRC.thermCapExt[1].T:VARIABLE(min = 0.0 start = thermalZone.ROM.extWallRC.T_start unit = \"K\" fixed = true nominal = 300.0 ) \"Temperature of element\" type: Real [1] thermalZone.ROM.intWallRC.thermCapInt[1].T:VARIABLE(min = 0.0 start = thermalZone.ROM.intWallRC.T_start unit = \"K\" fixed = true nominal = 300.0 ) \"Temperature of element\" type: Real [1] thermalZone1.ROM.volAir.dynBal.U:VARIABLE(start = 6700.0 * thermalZone1.ROM.volAir.dynBal.rho_start * AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.thermalZone1.ROM.volAir.dynBal.Medium.specificInternalEnergy(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.thermalZone1.ROM.volAir.dynBal.Medium.setState_pTX(thermalZone1.ROM.volAir.dynBal.p_start, thermalZone1.ROM.volAir.dynBal.T_start, {})) + (thermalZone1.ROM.volAir.dynBal.T_start - 298.15) * 0.0 unit = \"J\" fixed = true nominal = 1e5 protected = true ) \"Internal energy of fluid\" type: Real thermalZone1.ROM.volAir.dynBal.m:VARIABLE(min = 0.0 start = 6700.0 * thermalZone1.ROM.volAir.rho_start unit = \"kg\" fixed = true stateSelect=StateSelect.prefer protected = true ) \"Mass of fluid\" type: Real thermalZone1.ROM.extWallRC.thermCapExt[1].T:VARIABLE(min = 0.0 start = thermalZone1.ROM.extWallRC.T_start unit = \"K\" fixed = true nominal = 300.0 ) \"Temperature of element\" type: Real [1] thermalZone1.ROM.intWallRC.thermCapInt[1].T:VARIABLE(min = 0.0 start = thermalZone1.ROM.intWallRC.T_start unit = \"K\" fixed = true nominal = 300.0 ) \"Temperature of element\" type: Real [1] fan.vol.dynBal.U:VARIABLE(start = fan.vol.dynBal.fluidVolume * fan.vol.dynBal.rho_start * AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.fan.vol.dynBal.Medium.specificInternalEnergy(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.fan.vol.dynBal.Medium.setState_pTX(fan.vol.dynBal.p_start, fan.vol.dynBal.T_start, {})) + (fan.vol.dynBal.T_start - 298.15) * 0.0 unit = \"J\" fixed = true nominal = 1e5 protected = true ) \"Internal energy of fluid\" type: Real hea.vol.dynBal.U:VARIABLE(start = hea.vol.dynBal.fluidVolume * hea.vol.dynBal.rho_start * AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.hea.vol.dynBal.Medium.specificInternalEnergy(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.hea.vol.dynBal.Medium.setState_pTX(hea.vol.dynBal.p_start, hea.vol.dynBal.T_start, {})) + (hea.vol.dynBal.T_start - 298.15) * 0.0 unit = \"J\" fixed = true nominal = 1e5 protected = true final = true ) \"Internal energy of fluid\" type: Real hea1.vol.dynBal.U:VARIABLE(start = hea1.vol.dynBal.fluidVolume * hea1.vol.dynBal.rho_start * AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.hea1.vol.dynBal.Medium.specificInternalEnergy(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.hea1.vol.dynBal.Medium.setState_pTX(hea1.vol.dynBal.p_start, hea1.vol.dynBal.T_start, {})) + (hea1.vol.dynBal.T_start - 298.15) * 0.0 unit = \"J\" fixed = true nominal = 1e5 protected = true final = true ) \"Internal energy of fluid\" type: Real roomAgent.derivative.x:VARIABLE(start = roomAgent.derivative.x_start fixed = true ) \"State of block\" type: Real roomAgent1.derivative.x:VARIABLE(start = roomAgent1.derivative.x_start fixed = true ) \"State of block\" type: Real broker.proposalsComplete:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whether all proposals have been collected\" type: Boolean broker.requestsExceedSupply:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whteher requests exceed supply\" type: Boolean broker.heatingRequestSum:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define the sum of heating requests\" type: Real broker.calculationDone:DISCRETE(start = false fixed = true ) \"Boolean variable to annonce calculationDone\" type: Boolean broker.informationDone:DISCRETE(start = false fixed = true ) \"Boolean variable to announce informationDone\" type: Boolean broker.finalRequestDone:DISCRETE(start = false fixed = true ) \"Boolean variable to announce finalRequestDone\" type: Boolean volume.medium.T:VARIABLE(min = 1.0 max = 1e4 start = volume.T_start unit = \"K\" fixed = true nominal = 300.0 stateSelect=StateSelect.prefer ) \"Temperature of medium\" type: Real volume1.medium.T:VARIABLE(min = 1.0 max = 1e4 start = volume1.T_start unit = \"K\" fixed = true nominal = 300.0 stateSelect=StateSelect.prefer ) \"Temperature of medium\" type: Real broker.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer broker.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] 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 roomAgent1.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer roomAgent.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer 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. 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: Assuming fixed start value for the following 136 variables: roomAgent.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real roomAgent.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] roomAgent.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] roomAgent.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] roomAgent1.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent1.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real roomAgent1.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] roomAgent1.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent1.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent1.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent1.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] roomAgent1.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] roomAgent1.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] 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 = 1.0 fixed = true ) \"Real variable to define currentCapacityDiscrete\" 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 = 1.0 fixed = true ) \"Real variable to define currentCapacityDiscrete\" type: Real broker.averagePrice:DISCRETE(fixed = true ) \"Real variable to define averagePrice\" type: Real broker.totalHeat:DISCRETE(fixed = true ) \"Real variable to define totalHeat\" type: Real broker.totalPrice:DISCRETE(fixed = true ) \"Real variable to define totalPrice\" type: Real broker.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real broker.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] broker.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] broker.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] broker.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] broker.rejectsComplete:DISCRETE(start = false fixed = true ) type: Boolean broker.requestComplete:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whether all requests are served by the current constellation\" type: Boolean broker.requestCounter:DISCRETE(start = 1 fixed = true ) \"Real variable to define requestCounter\" type: Integer broker.requestAddresses[10,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[9,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[8,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[7,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[6,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[5,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[4,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[3,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[2,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestAddresses[1,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestAddresses\" type: Real [10,1] broker.requestTable[10,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[9,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[8,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[7,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[6,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[5,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[4,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[3,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[2,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.requestTable[1,1]:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define requestTable\" type: Real [10,1] broker.restHeat:DISCRETE(fixed = true ) \"Real variable to define restHeat\" type: Real broker.totalaveragePrice:DISCRETE(fixed = true ) \"Real variable to define totalaveragePrice\" type: Real broker.heatingPriceSum:DISCRETE(fixed = true ) \"Real variable to define the sum of heatingPrice\" type: Real broker.cheapest:DISCRETE(start = 1 fixed = true ) \"Integer variable to define the cheapest offer\" type: Integer broker.heatingCalculationSum:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define the sum of heatingCalculation\" type: Real broker.informationCounter:DISCRETE(start = 1 fixed = true ) \"Integer variable to define informationCounter\" type: Integer broker.proposalCounter:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe proposalCounter\" type: Integer broker.heatSupplierTable[2,7]:DISCRETE(start = broker.startTable[2,7] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,6]:DISCRETE(start = broker.startTable[2,6] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,5]:DISCRETE(start = broker.startTable[2,5] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,4]:DISCRETE(start = broker.startTable[2,4] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,3]:DISCRETE(start = broker.startTable[2,3] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,2]:DISCRETE(start = broker.startTable[2,2] fixed = true ) type: Real [2,7] broker.heatSupplierTable[2,1]:DISCRETE(start = broker.startTable[2,1] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,7]:DISCRETE(start = broker.startTable[1,7] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,6]:DISCRETE(start = broker.startTable[1,6] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,5]:DISCRETE(start = broker.startTable[1,5] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,4]:DISCRETE(start = broker.startTable[1,4] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,3]:DISCRETE(start = broker.startTable[1,3] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,2]:DISCRETE(start = broker.startTable[1,2] fixed = true ) type: Real [2,7] broker.heatSupplierTable[1,1]:DISCRETE(start = broker.startTable[1,1] fixed = true ) type: Real [2,7] broker.lowestPrice:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define lowestPrice\" type: Real broker.counterReject:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe counterReject\" type: Integer broker.counter:DISCRETE(start = 1 fixed = true ) \"Integer variable to describe counter\" type: Integer broker.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent1.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real roomAgent1.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real roomAgent.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real heatProducerAgent.calcCapacityInternal:DISCRETE(start = 1.0 fixed = true ) \"Real variable to define calcCapacityInternal\" type: Real heatProducerAgent1.calcCapacityInternal:DISCRETE(start = 1.0 fixed = true ) \"Real variable to define calcCapacityInternal\" type: Real heatProducerAgent.setCapacity:DISCRETE(start = 1.0 fixed = true ) \"Real variable to define setCapacity\" type: Real heatProducerAgent1.setCapacity:DISCRETE(start = 1.0 fixed = true ) \"Real variable to define setCapacity\" type: Real thermalZone.ROM.volAir.dynBal.U:VARIABLE(start = 6700.0 * thermalZone.ROM.volAir.dynBal.rho_start * AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.thermalZone.ROM.volAir.dynBal.Medium.specificInternalEnergy(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.thermalZone.ROM.volAir.dynBal.Medium.setState_pTX(thermalZone.ROM.volAir.dynBal.p_start, thermalZone.ROM.volAir.dynBal.T_start, {})) + (thermalZone.ROM.volAir.dynBal.T_start - 298.15) * 0.0 unit = \"J\" fixed = true nominal = 1e5 protected = true ) \"Internal energy of fluid\" type: Real thermalZone.ROM.volAir.dynBal.m:VARIABLE(min = 0.0 start = 6700.0 * thermalZone.ROM.volAir.rho_start unit = \"kg\" fixed = true stateSelect=StateSelect.prefer protected = true ) \"Mass of fluid\" type: Real thermalZone.ROM.extWallRC.thermCapExt[1].T:VARIABLE(min = 0.0 start = thermalZone.ROM.extWallRC.T_start unit = \"K\" fixed = true nominal = 300.0 ) \"Temperature of element\" type: Real [1] thermalZone.ROM.intWallRC.thermCapInt[1].T:VARIABLE(min = 0.0 start = thermalZone.ROM.intWallRC.T_start unit = \"K\" fixed = true nominal = 300.0 ) \"Temperature of element\" type: Real [1] thermalZone1.ROM.volAir.dynBal.U:VARIABLE(start = 6700.0 * thermalZone1.ROM.volAir.dynBal.rho_start * AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.thermalZone1.ROM.volAir.dynBal.Medium.specificInternalEnergy(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.thermalZone1.ROM.volAir.dynBal.Medium.setState_pTX(thermalZone1.ROM.volAir.dynBal.p_start, thermalZone1.ROM.volAir.dynBal.T_start, {})) + (thermalZone1.ROM.volAir.dynBal.T_start - 298.15) * 0.0 unit = \"J\" fixed = true nominal = 1e5 protected = true ) \"Internal energy of fluid\" type: Real thermalZone1.ROM.volAir.dynBal.m:VARIABLE(min = 0.0 start = 6700.0 * thermalZone1.ROM.volAir.rho_start unit = \"kg\" fixed = true stateSelect=StateSelect.prefer protected = true ) \"Mass of fluid\" type: Real thermalZone1.ROM.extWallRC.thermCapExt[1].T:VARIABLE(min = 0.0 start = thermalZone1.ROM.extWallRC.T_start unit = \"K\" fixed = true nominal = 300.0 ) \"Temperature of element\" type: Real [1] thermalZone1.ROM.intWallRC.thermCapInt[1].T:VARIABLE(min = 0.0 start = thermalZone1.ROM.intWallRC.T_start unit = \"K\" fixed = true nominal = 300.0 ) \"Temperature of element\" type: Real [1] fan.vol.dynBal.U:VARIABLE(start = fan.vol.dynBal.fluidVolume * fan.vol.dynBal.rho_start * AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.fan.vol.dynBal.Medium.specificInternalEnergy(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.fan.vol.dynBal.Medium.setState_pTX(fan.vol.dynBal.p_start, fan.vol.dynBal.T_start, {})) + (fan.vol.dynBal.T_start - 298.15) * 0.0 unit = \"J\" fixed = true nominal = 1e5 protected = true ) \"Internal energy of fluid\" type: Real hea.vol.dynBal.U:VARIABLE(start = hea.vol.dynBal.fluidVolume * hea.vol.dynBal.rho_start * AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.hea.vol.dynBal.Medium.specificInternalEnergy(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.hea.vol.dynBal.Medium.setState_pTX(hea.vol.dynBal.p_start, hea.vol.dynBal.T_start, {})) + (hea.vol.dynBal.T_start - 298.15) * 0.0 unit = \"J\" fixed = true nominal = 1e5 protected = true final = true ) \"Internal energy of fluid\" type: Real hea1.vol.dynBal.U:VARIABLE(start = hea1.vol.dynBal.fluidVolume * hea1.vol.dynBal.rho_start * AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.hea1.vol.dynBal.Medium.specificInternalEnergy(AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke.hea1.vol.dynBal.Medium.setState_pTX(hea1.vol.dynBal.p_start, hea1.vol.dynBal.T_start, {})) + (hea1.vol.dynBal.T_start - 298.15) * 0.0 unit = \"J\" fixed = true nominal = 1e5 protected = true final = true ) \"Internal energy of fluid\" type: Real roomAgent.derivative.x:VARIABLE(start = roomAgent.derivative.x_start fixed = true ) \"State of block\" type: Real roomAgent1.derivative.x:VARIABLE(start = roomAgent1.derivative.x_start fixed = true ) \"State of block\" type: Real broker.proposalsComplete:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whether all proposals have been collected\" type: Boolean broker.requestsExceedSupply:DISCRETE(start = false fixed = true ) \"Boolean variable to describe whteher requests exceed supply\" type: Boolean broker.heatingRequestSum:DISCRETE(start = 0.0 fixed = true ) \"Real variable to define the sum of heating requests\" type: Real broker.calculationDone:DISCRETE(start = false fixed = true ) \"Boolean variable to annonce calculationDone\" type: Boolean broker.informationDone:DISCRETE(start = false fixed = true ) \"Boolean variable to announce informationDone\" type: Boolean broker.finalRequestDone:DISCRETE(start = false fixed = true ) \"Boolean variable to announce finalRequestDone\" type: Boolean volume.medium.T:VARIABLE(min = 1.0 max = 1e4 start = volume.T_start unit = \"K\" fixed = true nominal = 300.0 stateSelect=StateSelect.prefer ) \"Temperature of medium\" type: Real volume1.medium.T:VARIABLE(min = 1.0 max = 1e4 start = volume1.T_start unit = \"K\" fixed = true nominal = 300.0 stateSelect=StateSelect.prefer ) \"Temperature of medium\" type: Real broker.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer broker.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] 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 roomAgent1.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer roomAgent.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: 746 * Number of states: 0 () * Number of discrete variables: 2110 ($PRE.roomAgent.sendSample.onDelay4.u,$PRE.roomAgent.sendSample.onDelay4.t_next,$PRE.roomAgent.sendSample.onDelay5.u,$PRE.roomAgent.sendSample.onDelay5.t_next,$PRE.roomAgent.sendSample.onDelay6.u,$PRE.roomAgent.sendSample.onDelay6.t_next,$PRE.roomAgent.sendSample.onDelay7.u,$PRE.roomAgent.sendSample.onDelay7.t_next,$PRE.roomAgent.newMessage.enableFire,$PRE.roomAgent.transitionWithSignal.enableFire,$PRE.roomAgent.requestNoted.enableFire,$PRE.roomAgent.newMessage1.enableFire,$PRE.roomAgent.repeat.enableFire,$PRE.roomAgent.rightMessage.enableFire,$PRE.roomAgent.repeat1.enableFire,$PRE.roomAgent.transition2.enableFire,$PRE.roomAgent.transition4.enableFire,$PRE.roomAgent.confirmNoted.enableFire,$PRE.roomAgent.transition1.enableFire,$PRE.roomAgent.rightMessage1.enableFire,$PRE.roomAgent.reset.enableFire,$PRE.roomAgent1.sendSample.onDelay4.u,$PRE.roomAgent1.sendSample.onDelay4.t_next,$PRE.roomAgent1.sendSample.onDelay5.u,$PRE.roomAgent1.sendSample.onDelay5.t_next,$PRE.roomAgent1.sendSample.onDelay6.u,$PRE.roomAgent1.sendSample.onDelay6.t_next,$PRE.roomAgent1.sendSample.onDelay7.u,$PRE.roomAgent1.sendSample.onDelay7.t_next,$PRE.roomAgent1.newMessage.enableFire,$PRE.roomAgent1.transitionWithSignal.enableFire,$PRE.roomAgent1.requestNoted.enableFire,$PRE.roomAgent1.newMessage1.enableFire,$PRE.roomAgent1.repeat.enableFire,$PRE.roomAgent1.rightMessage.enableFire,$PRE.roomAgent1.repeat1.enableFire,$PRE.roomAgent1.transition2.enableFire,$PRE.roomAgent1.transition4.enableFire,$PRE.roomAgent1.confirmNoted.enableFire,$PRE.roomAgent1.transition1.enableFire,$PRE.roomAgent1.rightMessage1.enableFire,$PRE.roomAgent1.reset.enableFire,$PRE.heatProducerAgent.sendSample.onDelay4.u,$PRE.heatProducerAgent.sendSample.onDelay4.t_next,$PRE.heatProducerAgent.sendSample.onDelay5.u,$PRE.heatProducerAgent.sendSample.onDelay5.t_next,$PRE.heatProducerAgent.sendSample.onDelay6.u,$PRE.heatProducerAgent.sendSample.onDelay6.t_next,$PRE.heatProducerAgent.sendSample.onDelay7.u,$PRE.heatProducerAgent.sendSample.onDelay7.t_next,$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.sendSample.onDelay4.u,$PRE.heatProducerAgent1.sendSample.onDelay4.t_next,$PRE.heatProducerAgent1.sendSample.onDelay5.u,$PRE.heatProducerAgent1.sendSample.onDelay5.t_next,$PRE.heatProducerAgent1.sendSample.onDelay6.u,$PRE.heatProducerAgent1.sendSample.onDelay6.t_next,$PRE.heatProducerAgent1.sendSample.onDelay7.u,$PRE.heatProducerAgent1.sendSample.onDelay7.t_next,$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.broker.sendSample.onDelay4.u,$PRE.broker.sendSample.onDelay4.t_next,$PRE.broker.sendSample.onDelay5.u,$PRE.broker.sendSample.onDelay5.t_next,$PRE.broker.sendSample.onDelay6.u,$PRE.broker.sendSample.onDelay6.t_next,$PRE.broker.sendSample.onDelay7.u,$PRE.broker.sendSample.onDelay7.t_next,$PRE.broker.newMessage.enableFire,$PRE.broker.transitionWithSignal.enableFire,$PRE.broker.waitforRequests.enableFire,$PRE.broker.newRequests.enableFire,$PRE.broker.newProposal.enableFire,$PRE.broker.allProposalsCollected.enableFire,$PRE.broker.notFinished.enableFire,$PRE.broker.transition.enableFire,$PRE.broker.transition1.enableFire,$PRE.broker.correctPerformative.enableFire,$PRE.broker.correctPerformative1.enableFire,$PRE.broker.requestNoted.enableFire,$PRE.broker.actionConfirmed.enableFire,$PRE.broker.transitionWithSignal3.enableFire,$PRE.broker.transition2.enableFire,$PRE.broker.transition4.enableFire,$PRE.broker.newConfirm.enableFire,$PRE.broker.correctPerformative2.enableFire,$PRE.broker.transition5.enableFire,$PRE.broker.transition6.enableFire,$PRE.broker.confirmComplete.enableFire,$PRE.broker.transition7.enableFire,$PRE.broker.requestsComplete.enableFire,$PRE.broker.requestsNotComplete.enableFire,$PRE.broker.confirmNotComplete.enableFire,$PRE.broker.abort.enableFire,$PRE.broker.transition3.enableFire,$PRE.broker.reset.enableFire,$PRE.broker.reset1.enableFire,$PRE.broker.reset2.enableFire,$PRE.broker.reset3.enableFire,$PRE.broker.enoughSupply.enableFire,$PRE.broker.enoughSupply1.enableFire,$PRE.broker.reset4.enableFire,roomAgent.uDPReceive_adapted.internalTrigger,roomAgent1.uDPReceive_adapted.internalTrigger,heatProducerAgent.uDPReceive_adapted.internalTrigger,heatProducerAgent1.uDPReceive_adapted.internalTrigger,broker.uDPReceive_adapted.internalTrigger,broker.confirmNotComplete.t_start,$PRE.broker.confirmNotComplete.t_start,broker.requestsNotComplete.t_start,$PRE.broker.requestsNotComplete.t_start,broker.requestsComplete.t_start,$PRE.broker.requestsComplete.t_start,broker.confirmComplete.t_start,$PRE.broker.confirmComplete.t_start,broker.correctPerformative2.t_start,$PRE.broker.correctPerformative2.t_start,broker.newConfirm.t_start,$PRE.broker.newConfirm.t_start,broker.actionConfirmed.t_start,$PRE.broker.actionConfirmed.t_start,broker.correctPerformative1.t_start,$PRE.broker.correctPerformative1.t_start,broker.correctPerformative.t_start,$PRE.broker.correctPerformative.t_start,broker.newProposal.t_start,$PRE.broker.newProposal.t_start,broker.newRequests.t_start,$PRE.broker.newRequests.t_start,broker.transitionWithSignal.t_start,$PRE.broker.transitionWithSignal.t_start,broker.newMessage.t_start,$PRE.broker.newMessage.t_start,heatProducerAgent1.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent1.zeroOrderHold.firstTrigger,heatProducerAgent1.zeroOrderHold.sampleTrigger,$whenCondition171,heatProducerAgent1.zeroOrderHold.ySample,$PRE.heatProducerAgent1.zeroOrderHold.ySample,heatProducerAgent1.Off.t_start,$PRE.heatProducerAgent1.Off.t_start,heatProducerAgent1.transitionWithSignal2.t_start,$PRE.heatProducerAgent1.transitionWithSignal2.t_start,heatProducerAgent1.transitionWithSignal1.t_start,$PRE.heatProducerAgent1.transitionWithSignal1.t_start,heatProducerAgent1.transitionWithSignal.t_start,$PRE.heatProducerAgent1.transitionWithSignal.t_start,heatProducerAgent1.newMessage.t_start,$PRE.heatProducerAgent1.newMessage.t_start,heatProducerAgent.zeroOrderHold.firstTrigger,$PRE.heatProducerAgent.zeroOrderHold.firstTrigger,heatProducerAgent.zeroOrderHold.sampleTrigger,$whenCondition170,heatProducerAgent.zeroOrderHold.ySample,$PRE.heatProducerAgent.zeroOrderHold.ySample,heatProducerAgent.Off.t_start,$PRE.heatProducerAgent.Off.t_start,heatProducerAgent.transitionWithSignal2.t_start,$PRE.heatProducerAgent.transitionWithSignal2.t_start,heatProducerAgent.transitionWithSignal1.t_start,$PRE.heatProducerAgent.transitionWithSignal1.t_start,heatProducerAgent.transitionWithSignal.t_start,$PRE.heatProducerAgent.transitionWithSignal.t_start,heatProducerAgent.newMessage.t_start,$PRE.heatProducerAgent.newMessage.t_start,roomAgent1.rightMessage1.t_start,$PRE.roomAgent1.rightMessage1.t_start,roomAgent1.rightMessage.t_start,$PRE.roomAgent1.rightMessage.t_start,roomAgent1.newMessage1.t_start,$PRE.roomAgent1.newMessage1.t_start,roomAgent1.transitionWithSignal.t_start,$PRE.roomAgent1.transitionWithSignal.t_start,roomAgent1.newMessage.t_start,$PRE.roomAgent1.newMessage.t_start,roomAgent.rightMessage1.t_start,$PRE.roomAgent.rightMessage1.t_start,roomAgent.rightMessage.t_start,$PRE.roomAgent.rightMessage.t_start,roomAgent.newMessage1.t_start,$PRE.roomAgent.newMessage1.t_start,roomAgent.transitionWithSignal.t_start,$PRE.roomAgent.transitionWithSignal.t_start,roomAgent.newMessage.t_start,$PRE.roomAgent.newMessage.t_start,$PRE.roomAgent.messageID.u[1],roomAgent.messageID.u[1],$PRE.roomAgent.uDPSend_adapted.receiver,roomAgent.uDPSend_adapted.receiver,$PRE.roomAgent.ontology.u[1],roomAgent.ontology.u[1],$PRE.roomAgent.reply_to.u[1],roomAgent.reply_to.u[1],$PRE.roomAgent.receiver.u[1],roomAgent.receiver.u[1],$PRE.roomAgent.sender.u[1],roomAgent.sender.u[1],$PRE.roomAgent.performative.u[1],roomAgent.performative.u[1],$PRE.roomAgent.content.u[2],roomAgent.content.u[2],$PRE.roomAgent.content.u[1],roomAgent.content.u[1],$PRE.roomAgent1.messageID.u[1],roomAgent1.messageID.u[1],$PRE.roomAgent1.uDPSend_adapted.receiver,roomAgent1.uDPSend_adapted.receiver,$PRE.roomAgent1.ontology.u[1],roomAgent1.ontology.u[1],$PRE.roomAgent1.reply_to.u[1],roomAgent1.reply_to.u[1],$PRE.roomAgent1.receiver.u[1],roomAgent1.receiver.u[1],$PRE.roomAgent1.sender.u[1],roomAgent1.sender.u[1],$PRE.roomAgent1.performative.u[1],roomAgent1.performative.u[1],$PRE.roomAgent1.content.u[2],roomAgent1.content.u[2],$PRE.roomAgent1.content.u[1],roomAgent1.content.u[1],$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.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.broker.averagePrice,broker.averagePrice,$PRE.broker.totalHeat,broker.totalHeat,$PRE.broker.totalPrice,broker.totalPrice,$PRE.broker.messageID.u[1],broker.messageID.u[1],$PRE.broker.uDPSend_adapted.receiver,broker.uDPSend_adapted.receiver,$PRE.broker.reply_to.u[1],broker.reply_to.u[1],$PRE.broker.sender.u[1],broker.sender.u[1],$PRE.broker.ontology.u[1],broker.ontology.u[1],$PRE.broker.performative.u[1],broker.performative.u[1],$PRE.broker.content.u[2],broker.content.u[2],$PRE.broker.content.u[1],broker.content.u[1],$PRE.broker.rejectsComplete,broker.rejectsComplete,$PRE.broker.requestComplete,broker.requestComplete,$PRE.broker.requestCounter,broker.requestCounter,$PRE.broker.requestAddresses[10,1],broker.requestAddresses[10,1],$PRE.broker.requestAddresses[9,1],broker.requestAddresses[9,1],$PRE.broker.requestAddresses[8,1],broker.requestAddresses[8,1],$PRE.broker.requestAddresses[7,1],broker.requestAddresses[7,1],$PRE.broker.requestAddresses[6,1],broker.requestAddresses[6,1],$PRE.broker.requestAddresses[5,1],broker.requestAddresses[5,1],$PRE.broker.requestAddresses[4,1],broker.requestAddresses[4,1],$PRE.broker.requestAddresses[3,1],broker.requestAddresses[3,1],$PRE.broker.requestAddresses[2,1],broker.requestAddresses[2,1],$PRE.broker.requestAddresses[1,1],broker.requestAddresses[1,1],$PRE.broker.requestTable[10,1],broker.requestTable[10,1],$PRE.broker.requestTable[9,1],broker.requestTable[9,1],$PRE.broker.requestTable[8,1],broker.requestTable[8,1],$PRE.broker.requestTable[7,1],broker.requestTable[7,1],$PRE.broker.requestTable[6,1],broker.requestTable[6,1],$PRE.broker.requestTable[5,1],broker.requestTable[5,1],$PRE.broker.requestTable[4,1],broker.requestTable[4,1],$PRE.broker.requestTable[3,1],broker.requestTable[3,1],$PRE.broker.requestTable[2,1],broker.requestTable[2,1],$PRE.broker.requestTable[1,1],broker.requestTable[1,1],$PRE.broker.restHeat,broker.restHeat,$PRE.broker.totalaveragePrice,broker.totalaveragePrice,$PRE.broker.heatingPriceSum,broker.heatingPriceSum,$PRE.broker.cheapest,broker.cheapest,$PRE.broker.heatingCalculationSum,broker.heatingCalculationSum,$PRE.broker.informationCounter,broker.informationCounter,$PRE.broker.proposalCounter,broker.proposalCounter,$PRE.broker.heatSupplierTable[2,7],broker.heatSupplierTable[2,7],$PRE.broker.heatSupplierTable[2,6],broker.heatSupplierTable[2,6],$PRE.broker.heatSupplierTable[2,5],broker.heatSupplierTable[2,5],$PRE.broker.heatSupplierTable[2,4],broker.heatSupplierTable[2,4],$PRE.broker.heatSupplierTable[2,3],broker.heatSupplierTable[2,3],$PRE.broker.heatSupplierTable[2,2],broker.heatSupplierTable[2,2],$PRE.broker.heatSupplierTable[2,1],broker.heatSupplierTable[2,1],$PRE.broker.heatSupplierTable[1,7],broker.heatSupplierTable[1,7],$PRE.broker.heatSupplierTable[1,6],broker.heatSupplierTable[1,6],$PRE.broker.heatSupplierTable[1,5],broker.heatSupplierTable[1,5],$PRE.broker.heatSupplierTable[1,4],broker.heatSupplierTable[1,4],$PRE.broker.heatSupplierTable[1,3],broker.heatSupplierTable[1,3],$PRE.broker.heatSupplierTable[1,2],broker.heatSupplierTable[1,2],$PRE.broker.heatSupplierTable[1,1],broker.heatSupplierTable[1,1],$PRE.broker.lowestPrice,broker.lowestPrice,$PRE.broker.counterReject,broker.counterReject,$PRE.broker.counter,broker.counter,broker.messageID.pkgOut[1].dummy,$PRE.broker.messageID.pkgOut[1].dummy,broker.getMessageID.dummy,$PRE.broker.getMessageID.dummy,broker.performative.pkgOut[1].dummy,$PRE.broker.performative.pkgOut[1].dummy,broker.getontology.dummy,$PRE.broker.getontology.dummy,broker.getontology.y[1],$PRE.broker.getontology.y[1],broker.getontology.pkgOut[1].dummy,$PRE.broker.getontology.pkgOut[1].dummy,broker.getreply_to.dummy,$PRE.broker.getreply_to.dummy,broker.getreply_to.y[1],$PRE.broker.getreply_to.y[1],broker.getreply_to.pkgOut[1].dummy,$PRE.broker.getreply_to.pkgOut[1].dummy,broker.getreceiver.dummy,$PRE.broker.getreceiver.dummy,broker.getreceiver.y[1],$PRE.broker.getreceiver.y[1],broker.getreceiver.pkgOut[1].dummy,$PRE.broker.getreceiver.pkgOut[1].dummy,broker.getsender.dummy,$PRE.broker.getsender.dummy,broker.getsender.pkgOut[1].dummy,$PRE.broker.getsender.pkgOut[1].dummy,broker.getperformative.dummy,$PRE.broker.getperformative.dummy,broker.getperformative.pkgOut[1].dummy,$PRE.broker.getperformative.pkgOut[1].dummy,broker.ontology.pkgOut[1].dummy,$PRE.broker.ontology.pkgOut[1].dummy,broker.reply_to.pkgOut[1].dummy,$PRE.broker.reply_to.pkgOut[1].dummy,broker.receiver.pkgOut[1].dummy,$PRE.broker.receiver.pkgOut[1].dummy,broker.sender.pkgOut[1].dummy,$PRE.broker.sender.pkgOut[1].dummy,$PRE.broker.uDPSend_adapted.dummy,broker.uDPSend_adapted.dummy,broker.uDPReceive_adapted.nRecvbufOverwrites,$PRE.broker.uDPReceive_adapted.nRecvbufOverwrites,broker.uDPReceive_adapted.nRecvBytes,$PRE.broker.uDPReceive_adapted.nRecvBytes,broker.uDPReceive_adapted.pkgOut.dummy,$PRE.broker.uDPReceive_adapted.pkgOut.dummy,broker.get_content.dummy,$PRE.broker.get_content.dummy,broker.get_content.y[2],$PRE.broker.get_content.y[2],broker.get_content.y[1],$PRE.broker.get_content.y[1],broker.get_content.pkgOut[1].dummy,$PRE.broker.get_content.pkgOut[1].dummy,broker.content.pkgOut[1].dummy,$PRE.broker.content.pkgOut[1].dummy,broker.packager.pkgOut.dummy,$PRE.broker.packager.pkgOut.dummy,heatProducerAgent1.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent1.messageID.pkgOut[1].dummy,heatProducerAgent1.getMessageID.dummy,$PRE.heatProducerAgent1.getMessageID.dummy,heatProducerAgent1.performative.pkgOut[1].dummy,$PRE.heatProducerAgent1.performative.pkgOut[1].dummy,heatProducerAgent1.getontology.dummy,$PRE.heatProducerAgent1.getontology.dummy,heatProducerAgent1.getontology.y[1],$PRE.heatProducerAgent1.getontology.y[1],heatProducerAgent1.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent1.getontology.pkgOut[1].dummy,heatProducerAgent1.getreply_to.dummy,$PRE.heatProducerAgent1.getreply_to.dummy,heatProducerAgent1.getreply_to.y[1],$PRE.heatProducerAgent1.getreply_to.y[1],heatProducerAgent1.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent1.getreply_to.pkgOut[1].dummy,heatProducerAgent1.getreceiver.dummy,$PRE.heatProducerAgent1.getreceiver.dummy,heatProducerAgent1.getreceiver.y[1],$PRE.heatProducerAgent1.getreceiver.y[1],heatProducerAgent1.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent1.getreceiver.pkgOut[1].dummy,heatProducerAgent1.getsender.dummy,$PRE.heatProducerAgent1.getsender.dummy,heatProducerAgent1.getsender.y[1],$PRE.heatProducerAgent1.getsender.y[1],heatProducerAgent1.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent1.getsender.pkgOut[1].dummy,heatProducerAgent1.getperformative.dummy,$PRE.heatProducerAgent1.getperformative.dummy,heatProducerAgent1.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent1.getperformative.pkgOut[1].dummy,heatProducerAgent1.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent1.ontology.pkgOut[1].dummy,heatProducerAgent1.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent1.reply_to.pkgOut[1].dummy,heatProducerAgent1.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent1.receiver.pkgOut[1].dummy,heatProducerAgent1.sender.pkgOut[1].dummy,$PRE.heatProducerAgent1.sender.pkgOut[1].dummy,$PRE.heatProducerAgent1.uDPSend_adapted.dummy,heatProducerAgent1.uDPSend_adapted.dummy,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,heatProducerAgent1.get_content.dummy,$PRE.heatProducerAgent1.get_content.dummy,heatProducerAgent1.get_content.y[2],$PRE.heatProducerAgent1.get_content.y[2],heatProducerAgent1.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent1.get_content.pkgOut[1].dummy,heatProducerAgent1.content.pkgOut[1].dummy,$PRE.heatProducerAgent1.content.pkgOut[1].dummy,heatProducerAgent1.packager.pkgOut.dummy,$PRE.heatProducerAgent1.packager.pkgOut.dummy,heatProducerAgent.messageID.pkgOut[1].dummy,$PRE.heatProducerAgent.messageID.pkgOut[1].dummy,heatProducerAgent.getMessageID.dummy,$PRE.heatProducerAgent.getMessageID.dummy,heatProducerAgent.performative.pkgOut[1].dummy,$PRE.heatProducerAgent.performative.pkgOut[1].dummy,heatProducerAgent.getontology.dummy,$PRE.heatProducerAgent.getontology.dummy,heatProducerAgent.getontology.y[1],$PRE.heatProducerAgent.getontology.y[1],heatProducerAgent.getontology.pkgOut[1].dummy,$PRE.heatProducerAgent.getontology.pkgOut[1].dummy,heatProducerAgent.getreply_to.dummy,$PRE.heatProducerAgent.getreply_to.dummy,heatProducerAgent.getreply_to.y[1],$PRE.heatProducerAgent.getreply_to.y[1],heatProducerAgent.getreply_to.pkgOut[1].dummy,$PRE.heatProducerAgent.getreply_to.pkgOut[1].dummy,heatProducerAgent.getreceiver.dummy,$PRE.heatProducerAgent.getreceiver.dummy,heatProducerAgent.getreceiver.y[1],$PRE.heatProducerAgent.getreceiver.y[1],heatProducerAgent.getreceiver.pkgOut[1].dummy,$PRE.heatProducerAgent.getreceiver.pkgOut[1].dummy,heatProducerAgent.getsender.dummy,$PRE.heatProducerAgent.getsender.dummy,heatProducerAgent.getsender.y[1],$PRE.heatProducerAgent.getsender.y[1],heatProducerAgent.getsender.pkgOut[1].dummy,$PRE.heatProducerAgent.getsender.pkgOut[1].dummy,heatProducerAgent.getperformative.dummy,$PRE.heatProducerAgent.getperformative.dummy,heatProducerAgent.getperformative.pkgOut[1].dummy,$PRE.heatProducerAgent.getperformative.pkgOut[1].dummy,heatProducerAgent.ontology.pkgOut[1].dummy,$PRE.heatProducerAgent.ontology.pkgOut[1].dummy,heatProducerAgent.reply_to.pkgOut[1].dummy,$PRE.heatProducerAgent.reply_to.pkgOut[1].dummy,heatProducerAgent.receiver.pkgOut[1].dummy,$PRE.heatProducerAgent.receiver.pkgOut[1].dummy,heatProducerAgent.sender.pkgOut[1].dummy,$PRE.heatProducerAgent.sender.pkgOut[1].dummy,$PRE.heatProducerAgent.uDPSend_adapted.dummy,heatProducerAgent.uDPSend_adapted.dummy,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,heatProducerAgent.get_content.dummy,$PRE.heatProducerAgent.get_content.dummy,heatProducerAgent.get_content.y[2],$PRE.heatProducerAgent.get_content.y[2],heatProducerAgent.get_content.pkgOut[1].dummy,$PRE.heatProducerAgent.get_content.pkgOut[1].dummy,heatProducerAgent.content.pkgOut[1].dummy,$PRE.heatProducerAgent.content.pkgOut[1].dummy,heatProducerAgent.packager.pkgOut.dummy,$PRE.heatProducerAgent.packager.pkgOut.dummy,roomAgent1.messageID.pkgOut[1].dummy,$PRE.roomAgent1.messageID.pkgOut[1].dummy,roomAgent1.getMessageID.dummy,$PRE.roomAgent1.getMessageID.dummy,roomAgent1.performative.pkgOut[1].dummy,$PRE.roomAgent1.performative.pkgOut[1].dummy,roomAgent1.getontology.dummy,$PRE.roomAgent1.getontology.dummy,roomAgent1.getontology.y[1],$PRE.roomAgent1.getontology.y[1],roomAgent1.getontology.pkgOut[1].dummy,$PRE.roomAgent1.getontology.pkgOut[1].dummy,roomAgent1.getreply_to.dummy,$PRE.roomAgent1.getreply_to.dummy,roomAgent1.getreply_to.y[1],$PRE.roomAgent1.getreply_to.y[1],roomAgent1.getreply_to.pkgOut[1].dummy,$PRE.roomAgent1.getreply_to.pkgOut[1].dummy,roomAgent1.getreceiver.dummy,$PRE.roomAgent1.getreceiver.dummy,roomAgent1.getreceiver.y[1],$PRE.roomAgent1.getreceiver.y[1],roomAgent1.getreceiver.pkgOut[1].dummy,$PRE.roomAgent1.getreceiver.pkgOut[1].dummy,roomAgent1.getsender.dummy,$PRE.roomAgent1.getsender.dummy,roomAgent1.getsender.y[1],$PRE.roomAgent1.getsender.y[1],roomAgent1.getsender.pkgOut[1].dummy,$PRE.roomAgent1.getsender.pkgOut[1].dummy,roomAgent1.getperformative.dummy,$PRE.roomAgent1.getperformative.dummy,roomAgent1.getperformative.pkgOut[1].dummy,$PRE.roomAgent1.getperformative.pkgOut[1].dummy,roomAgent1.ontology.pkgOut[1].dummy,$PRE.roomAgent1.ontology.pkgOut[1].dummy,roomAgent1.reply_to.pkgOut[1].dummy,$PRE.roomAgent1.reply_to.pkgOut[1].dummy,roomAgent1.receiver.pkgOut[1].dummy,$PRE.roomAgent1.receiver.pkgOut[1].dummy,roomAgent1.sender.pkgOut[1].dummy,$PRE.roomAgent1.sender.pkgOut[1].dummy,$PRE.roomAgent1.uDPSend_adapted.dummy,roomAgent1.uDPSend_adapted.dummy,roomAgent1.uDPReceive_adapted.nRecvbufOverwrites,$PRE.roomAgent1.uDPReceive_adapted.nRecvbufOverwrites,roomAgent1.uDPReceive_adapted.nRecvBytes,$PRE.roomAgent1.uDPReceive_adapted.nRecvBytes,roomAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.roomAgent1.uDPReceive_adapted.pkgOut.dummy,roomAgent1.get_content.dummy,$PRE.roomAgent1.get_content.dummy,roomAgent1.get_content.y[2],$PRE.roomAgent1.get_content.y[2],roomAgent1.get_content.y[1],$PRE.roomAgent1.get_content.y[1],roomAgent1.get_content.pkgOut[1].dummy,$PRE.roomAgent1.get_content.pkgOut[1].dummy,roomAgent1.content.pkgOut[1].dummy,$PRE.roomAgent1.content.pkgOut[1].dummy,roomAgent1.packager.pkgOut.dummy,$PRE.roomAgent1.packager.pkgOut.dummy,roomAgent.messageID.pkgOut[1].dummy,$PRE.roomAgent.messageID.pkgOut[1].dummy,roomAgent.getMessageID.dummy,$PRE.roomAgent.getMessageID.dummy,roomAgent.performative.pkgOut[1].dummy,$PRE.roomAgent.performative.pkgOut[1].dummy,roomAgent.getontology.dummy,$PRE.roomAgent.getontology.dummy,roomAgent.getontology.y[1],$PRE.roomAgent.getontology.y[1],roomAgent.getontology.pkgOut[1].dummy,$PRE.roomAgent.getontology.pkgOut[1].dummy,roomAgent.getreply_to.dummy,$PRE.roomAgent.getreply_to.dummy,roomAgent.getreply_to.y[1],$PRE.roomAgent.getreply_to.y[1],roomAgent.getreply_to.pkgOut[1].dummy,$PRE.roomAgent.getreply_to.pkgOut[1].dummy,roomAgent.getreceiver.dummy,$PRE.roomAgent.getreceiver.dummy,roomAgent.getreceiver.y[1],$PRE.roomAgent.getreceiver.y[1],roomAgent.getreceiver.pkgOut[1].dummy,$PRE.roomAgent.getreceiver.pkgOut[1].dummy,roomAgent.getsender.dummy,$PRE.roomAgent.getsender.dummy,roomAgent.getsender.y[1],$PRE.roomAgent.getsender.y[1],roomAgent.getsender.pkgOut[1].dummy,$PRE.roomAgent.getsender.pkgOut[1].dummy,roomAgent.getperformative.dummy,$PRE.roomAgent.getperformative.dummy,roomAgent.getperformative.pkgOut[1].dummy,$PRE.roomAgent.getperformative.pkgOut[1].dummy,roomAgent.ontology.pkgOut[1].dummy,$PRE.roomAgent.ontology.pkgOut[1].dummy,roomAgent.reply_to.pkgOut[1].dummy,$PRE.roomAgent.reply_to.pkgOut[1].dummy,roomAgent.receiver.pkgOut[1].dummy,$PRE.roomAgent.receiver.pkgOut[1].dummy,roomAgent.sender.pkgOut[1].dummy,$PRE.roomAgent.sender.pkgOut[1].dummy,$PRE.roomAgent.uDPSend_adapted.dummy,roomAgent.uDPSend_adapted.dummy,roomAgent.uDPReceive_adapted.nRecvbufOverwrites,$PRE.roomAgent.uDPReceive_adapted.nRecvbufOverwrites,roomAgent.uDPReceive_adapted.nRecvBytes,$PRE.roomAgent.uDPReceive_adapted.nRecvBytes,roomAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.roomAgent.uDPReceive_adapted.pkgOut.dummy,roomAgent.get_content.dummy,$PRE.roomAgent.get_content.dummy,roomAgent.get_content.y[2],$PRE.roomAgent.get_content.y[2],roomAgent.get_content.y[1],$PRE.roomAgent.get_content.y[1],roomAgent.get_content.pkgOut[1].dummy,$PRE.roomAgent.get_content.pkgOut[1].dummy,roomAgent.content.pkgOut[1].dummy,$PRE.roomAgent.content.pkgOut[1].dummy,roomAgent.packager.pkgOut.dummy,$PRE.roomAgent.packager.pkgOut.dummy,$PRE.InternalHeatGain.nextTimeEvent,$whenCondition96,$PRE.heatProducerAgent.calcCapacityInternal,heatProducerAgent.calcCapacityInternal,$PRE.heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.calcCapacityInternal,$PRE.heatProducerAgent.setCapacity,heatProducerAgent.and1.u2,heatProducerAgent.setCapacity,$PRE.heatProducerAgent1.setCapacity,heatProducerAgent1.and1.u2,heatProducerAgent1.setCapacity,heatProducerAgent1.and1.u1,heatProducerAgent1.not2.y,heatProducerAgent.and1.u1,heatProducerAgent.not2.y,broker.reset4.condition,broker.reset3.condition,broker.reset2.condition,broker.reset1.condition,broker.reset.condition,broker.transition3.condition,broker.abort.condition,broker.transition7.condition,broker.transition6.condition,broker.transition4.condition,broker.transition2.condition,broker.requestNoted.condition,broker.transition1.condition,broker.transition.condition,broker.waitforRequests.condition,broker.stateGraphRoot.resume,broker.stateGraphRoot.suspend,booleanExpression.y,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,roomAgent1.reset.condition,roomAgent1.transition1.condition,roomAgent1.confirmNoted.condition,roomAgent1.transition4.condition,roomAgent1.transition2.condition,roomAgent1.repeat1.condition,roomAgent1.repeat.condition,roomAgent1.requestNoted.condition,roomAgent1.stateGraphRoot.resume,roomAgent1.stateGraphRoot.suspend,roomAgent.reset.condition,roomAgent.transition1.condition,roomAgent.confirmNoted.condition,roomAgent.transition4.condition,roomAgent.transition2.condition,roomAgent.repeat1.condition,roomAgent.repeat.condition,roomAgent.requestNoted.condition,roomAgent.stateGraphRoot.resume,roomAgent.stateGraphRoot.suspend,heatProducerAgent.Off.localCondition,heatProducerAgent1.Off.localCondition,volume.regularFlow[1],volume.regularFlow[2],volume1.regularFlow[1],volume1.regularFlow[2],volume1.inFlow[2],volume1.inFlow[1],volume.inFlow[2],volume.inFlow[1],$PRE.broker.proposalsComplete,$PRE.broker.requestsExceedSupply,$PRE.broker.heatingRequestSum,$PRE.broker.calculationDone,$PRE.broker.informationDone,$PRE.broker.finalRequestDone,weaDat.conTim.canRepeatWeatherFile,weaDat.conTimMin.canRepeatWeatherFile,$PRE.broker.reset4.t_start,$PRE.broker.enoughSupply1.t_start,$PRE.broker.limitedSupplyAbort.oldActive,$PRE.broker.limitedSupplyAbort.newActive,$PRE.broker.limitedSupplyAbort.localActive,$PRE.broker.enoughSupply.t_start,$PRE.broker.checkAvailability.oldActive,$PRE.broker.checkAvailability.newActive,$PRE.broker.checkAvailability.localActive,$PRE.broker.reset3.t_start,$PRE.broker.reset2.t_start,$PRE.broker.reset1.t_start,$PRE.broker.reset.t_start,$PRE.broker.transition3.t_start,$PRE.broker.prepareTableforRejections.oldActive,$PRE.broker.prepareTableforRejections.newActive,$PRE.broker.prepareTableforRejections.localActive,$PRE.broker.abort.t_start,$PRE.broker.checkRequestComplete.oldActive,$PRE.broker.checkRequestComplete.newActive,$PRE.broker.checkRequestComplete.localActive,$PRE.broker.transition7.t_start,$PRE.broker.computeFinalConstellation.oldActive,$PRE.broker.computeFinalConstellation.newActive,$PRE.broker.computeFinalConstellation.localActive,$PRE.broker.sendInformation.oldActive,$PRE.broker.sendInformation.newActive,$PRE.broker.sendInformation.localActive,$PRE.broker.transition6.t_start,$PRE.broker.transition5.t_start,$PRE.broker.computePrice.oldActive,$PRE.broker.computePrice.newActive,$PRE.broker.computePrice.localActive,$PRE.broker.collectConfirm.oldActive,$PRE.broker.collectConfirm.newActive,$PRE.broker.collectConfirm.localActive,$PRE.broker.check2.oldActive,$PRE.broker.check2.newActive,$PRE.broker.check2.localActive,$PRE.broker.composeInformation.oldActive,$PRE.broker.composeInformation.newActive,$PRE.broker.composeInformation.localActive,$PRE.broker.transition4.t_start,$PRE.broker.sendNotUnderstood.oldActive,$PRE.broker.sendNotUnderstood.newActive,$PRE.broker.sendNotUnderstood.localActive,$PRE.broker.transition2.t_start,$PRE.broker.composeNotUnderstood.oldActive,$PRE.broker.composeNotUnderstood.newActive,$PRE.broker.composeNotUnderstood.localActive,$PRE.broker.transitionWithSignal3.t_start,$PRE.broker.sendConfirmation.oldActive,$PRE.broker.sendConfirmation.newActive,$PRE.broker.sendConfirmation.localActive,$PRE.broker.requestNoted.t_start,$PRE.broker.check1.oldActive,$PRE.broker.check1.newActive,$PRE.broker.check1.localActive,$PRE.broker.check.oldActive,$PRE.broker.check.newActive,$PRE.broker.check.localActive,$PRE.broker.transition1.t_start,$PRE.broker.sendRequest.oldActive,$PRE.broker.sendRequest.newActive,$PRE.broker.sendRequest.localActive,$PRE.broker.transition.t_start,$PRE.broker.sendCall.oldActive,$PRE.broker.sendCall.newActive,$PRE.broker.sendCall.localActive,$PRE.broker.notFinished.t_start,$PRE.broker.sendOutRequest.oldActive,$PRE.broker.sendOutRequest.newActive,$PRE.broker.sendOutRequest.localActive,$PRE.broker.allProposalsCollected.t_start,$PRE.broker.collectProposal.oldActive,$PRE.broker.collectProposal.newActive,$PRE.broker.collectProposal.localActive,$PRE.broker.callForProposal.oldActive,$PRE.broker.callForProposal.newActive,$PRE.broker.callForProposal.localActive,$PRE.broker.waitforRequests.t_start,$PRE.broker.requests.oldActive,$PRE.broker.requests.newActive,$PRE.broker.requests.localActive,$PRE.broker.integerChange.u,$PRE.broker.message.oldActive,$PRE.broker.message.newActive,$PRE.broker.message.localActive,$PRE.broker.waiting.oldActive,$PRE.broker.waiting.newActive,$PRE.broker.waiting.localActive,$PRE.broker.sendSample.edge4.u,$PRE.broker.sendSample.edge3.u,$PRE.broker.sendSample.edge2.u,$PRE.broker.sendSample.edge1.u,$PRE.broker.receiver.u[1],$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,$PRE.heatProducerAgent1.sendSample.edge4.u,$PRE.heatProducerAgent1.sendSample.edge3.u,$PRE.heatProducerAgent1.sendSample.edge2.u,$PRE.heatProducerAgent1.sendSample.edge1.u,$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,$PRE.heatProducerAgent.sendSample.edge4.u,$PRE.heatProducerAgent.sendSample.edge3.u,$PRE.heatProducerAgent.sendSample.edge2.u,$PRE.heatProducerAgent.sendSample.edge1.u,$PRE.roomAgent1.reset.t_start,$PRE.roomAgent1.waitForInform.oldActive,$PRE.roomAgent1.waitForInform.newActive,$PRE.roomAgent1.waitForInform.localActive,$PRE.roomAgent1.transition1.t_start,$PRE.roomAgent1.confirmNoted.t_start,$PRE.roomAgent1.sendConfirm.oldActive,$PRE.roomAgent1.sendConfirm.newActive,$PRE.roomAgent1.sendConfirm.localActive,$PRE.roomAgent1.composeConfirm.oldActive,$PRE.roomAgent1.composeConfirm.newActive,$PRE.roomAgent1.composeConfirm.localActive,$PRE.roomAgent1.transition4.t_start,$PRE.roomAgent1.sendNotUnderstood.oldActive,$PRE.roomAgent1.sendNotUnderstood.newActive,$PRE.roomAgent1.sendNotUnderstood.localActive,$PRE.roomAgent1.transition2.t_start,$PRE.roomAgent1.composeNotUnderstood.oldActive,$PRE.roomAgent1.composeNotUnderstood.newActive,$PRE.roomAgent1.composeNotUnderstood.localActive,$PRE.roomAgent1.repeat1.t_start,$PRE.roomAgent1.state.oldActive,$PRE.roomAgent1.state.newActive,$PRE.roomAgent1.state.localActive,$PRE.roomAgent1.repeat.t_start,$PRE.roomAgent1.sendRequest.oldActive,$PRE.roomAgent1.sendRequest.newActive,$PRE.roomAgent1.sendRequest.localActive,$PRE.roomAgent1.requestNoted.t_start,$PRE.roomAgent1.composeRequest.oldActive,$PRE.roomAgent1.composeRequest.newActive,$PRE.roomAgent1.composeRequest.localActive,$PRE.roomAgent1.integerChange.u,$PRE.roomAgent1.waiting.oldActive,$PRE.roomAgent1.waiting.newActive,$PRE.roomAgent1.waiting.localActive,$PRE.roomAgent1.sendSample.edge4.u,$PRE.roomAgent1.sendSample.edge3.u,$PRE.roomAgent1.sendSample.edge2.u,$PRE.roomAgent1.sendSample.edge1.u,$PRE.roomAgent.reset.t_start,$PRE.roomAgent.waitForInform.oldActive,$PRE.roomAgent.waitForInform.newActive,$PRE.roomAgent.waitForInform.localActive,$PRE.roomAgent.transition1.t_start,$PRE.roomAgent.confirmNoted.t_start,$PRE.roomAgent.sendConfirm.oldActive,$PRE.roomAgent.sendConfirm.newActive,$PRE.roomAgent.sendConfirm.localActive,$PRE.roomAgent.composeConfirm.oldActive,$PRE.roomAgent.composeConfirm.newActive,$PRE.roomAgent.composeConfirm.localActive,$PRE.roomAgent.transition4.t_start,$PRE.roomAgent.sendNotUnderstood.oldActive,$PRE.roomAgent.sendNotUnderstood.newActive,$PRE.roomAgent.sendNotUnderstood.localActive,$PRE.roomAgent.transition2.t_start,$PRE.roomAgent.composeNotUnderstood.oldActive,$PRE.roomAgent.composeNotUnderstood.newActive,$PRE.roomAgent.composeNotUnderstood.localActive,$PRE.roomAgent.repeat1.t_start,$PRE.roomAgent.state.oldActive,$PRE.roomAgent.state.newActive,$PRE.roomAgent.state.localActive,$PRE.roomAgent.repeat.t_start,$PRE.roomAgent.sendRequest.oldActive,$PRE.roomAgent.sendRequest.newActive,$PRE.roomAgent.sendRequest.localActive,$PRE.roomAgent.requestNoted.t_start,$PRE.roomAgent.composeRequest.oldActive,$PRE.roomAgent.composeRequest.newActive,$PRE.roomAgent.composeRequest.localActive,$PRE.roomAgent.integerChange.u,$PRE.roomAgent.waiting.oldActive,$PRE.roomAgent.waiting.newActive,$PRE.roomAgent.waiting.localActive,$PRE.roomAgent.sendSample.edge4.u,$PRE.roomAgent.sendSample.edge3.u,$PRE.roomAgent.sendSample.edge2.u,$PRE.roomAgent.sendSample.edge1.u,heatProducerAgent1.Off.enableFire,heatProducerAgent.Off.enableFire,InternalHeatGain.nextTimeEventScaled,$PRE.InternalHeatGain.nextTimeEventScaled,InternalHeatGain.nextTimeEvent,weaDat.decAng.tNext,$PRE.weaDat.decAng.tNext,weaDat.eqnTim.tNext,$PRE.weaDat.eqnTim.tNext,weaDat.conTim.tNext,$PRE.weaDat.conTim.tNext,weaDat.conTimMin.tNext,$PRE.weaDat.conTimMin.tNext,weaDat.locTim.tNext,$PRE.weaDat.locTim.tNext,broker.reset4.t_start,broker.reset4.fire,broker.reset4.enableFire,broker.enoughSupply1.t_start,broker.enoughSupply1.fire,broker.enoughSupply1.enableFire,broker.limitedSupplyAbort.oldActive,broker.limitedSupplyAbort.newActive,broker.limitedSupplyAbort.localActive,broker.limitedSupplyAbort.active,broker.enoughSupply.t_start,broker.enoughSupply.fire,broker.enoughSupply.enableFire,broker.checkAvailability.oldActive,broker.checkAvailability.newActive,broker.checkAvailability.outPort[2].available,broker.checkAvailability.localActive,broker.checkAvailability.active,broker.reset3.t_start,broker.reset3.fire,broker.reset3.enableFire,broker.reset2.t_start,broker.reset2.fire,broker.reset2.enableFire,broker.reset1.t_start,broker.reset1.fire,broker.reset1.enableFire,broker.reset.t_start,broker.reset.fire,broker.reset.enableFire,broker.transition3.t_start,broker.transition3.fire,broker.transition3.enableFire,broker.prepareTableforRejections.oldActive,broker.prepareTableforRejections.newActive,broker.prepareTableforRejections.localActive,broker.prepareTableforRejections.active,broker.abort.t_start,broker.abort.fire,broker.abort.enableFire,broker.or4.u1,broker.or2.y,broker.or1.y,broker.confirmNotComplete.enableFire,broker.requestsNotComplete.enableFire,broker.requestsComplete.enableFire,broker.checkRequestComplete.oldActive,broker.checkRequestComplete.newActive,broker.checkRequestComplete.outPort[2].available,broker.checkRequestComplete.localActive,broker.checkRequestComplete.active,broker.transition7.t_start,broker.transition7.fire,broker.transition7.enableFire,broker.computeFinalConstellation.oldActive,broker.computeFinalConstellation.newActive,broker.computeFinalConstellation.localActive,broker.computeFinalConstellation.active,broker.confirmComplete.enableFire,broker.confirmComplete.localCondition,broker.sendInformation.active,broker.sendInformation.oldActive,broker.sendInformation.newActive,broker.sendInformation.localActive,broker.transition6.t_start,broker.transition6.fire,broker.transition6.enableFire,broker.transition5.t_start,broker.transition5.fire,broker.transition5.enableFire,broker.computePrice.oldActive,broker.computePrice.newActive,broker.computePrice.localActive,broker.computePrice.active,broker.collectConfirm.oldActive,broker.collectConfirm.newActive,broker.collectConfirm.outPort[3].available,broker.collectConfirm.outPort[2].available,broker.collectConfirm.localActive,broker.collectConfirm.active,broker.correctPerformative2.enableFire,broker.correctPerformative2.localCondition,broker.check2.oldActive,broker.check2.newActive,broker.check2.outPort[2].available,broker.check2.localActive,broker.check2.active,broker.newConfirm.enableFire,broker.newConfirm.localCondition,broker.composeInformation.oldActive,broker.composeInformation.newActive,broker.composeInformation.inPort[2].occupied,broker.composeInformation.localActive,broker.composeInformation.active,broker.transition4.t_start,broker.transition4.fire,broker.transition4.enableFire,broker.sendNotUnderstood.active,broker.sendNotUnderstood.oldActive,broker.sendNotUnderstood.newActive,broker.sendNotUnderstood.localActive,broker.transition2.t_start,broker.transition2.fire,broker.transition2.enableFire,broker.composeNotUnderstood.oldActive,broker.composeNotUnderstood.newActive,broker.composeNotUnderstood.localActive,broker.composeNotUnderstood.active,broker.transitionWithSignal3.t_start,broker.transitionWithSignal3.fire,broker.transitionWithSignal3.enableFire,broker.transitionWithSignal3.localCondition,broker.actionConfirmed.enableFire,broker.actionConfirmed.localCondition,broker.sendConfirmation.active,broker.sendConfirmation.oldActive,broker.sendConfirmation.newActive,broker.sendConfirmation.outPort[2].available,broker.sendConfirmation.localActive,broker.requestNoted.t_start,broker.requestNoted.fire,broker.requestNoted.enableFire,broker.correctPerformative1.enableFire,broker.correctPerformative1.localCondition,broker.check1.oldActive,broker.check1.newActive,broker.check1.localActive,broker.check1.active,broker.correctPerformative.enableFire,broker.correctPerformative.localCondition,broker.check.oldActive,broker.check.newActive,broker.check.outPort[2].available,broker.check.localActive,broker.check.active,broker.transition1.t_start,broker.transition1.fire,broker.transition1.enableFire,broker.sendRequest.active,broker.sendRequest.oldActive,broker.sendRequest.newActive,broker.sendRequest.outPort[2].available,broker.sendRequest.localActive,broker.transition.t_start,broker.transition.fire,broker.transition.enableFire,broker.sendCall.active,broker.sendCall.oldActive,broker.sendCall.newActive,broker.sendCall.outPort[2].available,broker.sendCall.localActive,broker.notFinished.t_start,broker.notFinished.fire,broker.notFinished.enableFire,broker.sendOutRequest.oldActive,broker.sendOutRequest.newActive,broker.sendOutRequest.inPort[3].occupied,broker.sendOutRequest.inPort[2].occupied,broker.sendOutRequest.localActive,broker.sendOutRequest.active,broker.allProposalsCollected.t_start,broker.allProposalsCollected.fire,broker.allProposalsCollected.enableFire,broker.collectProposal.oldActive,broker.collectProposal.newActive,broker.collectProposal.outPort[2].available,broker.collectProposal.localActive,broker.collectProposal.active,broker.newProposal.enableFire,broker.callForProposal.oldActive,broker.callForProposal.newActive,broker.callForProposal.inPort[2].occupied,broker.callForProposal.localActive,broker.callForProposal.active,broker.newRequests.enableFire,broker.waitforRequests.t_start,broker.waitforRequests.fire,broker.waitforRequests.enableFire,broker.requests.oldActive,broker.requests.newActive,broker.requests.inPort[2].occupied,broker.requests.localActive,broker.requests.active,broker.transitionWithSignal.enableFire,broker.integerChange.u,broker.message.oldActive,broker.message.newActive,broker.message.outPort[2].available,broker.message.localActive,broker.message.active,broker.newMessage.enableFire,broker.waiting.oldActive,broker.waiting.newActive,broker.waiting.inPort[7].occupied,broker.waiting.inPort[6].occupied,broker.waiting.inPort[5].occupied,broker.waiting.inPort[4].occupied,broker.waiting.inPort[3].occupied,broker.waiting.inPort[2].occupied,broker.waiting.localActive,broker.waiting.active,broker.finalRequestDone,broker.informationDone,broker.calculationDone,broker.heatingRequestSum,broker.requestsExceedSupply,broker.proposalsComplete,broker.sendSample.edge4.u,broker.sendSample.edge3.u,broker.sendSample.edge2.u,broker.sendSample.edge1.u,broker.sendSample.onDelay7.t_next,broker.sendSample.onDelay7.delaySignal,broker.sendSample.onDelay7.u,broker.sendSample.onDelay6.t_next,broker.sendSample.onDelay6.delaySignal,broker.sendSample.onDelay6.u,broker.sendSample.onDelay5.t_next,broker.sendSample.onDelay5.delaySignal,broker.sendSample.onDelay5.u,broker.sendSample.onDelay4.t_next,broker.sendSample.onDelay4.delaySignal,broker.sendSample.onDelay4.u,broker.sendSample.or1.u[4],broker.sendSample.or1.u[3],broker.sendSample.or1.u[2],broker.sendSample.or1.u[1],broker.stateGraphRoot.activeSteps,broker.messageID.pkgOut[1].trigger,broker.getMessageID.y[1],$PRE.broker.getMessageID.y[1],broker.getsender.y[1],$PRE.broker.getsender.y[1],broker.getperformative.y[1],$PRE.broker.getperformative.y[1],broker.receiver.u[1],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.sendSample.edge4.u,heatProducerAgent1.sendSample.edge3.u,heatProducerAgent1.sendSample.edge2.u,heatProducerAgent1.sendSample.edge1.u,heatProducerAgent1.sendSample.onDelay7.t_next,heatProducerAgent1.sendSample.onDelay7.delaySignal,heatProducerAgent1.sendSample.onDelay7.u,heatProducerAgent1.sendSample.onDelay6.t_next,heatProducerAgent1.sendSample.onDelay6.delaySignal,heatProducerAgent1.sendSample.onDelay6.u,heatProducerAgent1.sendSample.onDelay5.t_next,heatProducerAgent1.sendSample.onDelay5.delaySignal,heatProducerAgent1.sendSample.onDelay5.u,heatProducerAgent1.sendSample.onDelay4.t_next,heatProducerAgent1.sendSample.onDelay4.delaySignal,heatProducerAgent1.sendSample.onDelay4.u,heatProducerAgent1.sendSample.or1.u[4],heatProducerAgent1.sendSample.or1.u[3],heatProducerAgent1.sendSample.or1.u[2],heatProducerAgent1.sendSample.or1.u[1],heatProducerAgent1.stateGraphRoot.activeSteps,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],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.sendSample.edge4.u,heatProducerAgent.sendSample.edge3.u,heatProducerAgent.sendSample.edge2.u,heatProducerAgent.sendSample.edge1.u,heatProducerAgent.sendSample.onDelay7.t_next,heatProducerAgent.sendSample.onDelay7.delaySignal,heatProducerAgent.sendSample.onDelay7.u,heatProducerAgent.sendSample.onDelay6.t_next,heatProducerAgent.sendSample.onDelay6.delaySignal,heatProducerAgent.sendSample.onDelay6.u,heatProducerAgent.sendSample.onDelay5.t_next,heatProducerAgent.sendSample.onDelay5.delaySignal,heatProducerAgent.sendSample.onDelay5.u,heatProducerAgent.sendSample.onDelay4.t_next,heatProducerAgent.sendSample.onDelay4.delaySignal,heatProducerAgent.sendSample.onDelay4.u,heatProducerAgent.sendSample.or1.u[4],heatProducerAgent.sendSample.or1.u[3],heatProducerAgent.sendSample.or1.u[2],heatProducerAgent.sendSample.or1.u[1],heatProducerAgent.stateGraphRoot.activeSteps,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],messageNotification.y,messageNotification.receive[5],messageNotification.receive[4],messageNotification.receive[3],messageNotification.receive[2],messageNotification.receive[1],roomAgent1.reset.t_start,roomAgent1.reset.fire,roomAgent1.reset.enableFire,roomAgent1.rightMessage1.enableFire,roomAgent1.rightMessage1.localCondition,roomAgent1.waitForInform.oldActive,roomAgent1.waitForInform.newActive,roomAgent1.waitForInform.outPort[2].available,roomAgent1.waitForInform.localActive,roomAgent1.waitForInform.active,roomAgent1.transition1.t_start,roomAgent1.transition1.fire,roomAgent1.transition1.enableFire,roomAgent1.confirmNoted.t_start,roomAgent1.confirmNoted.fire,roomAgent1.confirmNoted.enableFire,roomAgent1.sendConfirm.active,roomAgent1.sendConfirm.oldActive,roomAgent1.sendConfirm.newActive,roomAgent1.sendConfirm.localActive,roomAgent1.composeConfirm.oldActive,roomAgent1.composeConfirm.newActive,roomAgent1.composeConfirm.localActive,roomAgent1.composeConfirm.active,roomAgent1.or2.y,roomAgent1.transition4.t_start,roomAgent1.transition4.fire,roomAgent1.transition4.enableFire,roomAgent1.sendNotUnderstood.active,roomAgent1.sendNotUnderstood.oldActive,roomAgent1.sendNotUnderstood.newActive,roomAgent1.sendNotUnderstood.localActive,roomAgent1.transition2.t_start,roomAgent1.transition2.fire,roomAgent1.transition2.enableFire,roomAgent1.composeNotUnderstood.oldActive,roomAgent1.composeNotUnderstood.newActive,roomAgent1.composeNotUnderstood.localActive,roomAgent1.composeNotUnderstood.active,roomAgent1.repeat1.t_start,roomAgent1.repeat1.fire,roomAgent1.repeat1.enableFire,roomAgent1.rightMessage.enableFire,roomAgent1.rightMessage.localCondition,roomAgent1.state.oldActive,roomAgent1.state.newActive,roomAgent1.state.outPort[2].available,roomAgent1.state.localActive,roomAgent1.state.active,roomAgent1.repeat.t_start,roomAgent1.repeat.fire,roomAgent1.repeat.enableFire,roomAgent1.newMessage1.enableFire,roomAgent1.newMessage1.localCondition,roomAgent1.sendRequest.active,roomAgent1.sendRequest.oldActive,roomAgent1.sendRequest.newActive,roomAgent1.sendRequest.outPort[2].available,roomAgent1.sendRequest.localActive,roomAgent1.requestNoted.t_start,roomAgent1.requestNoted.fire,roomAgent1.requestNoted.enableFire,roomAgent1.composeRequest.oldActive,roomAgent1.composeRequest.newActive,roomAgent1.composeRequest.inPort[3].occupied,roomAgent1.composeRequest.inPort[2].occupied,roomAgent1.composeRequest.localActive,roomAgent1.composeRequest.active,roomAgent1.transitionWithSignal.enableFire,roomAgent1.transitionWithSignal.localCondition,roomAgent1.integerChange.u,roomAgent1.newMessage.enableFire,roomAgent1.waiting.oldActive,roomAgent1.waiting.newActive,roomAgent1.waiting.outPort[2].available,roomAgent1.waiting.inPort[3].occupied,roomAgent1.waiting.inPort[2].occupied,roomAgent1.waiting.localActive,roomAgent1.waiting.active,roomAgent1.actionTrigger.u2,roomAgent1.or1.y,roomAgent1.T_too_low.y,roomAgent1.T_too_high.y,roomAgent1.sendSample.edge4.u,roomAgent1.sendSample.edge3.u,roomAgent1.sendSample.edge2.u,roomAgent1.sendSample.edge1.u,roomAgent1.sendSample.onDelay7.t_next,roomAgent1.sendSample.onDelay7.delaySignal,roomAgent1.sendSample.onDelay7.u,roomAgent1.sendSample.onDelay6.t_next,roomAgent1.sendSample.onDelay6.delaySignal,roomAgent1.sendSample.onDelay6.u,roomAgent1.sendSample.onDelay5.t_next,roomAgent1.sendSample.onDelay5.delaySignal,roomAgent1.sendSample.onDelay5.u,roomAgent1.sendSample.onDelay4.t_next,roomAgent1.sendSample.onDelay4.delaySignal,roomAgent1.sendSample.onDelay4.u,roomAgent1.sendSample.or1.u[4],roomAgent1.sendSample.or1.u[3],roomAgent1.sendSample.or1.u[2],roomAgent1.sendSample.or1.u[1],roomAgent1.stateGraphRoot.activeSteps,roomAgent1.messageID.pkgOut[1].trigger,roomAgent1.getMessageID.y[1],$PRE.roomAgent1.getMessageID.y[1],roomAgent1.getperformative.y[1],$PRE.roomAgent1.getperformative.y[1],roomAgent.reset.t_start,roomAgent.reset.fire,roomAgent.reset.enableFire,roomAgent.rightMessage1.enableFire,roomAgent.rightMessage1.localCondition,roomAgent.waitForInform.oldActive,roomAgent.waitForInform.newActive,roomAgent.waitForInform.outPort[2].available,roomAgent.waitForInform.localActive,roomAgent.waitForInform.active,roomAgent.transition1.t_start,roomAgent.transition1.fire,roomAgent.transition1.enableFire,roomAgent.confirmNoted.t_start,roomAgent.confirmNoted.fire,roomAgent.confirmNoted.enableFire,roomAgent.sendConfirm.active,roomAgent.sendConfirm.oldActive,roomAgent.sendConfirm.newActive,roomAgent.sendConfirm.localActive,roomAgent.composeConfirm.oldActive,roomAgent.composeConfirm.newActive,roomAgent.composeConfirm.localActive,roomAgent.composeConfirm.active,roomAgent.or2.y,roomAgent.transition4.t_start,roomAgent.transition4.fire,roomAgent.transition4.enableFire,roomAgent.sendNotUnderstood.active,roomAgent.sendNotUnderstood.oldActive,roomAgent.sendNotUnderstood.newActive,roomAgent.sendNotUnderstood.localActive,roomAgent.transition2.t_start,roomAgent.transition2.fire,roomAgent.transition2.enableFire,roomAgent.composeNotUnderstood.oldActive,roomAgent.composeNotUnderstood.newActive,roomAgent.composeNotUnderstood.localActive,roomAgent.composeNotUnderstood.active,roomAgent.repeat1.t_start,roomAgent.repeat1.fire,roomAgent.repeat1.enableFire,roomAgent.rightMessage.enableFire,roomAgent.rightMessage.localCondition,roomAgent.state.oldActive,roomAgent.state.newActive,roomAgent.state.outPort[2].available,roomAgent.state.localActive,roomAgent.state.active,roomAgent.repeat.t_start,roomAgent.repeat.fire,roomAgent.repeat.enableFire,roomAgent.newMessage1.enableFire,roomAgent.newMessage1.localCondition,roomAgent.sendRequest.active,roomAgent.sendRequest.oldActive,roomAgent.sendRequest.newActive,roomAgent.sendRequest.outPort[2].available,roomAgent.sendRequest.localActive,roomAgent.requestNoted.t_start,roomAgent.requestNoted.fire,roomAgent.requestNoted.enableFire,roomAgent.composeRequest.oldActive,roomAgent.composeRequest.newActive,roomAgent.composeRequest.inPort[3].occupied,roomAgent.composeRequest.inPort[2].occupied,roomAgent.composeRequest.localActive,roomAgent.composeRequest.active,roomAgent.transitionWithSignal.enableFire,roomAgent.transitionWithSignal.localCondition,roomAgent.integerChange.u,roomAgent.newMessage.enableFire,roomAgent.waiting.oldActive,roomAgent.waiting.newActive,roomAgent.waiting.outPort[2].available,roomAgent.waiting.inPort[3].occupied,roomAgent.waiting.inPort[2].occupied,roomAgent.waiting.localActive,roomAgent.waiting.active,roomAgent.actionTrigger.u2,roomAgent.or1.y,roomAgent.T_too_low.y,roomAgent.T_too_high.y,roomAgent.sendSample.edge4.u,roomAgent.sendSample.edge3.u,roomAgent.sendSample.edge2.u,roomAgent.sendSample.edge1.u,roomAgent.sendSample.onDelay7.t_next,roomAgent.sendSample.onDelay7.delaySignal,roomAgent.sendSample.onDelay7.u,roomAgent.sendSample.onDelay6.t_next,roomAgent.sendSample.onDelay6.delaySignal,roomAgent.sendSample.onDelay6.u,roomAgent.sendSample.onDelay5.t_next,roomAgent.sendSample.onDelay5.delaySignal,roomAgent.sendSample.onDelay5.u,roomAgent.sendSample.onDelay4.t_next,roomAgent.sendSample.onDelay4.delaySignal,roomAgent.sendSample.onDelay4.u,roomAgent.sendSample.or1.u[4],roomAgent.sendSample.or1.u[3],roomAgent.sendSample.or1.u[2],roomAgent.sendSample.or1.u[1],roomAgent.stateGraphRoot.activeSteps,roomAgent.messageID.pkgOut[1].trigger,roomAgent.getMessageID.y[1],$PRE.roomAgent.getMessageID.y[1],roomAgent.getperformative.y[1],$PRE.roomAgent.getperformative.y[1],thermalZone1.HDifTilRoof[1].incAng.decAng.tNext,$PRE.thermalZone1.HDifTilRoof[1].incAng.decAng.tNext,thermalZone1.simpleExternalShading.greaterShadingThreshold[5].y,thermalZone1.simpleExternalShading.greaterShadingThreshold[4].y,thermalZone1.simpleExternalShading.greaterShadingThreshold[3].y,thermalZone1.simpleExternalShading.greaterShadingThreshold[2].y,thermalZone1.simpleExternalShading.greaterShadingThreshold[1].y,thermalZone1.HDirTilRoof[1].incAng.decAng.tNext,$PRE.thermalZone1.HDirTilRoof[1].incAng.decAng.tNext,thermalZone1.HDirTilWall[5].incAng.decAng.tNext,$PRE.thermalZone1.HDirTilWall[5].incAng.decAng.tNext,thermalZone1.HDirTilWall[4].incAng.decAng.tNext,$PRE.thermalZone1.HDirTilWall[4].incAng.decAng.tNext,thermalZone1.HDirTilWall[3].incAng.decAng.tNext,$PRE.thermalZone1.HDirTilWall[3].incAng.decAng.tNext,thermalZone1.HDirTilWall[2].incAng.decAng.tNext,$PRE.thermalZone1.HDirTilWall[2].incAng.decAng.tNext,thermalZone1.HDirTilWall[1].incAng.decAng.tNext,$PRE.thermalZone1.HDirTilWall[1].incAng.decAng.tNext,thermalZone1.HDifTilWall[5].incAng.decAng.tNext,$PRE.thermalZone1.HDifTilWall[5].incAng.decAng.tNext,thermalZone1.HDifTilWall[4].incAng.decAng.tNext,$PRE.thermalZone1.HDifTilWall[4].incAng.decAng.tNext,thermalZone1.HDifTilWall[3].incAng.decAng.tNext,$PRE.thermalZone1.HDifTilWall[3].incAng.decAng.tNext,thermalZone1.HDifTilWall[2].incAng.decAng.tNext,$PRE.thermalZone1.HDifTilWall[2].incAng.decAng.tNext,thermalZone1.HDifTilWall[1].incAng.decAng.tNext,$PRE.thermalZone1.HDifTilWall[1].incAng.decAng.tNext,thermalZone.HDifTilRoof[1].incAng.decAng.tNext,$PRE.thermalZone.HDifTilRoof[1].incAng.decAng.tNext,thermalZone.simpleExternalShading.greaterShadingThreshold[5].y,thermalZone.simpleExternalShading.greaterShadingThreshold[4].y,thermalZone.simpleExternalShading.greaterShadingThreshold[3].y,thermalZone.simpleExternalShading.greaterShadingThreshold[2].y,thermalZone.simpleExternalShading.greaterShadingThreshold[1].y,thermalZone.HDirTilRoof[1].incAng.decAng.tNext,$PRE.thermalZone.HDirTilRoof[1].incAng.decAng.tNext,thermalZone.HDirTilWall[5].incAng.decAng.tNext,$PRE.thermalZone.HDirTilWall[5].incAng.decAng.tNext,thermalZone.HDirTilWall[4].incAng.decAng.tNext,$PRE.thermalZone.HDirTilWall[4].incAng.decAng.tNext,thermalZone.HDirTilWall[3].incAng.decAng.tNext,$PRE.thermalZone.HDirTilWall[3].incAng.decAng.tNext,thermalZone.HDirTilWall[2].incAng.decAng.tNext,$PRE.thermalZone.HDirTilWall[2].incAng.decAng.tNext,thermalZone.HDirTilWall[1].incAng.decAng.tNext,$PRE.thermalZone.HDirTilWall[1].incAng.decAng.tNext,thermalZone.HDifTilWall[5].incAng.decAng.tNext,$PRE.thermalZone.HDifTilWall[5].incAng.decAng.tNext,thermalZone.HDifTilWall[4].incAng.decAng.tNext,$PRE.thermalZone.HDifTilWall[4].incAng.decAng.tNext,thermalZone.HDifTilWall[3].incAng.decAng.tNext,$PRE.thermalZone.HDifTilWall[3].incAng.decAng.tNext,thermalZone.HDifTilWall[2].incAng.decAng.tNext,$PRE.thermalZone.HDifTilWall[2].incAng.decAng.tNext,thermalZone.HDifTilWall[1].incAng.decAng.tNext,$PRE.thermalZone.HDifTilWall[1].incAng.decAng.tNext,$whenCondition169,$whenCondition168,$whenCondition167,$whenCondition166,$whenCondition165,$whenCondition164,$whenCondition163,$whenCondition162,$whenCondition161,$whenCondition160,$whenCondition159,$whenCondition158,$whenCondition157,$whenCondition156,$whenCondition155,$whenCondition154,$whenCondition153,$whenCondition152,$whenCondition151,$whenCondition150,$whenCondition149,$whenCondition148,$whenCondition147,$whenCondition146,$whenCondition145,$whenCondition144,$whenCondition143,$whenCondition142,$whenCondition141,$whenCondition140,$whenCondition139,$whenCondition138,$whenCondition137,$whenCondition136,$whenCondition135,$whenCondition134,$whenCondition133,$whenCondition132,$whenCondition131,$whenCondition130,$whenCondition129,$whenCondition128,$whenCondition127,$whenCondition126,$whenCondition125,$whenCondition124,$whenCondition123,$whenCondition122,$whenCondition121,$whenCondition120,$whenCondition119,$whenCondition118,$whenCondition117,$whenCondition116,$whenCondition115,$whenCondition114,$whenCondition113,$whenCondition112,$whenCondition111,$whenCondition110,$whenCondition109,$whenCondition108,$whenCondition107,$whenCondition106,$whenCondition105,$whenCondition104,$whenCondition103,$whenCondition102,$whenCondition101,$whenCondition100,$whenCondition99,$whenCondition98,$whenCondition97,$whenCondition1,$whenCondition2,$whenCondition3,$whenCondition4,$whenCondition5,$whenCondition6,$whenCondition7,$whenCondition8,$whenCondition9,$whenCondition10,$whenCondition11,$whenCondition12,$whenCondition13,$whenCondition14,$whenCondition15,$whenCondition16,$whenCondition17,$whenCondition18,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition22,$whenCondition23,$whenCondition24,$whenCondition25,$whenCondition26,$whenCondition27,$whenCondition28,$whenCondition29,$whenCondition30,$whenCondition31,$whenCondition32,$whenCondition33,$whenCondition34,$whenCondition35,$whenCondition36,$whenCondition37,$whenCondition38,$whenCondition39,$whenCondition40,$whenCondition41,$whenCondition42,$whenCondition43,$whenCondition44,$whenCondition45,$whenCondition46,$whenCondition47,$whenCondition48,$whenCondition49,$whenCondition50,$whenCondition51,$whenCondition52,$whenCondition53,$whenCondition54,$whenCondition55,$whenCondition56,$whenCondition57,$whenCondition58,$whenCondition59,$whenCondition60,$whenCondition61,$whenCondition62,$whenCondition63,$whenCondition64,$whenCondition65,$whenCondition66,$whenCondition67,$whenCondition68,$whenCondition69,$whenCondition70,$whenCondition71,$whenCondition72,$whenCondition73,$whenCondition74,$whenCondition75,$whenCondition76,$whenCondition77,$whenCondition78,$whenCondition79,$whenCondition80,$whenCondition81,$whenCondition82,$whenCondition83,$whenCondition84,$whenCondition85,$whenCondition86,$whenCondition87,$whenCondition88,$whenCondition89,$whenCondition90,$whenCondition91,$whenCondition92,$whenCondition93,$whenCondition94,$whenCondition95,PID2.I.local_reset,PID1.I.local_reset,broker.getMessageID.pkgIn.userPkgBitSize,broker.getMessageID.pkgIn.backwardTrigger,heatProducerAgent1.getMessageID.pkgIn.userPkgBitSize,heatProducerAgent1.getMessageID.pkgIn.backwardTrigger,heatProducerAgent.getMessageID.pkgIn.userPkgBitSize,heatProducerAgent.getMessageID.pkgIn.backwardTrigger,roomAgent1.getMessageID.pkgIn.userPkgBitSize,roomAgent1.getMessageID.pkgIn.backwardTrigger,roomAgent.getMessageID.pkgIn.userPkgBitSize,roomAgent.getMessageID.pkgIn.backwardTrigger,broker.getMessageID.pkgIn.autoPkgBitSize,broker.getontology.pkgIn.autoPkgBitSize,broker.getreply_to.pkgIn.autoPkgBitSize,broker.getreceiver.pkgIn.autoPkgBitSize,broker.getsender.pkgIn.autoPkgBitSize,broker.getperformative.pkgIn.autoPkgBitSize,broker.uDPReceive_adapted.bufferSize,broker.get_content.pkgIn.autoPkgBitSize,broker.messageID.pkgIn.autoPkgBitSize,broker.performative.pkgIn.autoPkgBitSize,broker.ontology.pkgIn.autoPkgBitSize,broker.reply_to.pkgIn.autoPkgBitSize,broker.receiver.pkgIn.autoPkgBitSize,broker.sender.pkgIn.autoPkgBitSize,broker.uDPSend_adapted.pkgIn.autoPkgBitSize,broker.uDPSend_adapted.pkgIn.userPkgBitSize,broker.content.pkgIn.autoPkgBitSize,broker.packager.bufferSize,broker.packager.backwardPropagatedBufferSize,broker.uDPSend_adapted.bufferSize,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.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,heatProducerAgent1.uDPSend_adapted.bufferSize,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.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,heatProducerAgent.uDPSend_adapted.bufferSize,roomAgent1.getMessageID.pkgIn.autoPkgBitSize,roomAgent1.getontology.pkgIn.autoPkgBitSize,roomAgent1.getreply_to.pkgIn.autoPkgBitSize,roomAgent1.getreceiver.pkgIn.autoPkgBitSize,roomAgent1.getsender.pkgIn.autoPkgBitSize,roomAgent1.getperformative.pkgIn.autoPkgBitSize,roomAgent1.uDPReceive_adapted.bufferSize,roomAgent1.get_content.pkgIn.autoPkgBitSize,roomAgent1.messageID.pkgIn.autoPkgBitSize,roomAgent1.performative.pkgIn.autoPkgBitSize,roomAgent1.ontology.pkgIn.autoPkgBitSize,roomAgent1.reply_to.pkgIn.autoPkgBitSize,roomAgent1.receiver.pkgIn.autoPkgBitSize,roomAgent1.sender.pkgIn.autoPkgBitSize,roomAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,roomAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,roomAgent1.content.pkgIn.autoPkgBitSize,roomAgent1.packager.bufferSize,roomAgent1.packager.backwardPropagatedBufferSize,roomAgent1.uDPSend_adapted.bufferSize,roomAgent.getMessageID.pkgIn.autoPkgBitSize,roomAgent.getontology.pkgIn.autoPkgBitSize,roomAgent.getreply_to.pkgIn.autoPkgBitSize,roomAgent.getreceiver.pkgIn.autoPkgBitSize,roomAgent.getsender.pkgIn.autoPkgBitSize,roomAgent.getperformative.pkgIn.autoPkgBitSize,roomAgent.uDPReceive_adapted.bufferSize,roomAgent.get_content.pkgIn.autoPkgBitSize,roomAgent.messageID.pkgIn.autoPkgBitSize,roomAgent.performative.pkgIn.autoPkgBitSize,roomAgent.ontology.pkgIn.autoPkgBitSize,roomAgent.reply_to.pkgIn.autoPkgBitSize,roomAgent.receiver.pkgIn.autoPkgBitSize,roomAgent.sender.pkgIn.autoPkgBitSize,roomAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,roomAgent.uDPSend_adapted.pkgIn.userPkgBitSize,roomAgent.content.pkgIn.autoPkgBitSize,roomAgent.packager.bufferSize,roomAgent.packager.backwardPropagatedBufferSize,roomAgent.uDPSend_adapted.bufferSize) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (3701): * Single equations (assignments): 3653 * Array equations: 3 * Algorithm blocks: 25 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 6 * Torn equation systems: 14 * Mixed (continuous/discrete) equation systems: 0 Notification: Equation system details (not torn): * Constant Jacobian (size): 0 systems * Linear Jacobian (size,density): 0 systems * Non-linear Jacobian (size): 6 systems {1, 1, 1, 1, 1, 1} * Without analytic Jacobian (size): 0 systems Notification: Torn system details for strict tearing set: * Linear torn systems (#iteration vars, #inner vars, density): 10 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,3,100.0%), (2,25,100.0%), (1,3,100.0%), (2,25,100.0%)} * Non-linear torn systems (#iteration vars, #inner vars): 4 systems {(4,8), (4,8), (1,2), (1,2)} Warning: The tearing heuristic was not able to avoid discrete iteration variables because otherwise the system could not have been torn. This may lead to problems during simulation. Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 56 * Number of states: 22 ($STATESET1.x[3],$STATESET1.x[2],$STATESET1.x[1],thermalZone.ROM.volAir.dynBal.U,thermalZone.ROM.volAir.dynBal.m,thermalZone.ROM.extWallRC.thermCapExt[1].T,thermalZone.ROM.intWallRC.thermCapInt[1].T,thermalZone1.ROM.volAir.dynBal.U,thermalZone1.ROM.volAir.dynBal.m,thermalZone1.ROM.extWallRC.thermCapExt[1].T,thermalZone1.ROM.intWallRC.thermCapInt[1].T,fan.vol.dynBal.U,hea.vol.dynBal.U,hea1.vol.dynBal.U,roomAgent.derivative.x,roomAgent1.derivative.x,volume.medium.T,volume1.medium.T,PID1.I.y,PID1.D.x,PID2.I.y,PID2.D.x) * Number of discrete variables: 1289 (roomAgent.repeat1.enableFire,roomAgent.repeat.enableFire,roomAgent.reset.enableFire,roomAgent.transition4.enableFire,roomAgent1.repeat1.enableFire,roomAgent1.repeat.enableFire,roomAgent1.reset.enableFire,roomAgent1.transition4.enableFire,heatProducerAgent.reset.enableFire,heatProducerAgent.transition6.enableFire,heatProducerAgent.transition2.enableFire,heatProducerAgent.transitionWithSignal3.enableFire,heatProducerAgent.transition7.enableFire,heatProducerAgent.transition5.enableFire,heatProducerAgent1.reset.enableFire,heatProducerAgent1.transition6.enableFire,heatProducerAgent1.transition2.enableFire,heatProducerAgent1.transitionWithSignal3.enableFire,heatProducerAgent1.transition7.enableFire,heatProducerAgent1.transition5.enableFire,broker.abort.enableFire,broker.reset4.enableFire,broker.reset3.enableFire,broker.reset2.enableFire,broker.reset1.enableFire,broker.reset.enableFire,broker.transition4.enableFire,broker.transition3.enableFire,broker.allProposalsCollected.enableFire,broker.notFinished.enableFire,broker.enoughSupply1.enableFire,broker.enoughSupply.enableFire,broker.transition5.enableFire,broker.transitionWithSignal3.enableFire,broker.limitedSupplyAbort.localActive,broker.checkAvailability.localActive,broker.prepareTableforRejections.localActive,broker.sendSample.onDelay4.u,messageNotification.y,broker.sendSample.onDelay5.u,broker.sendSample.onDelay6.u,broker.sendSample.onDelay7.u,broker.messageID.pkgOut[1].trigger,broker.checkRequestComplete.localActive,broker.transition7.enableFire,broker.computeFinalConstellation.localActive,broker.sendInformation.active,broker.transition6.enableFire,broker.computePrice.localActive,broker.collectConfirm.localActive,broker.check2.localActive,broker.composeInformation.localActive,broker.sendNotUnderstood.active,broker.transition2.enableFire,broker.composeNotUnderstood.localActive,broker.sendConfirmation.active,broker.waitforRequests.enableFire,broker.requestNoted.enableFire,broker.check1.localActive,broker.check.localActive,broker.transition1.enableFire,broker.sendRequest.active,broker.transition.enableFire,broker.sendCall.active,broker.sendOutRequest.localActive,broker.collectProposal.localActive,broker.callForProposal.localActive,broker.requests.localActive,broker.message.localActive,broker.waiting.localActive,heatProducerAgent1.shutDown.localActive,heatProducerAgent1.confirm.localActive,heatProducerAgent1.sendSample.onDelay4.u,heatProducerAgent1.sendSample.onDelay5.u,heatProducerAgent1.sendSample.onDelay6.u,heatProducerAgent1.sendSample.onDelay7.u,heatProducerAgent1.messageID.pkgOut[1].trigger,heatProducerAgent1.sendConfirmation.active,heatProducerAgent1.transition4.enableFire,heatProducerAgent1.sendNotUnderstood.active,heatProducerAgent1.transition3.enableFire,heatProducerAgent1.composeNotUnderstood.localActive,heatProducerAgent1.sendProposal.active,heatProducerAgent1.transition1.enableFire,heatProducerAgent1.computeProposal.localActive,heatProducerAgent1.adjustHeat.localActive,heatProducerAgent1.message.localActive,heatProducerAgent1.waiting.localActive,heatProducerAgent.shutDown.localActive,heatProducerAgent.confirm.localActive,heatProducerAgent.sendSample.onDelay4.u,heatProducerAgent.sendSample.onDelay5.u,heatProducerAgent.sendSample.onDelay6.u,heatProducerAgent.sendSample.onDelay7.u,heatProducerAgent.messageID.pkgOut[1].trigger,heatProducerAgent.sendConfirmation.active,heatProducerAgent.transition4.enableFire,heatProducerAgent.sendNotUnderstood.active,heatProducerAgent.transition3.enableFire,heatProducerAgent.composeNotUnderstood.localActive,heatProducerAgent.sendProposal.active,heatProducerAgent.transition1.enableFire,heatProducerAgent.computeProposal.localActive,heatProducerAgent.adjustHeat.localActive,heatProducerAgent.message.localActive,heatProducerAgent.waiting.localActive,roomAgent1.waitForInform.localActive,roomAgent1.sendSample.onDelay4.u,roomAgent1.sendSample.onDelay5.u,roomAgent1.sendSample.onDelay6.u,roomAgent1.sendSample.onDelay7.u,roomAgent1.messageID.pkgOut[1].trigger,roomAgent1.transition1.enableFire,roomAgent1.confirmNoted.enableFire,roomAgent1.sendConfirm.active,roomAgent1.composeConfirm.localActive,roomAgent1.sendNotUnderstood.active,roomAgent1.transition2.enableFire,roomAgent1.composeNotUnderstood.localActive,roomAgent1.state.localActive,roomAgent1.sendRequest.active,roomAgent1.requestNoted.enableFire,roomAgent1.composeRequest.localActive,roomAgent1.waiting.localActive,roomAgent.waitForInform.localActive,roomAgent.sendSample.onDelay4.u,roomAgent.sendSample.onDelay5.u,roomAgent.sendSample.onDelay6.u,roomAgent.sendSample.onDelay7.u,roomAgent.messageID.pkgOut[1].trigger,roomAgent.transition1.enableFire,roomAgent.confirmNoted.enableFire,roomAgent.sendConfirm.active,roomAgent.composeConfirm.localActive,roomAgent.sendNotUnderstood.active,roomAgent.transition2.enableFire,roomAgent.composeNotUnderstood.localActive,roomAgent.state.localActive,roomAgent.sendRequest.active,roomAgent.requestNoted.enableFire,roomAgent.composeRequest.localActive,roomAgent.waiting.localActive,$whenCondition96,$whenCondition95,$whenCondition94,$whenCondition93,$whenCondition92,$whenCondition91,$whenCondition90,$whenCondition89,$whenCondition88,$whenCondition87,$whenCondition86,$whenCondition85,$whenCondition84,$whenCondition83,$whenCondition82,$whenCondition81,$whenCondition80,$whenCondition79,$whenCondition78,$whenCondition77,$whenCondition76,$whenCondition75,$whenCondition74,$whenCondition73,$whenCondition72,$whenCondition71,$whenCondition70,$whenCondition69,$whenCondition68,$whenCondition67,$whenCondition66,$whenCondition65,$whenCondition64,$whenCondition63,$whenCondition62,$whenCondition61,$whenCondition60,$whenCondition59,$whenCondition58,$whenCondition57,$whenCondition56,$whenCondition55,$whenCondition54,$whenCondition53,$whenCondition52,$whenCondition51,$whenCondition50,$whenCondition49,$whenCondition48,$whenCondition47,$whenCondition46,$whenCondition45,$whenCondition44,$whenCondition43,$whenCondition42,$whenCondition41,$whenCondition40,$whenCondition39,$whenCondition38,$whenCondition37,$whenCondition36,$whenCondition35,$whenCondition34,$whenCondition33,$whenCondition32,$whenCondition31,$whenCondition30,$whenCondition29,$whenCondition28,$whenCondition27,$whenCondition26,$whenCondition25,$whenCondition24,$whenCondition23,$whenCondition22,$whenCondition21,$whenCondition20,$whenCondition19,$whenCondition18,$whenCondition17,$whenCondition16,$whenCondition15,$whenCondition14,$whenCondition13,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition5,$whenCondition4,$whenCondition3,$whenCondition2,$whenCondition1,$whenCondition97,$whenCondition98,$whenCondition99,$whenCondition100,$whenCondition101,$whenCondition102,$whenCondition103,$whenCondition104,$whenCondition105,$whenCondition106,$whenCondition107,$whenCondition108,$whenCondition109,$whenCondition110,$whenCondition111,$whenCondition112,$whenCondition113,$whenCondition114,$whenCondition115,$whenCondition116,$whenCondition117,$whenCondition118,$whenCondition119,$whenCondition120,$whenCondition121,$whenCondition122,$whenCondition123,$whenCondition124,$whenCondition125,$whenCondition126,$whenCondition127,$whenCondition128,$whenCondition129,$whenCondition130,$whenCondition131,$whenCondition132,$whenCondition133,$whenCondition134,$whenCondition135,$whenCondition136,$whenCondition137,$whenCondition138,$whenCondition139,$whenCondition140,$whenCondition141,$whenCondition142,$whenCondition143,$whenCondition144,$whenCondition145,$whenCondition146,$whenCondition147,$whenCondition148,$whenCondition149,$whenCondition150,$whenCondition151,$whenCondition152,$whenCondition153,$whenCondition154,$whenCondition155,$whenCondition156,$whenCondition157,$whenCondition158,$whenCondition159,$whenCondition160,$whenCondition161,$whenCondition162,$whenCondition163,$whenCondition164,$whenCondition165,$whenCondition166,$whenCondition167,$whenCondition168,$whenCondition169,thermalZone.HDifTilWall[1].incAng.decAng.tNext,thermalZone.HDifTilWall[2].incAng.decAng.tNext,thermalZone.HDifTilWall[3].incAng.decAng.tNext,thermalZone.HDifTilWall[4].incAng.decAng.tNext,thermalZone.HDifTilWall[5].incAng.decAng.tNext,thermalZone.HDirTilWall[1].incAng.decAng.tNext,thermalZone.HDirTilWall[2].incAng.decAng.tNext,thermalZone.HDirTilWall[3].incAng.decAng.tNext,thermalZone.HDirTilWall[4].incAng.decAng.tNext,thermalZone.HDirTilWall[5].incAng.decAng.tNext,thermalZone.HDirTilRoof[1].incAng.decAng.tNext,thermalZone.simpleExternalShading.greaterShadingThreshold[1].y,thermalZone.simpleExternalShading.greaterShadingThreshold[2].y,thermalZone.simpleExternalShading.greaterShadingThreshold[3].y,thermalZone.simpleExternalShading.greaterShadingThreshold[4].y,thermalZone.simpleExternalShading.greaterShadingThreshold[5].y,thermalZone.HDifTilRoof[1].incAng.decAng.tNext,thermalZone1.HDifTilWall[1].incAng.decAng.tNext,thermalZone1.HDifTilWall[2].incAng.decAng.tNext,thermalZone1.HDifTilWall[3].incAng.decAng.tNext,thermalZone1.HDifTilWall[4].incAng.decAng.tNext,thermalZone1.HDifTilWall[5].incAng.decAng.tNext,thermalZone1.HDirTilWall[1].incAng.decAng.tNext,thermalZone1.HDirTilWall[2].incAng.decAng.tNext,thermalZone1.HDirTilWall[3].incAng.decAng.tNext,thermalZone1.HDirTilWall[4].incAng.decAng.tNext,thermalZone1.HDirTilWall[5].incAng.decAng.tNext,thermalZone1.HDirTilRoof[1].incAng.decAng.tNext,thermalZone1.simpleExternalShading.greaterShadingThreshold[1].y,thermalZone1.simpleExternalShading.greaterShadingThreshold[2].y,thermalZone1.simpleExternalShading.greaterShadingThreshold[3].y,thermalZone1.simpleExternalShading.greaterShadingThreshold[4].y,thermalZone1.simpleExternalShading.greaterShadingThreshold[5].y,thermalZone1.HDifTilRoof[1].incAng.decAng.tNext,roomAgent.packager.pkgOut.dummy,roomAgent.content.pkgOut[1].dummy,roomAgent.content.u[1],roomAgent.content.u[2],roomAgent.get_content.pkgOut[1].dummy,roomAgent.get_content.y[1],roomAgent.get_content.y[2],roomAgent.get_content.dummy,roomAgent.uDPReceive_adapted.pkgOut.dummy,roomAgent.uDPReceive_adapted.nRecvBytes,roomAgent.uDPReceive_adapted.nRecvbufOverwrites,roomAgent.uDPSend_adapted.bufferSize,roomAgent.uDPSend_adapted.dummy,roomAgent.uDPSend_adapted.receiver,roomAgent.sender.pkgOut[1].dummy,roomAgent.sender.u[1],roomAgent.receiver.pkgOut[1].dummy,roomAgent.receiver.u[1],roomAgent.reply_to.pkgOut[1].dummy,roomAgent.reply_to.u[1],roomAgent.ontology.pkgOut[1].dummy,roomAgent.ontology.u[1],roomAgent.getperformative.pkgOut[1].dummy,roomAgent.getperformative.y[1],roomAgent.getperformative.dummy,roomAgent.getsender.pkgOut[1].dummy,roomAgent.getsender.y[1],roomAgent.getsender.dummy,roomAgent.getreceiver.pkgOut[1].dummy,roomAgent.getreceiver.y[1],roomAgent.getreceiver.dummy,roomAgent.getreply_to.pkgOut[1].dummy,roomAgent.getreply_to.y[1],roomAgent.getreply_to.dummy,roomAgent.getontology.pkgOut[1].dummy,roomAgent.getontology.y[1],roomAgent.getontology.dummy,roomAgent.performative.pkgOut[1].dummy,roomAgent.performative.u[1],roomAgent.getMessageID.y[1],roomAgent.getMessageID.dummy,roomAgent.messageID.pkgOut[1].dummy,roomAgent.messageID.u[1],roomAgent.stateGraphRoot.activeSteps,roomAgent.sendSample.or1.u[1],roomAgent.sendSample.or1.u[2],roomAgent.sendSample.or1.u[3],roomAgent.sendSample.or1.u[4],roomAgent.sendSample.onDelay4.delaySignal,roomAgent.sendSample.onDelay4.t_next,roomAgent.sendSample.onDelay5.delaySignal,roomAgent.sendSample.onDelay5.t_next,roomAgent.sendSample.onDelay6.delaySignal,roomAgent.sendSample.onDelay6.t_next,roomAgent.sendSample.onDelay7.delaySignal,roomAgent.sendSample.onDelay7.t_next,roomAgent.sendSample.edge1.u,roomAgent.sendSample.edge2.u,roomAgent.sendSample.edge3.u,roomAgent.sendSample.edge4.u,roomAgent.T_too_high.y,roomAgent.T_too_low.y,roomAgent.or1.y,roomAgent.actionTrigger.u2,roomAgent.waiting.active,roomAgent.waiting.inPort[2].occupied,roomAgent.waiting.inPort[3].occupied,roomAgent.waiting.outPort[2].available,roomAgent.waiting.newActive,roomAgent.waiting.oldActive,roomAgent.newMessage.enableFire,roomAgent.integerChange.u,roomAgent.transitionWithSignal.localCondition,roomAgent.transitionWithSignal.enableFire,roomAgent.composeRequest.active,roomAgent.composeRequest.inPort[2].occupied,roomAgent.composeRequest.inPort[3].occupied,roomAgent.composeRequest.newActive,roomAgent.composeRequest.oldActive,roomAgent.requestNoted.fire,roomAgent.requestNoted.t_start,roomAgent.sendRequest.localActive,roomAgent.sendRequest.outPort[2].available,roomAgent.sendRequest.newActive,roomAgent.sendRequest.oldActive,roomAgent.newMessage1.localCondition,roomAgent.newMessage1.enableFire,roomAgent.repeat.fire,roomAgent.repeat.t_start,roomAgent.state.active,roomAgent.state.outPort[2].available,roomAgent.state.newActive,roomAgent.state.oldActive,roomAgent.rightMessage.localCondition,roomAgent.rightMessage.enableFire,roomAgent.repeat1.fire,roomAgent.repeat1.t_start,roomAgent.composeNotUnderstood.active,roomAgent.composeNotUnderstood.newActive,roomAgent.composeNotUnderstood.oldActive,roomAgent.transition2.fire,roomAgent.transition2.t_start,roomAgent.sendNotUnderstood.localActive,roomAgent.sendNotUnderstood.newActive,roomAgent.sendNotUnderstood.oldActive,roomAgent.transition4.fire,roomAgent.transition4.t_start,roomAgent.or2.y,roomAgent.composeConfirm.active,roomAgent.composeConfirm.newActive,roomAgent.composeConfirm.oldActive,roomAgent.sendConfirm.localActive,roomAgent.sendConfirm.newActive,roomAgent.sendConfirm.oldActive,roomAgent.confirmNoted.fire,roomAgent.confirmNoted.t_start,roomAgent.transition1.fire,roomAgent.transition1.t_start,roomAgent.waitForInform.active,roomAgent.waitForInform.outPort[2].available,roomAgent.waitForInform.newActive,roomAgent.waitForInform.oldActive,roomAgent.rightMessage1.localCondition,roomAgent.rightMessage1.enableFire,roomAgent.reset.fire,roomAgent.reset.t_start,roomAgent1.packager.pkgOut.dummy,roomAgent1.content.pkgOut[1].dummy,roomAgent1.content.u[1],roomAgent1.content.u[2],roomAgent1.get_content.pkgOut[1].dummy,roomAgent1.get_content.y[1],roomAgent1.get_content.y[2],roomAgent1.get_content.dummy,roomAgent1.uDPReceive_adapted.pkgOut.dummy,roomAgent1.uDPReceive_adapted.nRecvBytes,roomAgent1.uDPReceive_adapted.nRecvbufOverwrites,roomAgent1.uDPSend_adapted.bufferSize,roomAgent1.uDPSend_adapted.dummy,roomAgent1.uDPSend_adapted.receiver,roomAgent1.sender.pkgOut[1].dummy,roomAgent1.sender.u[1],roomAgent1.receiver.pkgOut[1].dummy,roomAgent1.receiver.u[1],roomAgent1.reply_to.pkgOut[1].dummy,roomAgent1.reply_to.u[1],roomAgent1.ontology.pkgOut[1].dummy,roomAgent1.ontology.u[1],roomAgent1.getperformative.pkgOut[1].dummy,roomAgent1.getperformative.y[1],roomAgent1.getperformative.dummy,roomAgent1.getsender.pkgOut[1].dummy,roomAgent1.getsender.y[1],roomAgent1.getsender.dummy,roomAgent1.getreceiver.pkgOut[1].dummy,roomAgent1.getreceiver.y[1],roomAgent1.getreceiver.dummy,roomAgent1.getreply_to.pkgOut[1].dummy,roomAgent1.getreply_to.y[1],roomAgent1.getreply_to.dummy,roomAgent1.getontology.pkgOut[1].dummy,roomAgent1.getontology.y[1],roomAgent1.getontology.dummy,roomAgent1.performative.pkgOut[1].dummy,roomAgent1.performative.u[1],roomAgent1.getMessageID.y[1],roomAgent1.getMessageID.dummy,roomAgent1.messageID.pkgOut[1].dummy,roomAgent1.messageID.u[1],roomAgent1.stateGraphRoot.activeSteps,roomAgent1.sendSample.or1.u[1],roomAgent1.sendSample.or1.u[2],roomAgent1.sendSample.or1.u[3],roomAgent1.sendSample.or1.u[4],roomAgent1.sendSample.onDelay4.delaySignal,roomAgent1.sendSample.onDelay4.t_next,roomAgent1.sendSample.onDelay5.delaySignal,roomAgent1.sendSample.onDelay5.t_next,roomAgent1.sendSample.onDelay6.delaySignal,roomAgent1.sendSample.onDelay6.t_next,roomAgent1.sendSample.onDelay7.delaySignal,roomAgent1.sendSample.onDelay7.t_next,roomAgent1.sendSample.edge1.u,roomAgent1.sendSample.edge2.u,roomAgent1.sendSample.edge3.u,roomAgent1.sendSample.edge4.u,roomAgent1.T_too_high.y,roomAgent1.T_too_low.y,roomAgent1.or1.y,roomAgent1.actionTrigger.u2,roomAgent1.waiting.active,roomAgent1.waiting.inPort[2].occupied,roomAgent1.waiting.inPort[3].occupied,roomAgent1.waiting.outPort[2].available,roomAgent1.waiting.newActive,roomAgent1.waiting.oldActive,roomAgent1.newMessage.enableFire,roomAgent1.integerChange.u,roomAgent1.transitionWithSignal.localCondition,roomAgent1.transitionWithSignal.enableFire,roomAgent1.composeRequest.active,roomAgent1.composeRequest.inPort[2].occupied,roomAgent1.composeRequest.inPort[3].occupied,roomAgent1.composeRequest.newActive,roomAgent1.composeRequest.oldActive,roomAgent1.requestNoted.fire,roomAgent1.requestNoted.t_start,roomAgent1.sendRequest.localActive,roomAgent1.sendRequest.outPort[2].available,roomAgent1.sendRequest.newActive,roomAgent1.sendRequest.oldActive,roomAgent1.newMessage1.localCondition,roomAgent1.newMessage1.enableFire,roomAgent1.repeat.fire,roomAgent1.repeat.t_start,roomAgent1.state.active,roomAgent1.state.outPort[2].available,roomAgent1.state.newActive,roomAgent1.state.oldActive,roomAgent1.rightMessage.localCondition,roomAgent1.rightMessage.enableFire,roomAgent1.repeat1.fire,roomAgent1.repeat1.t_start,roomAgent1.composeNotUnderstood.active,roomAgent1.composeNotUnderstood.newActive,roomAgent1.composeNotUnderstood.oldActive,roomAgent1.transition2.fire,roomAgent1.transition2.t_start,roomAgent1.sendNotUnderstood.localActive,roomAgent1.sendNotUnderstood.newActive,roomAgent1.sendNotUnderstood.oldActive,roomAgent1.transition4.fire,roomAgent1.transition4.t_start,roomAgent1.or2.y,roomAgent1.composeConfirm.active,roomAgent1.composeConfirm.newActive,roomAgent1.composeConfirm.oldActive,roomAgent1.sendConfirm.localActive,roomAgent1.sendConfirm.newActive,roomAgent1.sendConfirm.oldActive,roomAgent1.confirmNoted.fire,roomAgent1.confirmNoted.t_start,roomAgent1.transition1.fire,roomAgent1.transition1.t_start,roomAgent1.waitForInform.active,roomAgent1.waitForInform.outPort[2].available,roomAgent1.waitForInform.newActive,roomAgent1.waitForInform.oldActive,roomAgent1.rightMessage1.localCondition,roomAgent1.rightMessage1.enableFire,roomAgent1.reset.fire,roomAgent1.reset.t_start,messageNotification.receive[1],messageNotification.receive[2],messageNotification.receive[3],messageNotification.receive[4],messageNotification.receive[5],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.sendSample.or1.u[1],heatProducerAgent.sendSample.or1.u[2],heatProducerAgent.sendSample.or1.u[3],heatProducerAgent.sendSample.or1.u[4],heatProducerAgent.sendSample.onDelay4.delaySignal,heatProducerAgent.sendSample.onDelay4.t_next,heatProducerAgent.sendSample.onDelay5.delaySignal,heatProducerAgent.sendSample.onDelay5.t_next,heatProducerAgent.sendSample.onDelay6.delaySignal,heatProducerAgent.sendSample.onDelay6.t_next,heatProducerAgent.sendSample.onDelay7.delaySignal,heatProducerAgent.sendSample.onDelay7.t_next,heatProducerAgent.sendSample.edge1.u,heatProducerAgent.sendSample.edge2.u,heatProducerAgent.sendSample.edge3.u,heatProducerAgent.sendSample.edge4.u,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.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.sendSample.or1.u[1],heatProducerAgent1.sendSample.or1.u[2],heatProducerAgent1.sendSample.or1.u[3],heatProducerAgent1.sendSample.or1.u[4],heatProducerAgent1.sendSample.onDelay4.delaySignal,heatProducerAgent1.sendSample.onDelay4.t_next,heatProducerAgent1.sendSample.onDelay5.delaySignal,heatProducerAgent1.sendSample.onDelay5.t_next,heatProducerAgent1.sendSample.onDelay6.delaySignal,heatProducerAgent1.sendSample.onDelay6.t_next,heatProducerAgent1.sendSample.onDelay7.delaySignal,heatProducerAgent1.sendSample.onDelay7.t_next,heatProducerAgent1.sendSample.edge1.u,heatProducerAgent1.sendSample.edge2.u,heatProducerAgent1.sendSample.edge3.u,heatProducerAgent1.sendSample.edge4.u,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,broker.packager.pkgOut.dummy,broker.content.pkgOut[1].dummy,broker.content.u[1],broker.content.u[2],broker.get_content.pkgOut[1].dummy,broker.get_content.y[1],broker.get_content.y[2],broker.get_content.dummy,broker.uDPReceive_adapted.pkgOut.dummy,broker.uDPReceive_adapted.nRecvBytes,broker.uDPReceive_adapted.nRecvbufOverwrites,broker.uDPSend_adapted.bufferSize,broker.uDPSend_adapted.dummy,broker.uDPSend_adapted.receiver,broker.sender.pkgOut[1].dummy,broker.sender.u[1],broker.receiver.pkgOut[1].dummy,broker.receiver.u[1],broker.reply_to.pkgOut[1].dummy,broker.reply_to.u[1],broker.ontology.pkgOut[1].dummy,broker.ontology.u[1],broker.getperformative.pkgOut[1].dummy,broker.getperformative.y[1],broker.getperformative.dummy,broker.getsender.pkgOut[1].dummy,broker.getsender.y[1],broker.getsender.dummy,broker.getreceiver.pkgOut[1].dummy,broker.getreceiver.y[1],broker.getreceiver.dummy,broker.getreply_to.pkgOut[1].dummy,broker.getreply_to.y[1],broker.getreply_to.dummy,broker.getontology.pkgOut[1].dummy,broker.getontology.y[1],broker.getontology.dummy,broker.performative.pkgOut[1].dummy,broker.performative.u[1],broker.getMessageID.y[1],broker.getMessageID.dummy,broker.messageID.pkgOut[1].dummy,broker.messageID.u[1],broker.stateGraphRoot.activeSteps,broker.sendSample.or1.u[1],broker.sendSample.or1.u[2],broker.sendSample.or1.u[3],broker.sendSample.or1.u[4],broker.sendSample.onDelay4.delaySignal,broker.sendSample.onDelay4.t_next,broker.sendSample.onDelay5.delaySignal,broker.sendSample.onDelay5.t_next,broker.sendSample.onDelay6.delaySignal,broker.sendSample.onDelay6.t_next,broker.sendSample.onDelay7.delaySignal,broker.sendSample.onDelay7.t_next,broker.sendSample.edge1.u,broker.sendSample.edge2.u,broker.sendSample.edge3.u,broker.sendSample.edge4.u,broker.proposalsComplete,broker.requestComplete,broker.rejectsComplete,broker.heatSupplierTable[1,1],broker.heatSupplierTable[1,2],broker.heatSupplierTable[1,3],broker.heatSupplierTable[1,4],broker.heatSupplierTable[1,5],broker.heatSupplierTable[1,6],broker.heatSupplierTable[1,7],broker.heatSupplierTable[2,1],broker.heatSupplierTable[2,2],broker.heatSupplierTable[2,3],broker.heatSupplierTable[2,4],broker.heatSupplierTable[2,5],broker.heatSupplierTable[2,6],broker.heatSupplierTable[2,7],broker.proposalCounter,broker.counterReject,broker.lowestPrice,broker.counter,broker.requestsExceedSupply,broker.requestTable[1,1],broker.requestTable[2,1],broker.requestTable[3,1],broker.requestTable[4,1],broker.requestTable[5,1],broker.requestTable[6,1],broker.requestTable[7,1],broker.requestTable[8,1],broker.requestTable[9,1],broker.requestTable[10,1],broker.requestAddresses[1,1],broker.requestAddresses[2,1],broker.requestAddresses[3,1],broker.requestAddresses[4,1],broker.requestAddresses[5,1],broker.requestAddresses[6,1],broker.requestAddresses[7,1],broker.requestAddresses[8,1],broker.requestAddresses[9,1],broker.requestAddresses[10,1],broker.heatingRequestSum,broker.requestCounter,broker.totalPrice,broker.totalHeat,broker.averagePrice,broker.heatingCalculationSum,broker.cheapest,broker.heatingPriceSum,broker.totalaveragePrice,broker.restHeat,broker.calculationDone,broker.informationCounter,broker.informationDone,broker.finalRequestDone,broker.waiting.active,broker.waiting.inPort[2].occupied,broker.waiting.inPort[3].occupied,broker.waiting.inPort[4].occupied,broker.waiting.inPort[5].occupied,broker.waiting.inPort[6].occupied,broker.waiting.inPort[7].occupied,broker.waiting.newActive,broker.waiting.oldActive,broker.newMessage.enableFire,broker.message.active,broker.message.outPort[2].available,broker.message.newActive,broker.message.oldActive,broker.integerChange.u,broker.transitionWithSignal.enableFire,broker.requests.active,broker.requests.inPort[2].occupied,broker.requests.newActive,broker.requests.oldActive,broker.waitforRequests.fire,broker.waitforRequests.t_start,broker.newRequests.enableFire,broker.callForProposal.active,broker.callForProposal.inPort[2].occupied,broker.callForProposal.newActive,broker.callForProposal.oldActive,broker.newProposal.enableFire,broker.collectProposal.active,broker.collectProposal.outPort[2].available,broker.collectProposal.newActive,broker.collectProposal.oldActive,broker.allProposalsCollected.fire,broker.allProposalsCollected.t_start,broker.sendOutRequest.active,broker.sendOutRequest.inPort[2].occupied,broker.sendOutRequest.inPort[3].occupied,broker.sendOutRequest.newActive,broker.sendOutRequest.oldActive,broker.notFinished.fire,broker.notFinished.t_start,broker.sendCall.localActive,broker.sendCall.outPort[2].available,broker.sendCall.newActive,broker.sendCall.oldActive,broker.transition.fire,broker.transition.t_start,broker.sendRequest.localActive,broker.sendRequest.outPort[2].available,broker.sendRequest.newActive,broker.sendRequest.oldActive,broker.transition1.fire,broker.transition1.t_start,broker.check.active,broker.check.outPort[2].available,broker.check.newActive,broker.check.oldActive,broker.correctPerformative.localCondition,broker.correctPerformative.enableFire,broker.check1.active,broker.check1.newActive,broker.check1.oldActive,broker.correctPerformative1.localCondition,broker.correctPerformative1.enableFire,broker.requestNoted.fire,broker.requestNoted.t_start,broker.sendConfirmation.localActive,broker.sendConfirmation.outPort[2].available,broker.sendConfirmation.newActive,broker.sendConfirmation.oldActive,broker.actionConfirmed.localCondition,broker.actionConfirmed.enableFire,broker.transitionWithSignal3.localCondition,broker.transitionWithSignal3.fire,broker.transitionWithSignal3.t_start,broker.composeNotUnderstood.active,broker.composeNotUnderstood.newActive,broker.composeNotUnderstood.oldActive,broker.transition2.fire,broker.transition2.t_start,broker.sendNotUnderstood.localActive,broker.sendNotUnderstood.newActive,broker.sendNotUnderstood.oldActive,broker.transition4.fire,broker.transition4.t_start,broker.composeInformation.active,broker.composeInformation.inPort[2].occupied,broker.composeInformation.newActive,broker.composeInformation.oldActive,broker.newConfirm.localCondition,broker.newConfirm.enableFire,broker.check2.active,broker.check2.outPort[2].available,broker.check2.newActive,broker.check2.oldActive,broker.correctPerformative2.localCondition,broker.correctPerformative2.enableFire,broker.collectConfirm.active,broker.collectConfirm.outPort[2].available,broker.collectConfirm.outPort[3].available,broker.collectConfirm.newActive,broker.collectConfirm.oldActive,broker.computePrice.active,broker.computePrice.newActive,broker.computePrice.oldActive,broker.transition5.fire,broker.transition5.t_start,broker.transition6.fire,broker.transition6.t_start,broker.sendInformation.localActive,broker.sendInformation.newActive,broker.sendInformation.oldActive,broker.confirmComplete.localCondition,broker.confirmComplete.enableFire,broker.computeFinalConstellation.active,broker.computeFinalConstellation.newActive,broker.computeFinalConstellation.oldActive,broker.transition7.fire,broker.transition7.t_start,broker.checkRequestComplete.active,broker.checkRequestComplete.outPort[2].available,broker.checkRequestComplete.newActive,broker.checkRequestComplete.oldActive,broker.requestsComplete.enableFire,broker.requestsNotComplete.enableFire,broker.confirmNotComplete.enableFire,broker.or1.y,broker.or2.y,broker.or4.u1,broker.abort.fire,broker.abort.t_start,broker.prepareTableforRejections.active,broker.prepareTableforRejections.newActive,broker.prepareTableforRejections.oldActive,broker.transition3.fire,broker.transition3.t_start,broker.reset.fire,broker.reset.t_start,broker.reset1.fire,broker.reset1.t_start,broker.reset2.fire,broker.reset2.t_start,broker.reset3.fire,broker.reset3.t_start,broker.checkAvailability.active,broker.checkAvailability.outPort[2].available,broker.checkAvailability.newActive,broker.checkAvailability.oldActive,broker.enoughSupply.fire,broker.enoughSupply.t_start,broker.limitedSupplyAbort.active,broker.limitedSupplyAbort.newActive,broker.limitedSupplyAbort.oldActive,broker.enoughSupply1.fire,broker.enoughSupply1.t_start,broker.reset4.fire,broker.reset4.t_start,weaDat.locTim.tNext,weaDat.conTimMin.tNext,weaDat.conTim.tNext,weaDat.eqnTim.tNext,weaDat.decAng.tNext,InternalHeatGain.nextTimeEvent,InternalHeatGain.nextTimeEventScaled,roomAgent.packager.backwardPropagatedBufferSize,roomAgent.packager.bufferSize,roomAgent.content.pkgIn.autoPkgBitSize,roomAgent.uDPSend_adapted.pkgIn.userPkgBitSize,roomAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,roomAgent.sender.pkgIn.autoPkgBitSize,roomAgent.receiver.pkgIn.autoPkgBitSize,roomAgent.reply_to.pkgIn.autoPkgBitSize,roomAgent.ontology.pkgIn.autoPkgBitSize,roomAgent.performative.pkgIn.autoPkgBitSize,roomAgent.messageID.pkgIn.autoPkgBitSize,roomAgent.get_content.pkgIn.autoPkgBitSize,roomAgent.uDPReceive_adapted.bufferSize,roomAgent.getperformative.pkgIn.autoPkgBitSize,roomAgent.getsender.pkgIn.autoPkgBitSize,roomAgent.getreceiver.pkgIn.autoPkgBitSize,roomAgent.getreply_to.pkgIn.autoPkgBitSize,roomAgent.getontology.pkgIn.autoPkgBitSize,roomAgent.getMessageID.pkgIn.autoPkgBitSize,roomAgent.newMessage.t_start,roomAgent.transitionWithSignal.t_start,roomAgent.newMessage1.t_start,roomAgent.rightMessage.t_start,roomAgent.rightMessage1.t_start,roomAgent1.packager.backwardPropagatedBufferSize,roomAgent1.packager.bufferSize,roomAgent1.content.pkgIn.autoPkgBitSize,roomAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,roomAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,roomAgent1.sender.pkgIn.autoPkgBitSize,roomAgent1.receiver.pkgIn.autoPkgBitSize,roomAgent1.reply_to.pkgIn.autoPkgBitSize,roomAgent1.ontology.pkgIn.autoPkgBitSize,roomAgent1.performative.pkgIn.autoPkgBitSize,roomAgent1.messageID.pkgIn.autoPkgBitSize,roomAgent1.get_content.pkgIn.autoPkgBitSize,roomAgent1.uDPReceive_adapted.bufferSize,roomAgent1.getperformative.pkgIn.autoPkgBitSize,roomAgent1.getsender.pkgIn.autoPkgBitSize,roomAgent1.getreceiver.pkgIn.autoPkgBitSize,roomAgent1.getreply_to.pkgIn.autoPkgBitSize,roomAgent1.getontology.pkgIn.autoPkgBitSize,roomAgent1.getMessageID.pkgIn.autoPkgBitSize,roomAgent1.newMessage.t_start,roomAgent1.transitionWithSignal.t_start,roomAgent1.newMessage1.t_start,roomAgent1.rightMessage.t_start,roomAgent1.rightMessage1.t_start,heatProducerAgent.packager.backwardPropagatedBufferSize,heatProducerAgent.packager.bufferSize,heatProducerAgent.content.pkgIn.autoPkgBitSize,heatProducerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent.sender.pkgIn.autoPkgBitSize,heatProducerAgent.receiver.pkgIn.autoPkgBitSize,heatProducerAgent.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent.ontology.pkgIn.autoPkgBitSize,heatProducerAgent.performative.pkgIn.autoPkgBitSize,heatProducerAgent.messageID.pkgIn.autoPkgBitSize,heatProducerAgent.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.newMessage.t_start,heatProducerAgent.transitionWithSignal.t_start,heatProducerAgent.transitionWithSignal1.t_start,heatProducerAgent.transitionWithSignal2.t_start,heatProducerAgent.Off.t_start,heatProducerAgent.zeroOrderHold.sampleTrigger,$whenCondition170,heatProducerAgent.zeroOrderHold.firstTrigger,heatProducerAgent.zeroOrderHold.ySample,heatProducerAgent1.packager.backwardPropagatedBufferSize,heatProducerAgent1.packager.bufferSize,heatProducerAgent1.content.pkgIn.autoPkgBitSize,heatProducerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,heatProducerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,heatProducerAgent1.sender.pkgIn.autoPkgBitSize,heatProducerAgent1.receiver.pkgIn.autoPkgBitSize,heatProducerAgent1.reply_to.pkgIn.autoPkgBitSize,heatProducerAgent1.ontology.pkgIn.autoPkgBitSize,heatProducerAgent1.performative.pkgIn.autoPkgBitSize,heatProducerAgent1.messageID.pkgIn.autoPkgBitSize,heatProducerAgent1.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.newMessage.t_start,heatProducerAgent1.transitionWithSignal.t_start,heatProducerAgent1.transitionWithSignal1.t_start,heatProducerAgent1.transitionWithSignal2.t_start,heatProducerAgent1.Off.t_start,heatProducerAgent1.zeroOrderHold.sampleTrigger,$whenCondition171,heatProducerAgent1.zeroOrderHold.firstTrigger,heatProducerAgent1.zeroOrderHold.ySample,broker.packager.backwardPropagatedBufferSize,broker.packager.bufferSize,broker.content.pkgIn.autoPkgBitSize,broker.uDPSend_adapted.pkgIn.userPkgBitSize,broker.uDPSend_adapted.pkgIn.autoPkgBitSize,broker.sender.pkgIn.autoPkgBitSize,broker.receiver.pkgIn.autoPkgBitSize,broker.reply_to.pkgIn.autoPkgBitSize,broker.ontology.pkgIn.autoPkgBitSize,broker.performative.pkgIn.autoPkgBitSize,broker.messageID.pkgIn.autoPkgBitSize,broker.get_content.pkgIn.autoPkgBitSize,broker.uDPReceive_adapted.bufferSize,broker.getperformative.pkgIn.autoPkgBitSize,broker.getsender.pkgIn.autoPkgBitSize,broker.getreceiver.pkgIn.autoPkgBitSize,broker.getreply_to.pkgIn.autoPkgBitSize,broker.getontology.pkgIn.autoPkgBitSize,broker.getMessageID.pkgIn.autoPkgBitSize,broker.newMessage.t_start,broker.transitionWithSignal.t_start,broker.newRequests.t_start,broker.newProposal.t_start,broker.correctPerformative.t_start,broker.correctPerformative1.t_start,broker.actionConfirmed.t_start,broker.newConfirm.t_start,broker.correctPerformative2.t_start,broker.confirmComplete.t_start,broker.requestsComplete.t_start,broker.requestsNotComplete.t_start,broker.confirmNotComplete.t_start,broker.uDPReceive_adapted.internalTrigger,heatProducerAgent1.uDPReceive_adapted.internalTrigger,heatProducerAgent.uDPReceive_adapted.internalTrigger,roomAgent1.uDPReceive_adapted.internalTrigger,roomAgent.uDPReceive_adapted.internalTrigger) * Number of discrete states: 376 (broker.confirmNotComplete.t_start,broker.requestsNotComplete.t_start,broker.requestsComplete.t_start,broker.confirmComplete.t_start,broker.correctPerformative2.t_start,broker.newConfirm.t_start,broker.actionConfirmed.t_start,broker.correctPerformative1.t_start,broker.correctPerformative.t_start,broker.newProposal.t_start,broker.newRequests.t_start,broker.transitionWithSignal.t_start,broker.newMessage.t_start,heatProducerAgent1.zeroOrderHold.ySample,heatProducerAgent1.Off.t_start,heatProducerAgent1.transitionWithSignal2.t_start,heatProducerAgent1.transitionWithSignal1.t_start,heatProducerAgent1.transitionWithSignal.t_start,heatProducerAgent1.newMessage.t_start,heatProducerAgent.zeroOrderHold.ySample,heatProducerAgent.Off.t_start,heatProducerAgent.transitionWithSignal2.t_start,heatProducerAgent.transitionWithSignal1.t_start,heatProducerAgent.transitionWithSignal.t_start,heatProducerAgent.newMessage.t_start,roomAgent1.rightMessage1.t_start,roomAgent1.rightMessage.t_start,roomAgent1.newMessage1.t_start,roomAgent1.transitionWithSignal.t_start,roomAgent1.newMessage.t_start,roomAgent.rightMessage1.t_start,roomAgent.rightMessage.t_start,roomAgent.newMessage1.t_start,roomAgent.transitionWithSignal.t_start,roomAgent.newMessage.t_start,InternalHeatGain.nextTimeEvent,roomAgent.waiting.newActive,roomAgent.composeRequest.newActive,roomAgent.sendRequest.newActive,roomAgent.state.newActive,roomAgent.composeNotUnderstood.newActive,roomAgent.sendNotUnderstood.newActive,roomAgent.composeConfirm.newActive,roomAgent.sendConfirm.newActive,roomAgent.sendSample.onDelay7.t_next,roomAgent.sendSample.onDelay7.delaySignal,$whenCondition163,$whenCondition162,roomAgent.sendSample.edge4.u,roomAgent.sendSample.onDelay6.t_next,roomAgent.sendSample.onDelay6.delaySignal,$whenCondition165,$whenCondition164,roomAgent.sendSample.edge3.u,roomAgent.sendSample.onDelay5.t_next,roomAgent.sendSample.onDelay5.delaySignal,$whenCondition167,$whenCondition166,roomAgent.sendSample.edge2.u,roomAgent.sendSample.onDelay4.t_next,roomAgent.sendSample.onDelay4.delaySignal,$whenCondition169,$whenCondition168,roomAgent.sendSample.edge1.u,roomAgent.waitForInform.newActive,roomAgent1.waiting.newActive,roomAgent1.composeRequest.newActive,roomAgent1.sendRequest.newActive,roomAgent1.state.newActive,roomAgent1.composeNotUnderstood.newActive,roomAgent1.sendNotUnderstood.newActive,roomAgent1.composeConfirm.newActive,roomAgent1.sendConfirm.newActive,roomAgent1.sendSample.onDelay7.t_next,roomAgent1.sendSample.onDelay7.delaySignal,$whenCondition151,$whenCondition150,roomAgent1.sendSample.edge4.u,roomAgent1.sendSample.onDelay6.t_next,roomAgent1.sendSample.onDelay6.delaySignal,$whenCondition153,$whenCondition152,roomAgent1.sendSample.edge3.u,roomAgent1.sendSample.onDelay5.t_next,roomAgent1.sendSample.onDelay5.delaySignal,$whenCondition155,$whenCondition154,roomAgent1.sendSample.edge2.u,roomAgent1.sendSample.onDelay4.t_next,roomAgent1.sendSample.onDelay4.delaySignal,$whenCondition157,$whenCondition156,roomAgent1.sendSample.edge1.u,roomAgent1.waitForInform.newActive,heatProducerAgent.waiting.newActive,heatProducerAgent.message.newActive,heatProducerAgent.adjustHeat.newActive,heatProducerAgent.computeProposal.newActive,heatProducerAgent.sendProposal.newActive,heatProducerAgent.composeNotUnderstood.newActive,heatProducerAgent.sendNotUnderstood.newActive,heatProducerAgent.sendConfirmation.newActive,heatProducerAgent.sendSample.onDelay7.t_next,heatProducerAgent.sendSample.onDelay7.delaySignal,$whenCondition139,$whenCondition138,heatProducerAgent.sendSample.edge4.u,heatProducerAgent.sendSample.onDelay6.t_next,heatProducerAgent.sendSample.onDelay6.delaySignal,$whenCondition141,$whenCondition140,heatProducerAgent.sendSample.edge3.u,heatProducerAgent.sendSample.onDelay5.t_next,heatProducerAgent.sendSample.onDelay5.delaySignal,$whenCondition143,$whenCondition142,heatProducerAgent.sendSample.edge2.u,heatProducerAgent.sendSample.onDelay4.t_next,heatProducerAgent.sendSample.onDelay4.delaySignal,$whenCondition145,$whenCondition144,heatProducerAgent.sendSample.edge1.u,heatProducerAgent.confirm.newActive,heatProducerAgent.shutDown.newActive,heatProducerAgent1.waiting.newActive,heatProducerAgent1.message.newActive,heatProducerAgent1.adjustHeat.newActive,heatProducerAgent1.computeProposal.newActive,heatProducerAgent1.sendProposal.newActive,heatProducerAgent1.composeNotUnderstood.newActive,heatProducerAgent1.sendNotUnderstood.newActive,heatProducerAgent1.sendConfirmation.newActive,heatProducerAgent1.sendSample.onDelay7.t_next,heatProducerAgent1.sendSample.onDelay7.delaySignal,$whenCondition125,$whenCondition124,heatProducerAgent1.sendSample.edge4.u,heatProducerAgent1.sendSample.onDelay6.t_next,heatProducerAgent1.sendSample.onDelay6.delaySignal,$whenCondition127,$whenCondition126,heatProducerAgent1.sendSample.edge3.u,heatProducerAgent1.sendSample.onDelay5.t_next,heatProducerAgent1.sendSample.onDelay5.delaySignal,$whenCondition129,$whenCondition128,heatProducerAgent1.sendSample.edge2.u,heatProducerAgent1.sendSample.onDelay4.t_next,heatProducerAgent1.sendSample.onDelay4.delaySignal,$whenCondition131,$whenCondition130,heatProducerAgent1.sendSample.edge1.u,heatProducerAgent1.confirm.newActive,heatProducerAgent1.shutDown.newActive,broker.waiting.newActive,broker.message.newActive,broker.requests.newActive,broker.callForProposal.newActive,broker.collectProposal.newActive,broker.sendOutRequest.newActive,broker.sendCall.newActive,broker.sendRequest.newActive,broker.check.newActive,broker.check1.newActive,broker.sendConfirmation.newActive,broker.composeNotUnderstood.newActive,broker.sendNotUnderstood.newActive,broker.composeInformation.newActive,broker.check2.newActive,broker.collectConfirm.newActive,broker.computePrice.newActive,broker.sendInformation.newActive,broker.computeFinalConstellation.newActive,broker.checkRequestComplete.newActive,broker.sendSample.onDelay7.t_next,broker.sendSample.onDelay7.delaySignal,$whenCondition111,$whenCondition110,broker.sendSample.edge4.u,broker.sendSample.onDelay6.t_next,broker.sendSample.onDelay6.delaySignal,$whenCondition113,$whenCondition112,broker.sendSample.edge3.u,broker.sendSample.onDelay5.t_next,broker.sendSample.onDelay5.delaySignal,$whenCondition115,$whenCondition114,broker.sendSample.edge2.u,broker.sendSample.onDelay4.t_next,broker.sendSample.onDelay4.delaySignal,$whenCondition117,$whenCondition116,broker.sendSample.edge1.u,broker.prepareTableforRejections.newActive,broker.checkAvailability.newActive,broker.limitedSupplyAbort.newActive,thermalZone.HDifTilWall[1].incAng.decAng.tNext,thermalZone.HDifTilWall[2].incAng.decAng.tNext,thermalZone.HDifTilWall[3].incAng.decAng.tNext,thermalZone.HDifTilWall[4].incAng.decAng.tNext,thermalZone.HDifTilWall[5].incAng.decAng.tNext,thermalZone.HDirTilWall[1].incAng.decAng.tNext,thermalZone.HDirTilWall[2].incAng.decAng.tNext,thermalZone.HDirTilWall[3].incAng.decAng.tNext,thermalZone.HDirTilWall[4].incAng.decAng.tNext,thermalZone.HDirTilWall[5].incAng.decAng.tNext,thermalZone.HDirTilRoof[1].incAng.decAng.tNext,thermalZone.HDifTilRoof[1].incAng.decAng.tNext,thermalZone1.HDifTilWall[1].incAng.decAng.tNext,thermalZone1.HDifTilWall[2].incAng.decAng.tNext,thermalZone1.HDifTilWall[3].incAng.decAng.tNext,thermalZone1.HDifTilWall[4].incAng.decAng.tNext,thermalZone1.HDifTilWall[5].incAng.decAng.tNext,thermalZone1.HDirTilWall[1].incAng.decAng.tNext,thermalZone1.HDirTilWall[2].incAng.decAng.tNext,thermalZone1.HDirTilWall[3].incAng.decAng.tNext,thermalZone1.HDirTilWall[4].incAng.decAng.tNext,thermalZone1.HDirTilWall[5].incAng.decAng.tNext,thermalZone1.HDirTilRoof[1].incAng.decAng.tNext,thermalZone1.HDifTilRoof[1].incAng.decAng.tNext,weaDat.locTim.tNext,weaDat.conTim.tNext,weaDat.eqnTim.tNext,weaDat.decAng.tNext,weaDat.conTimMin.tNext,InternalHeatGain.nextTimeEventScaled,broker.integerChange.u,$whenCondition109,$whenCondition108,broker.averagePrice,broker.totalHeat,broker.totalPrice,$whenCondition107,$whenCondition106,$whenCondition105,$whenCondition104,$whenCondition103,$whenCondition102,$whenCondition101,$whenCondition100,$whenCondition99,broker.messageID.u[1],broker.uDPSend_adapted.receiver,broker.reply_to.u[1],broker.receiver.u[1],broker.sender.u[1],broker.ontology.u[1],broker.performative.u[1],$whenCondition98,broker.requestsExceedSupply,broker.calculationDone,broker.content.u[2],broker.content.u[1],broker.rejectsComplete,broker.requestComplete,broker.proposalsComplete,broker.requestCounter,broker.heatingRequestSum,broker.requestAddresses[10,1],broker.requestAddresses[9,1],broker.requestAddresses[8,1],broker.requestAddresses[7,1],broker.requestAddresses[6,1],broker.requestAddresses[5,1],broker.requestAddresses[4,1],broker.requestAddresses[3,1],broker.requestAddresses[2,1],broker.requestAddresses[1,1],broker.requestTable[10,1],broker.requestTable[9,1],broker.requestTable[8,1],broker.requestTable[7,1],broker.requestTable[6,1],broker.requestTable[5,1],broker.requestTable[4,1],broker.requestTable[3,1],broker.requestTable[2,1],broker.requestTable[1,1],broker.restHeat,broker.totalaveragePrice,broker.heatingPriceSum,broker.cheapest,broker.heatingCalculationSum,broker.informationDone,broker.informationCounter,broker.finalRequestDone,broker.proposalCounter,broker.heatSupplierTable[2,7],broker.heatSupplierTable[2,6],broker.heatSupplierTable[2,5],broker.heatSupplierTable[2,4],broker.heatSupplierTable[2,3],broker.heatSupplierTable[2,2],broker.heatSupplierTable[2,1],broker.heatSupplierTable[1,7],broker.heatSupplierTable[1,6],broker.heatSupplierTable[1,5],broker.heatSupplierTable[1,4],broker.heatSupplierTable[1,3],broker.heatSupplierTable[1,2],broker.heatSupplierTable[1,1],broker.lowestPrice,broker.counterReject,broker.counter,$whenCondition97,$whenCondition123,$whenCondition122,$whenCondition121,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],$whenCondition120,heatProducerAgent1.setCapacityOut,heatProducerAgent1.setCapacity,$whenCondition119,heatProducerAgent1.costCurrent,heatProducerAgent1.calcCapacityInternal,heatProducerAgent1.currentCapacityDiscrete,$whenCondition118,heatProducerAgent1.integerChange.u,$whenCondition137,$whenCondition136,$whenCondition135,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],$whenCondition134,heatProducerAgent.setCapacityOut,heatProducerAgent.setCapacity,$whenCondition133,heatProducerAgent.costCurrent,heatProducerAgent.calcCapacityInternal,heatProducerAgent.currentCapacityDiscrete,$whenCondition132,heatProducerAgent.integerChange.u,roomAgent1.integerChange.u,$whenCondition149,$whenCondition148,roomAgent1.messageID.u[1],roomAgent1.uDPSend_adapted.receiver,roomAgent1.ontology.u[1],roomAgent1.reply_to.u[1],roomAgent1.receiver.u[1],roomAgent1.sender.u[1],roomAgent1.performative.u[1],$whenCondition147,roomAgent1.content.u[2],roomAgent1.content.u[1],$whenCondition146,roomAgent.integerChange.u,$whenCondition161,$whenCondition160,roomAgent.messageID.u[1],roomAgent.uDPSend_adapted.receiver,roomAgent.ontology.u[1],roomAgent.reply_to.u[1],roomAgent.receiver.u[1],roomAgent.sender.u[1],roomAgent.performative.u[1],$whenCondition159,roomAgent.content.u[2],roomAgent.content.u[1],$whenCondition158) * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for simulation (2451): * Single equations (assignments): 2004 * Array equations: 0 * Algorithm blocks: 23 * Record equations: 3 * When equations: 399 * If-equations: 0 * Equation systems (not torn): 12 * Torn equation systems: 10 * Mixed (continuous/discrete) equation systems: 0 Notification: Equation system details (not torn): * Constant Jacobian (size): 0 systems * Linear Jacobian (size,density): 0 systems * Non-linear Jacobian (size): 12 systems {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1} * Without analytic Jacobian (size): 0 systems Notification: Torn system details for strict tearing set: * Linear torn systems (#iteration vars, #inner vars, density): 4 systems {(3,24,100.0%), (3,24,100.0%), (1,3,100.0%), (1,3,100.0%)} * Non-linear torn systems (#iteration vars, #inner vars): 6 systems {(4,9), (5,14), (1,2), (1,2), (23,2), (23,2)} [openmodelica_codegen_wasm_jit/src/CodegenWasmJit.rs:386:13-386:13:writable] Error: Internal error CodegenWasmJit: cannot build simulation module for `AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke`: CodegenWasmJit: torn-system unknown is not a Real variable " [Timeout remaining time 1117] Failed to build model: AixLib.Controls.HVACAgentBasedControl.Examples.BuildingHeatingSystems.BuildingHeating_usePoke[Calling sys.exit(0), Time elapsed: 25.878696890000356]