Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1-master/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/package.mo", uses=false) Using package AixLib with version 2.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/package.mo) Using package SDF with version 0.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo) Using package Modelica_DeviceDrivers with version 2.1.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1-master/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading,tolerance=1e-12,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading") translateModel(AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading,tolerance=1e-12,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001733/0.001733, allocations: 105.2 kB / 15.99 MB, free: 6.348 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001887/0.001887, allocations: 198.9 kB / 16.91 MB, free: 6.188 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.383/1.383, allocations: 222.9 MB / 240.6 MB, free: 15.43 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1-master/package.mo): time 0.06115/0.06115, allocations: 12.04 MB / 302.8 MB, free: 3.387 MB / 238.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo): time 0.000749/0.0007489, allocations: 26.64 kB / 355.8 MB, free: 14.28 MB / 302.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Utilities/Communication/SocketCommunication/UsersGuide/package.mo:2:1-31:15:writable] Warning: UsersGuide was referenced in the package.order file, but was not found in package.mo, UsersGuide/package.mo or UsersGuide.mo. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/ThermalZones/HighOrder/Validation/ASHRAE140/UsersGuide/package.mo:2:1-1056:15:writable] Warning: UsersGuide was referenced in the package.order file, but was not found in package.mo, UsersGuide/package.mo or UsersGuide.mo. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:9:3-25:68:writable] Warning: Got element refrigerantConstants that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:85:13-94:23:writable] Warning: Got element SmoothTransition that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:97:13-104:12:writable] Warning: Got element f_Idg that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:106:13-128:12:writable] Warning: Got element f_Res that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:130:13-137:15:writable] Warning: Got element t_fIdg_t that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:139:13-148:17:writable] Warning: Got element tt_fIdg_tt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:150:13-171:15:writable] Warning: Got element t_fRes_t that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:173:13-196:17:writable] Warning: Got element tt_fRes_tt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:198:13-221:15:writable] Warning: Got element d_fRes_d that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:223:13-256:17:writable] Warning: Got element dd_fRes_dd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:258:13-284:17:writable] Warning: Got element td_fRes_td that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:286:13-296:19:writable] Warning: Got element ttt_fIdg_ttt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:298:13-325:19:writable] Warning: Got element ttt_fRes_ttt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:327:13-373:19:writable] Warning: Got element ddd_fRes_ddd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:375:13-409:19:writable] Warning: Got element tdd_fRes_tdd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:411:13-440:19:writable] Warning: Got element ttd_fRes_ttd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:445:13-466:25:writable] Warning: Got element saturationPressure that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:468:13-490:28:writable] Warning: Got element saturationTemperature that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:492:13-517:20:writable] Warning: Got element bubbleDensity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:519:13-549:17:writable] Warning: Got element dewDensity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:551:13-571:21:writable] Warning: Got element bubbleEnthalpy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:573:13-594:18:writable] Warning: Got element dewEnthalpy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:596:13-616:20:writable] Warning: Got element bubbleEntropy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:618:13-638:17:writable] Warning: Got element dewEntropy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:643:25-775:21:writable] Warning: Got element temperature_ph that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:777:25-909:21:writable] Warning: Got element temperature_ps that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:911:25-1069:17:writable] Warning: Got element density_pT that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:1073:13-1142:23:writable] Warning: Got element dynamicViscosity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:1144:13-1210:26:writable] Warning: Got element thermalConductivity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:1212:13-1226:21:writable] Warning: Got element surfaceTension that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:8:3-24:68:writable] Warning: Got element refrigerantConstants that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:84:13-93:23:writable] Warning: Got element SmoothTransition that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:96:13-103:12:writable] Warning: Got element f_Idg that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:105:13-127:12:writable] Warning: Got element f_Res that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:129:13-136:15:writable] Warning: Got element t_fIdg_t that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:138:13-147:17:writable] Warning: Got element tt_fIdg_tt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:149:13-170:15:writable] Warning: Got element t_fRes_t that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:172:13-195:17:writable] Warning: Got element tt_fRes_tt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:197:13-220:15:writable] Warning: Got element d_fRes_d that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:222:13-255:17:writable] Warning: Got element dd_fRes_dd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:257:13-283:17:writable] Warning: Got element td_fRes_td that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:285:13-295:19:writable] Warning: Got element ttt_fIdg_ttt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:297:13-324:19:writable] Warning: Got element ttt_fRes_ttt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:326:13-372:19:writable] Warning: Got element ddd_fRes_ddd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:374:13-408:19:writable] Warning: Got element tdd_fRes_tdd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:410:13-439:19:writable] Warning: Got element ttd_fRes_ttd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:444:13-465:25:writable] Warning: Got element saturationPressure that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:467:13-488:28:writable] Warning: Got element saturationTemperature that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:490:13-520:20:writable] Warning: Got element bubbleDensity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:522:13-550:17:writable] Warning: Got element dewDensity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:552:13-575:21:writable] Warning: Got element bubbleEnthalpy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:577:13-601:18:writable] Warning: Got element dewEnthalpy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:603:13-626:20:writable] Warning: Got element bubbleEntropy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:628:13-651:17:writable] Warning: Got element dewEntropy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:656:25-803:21:writable] Warning: Got element temperature_ph that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:805:25-951:21:writable] Warning: Got element temperature_ps that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:953:25-1141:17:writable] Warning: Got element density_pT that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:1145:13-1214:23:writable] Warning: Got element dynamicViscosity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:1216:13-1282:26:writable] Warning: Got element thermalConductivity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:1284:13-1298:21:writable] Warning: Got element surfaceTension that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:8:3-24:68:writable] Warning: Got element refrigerantConstants that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:84:13-87:10:writable] Warning: Got element EoS that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:89:13-93:11:writable] Warning: Got element BDSP that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:95:13-99:10:writable] Warning: Got element TSP that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:101:13-110:23:writable] Warning: Got element SmoothTransition that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:114:13-183:23:writable] Warning: Got element dynamicViscosity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:185:13-251:26:writable] Warning: Got element thermalConductivity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:253:13-267:21:writable] Warning: Got element surfaceTension that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:8:3-24:68:writable] Warning: Got element refrigerantConstants that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:84:13-93:23:writable] Warning: Got element SmoothTransition that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:96:13-103:12:writable] Warning: Got element f_Idg that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:105:13-127:12:writable] Warning: Got element f_Res that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:129:13-136:15:writable] Warning: Got element t_fIdg_t that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:138:13-147:17:writable] Warning: Got element tt_fIdg_tt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:149:13-170:15:writable] Warning: Got element t_fRes_t that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:172:13-195:17:writable] Warning: Got element tt_fRes_tt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:197:13-220:15:writable] Warning: Got element d_fRes_d that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:222:13-255:17:writable] Warning: Got element dd_fRes_dd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:257:13-283:17:writable] Warning: Got element td_fRes_td that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:285:13-295:19:writable] Warning: Got element ttt_fIdg_ttt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:297:13-324:19:writable] Warning: Got element ttt_fRes_ttt that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:326:13-372:19:writable] Warning: Got element ddd_fRes_ddd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:374:13-408:19:writable] Warning: Got element tdd_fRes_tdd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:410:13-439:19:writable] Warning: Got element ttd_fRes_ttd that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:444:13-465:25:writable] Warning: Got element saturationPressure that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:467:13-488:28:writable] Warning: Got element saturationTemperature that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:490:13-520:20:writable] Warning: Got element bubbleDensity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:522:13-550:17:writable] Warning: Got element dewDensity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:552:13-575:21:writable] Warning: Got element bubbleEnthalpy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:577:13-601:18:writable] Warning: Got element dewEnthalpy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:603:13-626:20:writable] Warning: Got element bubbleEntropy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:628:13-651:17:writable] Warning: Got element dewEntropy that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:656:25-804:21:writable] Warning: Got element temperature_ph that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:806:25-953:21:writable] Warning: Got element temperature_ps that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:955:25-1099:17:writable] Warning: Got element density_pT that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:1103:13-1172:23:writable] Warning: Got element dynamicViscosity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:1174:13-1240:26:writable] Warning: Got element thermalConductivity that was not referenced in the package.order file. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:1242:13-1256:21:writable] Warning: Got element surfaceTension that was not referenced in the package.order file. Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 2.1.0/package.mo): time 2.168/2.168, allocations: 313.4 MB / 0.7053 GB, free: 12.12 MB / 494.1 MB Notification: Performance of FrontEnd - loaded program: time 0.003118/0.003118, allocations: 119.8 kB / 0.8343 GB, free: 13.46 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 0.5723/0.5755, allocations: 118.5 MB / 0.95 GB, free: 39.92 MB / 0.6857 GB Notification: Performance of NFInst.instantiate(AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading): time 0.01917/0.5947, allocations: 20.14 MB / 0.9697 GB, free: 25.54 MB / 0.6857 GB Notification: Performance of NFInst.instExpressions: time 0.02236/0.6171, allocations: 13.75 MB / 0.9831 GB, free: 15.5 MB / 0.6857 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.007322/0.6244, allocations: 267.3 kB / 0.9833 GB, free: 15.39 MB / 0.6857 GB Notification: Performance of NFTyping.typeComponents: time 0.005177/0.6297, allocations: 1.121 MB / 0.9844 GB, free: 14.67 MB / 0.6857 GB Notification: Performance of NFTyping.typeBindings: time 0.005854/0.6356, allocations: 0.7469 MB / 0.9852 GB, free: 14.18 MB / 0.6857 GB Notification: Performance of NFTyping.typeClassSections: time 0.01873/0.6543, allocations: 6.635 MB / 0.9916 GB, free: 9.906 MB / 0.6857 GB Notification: Performance of NFFlatten.flatten: time 0.02727/0.6816, allocations: 15.79 MB / 1.007 GB, free: 2.262 MB / 0.6857 GB Notification: Performance of NFFlatten.resolveConnections: time 0.02486/0.7065, allocations: 11.56 MB / 1.018 GB, free: 13.11 MB / 0.7013 GB Notification: Performance of NFEvalConstants.evaluate: time 0.01491/0.7214, allocations: 5.852 MB / 1.024 GB, free: 9.914 MB / 0.7013 GB Notification: Performance of NFSimplifyModel.simplify: time 0.01228/0.7338, allocations: 6.319 MB / 1.03 GB, free: 5.004 MB / 0.7013 GB Notification: Performance of NFPackage.collectConstants: time 0.007878/0.7417, allocations: 1.755 MB / 1.032 GB, free: 5.004 MB / 0.7013 GB Notification: Performance of NFFlatten.collectFunctions: time 0.006308/0.748, allocations: 1.892 MB / 1.034 GB, free: 3.957 MB / 0.7013 GB Notification: Performance of NFScalarize.scalarize: time 0.007469/0.7555, allocations: 4.037 MB / 1.038 GB, free: 15.91 MB / 0.7169 GB Notification: Performance of NFVerifyModel.verify: time 0.01352/0.7691, allocations: 6.612 MB / 1.044 GB, free: 9.273 MB / 0.7169 GB Notification: Performance of NFConvertDAE.convert: time 0.02158/0.7907, allocations: 15.43 MB / 1.059 GB, free: 9.809 MB / 0.7325 GB Notification: Performance of FrontEnd - DAE generated: time 7.604e-06/0.7907, allocations: 0 / 1.059 GB, free: 9.809 MB / 0.7325 GB Notification: Performance of FrontEnd: time 1.814e-06/0.7907, allocations: 0 / 1.059 GB, free: 9.809 MB / 0.7325 GB Notification: Performance of Transformations before backend: time 0.0006965/0.7914, allocations: 0 / 1.059 GB, free: 9.809 MB / 0.7325 GB Warning: Alias equations of external objects are not Modelica compliant as in: bookBuyerAgent2.messageID.pkgOut[1].pkg = bookBuyerAgent2.messageID.pkgIn.pkg bookBuyerAgent2.performative.pkgOut[1].pkg = bookBuyerAgent2.performative.pkgIn.pkg bookBuyerAgent2.getontology.pkgOut[1].pkg = bookBuyerAgent2.getontology.pkgIn.pkg bookBuyerAgent2.getreply_to.pkgOut[1].pkg = bookBuyerAgent2.getreply_to.pkgIn.pkg bookBuyerAgent2.getreceiver.pkgOut[1].pkg = bookBuyerAgent2.getreceiver.pkgIn.pkg bookBuyerAgent2.getsender.pkgOut[1].pkg = bookBuyerAgent2.getsender.pkgIn.pkg bookBuyerAgent2.getperformative.pkgOut[1].pkg = bookBuyerAgent2.getperformative.pkgIn.pkg bookBuyerAgent2.ontology.pkgOut[1].pkg = bookBuyerAgent2.ontology.pkgIn.pkg bookBuyerAgent2.reply_to.pkgOut[1].pkg = bookBuyerAgent2.reply_to.pkgIn.pkg bookBuyerAgent2.receiver.pkgOut[1].pkg = bookBuyerAgent2.receiver.pkgIn.pkg bookBuyerAgent2.sender.pkgOut[1].pkg = bookBuyerAgent2.sender.pkgIn.pkg bookBuyerAgent2.get_content.pkgOut[1].pkg = bookBuyerAgent2.get_content.pkgIn.pkg bookBuyerAgent2.content.pkgOut[1].pkg = bookBuyerAgent2.content.pkgIn.pkg bookBuyerAgent1.messageID.pkgOut[1].pkg = bookBuyerAgent1.messageID.pkgIn.pkg bookBuyerAgent1.performative.pkgOut[1].pkg = bookBuyerAgent1.performative.pkgIn.pkg bookBuyerAgent1.getontology.pkgOut[1].pkg = bookBuyerAgent1.getontology.pkgIn.pkg bookBuyerAgent1.getreply_to.pkgOut[1].pkg = bookBuyerAgent1.getreply_to.pkgIn.pkg bookBuyerAgent1.getreceiver.pkgOut[1].pkg = bookBuyerAgent1.getreceiver.pkgIn.pkg bookBuyerAgent1.getsender.pkgOut[1].pkg = bookBuyerAgent1.getsender.pkgIn.pkg bookBuyerAgent1.getperformative.pkgOut[1].pkg = bookBuyerAgent1.getperformative.pkgIn.pkg bookBuyerAgent1.ontology.pkgOut[1].pkg = bookBuyerAgent1.ontology.pkgIn.pkg bookBuyerAgent1.reply_to.pkgOut[1].pkg = bookBuyerAgent1.reply_to.pkgIn.pkg bookBuyerAgent1.receiver.pkgOut[1].pkg = bookBuyerAgent1.receiver.pkgIn.pkg bookBuyerAgent1.sender.pkgOut[1].pkg = bookBuyerAgent1.sender.pkgIn.pkg bookBuyerAgent1.get_content.pkgOut[1].pkg = bookBuyerAgent1.get_content.pkgIn.pkg bookBuyerAgent1.content.pkgOut[1].pkg = bookBuyerAgent1.content.pkgIn.pkg bookSellerAgent2.messageID.pkgOut[1].pkg = bookSellerAgent2.messageID.pkgIn.pkg bookSellerAgent2.performative.pkgOut[1].pkg = bookSellerAgent2.performative.pkgIn.pkg bookSellerAgent2.getontology.pkgOut[1].pkg = bookSellerAgent2.getontology.pkgIn.pkg bookSellerAgent2.getreply_to.pkgOut[1].pkg = bookSellerAgent2.getreply_to.pkgIn.pkg bookSellerAgent2.getreceiver.pkgOut[1].pkg = bookSellerAgent2.getreceiver.pkgIn.pkg bookSellerAgent2.getsender.pkgOut[1].pkg = bookSellerAgent2.getsender.pkgIn.pkg bookSellerAgent2.getperformative.pkgOut[1].pkg = bookSellerAgent2.getperformative.pkgIn.pkg bookSellerAgent2.ontology.pkgOut[1].pkg = bookSellerAgent2.ontology.pkgIn.pkg bookSellerAgent2.reply_to.pkgOut[1].pkg = bookSellerAgent2.reply_to.pkgIn.pkg bookSellerAgent2.receiver.pkgOut[1].pkg = bookSellerAgent2.receiver.pkgIn.pkg bookSellerAgent2.sender.pkgOut[1].pkg = bookSellerAgent2.sender.pkgIn.pkg bookSellerAgent2.get_content.pkgOut[1].pkg = bookSellerAgent2.get_content.pkgIn.pkg bookSellerAgent2.content.pkgOut[1].pkg = bookSellerAgent2.content.pkgIn.pkg bookSellerAgent1.messageID.pkgOut[1].pkg = bookSellerAgent1.messageID.pkgIn.pkg bookSellerAgent1.performative.pkgOut[1].pkg = bookSellerAgent1.performative.pkgIn.pkg bookSellerAgent1.getontology.pkgOut[1].pkg = bookSellerAgent1.getontology.pkgIn.pkg bookSellerAgent1.getreply_to.pkgOut[1].pkg = bookSellerAgent1.getreply_to.pkgIn.pkg bookSellerAgent1.getreceiver.pkgOut[1].pkg = bookSellerAgent1.getreceiver.pkgIn.pkg bookSellerAgent1.getsender.pkgOut[1].pkg = bookSellerAgent1.getsender.pkgIn.pkg bookSellerAgent1.getperformative.pkgOut[1].pkg = bookSellerAgent1.getperformative.pkgIn.pkg bookSellerAgent1.ontology.pkgOut[1].pkg = bookSellerAgent1.ontology.pkgIn.pkg bookSellerAgent1.reply_to.pkgOut[1].pkg = bookSellerAgent1.reply_to.pkgIn.pkg bookSellerAgent1.receiver.pkgOut[1].pkg = bookSellerAgent1.receiver.pkgIn.pkg bookSellerAgent1.sender.pkgOut[1].pkg = bookSellerAgent1.sender.pkgIn.pkg bookSellerAgent1.get_content.pkgOut[1].pkg = bookSellerAgent1.get_content.pkgIn.pkg bookSellerAgent1.content.pkgOut[1].pkg = bookSellerAgent1.content.pkgIn.pkg bookSellerAgent.messageID.pkgOut[1].pkg = bookSellerAgent.messageID.pkgIn.pkg bookSellerAgent.performative.pkgOut[1].pkg = bookSellerAgent.performative.pkgIn.pkg bookSellerAgent.getontology.pkgOut[1].pkg = bookSellerAgent.getontology.pkgIn.pkg bookSellerAgent.getreply_to.pkgOut[1].pkg = bookSellerAgent.getreply_to.pkgIn.pkg bookSellerAgent.getreceiver.pkgOut[1].pkg = bookSellerAgent.getreceiver.pkgIn.pkg bookSellerAgent.getsender.pkgOut[1].pkg = bookSellerAgent.getsender.pkgIn.pkg bookSellerAgent.getperformative.pkgOut[1].pkg = bookSellerAgent.getperformative.pkgIn.pkg bookSellerAgent.ontology.pkgOut[1].pkg = bookSellerAgent.ontology.pkgIn.pkg bookSellerAgent.reply_to.pkgOut[1].pkg = bookSellerAgent.reply_to.pkgIn.pkg bookSellerAgent.receiver.pkgOut[1].pkg = bookSellerAgent.receiver.pkgIn.pkg bookSellerAgent.sender.pkgOut[1].pkg = bookSellerAgent.sender.pkgIn.pkg bookSellerAgent.get_content.pkgOut[1].pkg = bookSellerAgent.get_content.pkgIn.pkg bookSellerAgent.content.pkgOut[1].pkg = bookSellerAgent.content.pkgIn.pkg bookBuyerAgent.messageID.pkgOut[1].pkg = bookBuyerAgent.messageID.pkgIn.pkg bookBuyerAgent.performative.pkgOut[1].pkg = bookBuyerAgent.performative.pkgIn.pkg bookBuyerAgent.getontology.pkgOut[1].pkg = bookBuyerAgent.getontology.pkgIn.pkg bookBuyerAgent.getreply_to.pkgOut[1].pkg = bookBuyerAgent.getreply_to.pkgIn.pkg bookBuyerAgent.getreceiver.pkgOut[1].pkg = bookBuyerAgent.getreceiver.pkgIn.pkg bookBuyerAgent.getsender.pkgOut[1].pkg = bookBuyerAgent.getsender.pkgIn.pkg bookBuyerAgent.getperformative.pkgOut[1].pkg = bookBuyerAgent.getperformative.pkgIn.pkg bookBuyerAgent.ontology.pkgOut[1].pkg = bookBuyerAgent.ontology.pkgIn.pkg bookBuyerAgent.reply_to.pkgOut[1].pkg = bookBuyerAgent.reply_to.pkgIn.pkg bookBuyerAgent.receiver.pkgOut[1].pkg = bookBuyerAgent.receiver.pkgIn.pkg bookBuyerAgent.sender.pkgOut[1].pkg = bookBuyerAgent.sender.pkgIn.pkg bookBuyerAgent.get_content.pkgOut[1].pkg = bookBuyerAgent.get_content.pkgIn.pkg bookBuyerAgent.content.pkgOut[1].pkg = bookBuyerAgent.content.pkgIn.pkg bookBuyerAgent2.messageID.pkgOut[1].pkg = bookBuyerAgent2.uDPSend_adapted.pkgIn.pkg bookBuyerAgent2.ontology.pkgOut[1].pkg = bookBuyerAgent2.messageID.pkgIn.pkg bookBuyerAgent2.getontology.pkgOut[1].pkg = bookBuyerAgent2.getMessageID.pkgIn.pkg bookBuyerAgent2.performative.pkgOut[1].pkg = bookBuyerAgent2.sender.pkgIn.pkg bookBuyerAgent2.performative.pkgIn.pkg = bookBuyerAgent2.packager.pkgOut.pkg bookBuyerAgent2.get_content.pkgOut[1].pkg = bookBuyerAgent2.getontology.pkgIn.pkg bookBuyerAgent2.getreply_to.pkgOut[1].pkg = bookBuyerAgent2.get_content.pkgIn.pkg bookBuyerAgent2.getreceiver.pkgOut[1].pkg = bookBuyerAgent2.getreply_to.pkgIn.pkg bookBuyerAgent2.getsender.pkgOut[1].pkg = bookBuyerAgent2.getreceiver.pkgIn.pkg bookBuyerAgent2.getperformative.pkgOut[1].pkg = bookBuyerAgent2.getsender.pkgIn.pkg bookBuyerAgent2.getperformative.pkgIn.pkg = bookBuyerAgent2.uDPReceive_adapted.pkgOut.pkg bookBuyerAgent2.content.pkgOut[1].pkg = bookBuyerAgent2.ontology.pkgIn.pkg bookBuyerAgent2.reply_to.pkgOut[1].pkg = bookBuyerAgent2.content.pkgIn.pkg bookBuyerAgent2.receiver.pkgOut[1].pkg = bookBuyerAgent2.reply_to.pkgIn.pkg bookBuyerAgent2.sender.pkgOut[1].pkg = bookBuyerAgent2.receiver.pkgIn.pkg bookBuyerAgent1.messageID.pkgOut[1].pkg = bookBuyerAgent1.uDPSend_adapted.pkgIn.pkg bookBuyerAgent1.ontology.pkgOut[1].pkg = bookBuyerAgent1.messageID.pkgIn.pkg bookBuyerAgent1.getontology.pkgOut[1].pkg = bookBuyerAgent1.getMessageID.pkgIn.pkg bookBuyerAgent1.performative.pkgOut[1].pkg = bookBuyerAgent1.sender.pkgIn.pkg bookBuyerAgent1.performative.pkgIn.pkg = bookBuyerAgent1.packager.pkgOut.pkg bookBuyerAgent1.get_content.pkgOut[1].pkg = bookBuyerAgent1.getontology.pkgIn.pkg bookBuyerAgent1.getreply_to.pkgOut[1].pkg = bookBuyerAgent1.get_content.pkgIn.pkg bookBuyerAgent1.getreceiver.pkgOut[1].pkg = bookBuyerAgent1.getreply_to.pkgIn.pkg bookBuyerAgent1.getsender.pkgOut[1].pkg = bookBuyerAgent1.getreceiver.pkgIn.pkg bookBuyerAgent1.getperformative.pkgOut[1].pkg = bookBuyerAgent1.getsender.pkgIn.pkg bookBuyerAgent1.getperformative.pkgIn.pkg = bookBuyerAgent1.uDPReceive_adapted.pkgOut.pkg bookBuyerAgent1.content.pkgOut[1].pkg = bookBuyerAgent1.ontology.pkgIn.pkg bookBuyerAgent1.reply_to.pkgOut[1].pkg = bookBuyerAgent1.content.pkgIn.pkg bookBuyerAgent1.receiver.pkgOut[1].pkg = bookBuyerAgent1.reply_to.pkgIn.pkg bookBuyerAgent1.sender.pkgOut[1].pkg = bookBuyerAgent1.receiver.pkgIn.pkg bookSellerAgent2.messageID.pkgOut[1].pkg = bookSellerAgent2.uDPSend_adapted.pkgIn.pkg bookSellerAgent2.ontology.pkgOut[1].pkg = bookSellerAgent2.messageID.pkgIn.pkg bookSellerAgent2.getontology.pkgOut[1].pkg = bookSellerAgent2.getMessageID.pkgIn.pkg bookSellerAgent2.performative.pkgOut[1].pkg = bookSellerAgent2.sender.pkgIn.pkg bookSellerAgent2.performative.pkgIn.pkg = bookSellerAgent2.packager.pkgOut.pkg bookSellerAgent2.get_content.pkgOut[1].pkg = bookSellerAgent2.getontology.pkgIn.pkg bookSellerAgent2.getreply_to.pkgOut[1].pkg = bookSellerAgent2.get_content.pkgIn.pkg bookSellerAgent2.getreceiver.pkgOut[1].pkg = bookSellerAgent2.getreply_to.pkgIn.pkg bookSellerAgent2.getsender.pkgOut[1].pkg = bookSellerAgent2.getreceiver.pkgIn.pkg bookSellerAgent2.getperformative.pkgOut[1].pkg = bookSellerAgent2.getsender.pkgIn.pkg bookSellerAgent2.getperformative.pkgIn.pkg = bookSellerAgent2.uDPReceive_adapted.pkgOut.pkg bookSellerAgent2.content.pkgOut[1].pkg = bookSellerAgent2.ontology.pkgIn.pkg bookSellerAgent2.reply_to.pkgOut[1].pkg = bookSellerAgent2.content.pkgIn.pkg bookSellerAgent2.receiver.pkgOut[1].pkg = bookSellerAgent2.reply_to.pkgIn.pkg bookSellerAgent2.sender.pkgOut[1].pkg = bookSellerAgent2.receiver.pkgIn.pkg bookSellerAgent1.messageID.pkgOut[1].pkg = bookSellerAgent1.uDPSend_adapted.pkgIn.pkg bookSellerAgent1.ontology.pkgOut[1].pkg = bookSellerAgent1.messageID.pkgIn.pkg bookSellerAgent1.getontology.pkgOut[1].pkg = bookSellerAgent1.getMessageID.pkgIn.pkg bookSellerAgent1.performative.pkgOut[1].pkg = bookSellerAgent1.sender.pkgIn.pkg bookSellerAgent1.performative.pkgIn.pkg = bookSellerAgent1.packager.pkgOut.pkg bookSellerAgent1.get_content.pkgOut[1].pkg = bookSellerAgent1.getontology.pkgIn.pkg bookSellerAgent1.getreply_to.pkgOut[1].pkg = bookSellerAgent1.get_content.pkgIn.pkg bookSellerAgent1.getreceiver.pkgOut[1].pkg = bookSellerAgent1.getreply_to.pkgIn.pkg bookSellerAgent1.getsender.pkgOut[1].pkg = bookSellerAgent1.getreceiver.pkgIn.pkg bookSellerAgent1.getperformative.pkgOut[1].pkg = bookSellerAgent1.getsender.pkgIn.pkg bookSellerAgent1.getperformative.pkgIn.pkg = bookSellerAgent1.uDPReceive_adapted.pkgOut.pkg bookSellerAgent1.content.pkgOut[1].pkg = bookSellerAgent1.ontology.pkgIn.pkg bookSellerAgent1.reply_to.pkgOut[1].pkg = bookSellerAgent1.content.pkgIn.pkg bookSellerAgent1.receiver.pkgOut[1].pkg = bookSellerAgent1.reply_to.pkgIn.pkg bookSellerAgent1.sender.pkgOut[1].pkg = bookSellerAgent1.receiver.pkgIn.pkg bookSellerAgent.messageID.pkgOut[1].pkg = bookSellerAgent.uDPSend_adapted.pkgIn.pkg bookSellerAgent.ontology.pkgOut[1].pkg = bookSellerAgent.messageID.pkgIn.pkg bookSellerAgent.getontology.pkgOut[1].pkg = bookSellerAgent.getMessageID.pkgIn.pkg bookSellerAgent.performative.pkgOut[1].pkg = bookSellerAgent.sender.pkgIn.pkg bookSellerAgent.performative.pkgIn.pkg = bookSellerAgent.packager.pkgOut.pkg bookSellerAgent.get_content.pkgOut[1].pkg = bookSellerAgent.getontology.pkgIn.pkg bookSellerAgent.getreply_to.pkgOut[1].pkg = bookSellerAgent.get_content.pkgIn.pkg bookSellerAgent.getreceiver.pkgOut[1].pkg = bookSellerAgent.getreply_to.pkgIn.pkg bookSellerAgent.getsender.pkgOut[1].pkg = bookSellerAgent.getreceiver.pkgIn.pkg bookSellerAgent.getperformative.pkgOut[1].pkg = bookSellerAgent.getsender.pkgIn.pkg bookSellerAgent.getperformative.pkgIn.pkg = bookSellerAgent.uDPReceive_adapted.pkgOut.pkg bookSellerAgent.content.pkgOut[1].pkg = bookSellerAgent.ontology.pkgIn.pkg bookSellerAgent.reply_to.pkgOut[1].pkg = bookSellerAgent.content.pkgIn.pkg bookSellerAgent.receiver.pkgOut[1].pkg = bookSellerAgent.reply_to.pkgIn.pkg bookSellerAgent.sender.pkgOut[1].pkg = bookSellerAgent.receiver.pkgIn.pkg bookBuyerAgent.messageID.pkgOut[1].pkg = bookBuyerAgent.uDPSend_adapted.pkgIn.pkg bookBuyerAgent.ontology.pkgOut[1].pkg = bookBuyerAgent.messageID.pkgIn.pkg bookBuyerAgent.getontology.pkgOut[1].pkg = bookBuyerAgent.getMessageID.pkgIn.pkg bookBuyerAgent.performative.pkgOut[1].pkg = bookBuyerAgent.sender.pkgIn.pkg bookBuyerAgent.performative.pkgIn.pkg = bookBuyerAgent.packager.pkgOut.pkg bookBuyerAgent.get_content.pkgOut[1].pkg = bookBuyerAgent.getontology.pkgIn.pkg bookBuyerAgent.getreply_to.pkgOut[1].pkg = bookBuyerAgent.get_content.pkgIn.pkg bookBuyerAgent.getreceiver.pkgOut[1].pkg = bookBuyerAgent.getreply_to.pkgIn.pkg bookBuyerAgent.getsender.pkgOut[1].pkg = bookBuyerAgent.getreceiver.pkgIn.pkg bookBuyerAgent.getperformative.pkgOut[1].pkg = bookBuyerAgent.getsender.pkgIn.pkg bookBuyerAgent.getperformative.pkgIn.pkg = bookBuyerAgent.uDPReceive_adapted.pkgOut.pkg bookBuyerAgent.content.pkgOut[1].pkg = bookBuyerAgent.ontology.pkgIn.pkg bookBuyerAgent.reply_to.pkgOut[1].pkg = bookBuyerAgent.content.pkgIn.pkg bookBuyerAgent.receiver.pkgOut[1].pkg = bookBuyerAgent.reply_to.pkgIn.pkg bookBuyerAgent.sender.pkgOut[1].pkg = bookBuyerAgent.receiver.pkgIn.pkg Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 3018 * Number of variables: 3018 Notification: Performance of Generate backend data structure: time 0.05166/0.8431, allocations: 26.47 MB / 1.085 GB, free: 14.11 MB / 0.7638 GB Notification: Performance of prepare preOptimizeDAE: time 5.627e-05/0.8432, allocations: 8.031 kB / 1.085 GB, free: 14.1 MB / 0.7638 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.005831/0.849, allocations: 1.261 MB / 1.086 GB, free: 12.82 MB / 0.7638 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.01239/0.8614, allocations: 4.905 MB / 1.091 GB, free: 7.84 MB / 0.7638 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.001574/0.863, allocations: 1.014 MB / 1.092 GB, free: 6.824 MB / 0.7638 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.004457/0.8675, allocations: 1.278 MB / 1.093 GB, free: 5.547 MB / 0.7638 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.04414/0.9116, allocations: 13.75 MB / 1.107 GB, free: 7.48 MB / 0.7794 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0005022/0.9122, allocations: 12.86 kB / 1.107 GB, free: 7.469 MB / 0.7794 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.004029/0.9162, allocations: 0.4999 MB / 1.107 GB, free: 6.969 MB / 0.7794 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0003244/0.9166, allocations: 275.9 kB / 1.108 GB, free: 6.699 MB / 0.7794 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.02831/0.9449, allocations: 10.67 MB / 1.118 GB, free: 12 MB / 0.795 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.07332/1.018, allocations: 34.97 MB / 1.152 GB, free: 8.57 MB / 0.8263 GB Notification: Performance of preOpt comSubExp (simulation): time 0.02326/1.042, allocations: 14.72 MB / 1.167 GB, free: 9.551 MB / 0.8419 GB Notification: Performance of preOpt resolveLoops (simulation): time 0.01524/1.057, allocations: 10.34 MB / 1.177 GB, free: 15.11 MB / 0.8575 GB Notification: Performance of preOpt evalFunc (simulation): time 0.0005896/1.057, allocations: 136.8 kB / 1.177 GB, free: 14.98 MB / 0.8575 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.01693/1.074, allocations: 8.418 MB / 1.185 GB, free: 6.086 MB / 0.8575 GB Notification: Performance of pre-optimization done (n=1301): time 2.631e-05/1.074, allocations: 0 / 1.185 GB, free: 6.086 MB / 0.8575 GB Notification: Performance of matching and sorting (n=1301): time 0.03628/1.111, allocations: 18.26 MB / 1.203 GB, free: 3.82 MB / 0.8732 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.002419/1.113, allocations: 3.002 MB / 1.206 GB, free: 304 kB / 0.8732 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.005997/1.119, allocations: 3.368 MB / 1.209 GB, free: 12.9 MB / 0.8888 GB Notification: Performance of collectPreVariables (initialization): time 0.002164/1.121, allocations: 0.7436 MB / 1.21 GB, free: 12.15 MB / 0.8888 GB Notification: Performance of collectInitialEqns (initialization): time 0.003815/1.125, allocations: 3.208 MB / 1.213 GB, free: 8.906 MB / 0.8888 GB Notification: Performance of collectInitialBindings (initialization): time 0.004734/1.13, allocations: 3.102 MB / 1.216 GB, free: 5.766 MB / 0.8888 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.00565/1.136, allocations: 3.361 MB / 1.219 GB, free: 2.395 MB / 0.8888 GB Notification: Performance of setup shared object (initialization): time 0.0001358/1.136, allocations: 301.1 kB / 1.219 GB, free: 2.098 MB / 0.8888 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.008146/1.144, allocations: 3.958 MB / 1.223 GB, free: 14.13 MB / 0.9044 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.01263/1.157, allocations: 7.973 MB / 1.231 GB, free: 4.48 MB / 0.9044 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.02705/1.184, allocations: 17.35 MB / 1.248 GB, free: 1.32 MB / 0.92 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0001618/1.184, allocations: 36 kB / 1.248 GB, free: 1.285 MB / 0.92 GB Notification: Performance of matching and sorting (n=2096) (initialization): time 0.02932/1.213, allocations: 14.11 MB / 1.262 GB, free: 3.133 MB / 0.9357 GB Notification: Performance of prepare postOptimizeDAE: time 0.0002951/1.214, allocations: 251.9 kB / 1.262 GB, free: 2.852 MB / 0.9357 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0002027/1.214, allocations: 123.9 kB / 1.262 GB, free: 2.73 MB / 0.9357 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.0002471/1.214, allocations: 200 kB / 1.262 GB, free: 2.535 MB / 0.9357 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.007423/1.221, allocations: 1.819 MB / 1.264 GB, free: 0.7109 MB / 0.9357 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.0003234/1.222, allocations: 279.1 kB / 1.264 GB, free: 448 kB / 0.9357 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.006384/1.228, allocations: 1.254 MB / 1.266 GB, free: 15.17 MB / 0.9513 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.001749/1.23, allocations: 0.6757 MB / 1.266 GB, free: 14.5 MB / 0.9513 GB Warning: Assuming fixed start value for the following 149 variables: bookBuyerAgent.proposals[3,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent.proposals[3,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent.proposals[2,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent.proposals[2,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent.proposals[1,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent.proposals[1,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real bookBuyerAgent.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookBuyerAgent.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent.lowestPrice:DISCRETE(start = 9999999.0 fixed = true ) type: Real bookBuyerAgent.counterProposals:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookBuyerAgent.requestsDone:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent.bookOffered:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent.bookBought:DISCRETE(flow=false fixed = true ) "Indicator that turns true if a book was succesfully bought" type: Boolean bookBuyerAgent.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer bookSellerAgent.bookList[3,2]:DISCRETE(start = 20.0 fixed = true ) type: Real [3,2] bookSellerAgent.bookList[3,1]:DISCRETE(start = 3551555588.0 fixed = true ) type: Real [3,2] bookSellerAgent.bookList[2,2]:DISCRETE(start = 20.0 fixed = true ) type: Real [3,2] bookSellerAgent.bookList[2,1]:DISCRETE(start = 3551555577.0 fixed = true ) type: Real [3,2] bookSellerAgent.bookList[1,2]:DISCRETE(start = 30.0 fixed = true ) type: Real [3,2] bookSellerAgent.bookList[1,1]:DISCRETE(start = 3551555559.0 fixed = true ) type: Real [3,2] bookSellerAgent.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real bookSellerAgent.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookSellerAgent.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent.content_2_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent.content_1_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent.sender_current:DISCRETE(start = 0 fixed = true ) type: Integer bookSellerAgent.index:DISCRETE(start = 1.0 fixed = true ) type: Real bookSellerAgent.bookToSell:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent.bookInStock:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookSellerAgent.searchedBook:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookSellerAgent.performative_current:DISCRETE(start = 0 fixed = true ) type: Integer bookSellerAgent.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer bookSellerAgent1.bookList[3,2]:DISCRETE(start = 20.0 fixed = true ) type: Real [3,2] bookSellerAgent1.bookList[3,1]:DISCRETE(start = 3551555556.0 fixed = true ) type: Real [3,2] bookSellerAgent1.bookList[2,2]:DISCRETE(start = 40.0 fixed = true ) type: Real [3,2] bookSellerAgent1.bookList[2,1]:DISCRETE(start = 3551555559.0 fixed = true ) type: Real [3,2] bookSellerAgent1.bookList[1,2]:DISCRETE(start = 30.0 fixed = true ) type: Real [3,2] bookSellerAgent1.bookList[1,1]:DISCRETE(start = 3551555589.0 fixed = true ) type: Real [3,2] bookSellerAgent1.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent1.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent1.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent1.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent1.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent1.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real bookSellerAgent1.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookSellerAgent1.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent1.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent1.content_2_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent1.content_1_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent1.sender_current:DISCRETE(start = 0 fixed = true ) type: Integer bookSellerAgent1.index:DISCRETE(start = 1.0 fixed = true ) type: Real bookSellerAgent1.bookToSell:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent1.bookInStock:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent1.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookSellerAgent1.searchedBook:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent1.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookSellerAgent1.performative_current:DISCRETE(start = 0 fixed = true ) type: Integer bookSellerAgent1.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer bookSellerAgent2.bookList[4,2]:DISCRETE(start = 15.0 fixed = true ) type: Real [4,2] bookSellerAgent2.bookList[4,1]:DISCRETE(start = 3551555580.0 fixed = true ) type: Real [4,2] bookSellerAgent2.bookList[3,2]:DISCRETE(start = 20.0 fixed = true ) type: Real [4,2] bookSellerAgent2.bookList[3,1]:DISCRETE(start = 3551555553.0 fixed = true ) type: Real [4,2] bookSellerAgent2.bookList[2,2]:DISCRETE(start = 20.0 fixed = true ) type: Real [4,2] bookSellerAgent2.bookList[2,1]:DISCRETE(start = 3551555554.0 fixed = true ) type: Real [4,2] bookSellerAgent2.bookList[1,2]:DISCRETE(start = 30.0 fixed = true ) type: Real [4,2] bookSellerAgent2.bookList[1,1]:DISCRETE(start = 3551555555.0 fixed = true ) type: Real [4,2] bookSellerAgent2.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent2.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent2.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent2.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent2.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent2.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real bookSellerAgent2.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookSellerAgent2.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent2.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent2.content_2_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent2.content_1_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent2.sender_current:DISCRETE(start = 0 fixed = true ) type: Integer bookSellerAgent2.index:DISCRETE(start = 1.0 fixed = true ) type: Real bookSellerAgent2.bookToSell:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent2.bookInStock:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent2.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookSellerAgent2.searchedBook:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent2.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookSellerAgent2.performative_current:DISCRETE(start = 0 fixed = true ) type: Integer bookSellerAgent2.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer bookBuyerAgent1.proposals[3,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.proposals[3,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.proposals[2,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.proposals[2,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.proposals[1,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.proposals[1,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent1.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent1.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real bookBuyerAgent1.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookBuyerAgent1.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent1.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent1.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent1.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent1.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent1.lowestPrice:DISCRETE(start = 9999999.0 fixed = true ) type: Real bookBuyerAgent1.counterProposals:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent1.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent1.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookBuyerAgent1.requestsDone:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent1.bookOffered:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent1.bookBought:DISCRETE(flow=false fixed = true ) "Indicator that turns true if a book was succesfully bought" type: Boolean bookBuyerAgent1.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer bookBuyerAgent2.proposals[3,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent2.proposals[3,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent2.proposals[2,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent2.proposals[2,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent2.proposals[1,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent2.proposals[1,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent2.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent2.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent2.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real bookBuyerAgent2.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookBuyerAgent2.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent2.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent2.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent2.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent2.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent2.lowestPrice:DISCRETE(start = 9999999.0 fixed = true ) type: Real bookBuyerAgent2.counterProposals:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent2.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent2.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookBuyerAgent2.requestsDone:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent2.bookOffered:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent2.bookBought:DISCRETE(flow=false fixed = true ) "Indicator that turns true if a book was succesfully bought" type: Boolean bookBuyerAgent2.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: 543 * Number of states: 0 () * Number of discrete variables: 1853 ($PRE.bookBuyerAgent.transitionWithSignal.enableFire,$PRE.bookBuyerAgent.transition.enableFire,$PRE.bookBuyerAgent.newMessage.enableFire,$PRE.bookBuyerAgent.offer.enableFire,$PRE.bookBuyerAgent.refuse.enableFire,$PRE.bookBuyerAgent.done.enableFire,$PRE.bookBuyerAgent.notDone.enableFire,$PRE.bookBuyerAgent.confirmation.enableFire,$PRE.bookBuyerAgent.transition1.enableFire,$PRE.bookBuyerAgent.transition3.enableFire,$PRE.bookBuyerAgent.newMessage1.enableFire,$PRE.bookBuyerAgent.abort.enableFire,$PRE.bookBuyerAgent.transitionWithSignal1.enableFire,$PRE.bookBuyerAgent.noOffers.enableFire,$PRE.bookBuyerAgent.abortAction.enableFire,$PRE.bookBuyerAgent.abortAction1.enableFire,$PRE.bookBuyerAgent.transition2.enableFire,$PRE.bookSellerAgent.newMessage.enableFire,$PRE.bookSellerAgent.OfferRequestsServer.enableFire,$PRE.bookSellerAgent.PurchaseOrdersServer.enableFire,$PRE.bookSellerAgent.transition.enableFire,$PRE.bookSellerAgent.transition1.enableFire,$PRE.bookSellerAgent.transition2.enableFire,$PRE.bookSellerAgent.transition3.enableFire,$PRE.bookSellerAgent.transition4.enableFire,$PRE.bookSellerAgent.transition5.enableFire,$PRE.bookSellerAgent1.newMessage.enableFire,$PRE.bookSellerAgent1.OfferRequestsServer.enableFire,$PRE.bookSellerAgent1.PurchaseOrdersServer.enableFire,$PRE.bookSellerAgent1.transition.enableFire,$PRE.bookSellerAgent1.transition1.enableFire,$PRE.bookSellerAgent1.transition2.enableFire,$PRE.bookSellerAgent1.transition3.enableFire,$PRE.bookSellerAgent1.transition4.enableFire,$PRE.bookSellerAgent1.transition5.enableFire,$PRE.bookSellerAgent2.newMessage.enableFire,$PRE.bookSellerAgent2.OfferRequestsServer.enableFire,$PRE.bookSellerAgent2.PurchaseOrdersServer.enableFire,$PRE.bookSellerAgent2.transition.enableFire,$PRE.bookSellerAgent2.transition1.enableFire,$PRE.bookSellerAgent2.transition2.enableFire,$PRE.bookSellerAgent2.transition3.enableFire,$PRE.bookSellerAgent2.transition4.enableFire,$PRE.bookSellerAgent2.transition5.enableFire,$PRE.bookBuyerAgent1.transitionWithSignal.enableFire,$PRE.bookBuyerAgent1.transition.enableFire,$PRE.bookBuyerAgent1.newMessage.enableFire,$PRE.bookBuyerAgent1.offer.enableFire,$PRE.bookBuyerAgent1.refuse.enableFire,$PRE.bookBuyerAgent1.done.enableFire,$PRE.bookBuyerAgent1.notDone.enableFire,$PRE.bookBuyerAgent1.confirmation.enableFire,$PRE.bookBuyerAgent1.transition1.enableFire,$PRE.bookBuyerAgent1.transition3.enableFire,$PRE.bookBuyerAgent1.newMessage1.enableFire,$PRE.bookBuyerAgent1.abort.enableFire,$PRE.bookBuyerAgent1.transitionWithSignal1.enableFire,$PRE.bookBuyerAgent1.noOffers.enableFire,$PRE.bookBuyerAgent1.abortAction.enableFire,$PRE.bookBuyerAgent1.abortAction1.enableFire,$PRE.bookBuyerAgent1.transition2.enableFire,$PRE.bookBuyerAgent2.transitionWithSignal.enableFire,$PRE.bookBuyerAgent2.transition.enableFire,$PRE.bookBuyerAgent2.newMessage.enableFire,$PRE.bookBuyerAgent2.offer.enableFire,$PRE.bookBuyerAgent2.refuse.enableFire,$PRE.bookBuyerAgent2.done.enableFire,$PRE.bookBuyerAgent2.notDone.enableFire,$PRE.bookBuyerAgent2.confirmation.enableFire,$PRE.bookBuyerAgent2.transition1.enableFire,$PRE.bookBuyerAgent2.transition3.enableFire,$PRE.bookBuyerAgent2.newMessage1.enableFire,$PRE.bookBuyerAgent2.abort.enableFire,$PRE.bookBuyerAgent2.transitionWithSignal1.enableFire,$PRE.bookBuyerAgent2.noOffers.enableFire,$PRE.bookBuyerAgent2.abortAction.enableFire,$PRE.bookBuyerAgent2.abortAction1.enableFire,$PRE.bookBuyerAgent2.transition2.enableFire,$PRE.bookBuyerAgent.proposals[3,2],bookBuyerAgent.proposals[3,2],$PRE.bookBuyerAgent.proposals[3,1],bookBuyerAgent.proposals[3,1],$PRE.bookBuyerAgent.proposals[2,2],bookBuyerAgent.proposals[2,2],$PRE.bookBuyerAgent.proposals[2,1],bookBuyerAgent.proposals[2,1],$PRE.bookBuyerAgent.proposals[1,2],bookBuyerAgent.proposals[1,2],$PRE.bookBuyerAgent.proposals[1,1],bookBuyerAgent.proposals[1,1],$PRE.bookBuyerAgent.messageID.u[1],bookBuyerAgent.messageID.u[1],$PRE.bookBuyerAgent.receiver.u[1],bookBuyerAgent.receiver.u[1],$PRE.bookBuyerAgent.uDPSend_adapted.receiver,bookBuyerAgent.uDPSend_adapted.receiver,$PRE.bookBuyerAgent.ontology.u[1],bookBuyerAgent.ontology.u[1],$PRE.bookBuyerAgent.reply_to.u[1],bookBuyerAgent.reply_to.u[1],$PRE.bookBuyerAgent.sender.u[1],bookBuyerAgent.sender.u[1],$PRE.bookBuyerAgent.performative.u[1],bookBuyerAgent.performative.u[1],$PRE.bookBuyerAgent.content.u[2],bookBuyerAgent.content.u[2],$PRE.bookBuyerAgent.content.u[1],bookBuyerAgent.content.u[1],$PRE.bookBuyerAgent.lowestPrice,bookBuyerAgent.lowestPrice,$PRE.bookBuyerAgent.counterProposals,bookBuyerAgent.counterProposals,$PRE.bookBuyerAgent.counter,bookBuyerAgent.counter,bookBuyerAgent.messageID.pkgOut[1].dummy,$PRE.bookBuyerAgent.messageID.pkgOut[1].dummy,bookBuyerAgent.getMessageID.dummy,$PRE.bookBuyerAgent.getMessageID.dummy,bookBuyerAgent.performative.pkgOut[1].dummy,$PRE.bookBuyerAgent.performative.pkgOut[1].dummy,bookBuyerAgent.getontology.dummy,$PRE.bookBuyerAgent.getontology.dummy,bookBuyerAgent.getontology.y[1],$PRE.bookBuyerAgent.getontology.y[1],bookBuyerAgent.getontology.pkgOut[1].dummy,$PRE.bookBuyerAgent.getontology.pkgOut[1].dummy,bookBuyerAgent.getreply_to.dummy,$PRE.bookBuyerAgent.getreply_to.dummy,bookBuyerAgent.getreply_to.y[1],$PRE.bookBuyerAgent.getreply_to.y[1],bookBuyerAgent.getreply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent.getreply_to.pkgOut[1].dummy,bookBuyerAgent.getreceiver.dummy,$PRE.bookBuyerAgent.getreceiver.dummy,bookBuyerAgent.getreceiver.y[1],$PRE.bookBuyerAgent.getreceiver.y[1],bookBuyerAgent.getreceiver.pkgOut[1].dummy,$PRE.bookBuyerAgent.getreceiver.pkgOut[1].dummy,bookBuyerAgent.getsender.dummy,$PRE.bookBuyerAgent.getsender.dummy,bookBuyerAgent.getsender.y[1],$PRE.bookBuyerAgent.getsender.y[1],bookBuyerAgent.getsender.pkgOut[1].dummy,$PRE.bookBuyerAgent.getsender.pkgOut[1].dummy,bookBuyerAgent.getperformative.dummy,$PRE.bookBuyerAgent.getperformative.dummy,bookBuyerAgent.getperformative.pkgOut[1].dummy,$PRE.bookBuyerAgent.getperformative.pkgOut[1].dummy,bookBuyerAgent.ontology.pkgOut[1].dummy,$PRE.bookBuyerAgent.ontology.pkgOut[1].dummy,bookBuyerAgent.reply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent.reply_to.pkgOut[1].dummy,bookBuyerAgent.receiver.pkgOut[1].dummy,$PRE.bookBuyerAgent.receiver.pkgOut[1].dummy,bookBuyerAgent.sender.pkgOut[1].dummy,$PRE.bookBuyerAgent.sender.pkgOut[1].dummy,$PRE.bookBuyerAgent.uDPSend_adapted.dummy,bookBuyerAgent.uDPSend_adapted.dummy,bookBuyerAgent.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookBuyerAgent.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent.uDPReceive_adapted.nRecvBytes,$PRE.bookBuyerAgent.uDPReceive_adapted.nRecvBytes,bookBuyerAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.bookBuyerAgent.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent.get_content.dummy,$PRE.bookBuyerAgent.get_content.dummy,bookBuyerAgent.get_content.y[2],$PRE.bookBuyerAgent.get_content.y[2],bookBuyerAgent.get_content.y[1],$PRE.bookBuyerAgent.get_content.y[1],bookBuyerAgent.get_content.pkgOut[1].dummy,$PRE.bookBuyerAgent.get_content.pkgOut[1].dummy,bookBuyerAgent.content.pkgOut[1].dummy,$PRE.bookBuyerAgent.content.pkgOut[1].dummy,bookBuyerAgent.packager.pkgOut.dummy,$PRE.bookBuyerAgent.packager.pkgOut.dummy,bookBuyerAgent.getontology.pkgOut[1].trigger,$whenCondition99,$PRE.bookBuyerAgent.requestsDone,$PRE.bookBuyerAgent.bookOffered,$PRE.bookBuyerAgent.notServed.oldActive,$PRE.bookBuyerAgent.notServed.newActive,$PRE.bookBuyerAgent.notServed.localActive,$PRE.bookBuyerAgent.abortAction1.t_start,$PRE.bookBuyerAgent.abortAction.t_start,$PRE.bookBuyerAgent.noOffers.t_start,$PRE.bookBuyerAgent.stateOfOffers.oldActive,$PRE.bookBuyerAgent.stateOfOffers.newActive,$PRE.bookBuyerAgent.stateOfOffers.localActive,$PRE.bookBuyerAgent.abort.t_start,$PRE.bookBuyerAgent.bookBought,$PRE.bookBuyerAgent.transition3.t_start,$PRE.bookBuyerAgent.transition1.t_start,$PRE.bookBuyerAgent.setDone.oldActive,$PRE.bookBuyerAgent.setDone.newActive,$PRE.bookBuyerAgent.setDone.localActive,$PRE.bookBuyerAgent.confirmation.t_start,$PRE.bookBuyerAgent.check1.oldActive,$PRE.bookBuyerAgent.check1.newActive,$PRE.bookBuyerAgent.check1.localActive,$PRE.bookBuyerAgent.sendBuy.oldActive,$PRE.bookBuyerAgent.sendBuy.newActive,$PRE.bookBuyerAgent.sendBuy.localActive,$PRE.bookBuyerAgent.sendRequest.oldActive,$PRE.bookBuyerAgent.sendRequest.newActive,$PRE.bookBuyerAgent.sendRequest.localActive,$PRE.bookBuyerAgent.notDone.t_start,$PRE.bookBuyerAgent.done.t_start,$PRE.bookBuyerAgent.refuse.t_start,$PRE.bookBuyerAgent.offer.t_start,$PRE.bookBuyerAgent.check.oldActive,$PRE.bookBuyerAgent.check.newActive,$PRE.bookBuyerAgent.check.localActive,$PRE.bookBuyerAgent.transition.t_start,$PRE.bookBuyerAgent.integerChange.u,$PRE.bookBuyerAgent.composeBuy.oldActive,$PRE.bookBuyerAgent.composeBuy.newActive,$PRE.bookBuyerAgent.composeBuy.localActive,$PRE.bookBuyerAgent.collectProposal.oldActive,$PRE.bookBuyerAgent.collectProposal.newActive,$PRE.bookBuyerAgent.collectProposal.localActive,$PRE.bookBuyerAgent.composeRequest.oldActive,$PRE.bookBuyerAgent.composeRequest.newActive,$PRE.bookBuyerAgent.composeRequest.localActive,$PRE.bookBuyerAgent.waiting.oldActive,$PRE.bookBuyerAgent.waiting.newActive,$PRE.bookBuyerAgent.waiting.localActive,bookBuyerAgent.transition2.enableFire,bookBuyerAgent.notServed.oldActive,bookBuyerAgent.notServed.newActive,bookBuyerAgent.notServed.inPort[2].occupied,bookBuyerAgent.notServed.localActive,bookBuyerAgent.notServed.active,bookBuyerAgent.abortAction1.t_start,bookBuyerAgent.abortAction1.fire,bookBuyerAgent.abortAction1.enableFire,bookBuyerAgent.abortAction.t_start,bookBuyerAgent.abortAction.fire,bookBuyerAgent.abortAction.enableFire,bookBuyerAgent.noOffers.t_start,bookBuyerAgent.noOffers.fire,bookBuyerAgent.noOffers.enableFire,bookBuyerAgent.transitionWithSignal1.enableFire,bookBuyerAgent.stateOfOffers.oldActive,bookBuyerAgent.stateOfOffers.newActive,bookBuyerAgent.stateOfOffers.outPort[2].available,bookBuyerAgent.stateOfOffers.localActive,bookBuyerAgent.stateOfOffers.active,bookBuyerAgent.abort.t_start,bookBuyerAgent.abort.fire,bookBuyerAgent.abort.enableFire,bookBuyerAgent.newMessage1.enableFire,bookBuyerAgent.newMessage1.condition,bookBuyerAgent.bookBought,bookBuyerAgent.transition3.t_start,bookBuyerAgent.transition3.fire,bookBuyerAgent.transition3.enableFire,bookBuyerAgent.transition1.t_start,bookBuyerAgent.transition1.fire,bookBuyerAgent.transition1.enableFire,bookBuyerAgent.setDone.oldActive,bookBuyerAgent.setDone.newActive,bookBuyerAgent.setDone.localActive,bookBuyerAgent.setDone.active,bookBuyerAgent.confirmation.t_start,bookBuyerAgent.confirmation.fire,bookBuyerAgent.confirmation.enableFire,bookBuyerAgent.confirmation.condition,bookBuyerAgent.check1.oldActive,bookBuyerAgent.check1.newActive,bookBuyerAgent.check1.outPort[2].available,bookBuyerAgent.check1.localActive,bookBuyerAgent.check1.active,bookBuyerAgent.sendBuy.active,bookBuyerAgent.sendBuy.oldActive,bookBuyerAgent.sendBuy.newActive,bookBuyerAgent.sendBuy.outPort[2].available,bookBuyerAgent.sendBuy.localActive,bookBuyerAgent.sendRequest.active,bookBuyerAgent.sendRequest.oldActive,bookBuyerAgent.sendRequest.newActive,bookBuyerAgent.sendRequest.outPort[2].available,bookBuyerAgent.sendRequest.localActive,bookBuyerAgent.notDone.t_start,bookBuyerAgent.notDone.fire,bookBuyerAgent.notDone.enableFire,bookBuyerAgent.done.t_start,bookBuyerAgent.done.fire,bookBuyerAgent.done.enableFire,bookBuyerAgent.refuse.t_start,bookBuyerAgent.refuse.fire,bookBuyerAgent.refuse.enableFire,bookBuyerAgent.refuse.condition,bookBuyerAgent.offer.t_start,bookBuyerAgent.offer.fire,bookBuyerAgent.offer.enableFire,bookBuyerAgent.offer.condition,bookBuyerAgent.newMessage.enableFire,bookBuyerAgent.check.oldActive,bookBuyerAgent.check.newActive,bookBuyerAgent.check.outPort[2].available,bookBuyerAgent.check.localActive,bookBuyerAgent.check.active,bookBuyerAgent.transition.t_start,bookBuyerAgent.transition.fire,bookBuyerAgent.transition.enableFire,bookBuyerAgent.transitionWithSignal.enableFire,bookBuyerAgent.transitionWithSignal.condition,bookBuyerAgent.sampleTrigger.y,bookBuyerAgent.integerChange.u,bookBuyerAgent.composeBuy.oldActive,bookBuyerAgent.composeBuy.newActive,bookBuyerAgent.composeBuy.localActive,bookBuyerAgent.composeBuy.active,bookBuyerAgent.collectProposal.oldActive,bookBuyerAgent.collectProposal.newActive,bookBuyerAgent.collectProposal.outPort[2].available,bookBuyerAgent.collectProposal.localActive,bookBuyerAgent.collectProposal.active,bookBuyerAgent.composeRequest.oldActive,bookBuyerAgent.composeRequest.newActive,bookBuyerAgent.composeRequest.inPort[3].occupied,bookBuyerAgent.composeRequest.inPort[2].occupied,bookBuyerAgent.composeRequest.localActive,bookBuyerAgent.composeRequest.active,bookBuyerAgent.waiting.oldActive,bookBuyerAgent.waiting.newActive,bookBuyerAgent.waiting.inPort[4].occupied,bookBuyerAgent.waiting.inPort[3].occupied,bookBuyerAgent.waiting.inPort[2].occupied,bookBuyerAgent.waiting.localActive,bookBuyerAgent.waiting.active,bookBuyerAgent.bookOffered,bookBuyerAgent.requestsDone,bookBuyerAgent.stateGraphRoot.activeSteps,bookBuyerAgent.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent.messageID.pkgOut[1].trigger,bookBuyerAgent.getMessageID.y[1],$PRE.bookBuyerAgent.getMessageID.y[1],bookBuyerAgent.getperformative.y[1],$PRE.bookBuyerAgent.getperformative.y[1],$whenCondition120,$whenCondition119,$whenCondition118,$whenCondition117,$whenCondition116,$whenCondition115,$whenCondition114,$whenCondition113,$whenCondition98,$whenCondition100,$whenCondition101,$whenCondition102,$whenCondition103,$whenCondition104,$whenCondition105,$whenCondition106,$whenCondition107,$whenCondition108,$whenCondition109,$whenCondition110,$whenCondition111,$whenCondition112,bookBuyerAgent.transitionWithSignal.t_start,$PRE.bookBuyerAgent.transitionWithSignal.t_start,bookBuyerAgent.newMessage.t_start,$PRE.bookBuyerAgent.newMessage.t_start,bookBuyerAgent.newMessage1.t_start,$PRE.bookBuyerAgent.newMessage1.t_start,bookBuyerAgent.transitionWithSignal1.t_start,$PRE.bookBuyerAgent.transitionWithSignal1.t_start,bookBuyerAgent.transition2.t_start,$PRE.bookBuyerAgent.transition2.t_start,$PRE.bookSellerAgent.bookList[3,2],bookSellerAgent.bookList[3,2],$PRE.bookSellerAgent.bookList[3,1],bookSellerAgent.bookList[3,1],$PRE.bookSellerAgent.bookList[2,2],bookSellerAgent.bookList[2,2],$PRE.bookSellerAgent.bookList[2,1],bookSellerAgent.bookList[2,1],$PRE.bookSellerAgent.bookList[1,2],bookSellerAgent.bookList[1,2],$PRE.bookSellerAgent.bookList[1,1],bookSellerAgent.bookList[1,1],$PRE.bookSellerAgent.performative.u[1],bookSellerAgent.performative.u[1],$PRE.bookSellerAgent.content.u[2],bookSellerAgent.content.u[2],$PRE.bookSellerAgent.content.u[1],bookSellerAgent.content.u[1],$PRE.bookSellerAgent.messageID.u[1],bookSellerAgent.messageID.u[1],$PRE.bookSellerAgent.receiver.u[1],bookSellerAgent.receiver.u[1],$PRE.bookSellerAgent.uDPSend_adapted.receiver,bookSellerAgent.uDPSend_adapted.receiver,$PRE.bookSellerAgent.ontology.u[1],bookSellerAgent.ontology.u[1],$PRE.bookSellerAgent.reply_to.u[1],bookSellerAgent.reply_to.u[1],$PRE.bookSellerAgent.sender.u[1],bookSellerAgent.sender.u[1],$PRE.bookSellerAgent.content_2_current,bookSellerAgent.content_2_current,$PRE.bookSellerAgent.content_1_current,bookSellerAgent.content_1_current,$PRE.bookSellerAgent.sender_current,bookSellerAgent.sender_current,$PRE.bookSellerAgent.index,bookSellerAgent.index,$PRE.bookSellerAgent.bookToSell,bookSellerAgent.bookToSell,$PRE.bookSellerAgent.bookInStock,bookSellerAgent.bookInStock,$PRE.bookSellerAgent.counter,bookSellerAgent.counter,$PRE.bookSellerAgent.searchedBook,bookSellerAgent.searchedBook,bookSellerAgent.messageID.pkgOut[1].dummy,$PRE.bookSellerAgent.messageID.pkgOut[1].dummy,bookSellerAgent.getMessageID.dummy,$PRE.bookSellerAgent.getMessageID.dummy,bookSellerAgent.performative.pkgOut[1].dummy,$PRE.bookSellerAgent.performative.pkgOut[1].dummy,bookSellerAgent.getontology.dummy,$PRE.bookSellerAgent.getontology.dummy,bookSellerAgent.getontology.y[1],$PRE.bookSellerAgent.getontology.y[1],bookSellerAgent.getontology.pkgOut[1].dummy,$PRE.bookSellerAgent.getontology.pkgOut[1].dummy,bookSellerAgent.getreply_to.dummy,$PRE.bookSellerAgent.getreply_to.dummy,bookSellerAgent.getreply_to.y[1],$PRE.bookSellerAgent.getreply_to.y[1],bookSellerAgent.getreply_to.pkgOut[1].dummy,$PRE.bookSellerAgent.getreply_to.pkgOut[1].dummy,bookSellerAgent.getreceiver.dummy,$PRE.bookSellerAgent.getreceiver.dummy,bookSellerAgent.getreceiver.y[1],$PRE.bookSellerAgent.getreceiver.y[1],bookSellerAgent.getreceiver.pkgOut[1].dummy,$PRE.bookSellerAgent.getreceiver.pkgOut[1].dummy,bookSellerAgent.getsender.dummy,$PRE.bookSellerAgent.getsender.dummy,bookSellerAgent.getsender.y[1],$PRE.bookSellerAgent.getsender.y[1],bookSellerAgent.getsender.pkgOut[1].dummy,$PRE.bookSellerAgent.getsender.pkgOut[1].dummy,bookSellerAgent.getperformative.dummy,$PRE.bookSellerAgent.getperformative.dummy,bookSellerAgent.getperformative.y[1],$PRE.bookSellerAgent.getperformative.y[1],bookSellerAgent.getperformative.pkgOut[1].dummy,$PRE.bookSellerAgent.getperformative.pkgOut[1].dummy,bookSellerAgent.ontology.pkgOut[1].dummy,$PRE.bookSellerAgent.ontology.pkgOut[1].dummy,bookSellerAgent.reply_to.pkgOut[1].dummy,$PRE.bookSellerAgent.reply_to.pkgOut[1].dummy,bookSellerAgent.receiver.pkgOut[1].dummy,$PRE.bookSellerAgent.receiver.pkgOut[1].dummy,bookSellerAgent.sender.pkgOut[1].dummy,$PRE.bookSellerAgent.sender.pkgOut[1].dummy,$PRE.bookSellerAgent.uDPSend_adapted.dummy,bookSellerAgent.uDPSend_adapted.dummy,bookSellerAgent.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookSellerAgent.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent.uDPReceive_adapted.nRecvBytes,$PRE.bookSellerAgent.uDPReceive_adapted.nRecvBytes,bookSellerAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.bookSellerAgent.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent.get_content.dummy,$PRE.bookSellerAgent.get_content.dummy,bookSellerAgent.get_content.y[2],$PRE.bookSellerAgent.get_content.y[2],bookSellerAgent.get_content.y[1],$PRE.bookSellerAgent.get_content.y[1],bookSellerAgent.get_content.pkgOut[1].dummy,$PRE.bookSellerAgent.get_content.pkgOut[1].dummy,bookSellerAgent.content.pkgOut[1].dummy,$PRE.bookSellerAgent.content.pkgOut[1].dummy,bookSellerAgent.packager.pkgOut.dummy,$PRE.bookSellerAgent.packager.pkgOut.dummy,bookSellerAgent.getontology.pkgOut[1].trigger,$whenCondition82,$PRE.bookSellerAgent.performative_current,$PRE.bookSellerAgent.transition5.t_start,$PRE.bookSellerAgent.transition4.t_start,$PRE.bookSellerAgent.transition3.t_start,$PRE.bookSellerAgent.transition2.t_start,$PRE.bookSellerAgent.transition1.t_start,$PRE.bookSellerAgent.transition.t_start,$PRE.bookSellerAgent.sendResponse1.oldActive,$PRE.bookSellerAgent.sendResponse1.newActive,$PRE.bookSellerAgent.sendResponse1.localActive,$PRE.bookSellerAgent.composeResponse1.oldActive,$PRE.bookSellerAgent.composeResponse1.newActive,$PRE.bookSellerAgent.composeResponse1.localActive,$PRE.bookSellerAgent.checkLibrary1.oldActive,$PRE.bookSellerAgent.checkLibrary1.newActive,$PRE.bookSellerAgent.checkLibrary1.localActive,$PRE.bookSellerAgent.sendResponse.oldActive,$PRE.bookSellerAgent.sendResponse.newActive,$PRE.bookSellerAgent.sendResponse.localActive,$PRE.bookSellerAgent.composeResponse.oldActive,$PRE.bookSellerAgent.composeResponse.newActive,$PRE.bookSellerAgent.composeResponse.localActive,$PRE.bookSellerAgent.checkLibrary.oldActive,$PRE.bookSellerAgent.checkLibrary.newActive,$PRE.bookSellerAgent.checkLibrary.localActive,$PRE.bookSellerAgent.PurchaseOrdersServer.t_start,$PRE.bookSellerAgent.OfferRequestsServer.t_start,$PRE.bookSellerAgent.checkPurpose.oldActive,$PRE.bookSellerAgent.checkPurpose.newActive,$PRE.bookSellerAgent.checkPurpose.localActive,$PRE.bookSellerAgent.waiting.oldActive,$PRE.bookSellerAgent.waiting.newActive,$PRE.bookSellerAgent.waiting.localActive,$PRE.bookSellerAgent.integerChange.u,bookSellerAgent.transition5.t_start,bookSellerAgent.transition5.fire,bookSellerAgent.transition5.enableFire,bookSellerAgent.transition4.t_start,bookSellerAgent.transition4.fire,bookSellerAgent.transition4.enableFire,bookSellerAgent.transition3.t_start,bookSellerAgent.transition3.fire,bookSellerAgent.transition3.enableFire,bookSellerAgent.transition2.t_start,bookSellerAgent.transition2.fire,bookSellerAgent.transition2.enableFire,bookSellerAgent.transition1.t_start,bookSellerAgent.transition1.fire,bookSellerAgent.transition1.enableFire,bookSellerAgent.transition.t_start,bookSellerAgent.transition.fire,bookSellerAgent.transition.enableFire,bookSellerAgent.sendResponse1.active,bookSellerAgent.sendResponse1.oldActive,bookSellerAgent.sendResponse1.newActive,bookSellerAgent.sendResponse1.localActive,bookSellerAgent.composeResponse1.oldActive,bookSellerAgent.composeResponse1.newActive,bookSellerAgent.composeResponse1.localActive,bookSellerAgent.composeResponse1.active,bookSellerAgent.checkLibrary1.oldActive,bookSellerAgent.checkLibrary1.newActive,bookSellerAgent.checkLibrary1.localActive,bookSellerAgent.checkLibrary1.active,bookSellerAgent.sendResponse.active,bookSellerAgent.sendResponse.oldActive,bookSellerAgent.sendResponse.newActive,bookSellerAgent.sendResponse.localActive,bookSellerAgent.composeResponse.oldActive,bookSellerAgent.composeResponse.newActive,bookSellerAgent.composeResponse.localActive,bookSellerAgent.composeResponse.active,bookSellerAgent.checkLibrary.oldActive,bookSellerAgent.checkLibrary.newActive,bookSellerAgent.checkLibrary.localActive,bookSellerAgent.checkLibrary.active,bookSellerAgent.PurchaseOrdersServer.t_start,bookSellerAgent.PurchaseOrdersServer.fire,bookSellerAgent.PurchaseOrdersServer.enableFire,bookSellerAgent.PurchaseOrdersServer.condition,bookSellerAgent.OfferRequestsServer.t_start,bookSellerAgent.OfferRequestsServer.fire,bookSellerAgent.OfferRequestsServer.enableFire,bookSellerAgent.OfferRequestsServer.condition,bookSellerAgent.checkPurpose.oldActive,bookSellerAgent.checkPurpose.newActive,bookSellerAgent.checkPurpose.outPort[2].available,bookSellerAgent.checkPurpose.localActive,bookSellerAgent.checkPurpose.active,bookSellerAgent.newMessage.enableFire,bookSellerAgent.newMessage.condition,bookSellerAgent.waiting.oldActive,bookSellerAgent.waiting.newActive,bookSellerAgent.waiting.inPort[2].occupied,bookSellerAgent.waiting.localActive,bookSellerAgent.waiting.active,bookSellerAgent.integerChange.u,bookSellerAgent.performative_current,bookSellerAgent.stateGraphRoot.activeSteps,bookSellerAgent.messageID.pkgOut[1].backwardTrigger,bookSellerAgent.messageID.pkgOut[1].trigger,bookSellerAgent.getMessageID.y[1],$PRE.bookSellerAgent.getMessageID.y[1],$whenCondition97,$whenCondition96,$whenCondition95,$whenCondition94,$whenCondition93,$whenCondition92,$whenCondition81,$whenCondition83,$whenCondition84,$whenCondition85,$whenCondition86,$whenCondition87,$whenCondition88,$whenCondition89,$whenCondition90,$whenCondition91,bookSellerAgent.newMessage.t_start,$PRE.bookSellerAgent.newMessage.t_start,$PRE.bookSellerAgent1.bookList[3,2],bookSellerAgent1.bookList[3,2],$PRE.bookSellerAgent1.bookList[3,1],bookSellerAgent1.bookList[3,1],$PRE.bookSellerAgent1.bookList[2,2],bookSellerAgent1.bookList[2,2],$PRE.bookSellerAgent1.bookList[2,1],bookSellerAgent1.bookList[2,1],$PRE.bookSellerAgent1.bookList[1,2],bookSellerAgent1.bookList[1,2],$PRE.bookSellerAgent1.bookList[1,1],bookSellerAgent1.bookList[1,1],$PRE.bookSellerAgent1.performative.u[1],bookSellerAgent1.performative.u[1],$PRE.bookSellerAgent1.content.u[2],bookSellerAgent1.content.u[2],$PRE.bookSellerAgent1.content.u[1],bookSellerAgent1.content.u[1],$PRE.bookSellerAgent1.messageID.u[1],bookSellerAgent1.messageID.u[1],$PRE.bookSellerAgent1.receiver.u[1],bookSellerAgent1.receiver.u[1],$PRE.bookSellerAgent1.uDPSend_adapted.receiver,bookSellerAgent1.uDPSend_adapted.receiver,$PRE.bookSellerAgent1.ontology.u[1],bookSellerAgent1.ontology.u[1],$PRE.bookSellerAgent1.reply_to.u[1],bookSellerAgent1.reply_to.u[1],$PRE.bookSellerAgent1.sender.u[1],bookSellerAgent1.sender.u[1],$PRE.bookSellerAgent1.content_2_current,bookSellerAgent1.content_2_current,$PRE.bookSellerAgent1.content_1_current,bookSellerAgent1.content_1_current,$PRE.bookSellerAgent1.sender_current,bookSellerAgent1.sender_current,$PRE.bookSellerAgent1.index,bookSellerAgent1.index,$PRE.bookSellerAgent1.bookToSell,bookSellerAgent1.bookToSell,$PRE.bookSellerAgent1.bookInStock,bookSellerAgent1.bookInStock,$PRE.bookSellerAgent1.counter,bookSellerAgent1.counter,$PRE.bookSellerAgent1.searchedBook,bookSellerAgent1.searchedBook,bookSellerAgent1.messageID.pkgOut[1].dummy,$PRE.bookSellerAgent1.messageID.pkgOut[1].dummy,bookSellerAgent1.getMessageID.dummy,$PRE.bookSellerAgent1.getMessageID.dummy,bookSellerAgent1.performative.pkgOut[1].dummy,$PRE.bookSellerAgent1.performative.pkgOut[1].dummy,bookSellerAgent1.getontology.dummy,$PRE.bookSellerAgent1.getontology.dummy,bookSellerAgent1.getontology.y[1],$PRE.bookSellerAgent1.getontology.y[1],bookSellerAgent1.getontology.pkgOut[1].dummy,$PRE.bookSellerAgent1.getontology.pkgOut[1].dummy,bookSellerAgent1.getreply_to.dummy,$PRE.bookSellerAgent1.getreply_to.dummy,bookSellerAgent1.getreply_to.y[1],$PRE.bookSellerAgent1.getreply_to.y[1],bookSellerAgent1.getreply_to.pkgOut[1].dummy,$PRE.bookSellerAgent1.getreply_to.pkgOut[1].dummy,bookSellerAgent1.getreceiver.dummy,$PRE.bookSellerAgent1.getreceiver.dummy,bookSellerAgent1.getreceiver.y[1],$PRE.bookSellerAgent1.getreceiver.y[1],bookSellerAgent1.getreceiver.pkgOut[1].dummy,$PRE.bookSellerAgent1.getreceiver.pkgOut[1].dummy,bookSellerAgent1.getsender.dummy,$PRE.bookSellerAgent1.getsender.dummy,bookSellerAgent1.getsender.y[1],$PRE.bookSellerAgent1.getsender.y[1],bookSellerAgent1.getsender.pkgOut[1].dummy,$PRE.bookSellerAgent1.getsender.pkgOut[1].dummy,bookSellerAgent1.getperformative.dummy,$PRE.bookSellerAgent1.getperformative.dummy,bookSellerAgent1.getperformative.y[1],$PRE.bookSellerAgent1.getperformative.y[1],bookSellerAgent1.getperformative.pkgOut[1].dummy,$PRE.bookSellerAgent1.getperformative.pkgOut[1].dummy,bookSellerAgent1.ontology.pkgOut[1].dummy,$PRE.bookSellerAgent1.ontology.pkgOut[1].dummy,bookSellerAgent1.reply_to.pkgOut[1].dummy,$PRE.bookSellerAgent1.reply_to.pkgOut[1].dummy,bookSellerAgent1.receiver.pkgOut[1].dummy,$PRE.bookSellerAgent1.receiver.pkgOut[1].dummy,bookSellerAgent1.sender.pkgOut[1].dummy,$PRE.bookSellerAgent1.sender.pkgOut[1].dummy,$PRE.bookSellerAgent1.uDPSend_adapted.dummy,bookSellerAgent1.uDPSend_adapted.dummy,bookSellerAgent1.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookSellerAgent1.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent1.uDPReceive_adapted.nRecvBytes,$PRE.bookSellerAgent1.uDPReceive_adapted.nRecvBytes,bookSellerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.bookSellerAgent1.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent1.get_content.dummy,$PRE.bookSellerAgent1.get_content.dummy,bookSellerAgent1.get_content.y[2],$PRE.bookSellerAgent1.get_content.y[2],bookSellerAgent1.get_content.y[1],$PRE.bookSellerAgent1.get_content.y[1],bookSellerAgent1.get_content.pkgOut[1].dummy,$PRE.bookSellerAgent1.get_content.pkgOut[1].dummy,bookSellerAgent1.content.pkgOut[1].dummy,$PRE.bookSellerAgent1.content.pkgOut[1].dummy,bookSellerAgent1.packager.pkgOut.dummy,$PRE.bookSellerAgent1.packager.pkgOut.dummy,bookSellerAgent1.getontology.pkgOut[1].trigger,$whenCondition65,$PRE.bookSellerAgent1.performative_current,$PRE.bookSellerAgent1.transition5.t_start,$PRE.bookSellerAgent1.transition4.t_start,$PRE.bookSellerAgent1.transition3.t_start,$PRE.bookSellerAgent1.transition2.t_start,$PRE.bookSellerAgent1.transition1.t_start,$PRE.bookSellerAgent1.transition.t_start,$PRE.bookSellerAgent1.sendResponse1.oldActive,$PRE.bookSellerAgent1.sendResponse1.newActive,$PRE.bookSellerAgent1.sendResponse1.localActive,$PRE.bookSellerAgent1.composeResponse1.oldActive,$PRE.bookSellerAgent1.composeResponse1.newActive,$PRE.bookSellerAgent1.composeResponse1.localActive,$PRE.bookSellerAgent1.checkLibrary1.oldActive,$PRE.bookSellerAgent1.checkLibrary1.newActive,$PRE.bookSellerAgent1.checkLibrary1.localActive,$PRE.bookSellerAgent1.sendResponse.oldActive,$PRE.bookSellerAgent1.sendResponse.newActive,$PRE.bookSellerAgent1.sendResponse.localActive,$PRE.bookSellerAgent1.composeResponse.oldActive,$PRE.bookSellerAgent1.composeResponse.newActive,$PRE.bookSellerAgent1.composeResponse.localActive,$PRE.bookSellerAgent1.checkLibrary.oldActive,$PRE.bookSellerAgent1.checkLibrary.newActive,$PRE.bookSellerAgent1.checkLibrary.localActive,$PRE.bookSellerAgent1.PurchaseOrdersServer.t_start,$PRE.bookSellerAgent1.OfferRequestsServer.t_start,$PRE.bookSellerAgent1.checkPurpose.oldActive,$PRE.bookSellerAgent1.checkPurpose.newActive,$PRE.bookSellerAgent1.checkPurpose.localActive,$PRE.bookSellerAgent1.waiting.oldActive,$PRE.bookSellerAgent1.waiting.newActive,$PRE.bookSellerAgent1.waiting.localActive,$PRE.bookSellerAgent1.integerChange.u,bookSellerAgent1.transition5.t_start,bookSellerAgent1.transition5.fire,bookSellerAgent1.transition5.enableFire,bookSellerAgent1.transition4.t_start,bookSellerAgent1.transition4.fire,bookSellerAgent1.transition4.enableFire,bookSellerAgent1.transition3.t_start,bookSellerAgent1.transition3.fire,bookSellerAgent1.transition3.enableFire,bookSellerAgent1.transition2.t_start,bookSellerAgent1.transition2.fire,bookSellerAgent1.transition2.enableFire,bookSellerAgent1.transition1.t_start,bookSellerAgent1.transition1.fire,bookSellerAgent1.transition1.enableFire,bookSellerAgent1.transition.t_start,bookSellerAgent1.transition.fire,bookSellerAgent1.transition.enableFire,bookSellerAgent1.sendResponse1.active,bookSellerAgent1.sendResponse1.oldActive,bookSellerAgent1.sendResponse1.newActive,bookSellerAgent1.sendResponse1.localActive,bookSellerAgent1.composeResponse1.oldActive,bookSellerAgent1.composeResponse1.newActive,bookSellerAgent1.composeResponse1.localActive,bookSellerAgent1.composeResponse1.active,bookSellerAgent1.checkLibrary1.oldActive,bookSellerAgent1.checkLibrary1.newActive,bookSellerAgent1.checkLibrary1.localActive,bookSellerAgent1.checkLibrary1.active,bookSellerAgent1.sendResponse.active,bookSellerAgent1.sendResponse.oldActive,bookSellerAgent1.sendResponse.newActive,bookSellerAgent1.sendResponse.localActive,bookSellerAgent1.composeResponse.oldActive,bookSellerAgent1.composeResponse.newActive,bookSellerAgent1.composeResponse.localActive,bookSellerAgent1.composeResponse.active,bookSellerAgent1.checkLibrary.oldActive,bookSellerAgent1.checkLibrary.newActive,bookSellerAgent1.checkLibrary.localActive,bookSellerAgent1.checkLibrary.active,bookSellerAgent1.PurchaseOrdersServer.t_start,bookSellerAgent1.PurchaseOrdersServer.fire,bookSellerAgent1.PurchaseOrdersServer.enableFire,bookSellerAgent1.PurchaseOrdersServer.condition,bookSellerAgent1.OfferRequestsServer.t_start,bookSellerAgent1.OfferRequestsServer.fire,bookSellerAgent1.OfferRequestsServer.enableFire,bookSellerAgent1.OfferRequestsServer.condition,bookSellerAgent1.checkPurpose.oldActive,bookSellerAgent1.checkPurpose.newActive,bookSellerAgent1.checkPurpose.outPort[2].available,bookSellerAgent1.checkPurpose.localActive,bookSellerAgent1.checkPurpose.active,bookSellerAgent1.newMessage.enableFire,bookSellerAgent1.newMessage.condition,bookSellerAgent1.waiting.oldActive,bookSellerAgent1.waiting.newActive,bookSellerAgent1.waiting.inPort[2].occupied,bookSellerAgent1.waiting.localActive,bookSellerAgent1.waiting.active,bookSellerAgent1.integerChange.u,bookSellerAgent1.performative_current,bookSellerAgent1.stateGraphRoot.activeSteps,bookSellerAgent1.messageID.pkgOut[1].backwardTrigger,bookSellerAgent1.messageID.pkgOut[1].trigger,bookSellerAgent1.getMessageID.y[1],$PRE.bookSellerAgent1.getMessageID.y[1],$whenCondition80,$whenCondition79,$whenCondition78,$whenCondition77,$whenCondition76,$whenCondition75,$whenCondition64,$whenCondition66,$whenCondition67,$whenCondition68,$whenCondition69,$whenCondition70,$whenCondition71,$whenCondition72,$whenCondition73,$whenCondition74,bookSellerAgent1.newMessage.t_start,$PRE.bookSellerAgent1.newMessage.t_start,$PRE.bookSellerAgent2.bookList[4,2],bookSellerAgent2.bookList[4,2],$PRE.bookSellerAgent2.bookList[4,1],bookSellerAgent2.bookList[4,1],$PRE.bookSellerAgent2.bookList[3,2],bookSellerAgent2.bookList[3,2],$PRE.bookSellerAgent2.bookList[3,1],bookSellerAgent2.bookList[3,1],$PRE.bookSellerAgent2.bookList[2,2],bookSellerAgent2.bookList[2,2],$PRE.bookSellerAgent2.bookList[2,1],bookSellerAgent2.bookList[2,1],$PRE.bookSellerAgent2.bookList[1,2],bookSellerAgent2.bookList[1,2],$PRE.bookSellerAgent2.bookList[1,1],bookSellerAgent2.bookList[1,1],$PRE.bookSellerAgent2.performative.u[1],bookSellerAgent2.performative.u[1],$PRE.bookSellerAgent2.content.u[2],bookSellerAgent2.content.u[2],$PRE.bookSellerAgent2.content.u[1],bookSellerAgent2.content.u[1],$PRE.bookSellerAgent2.messageID.u[1],bookSellerAgent2.messageID.u[1],$PRE.bookSellerAgent2.receiver.u[1],bookSellerAgent2.receiver.u[1],$PRE.bookSellerAgent2.uDPSend_adapted.receiver,bookSellerAgent2.uDPSend_adapted.receiver,$PRE.bookSellerAgent2.ontology.u[1],bookSellerAgent2.ontology.u[1],$PRE.bookSellerAgent2.reply_to.u[1],bookSellerAgent2.reply_to.u[1],$PRE.bookSellerAgent2.sender.u[1],bookSellerAgent2.sender.u[1],$PRE.bookSellerAgent2.content_2_current,bookSellerAgent2.content_2_current,$PRE.bookSellerAgent2.content_1_current,bookSellerAgent2.content_1_current,$PRE.bookSellerAgent2.sender_current,bookSellerAgent2.sender_current,$PRE.bookSellerAgent2.index,bookSellerAgent2.index,$PRE.bookSellerAgent2.bookToSell,bookSellerAgent2.bookToSell,$PRE.bookSellerAgent2.bookInStock,bookSellerAgent2.bookInStock,$PRE.bookSellerAgent2.counter,bookSellerAgent2.counter,$PRE.bookSellerAgent2.searchedBook,bookSellerAgent2.searchedBook,bookSellerAgent2.messageID.pkgOut[1].dummy,$PRE.bookSellerAgent2.messageID.pkgOut[1].dummy,bookSellerAgent2.getMessageID.dummy,$PRE.bookSellerAgent2.getMessageID.dummy,bookSellerAgent2.performative.pkgOut[1].dummy,$PRE.bookSellerAgent2.performative.pkgOut[1].dummy,bookSellerAgent2.getontology.dummy,$PRE.bookSellerAgent2.getontology.dummy,bookSellerAgent2.getontology.y[1],$PRE.bookSellerAgent2.getontology.y[1],bookSellerAgent2.getontology.pkgOut[1].dummy,$PRE.bookSellerAgent2.getontology.pkgOut[1].dummy,bookSellerAgent2.getreply_to.dummy,$PRE.bookSellerAgent2.getreply_to.dummy,bookSellerAgent2.getreply_to.y[1],$PRE.bookSellerAgent2.getreply_to.y[1],bookSellerAgent2.getreply_to.pkgOut[1].dummy,$PRE.bookSellerAgent2.getreply_to.pkgOut[1].dummy,bookSellerAgent2.getreceiver.dummy,$PRE.bookSellerAgent2.getreceiver.dummy,bookSellerAgent2.getreceiver.y[1],$PRE.bookSellerAgent2.getreceiver.y[1],bookSellerAgent2.getreceiver.pkgOut[1].dummy,$PRE.bookSellerAgent2.getreceiver.pkgOut[1].dummy,bookSellerAgent2.getsender.dummy,$PRE.bookSellerAgent2.getsender.dummy,bookSellerAgent2.getsender.y[1],$PRE.bookSellerAgent2.getsender.y[1],bookSellerAgent2.getsender.pkgOut[1].dummy,$PRE.bookSellerAgent2.getsender.pkgOut[1].dummy,bookSellerAgent2.getperformative.dummy,$PRE.bookSellerAgent2.getperformative.dummy,bookSellerAgent2.getperformative.y[1],$PRE.bookSellerAgent2.getperformative.y[1],bookSellerAgent2.getperformative.pkgOut[1].dummy,$PRE.bookSellerAgent2.getperformative.pkgOut[1].dummy,bookSellerAgent2.ontology.pkgOut[1].dummy,$PRE.bookSellerAgent2.ontology.pkgOut[1].dummy,bookSellerAgent2.reply_to.pkgOut[1].dummy,$PRE.bookSellerAgent2.reply_to.pkgOut[1].dummy,bookSellerAgent2.receiver.pkgOut[1].dummy,$PRE.bookSellerAgent2.receiver.pkgOut[1].dummy,bookSellerAgent2.sender.pkgOut[1].dummy,$PRE.bookSellerAgent2.sender.pkgOut[1].dummy,$PRE.bookSellerAgent2.uDPSend_adapted.dummy,bookSellerAgent2.uDPSend_adapted.dummy,bookSellerAgent2.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookSellerAgent2.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent2.uDPReceive_adapted.nRecvBytes,$PRE.bookSellerAgent2.uDPReceive_adapted.nRecvBytes,bookSellerAgent2.uDPReceive_adapted.pkgOut.dummy,$PRE.bookSellerAgent2.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent2.get_content.dummy,$PRE.bookSellerAgent2.get_content.dummy,bookSellerAgent2.get_content.y[2],$PRE.bookSellerAgent2.get_content.y[2],bookSellerAgent2.get_content.y[1],$PRE.bookSellerAgent2.get_content.y[1],bookSellerAgent2.get_content.pkgOut[1].dummy,$PRE.bookSellerAgent2.get_content.pkgOut[1].dummy,bookSellerAgent2.content.pkgOut[1].dummy,$PRE.bookSellerAgent2.content.pkgOut[1].dummy,bookSellerAgent2.packager.pkgOut.dummy,$PRE.bookSellerAgent2.packager.pkgOut.dummy,bookSellerAgent2.getontology.pkgOut[1].trigger,$whenCondition48,$PRE.bookSellerAgent2.performative_current,$PRE.bookSellerAgent2.transition5.t_start,$PRE.bookSellerAgent2.transition4.t_start,$PRE.bookSellerAgent2.transition3.t_start,$PRE.bookSellerAgent2.transition2.t_start,$PRE.bookSellerAgent2.transition1.t_start,$PRE.bookSellerAgent2.transition.t_start,$PRE.bookSellerAgent2.sendResponse1.oldActive,$PRE.bookSellerAgent2.sendResponse1.newActive,$PRE.bookSellerAgent2.sendResponse1.localActive,$PRE.bookSellerAgent2.composeResponse1.oldActive,$PRE.bookSellerAgent2.composeResponse1.newActive,$PRE.bookSellerAgent2.composeResponse1.localActive,$PRE.bookSellerAgent2.checkLibrary1.oldActive,$PRE.bookSellerAgent2.checkLibrary1.newActive,$PRE.bookSellerAgent2.checkLibrary1.localActive,$PRE.bookSellerAgent2.sendResponse.oldActive,$PRE.bookSellerAgent2.sendResponse.newActive,$PRE.bookSellerAgent2.sendResponse.localActive,$PRE.bookSellerAgent2.composeResponse.oldActive,$PRE.bookSellerAgent2.composeResponse.newActive,$PRE.bookSellerAgent2.composeResponse.localActive,$PRE.bookSellerAgent2.checkLibrary.oldActive,$PRE.bookSellerAgent2.checkLibrary.newActive,$PRE.bookSellerAgent2.checkLibrary.localActive,$PRE.bookSellerAgent2.PurchaseOrdersServer.t_start,$PRE.bookSellerAgent2.OfferRequestsServer.t_start,$PRE.bookSellerAgent2.checkPurpose.oldActive,$PRE.bookSellerAgent2.checkPurpose.newActive,$PRE.bookSellerAgent2.checkPurpose.localActive,$PRE.bookSellerAgent2.waiting.oldActive,$PRE.bookSellerAgent2.waiting.newActive,$PRE.bookSellerAgent2.waiting.localActive,$PRE.bookSellerAgent2.integerChange.u,bookSellerAgent2.transition5.t_start,bookSellerAgent2.transition5.fire,bookSellerAgent2.transition5.enableFire,bookSellerAgent2.transition4.t_start,bookSellerAgent2.transition4.fire,bookSellerAgent2.transition4.enableFire,bookSellerAgent2.transition3.t_start,bookSellerAgent2.transition3.fire,bookSellerAgent2.transition3.enableFire,bookSellerAgent2.transition2.t_start,bookSellerAgent2.transition2.fire,bookSellerAgent2.transition2.enableFire,bookSellerAgent2.transition1.t_start,bookSellerAgent2.transition1.fire,bookSellerAgent2.transition1.enableFire,bookSellerAgent2.transition.t_start,bookSellerAgent2.transition.fire,bookSellerAgent2.transition.enableFire,bookSellerAgent2.sendResponse1.active,bookSellerAgent2.sendResponse1.oldActive,bookSellerAgent2.sendResponse1.newActive,bookSellerAgent2.sendResponse1.localActive,bookSellerAgent2.composeResponse1.oldActive,bookSellerAgent2.composeResponse1.newActive,bookSellerAgent2.composeResponse1.localActive,bookSellerAgent2.composeResponse1.active,bookSellerAgent2.checkLibrary1.oldActive,bookSellerAgent2.checkLibrary1.newActive,bookSellerAgent2.checkLibrary1.localActive,bookSellerAgent2.checkLibrary1.active,bookSellerAgent2.sendResponse.active,bookSellerAgent2.sendResponse.oldActive,bookSellerAgent2.sendResponse.newActive,bookSellerAgent2.sendResponse.localActive,bookSellerAgent2.composeResponse.oldActive,bookSellerAgent2.composeResponse.newActive,bookSellerAgent2.composeResponse.localActive,bookSellerAgent2.composeResponse.active,bookSellerAgent2.checkLibrary.oldActive,bookSellerAgent2.checkLibrary.newActive,bookSellerAgent2.checkLibrary.localActive,bookSellerAgent2.checkLibrary.active,bookSellerAgent2.PurchaseOrdersServer.t_start,bookSellerAgent2.PurchaseOrdersServer.fire,bookSellerAgent2.PurchaseOrdersServer.enableFire,bookSellerAgent2.PurchaseOrdersServer.condition,bookSellerAgent2.OfferRequestsServer.t_start,bookSellerAgent2.OfferRequestsServer.fire,bookSellerAgent2.OfferRequestsServer.enableFire,bookSellerAgent2.OfferRequestsServer.condition,bookSellerAgent2.checkPurpose.oldActive,bookSellerAgent2.checkPurpose.newActive,bookSellerAgent2.checkPurpose.outPort[2].available,bookSellerAgent2.checkPurpose.localActive,bookSellerAgent2.checkPurpose.active,bookSellerAgent2.newMessage.enableFire,bookSellerAgent2.newMessage.condition,bookSellerAgent2.waiting.oldActive,bookSellerAgent2.waiting.newActive,bookSellerAgent2.waiting.inPort[2].occupied,bookSellerAgent2.waiting.localActive,bookSellerAgent2.waiting.active,bookSellerAgent2.integerChange.u,bookSellerAgent2.performative_current,bookSellerAgent2.stateGraphRoot.activeSteps,bookSellerAgent2.messageID.pkgOut[1].backwardTrigger,bookSellerAgent2.messageID.pkgOut[1].trigger,bookSellerAgent2.getMessageID.y[1],$PRE.bookSellerAgent2.getMessageID.y[1],$whenCondition63,$whenCondition62,$whenCondition61,$whenCondition60,$whenCondition59,$whenCondition58,$whenCondition47,$whenCondition49,$whenCondition50,$whenCondition51,$whenCondition52,$whenCondition53,$whenCondition54,$whenCondition55,$whenCondition56,$whenCondition57,bookSellerAgent2.newMessage.t_start,$PRE.bookSellerAgent2.newMessage.t_start,$PRE.bookBuyerAgent1.proposals[3,2],bookBuyerAgent1.proposals[3,2],$PRE.bookBuyerAgent1.proposals[3,1],bookBuyerAgent1.proposals[3,1],$PRE.bookBuyerAgent1.proposals[2,2],bookBuyerAgent1.proposals[2,2],$PRE.bookBuyerAgent1.proposals[2,1],bookBuyerAgent1.proposals[2,1],$PRE.bookBuyerAgent1.proposals[1,2],bookBuyerAgent1.proposals[1,2],$PRE.bookBuyerAgent1.proposals[1,1],bookBuyerAgent1.proposals[1,1],$PRE.bookBuyerAgent1.messageID.u[1],bookBuyerAgent1.messageID.u[1],$PRE.bookBuyerAgent1.receiver.u[1],bookBuyerAgent1.receiver.u[1],$PRE.bookBuyerAgent1.uDPSend_adapted.receiver,bookBuyerAgent1.uDPSend_adapted.receiver,$PRE.bookBuyerAgent1.ontology.u[1],bookBuyerAgent1.ontology.u[1],$PRE.bookBuyerAgent1.reply_to.u[1],bookBuyerAgent1.reply_to.u[1],$PRE.bookBuyerAgent1.sender.u[1],bookBuyerAgent1.sender.u[1],$PRE.bookBuyerAgent1.performative.u[1],bookBuyerAgent1.performative.u[1],$PRE.bookBuyerAgent1.content.u[2],bookBuyerAgent1.content.u[2],$PRE.bookBuyerAgent1.content.u[1],bookBuyerAgent1.content.u[1],$PRE.bookBuyerAgent1.lowestPrice,bookBuyerAgent1.lowestPrice,$PRE.bookBuyerAgent1.counterProposals,bookBuyerAgent1.counterProposals,$PRE.bookBuyerAgent1.counter,bookBuyerAgent1.counter,bookBuyerAgent1.messageID.pkgOut[1].dummy,$PRE.bookBuyerAgent1.messageID.pkgOut[1].dummy,bookBuyerAgent1.getMessageID.dummy,$PRE.bookBuyerAgent1.getMessageID.dummy,bookBuyerAgent1.performative.pkgOut[1].dummy,$PRE.bookBuyerAgent1.performative.pkgOut[1].dummy,bookBuyerAgent1.getontology.dummy,$PRE.bookBuyerAgent1.getontology.dummy,bookBuyerAgent1.getontology.y[1],$PRE.bookBuyerAgent1.getontology.y[1],bookBuyerAgent1.getontology.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getontology.pkgOut[1].dummy,bookBuyerAgent1.getreply_to.dummy,$PRE.bookBuyerAgent1.getreply_to.dummy,bookBuyerAgent1.getreply_to.y[1],$PRE.bookBuyerAgent1.getreply_to.y[1],bookBuyerAgent1.getreply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getreply_to.pkgOut[1].dummy,bookBuyerAgent1.getreceiver.dummy,$PRE.bookBuyerAgent1.getreceiver.dummy,bookBuyerAgent1.getreceiver.y[1],$PRE.bookBuyerAgent1.getreceiver.y[1],bookBuyerAgent1.getreceiver.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getreceiver.pkgOut[1].dummy,bookBuyerAgent1.getsender.dummy,$PRE.bookBuyerAgent1.getsender.dummy,bookBuyerAgent1.getsender.y[1],$PRE.bookBuyerAgent1.getsender.y[1],bookBuyerAgent1.getsender.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getsender.pkgOut[1].dummy,bookBuyerAgent1.getperformative.dummy,$PRE.bookBuyerAgent1.getperformative.dummy,bookBuyerAgent1.getperformative.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getperformative.pkgOut[1].dummy,bookBuyerAgent1.ontology.pkgOut[1].dummy,$PRE.bookBuyerAgent1.ontology.pkgOut[1].dummy,bookBuyerAgent1.reply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent1.reply_to.pkgOut[1].dummy,bookBuyerAgent1.receiver.pkgOut[1].dummy,$PRE.bookBuyerAgent1.receiver.pkgOut[1].dummy,bookBuyerAgent1.sender.pkgOut[1].dummy,$PRE.bookBuyerAgent1.sender.pkgOut[1].dummy,$PRE.bookBuyerAgent1.uDPSend_adapted.dummy,bookBuyerAgent1.uDPSend_adapted.dummy,bookBuyerAgent1.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookBuyerAgent1.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent1.uDPReceive_adapted.nRecvBytes,$PRE.bookBuyerAgent1.uDPReceive_adapted.nRecvBytes,bookBuyerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.bookBuyerAgent1.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent1.get_content.dummy,$PRE.bookBuyerAgent1.get_content.dummy,bookBuyerAgent1.get_content.y[2],$PRE.bookBuyerAgent1.get_content.y[2],bookBuyerAgent1.get_content.y[1],$PRE.bookBuyerAgent1.get_content.y[1],bookBuyerAgent1.get_content.pkgOut[1].dummy,$PRE.bookBuyerAgent1.get_content.pkgOut[1].dummy,bookBuyerAgent1.content.pkgOut[1].dummy,$PRE.bookBuyerAgent1.content.pkgOut[1].dummy,bookBuyerAgent1.packager.pkgOut.dummy,$PRE.bookBuyerAgent1.packager.pkgOut.dummy,bookBuyerAgent1.getontology.pkgOut[1].trigger,$whenCondition25,$PRE.bookBuyerAgent1.requestsDone,$PRE.bookBuyerAgent1.bookOffered,$PRE.bookBuyerAgent1.notServed.oldActive,$PRE.bookBuyerAgent1.notServed.newActive,$PRE.bookBuyerAgent1.notServed.localActive,$PRE.bookBuyerAgent1.abortAction1.t_start,$PRE.bookBuyerAgent1.abortAction.t_start,$PRE.bookBuyerAgent1.noOffers.t_start,$PRE.bookBuyerAgent1.stateOfOffers.oldActive,$PRE.bookBuyerAgent1.stateOfOffers.newActive,$PRE.bookBuyerAgent1.stateOfOffers.localActive,$PRE.bookBuyerAgent1.abort.t_start,$PRE.bookBuyerAgent1.bookBought,$PRE.bookBuyerAgent1.transition3.t_start,$PRE.bookBuyerAgent1.transition1.t_start,$PRE.bookBuyerAgent1.setDone.oldActive,$PRE.bookBuyerAgent1.setDone.newActive,$PRE.bookBuyerAgent1.setDone.localActive,$PRE.bookBuyerAgent1.confirmation.t_start,$PRE.bookBuyerAgent1.check1.oldActive,$PRE.bookBuyerAgent1.check1.newActive,$PRE.bookBuyerAgent1.check1.localActive,$PRE.bookBuyerAgent1.sendBuy.oldActive,$PRE.bookBuyerAgent1.sendBuy.newActive,$PRE.bookBuyerAgent1.sendBuy.localActive,$PRE.bookBuyerAgent1.sendRequest.oldActive,$PRE.bookBuyerAgent1.sendRequest.newActive,$PRE.bookBuyerAgent1.sendRequest.localActive,$PRE.bookBuyerAgent1.notDone.t_start,$PRE.bookBuyerAgent1.done.t_start,$PRE.bookBuyerAgent1.refuse.t_start,$PRE.bookBuyerAgent1.offer.t_start,$PRE.bookBuyerAgent1.check.oldActive,$PRE.bookBuyerAgent1.check.newActive,$PRE.bookBuyerAgent1.check.localActive,$PRE.bookBuyerAgent1.transition.t_start,$PRE.bookBuyerAgent1.integerChange.u,$PRE.bookBuyerAgent1.composeBuy.oldActive,$PRE.bookBuyerAgent1.composeBuy.newActive,$PRE.bookBuyerAgent1.composeBuy.localActive,$PRE.bookBuyerAgent1.collectProposal.oldActive,$PRE.bookBuyerAgent1.collectProposal.newActive,$PRE.bookBuyerAgent1.collectProposal.localActive,$PRE.bookBuyerAgent1.composeRequest.oldActive,$PRE.bookBuyerAgent1.composeRequest.newActive,$PRE.bookBuyerAgent1.composeRequest.localActive,$PRE.bookBuyerAgent1.waiting.oldActive,$PRE.bookBuyerAgent1.waiting.newActive,$PRE.bookBuyerAgent1.waiting.localActive,bookBuyerAgent1.transition2.enableFire,bookBuyerAgent1.notServed.oldActive,bookBuyerAgent1.notServed.newActive,bookBuyerAgent1.notServed.inPort[2].occupied,bookBuyerAgent1.notServed.localActive,bookBuyerAgent1.notServed.active,bookBuyerAgent1.abortAction1.t_start,bookBuyerAgent1.abortAction1.fire,bookBuyerAgent1.abortAction1.enableFire,bookBuyerAgent1.abortAction.t_start,bookBuyerAgent1.abortAction.fire,bookBuyerAgent1.abortAction.enableFire,bookBuyerAgent1.noOffers.t_start,bookBuyerAgent1.noOffers.fire,bookBuyerAgent1.noOffers.enableFire,bookBuyerAgent1.transitionWithSignal1.enableFire,bookBuyerAgent1.stateOfOffers.oldActive,bookBuyerAgent1.stateOfOffers.newActive,bookBuyerAgent1.stateOfOffers.outPort[2].available,bookBuyerAgent1.stateOfOffers.localActive,bookBuyerAgent1.stateOfOffers.active,bookBuyerAgent1.abort.t_start,bookBuyerAgent1.abort.fire,bookBuyerAgent1.abort.enableFire,bookBuyerAgent1.newMessage1.enableFire,bookBuyerAgent1.newMessage1.condition,bookBuyerAgent1.bookBought,bookBuyerAgent1.transition3.t_start,bookBuyerAgent1.transition3.fire,bookBuyerAgent1.transition3.enableFire,bookBuyerAgent1.transition1.t_start,bookBuyerAgent1.transition1.fire,bookBuyerAgent1.transition1.enableFire,bookBuyerAgent1.setDone.oldActive,bookBuyerAgent1.setDone.newActive,bookBuyerAgent1.setDone.localActive,bookBuyerAgent1.setDone.active,bookBuyerAgent1.confirmation.t_start,bookBuyerAgent1.confirmation.fire,bookBuyerAgent1.confirmation.enableFire,bookBuyerAgent1.confirmation.condition,bookBuyerAgent1.check1.oldActive,bookBuyerAgent1.check1.newActive,bookBuyerAgent1.check1.outPort[2].available,bookBuyerAgent1.check1.localActive,bookBuyerAgent1.check1.active,bookBuyerAgent1.sendBuy.active,bookBuyerAgent1.sendBuy.oldActive,bookBuyerAgent1.sendBuy.newActive,bookBuyerAgent1.sendBuy.outPort[2].available,bookBuyerAgent1.sendBuy.localActive,bookBuyerAgent1.sendRequest.active,bookBuyerAgent1.sendRequest.oldActive,bookBuyerAgent1.sendRequest.newActive,bookBuyerAgent1.sendRequest.outPort[2].available,bookBuyerAgent1.sendRequest.localActive,bookBuyerAgent1.notDone.t_start,bookBuyerAgent1.notDone.fire,bookBuyerAgent1.notDone.enableFire,bookBuyerAgent1.done.t_start,bookBuyerAgent1.done.fire,bookBuyerAgent1.done.enableFire,bookBuyerAgent1.refuse.t_start,bookBuyerAgent1.refuse.fire,bookBuyerAgent1.refuse.enableFire,bookBuyerAgent1.refuse.condition,bookBuyerAgent1.offer.t_start,bookBuyerAgent1.offer.fire,bookBuyerAgent1.offer.enableFire,bookBuyerAgent1.offer.condition,bookBuyerAgent1.newMessage.enableFire,bookBuyerAgent1.check.oldActive,bookBuyerAgent1.check.newActive,bookBuyerAgent1.check.outPort[2].available,bookBuyerAgent1.check.localActive,bookBuyerAgent1.check.active,bookBuyerAgent1.transition.t_start,bookBuyerAgent1.transition.fire,bookBuyerAgent1.transition.enableFire,bookBuyerAgent1.transitionWithSignal.enableFire,bookBuyerAgent1.transitionWithSignal.condition,bookBuyerAgent1.sampleTrigger.y,bookBuyerAgent1.integerChange.u,bookBuyerAgent1.composeBuy.oldActive,bookBuyerAgent1.composeBuy.newActive,bookBuyerAgent1.composeBuy.localActive,bookBuyerAgent1.composeBuy.active,bookBuyerAgent1.collectProposal.oldActive,bookBuyerAgent1.collectProposal.newActive,bookBuyerAgent1.collectProposal.outPort[2].available,bookBuyerAgent1.collectProposal.localActive,bookBuyerAgent1.collectProposal.active,bookBuyerAgent1.composeRequest.oldActive,bookBuyerAgent1.composeRequest.newActive,bookBuyerAgent1.composeRequest.inPort[3].occupied,bookBuyerAgent1.composeRequest.inPort[2].occupied,bookBuyerAgent1.composeRequest.localActive,bookBuyerAgent1.composeRequest.active,bookBuyerAgent1.waiting.oldActive,bookBuyerAgent1.waiting.newActive,bookBuyerAgent1.waiting.inPort[4].occupied,bookBuyerAgent1.waiting.inPort[3].occupied,bookBuyerAgent1.waiting.inPort[2].occupied,bookBuyerAgent1.waiting.localActive,bookBuyerAgent1.waiting.active,bookBuyerAgent1.bookOffered,bookBuyerAgent1.requestsDone,bookBuyerAgent1.stateGraphRoot.activeSteps,bookBuyerAgent1.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent1.messageID.pkgOut[1].trigger,bookBuyerAgent1.getMessageID.y[1],$PRE.bookBuyerAgent1.getMessageID.y[1],bookBuyerAgent1.getperformative.y[1],$PRE.bookBuyerAgent1.getperformative.y[1],$whenCondition46,$whenCondition45,$whenCondition44,$whenCondition43,$whenCondition42,$whenCondition41,$whenCondition40,$whenCondition39,$whenCondition24,$whenCondition26,$whenCondition27,$whenCondition28,$whenCondition29,$whenCondition30,$whenCondition31,$whenCondition32,$whenCondition33,$whenCondition34,$whenCondition35,$whenCondition36,$whenCondition37,$whenCondition38,bookBuyerAgent1.transitionWithSignal.t_start,$PRE.bookBuyerAgent1.transitionWithSignal.t_start,bookBuyerAgent1.newMessage.t_start,$PRE.bookBuyerAgent1.newMessage.t_start,bookBuyerAgent1.newMessage1.t_start,$PRE.bookBuyerAgent1.newMessage1.t_start,bookBuyerAgent1.transitionWithSignal1.t_start,$PRE.bookBuyerAgent1.transitionWithSignal1.t_start,bookBuyerAgent1.transition2.t_start,$PRE.bookBuyerAgent1.transition2.t_start,$PRE.bookBuyerAgent2.proposals[3,2],bookBuyerAgent2.proposals[3,2],$PRE.bookBuyerAgent2.proposals[3,1],bookBuyerAgent2.proposals[3,1],$PRE.bookBuyerAgent2.proposals[2,2],bookBuyerAgent2.proposals[2,2],$PRE.bookBuyerAgent2.proposals[2,1],bookBuyerAgent2.proposals[2,1],$PRE.bookBuyerAgent2.proposals[1,2],bookBuyerAgent2.proposals[1,2],$PRE.bookBuyerAgent2.proposals[1,1],bookBuyerAgent2.proposals[1,1],$PRE.bookBuyerAgent2.messageID.u[1],bookBuyerAgent2.messageID.u[1],$PRE.bookBuyerAgent2.receiver.u[1],bookBuyerAgent2.receiver.u[1],$PRE.bookBuyerAgent2.uDPSend_adapted.receiver,bookBuyerAgent2.uDPSend_adapted.receiver,$PRE.bookBuyerAgent2.ontology.u[1],bookBuyerAgent2.ontology.u[1],$PRE.bookBuyerAgent2.reply_to.u[1],bookBuyerAgent2.reply_to.u[1],$PRE.bookBuyerAgent2.sender.u[1],bookBuyerAgent2.sender.u[1],$PRE.bookBuyerAgent2.performative.u[1],bookBuyerAgent2.performative.u[1],$PRE.bookBuyerAgent2.content.u[2],bookBuyerAgent2.content.u[2],$PRE.bookBuyerAgent2.content.u[1],bookBuyerAgent2.content.u[1],$PRE.bookBuyerAgent2.lowestPrice,bookBuyerAgent2.lowestPrice,$PRE.bookBuyerAgent2.counterProposals,bookBuyerAgent2.counterProposals,$PRE.bookBuyerAgent2.counter,bookBuyerAgent2.counter,bookBuyerAgent2.messageID.pkgOut[1].dummy,$PRE.bookBuyerAgent2.messageID.pkgOut[1].dummy,bookBuyerAgent2.getMessageID.dummy,$PRE.bookBuyerAgent2.getMessageID.dummy,bookBuyerAgent2.performative.pkgOut[1].dummy,$PRE.bookBuyerAgent2.performative.pkgOut[1].dummy,bookBuyerAgent2.getontology.dummy,$PRE.bookBuyerAgent2.getontology.dummy,bookBuyerAgent2.getontology.y[1],$PRE.bookBuyerAgent2.getontology.y[1],bookBuyerAgent2.getontology.pkgOut[1].dummy,$PRE.bookBuyerAgent2.getontology.pkgOut[1].dummy,bookBuyerAgent2.getreply_to.dummy,$PRE.bookBuyerAgent2.getreply_to.dummy,bookBuyerAgent2.getreply_to.y[1],$PRE.bookBuyerAgent2.getreply_to.y[1],bookBuyerAgent2.getreply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent2.getreply_to.pkgOut[1].dummy,bookBuyerAgent2.getreceiver.dummy,$PRE.bookBuyerAgent2.getreceiver.dummy,bookBuyerAgent2.getreceiver.y[1],$PRE.bookBuyerAgent2.getreceiver.y[1],bookBuyerAgent2.getreceiver.pkgOut[1].dummy,$PRE.bookBuyerAgent2.getreceiver.pkgOut[1].dummy,bookBuyerAgent2.getsender.dummy,$PRE.bookBuyerAgent2.getsender.dummy,bookBuyerAgent2.getsender.y[1],$PRE.bookBuyerAgent2.getsender.y[1],bookBuyerAgent2.getsender.pkgOut[1].dummy,$PRE.bookBuyerAgent2.getsender.pkgOut[1].dummy,bookBuyerAgent2.getperformative.dummy,$PRE.bookBuyerAgent2.getperformative.dummy,bookBuyerAgent2.getperformative.pkgOut[1].dummy,$PRE.bookBuyerAgent2.getperformative.pkgOut[1].dummy,bookBuyerAgent2.ontology.pkgOut[1].dummy,$PRE.bookBuyerAgent2.ontology.pkgOut[1].dummy,bookBuyerAgent2.reply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent2.reply_to.pkgOut[1].dummy,bookBuyerAgent2.receiver.pkgOut[1].dummy,$PRE.bookBuyerAgent2.receiver.pkgOut[1].dummy,bookBuyerAgent2.sender.pkgOut[1].dummy,$PRE.bookBuyerAgent2.sender.pkgOut[1].dummy,$PRE.bookBuyerAgent2.uDPSend_adapted.dummy,bookBuyerAgent2.uDPSend_adapted.dummy,bookBuyerAgent2.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookBuyerAgent2.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent2.uDPReceive_adapted.nRecvBytes,$PRE.bookBuyerAgent2.uDPReceive_adapted.nRecvBytes,bookBuyerAgent2.uDPReceive_adapted.pkgOut.dummy,$PRE.bookBuyerAgent2.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent2.get_content.dummy,$PRE.bookBuyerAgent2.get_content.dummy,bookBuyerAgent2.get_content.y[2],$PRE.bookBuyerAgent2.get_content.y[2],bookBuyerAgent2.get_content.y[1],$PRE.bookBuyerAgent2.get_content.y[1],bookBuyerAgent2.get_content.pkgOut[1].dummy,$PRE.bookBuyerAgent2.get_content.pkgOut[1].dummy,bookBuyerAgent2.content.pkgOut[1].dummy,$PRE.bookBuyerAgent2.content.pkgOut[1].dummy,bookBuyerAgent2.packager.pkgOut.dummy,$PRE.bookBuyerAgent2.packager.pkgOut.dummy,bookBuyerAgent2.getontology.pkgOut[1].trigger,$whenCondition2,$PRE.bookBuyerAgent2.requestsDone,$PRE.bookBuyerAgent2.bookOffered,$PRE.bookBuyerAgent2.notServed.oldActive,$PRE.bookBuyerAgent2.notServed.newActive,$PRE.bookBuyerAgent2.notServed.localActive,$PRE.bookBuyerAgent2.abortAction1.t_start,$PRE.bookBuyerAgent2.abortAction.t_start,$PRE.bookBuyerAgent2.noOffers.t_start,$PRE.bookBuyerAgent2.stateOfOffers.oldActive,$PRE.bookBuyerAgent2.stateOfOffers.newActive,$PRE.bookBuyerAgent2.stateOfOffers.localActive,$PRE.bookBuyerAgent2.abort.t_start,$PRE.bookBuyerAgent2.bookBought,$PRE.bookBuyerAgent2.transition3.t_start,$PRE.bookBuyerAgent2.transition1.t_start,$PRE.bookBuyerAgent2.setDone.oldActive,$PRE.bookBuyerAgent2.setDone.newActive,$PRE.bookBuyerAgent2.setDone.localActive,$PRE.bookBuyerAgent2.confirmation.t_start,$PRE.bookBuyerAgent2.check1.oldActive,$PRE.bookBuyerAgent2.check1.newActive,$PRE.bookBuyerAgent2.check1.localActive,$PRE.bookBuyerAgent2.sendBuy.oldActive,$PRE.bookBuyerAgent2.sendBuy.newActive,$PRE.bookBuyerAgent2.sendBuy.localActive,$PRE.bookBuyerAgent2.sendRequest.oldActive,$PRE.bookBuyerAgent2.sendRequest.newActive,$PRE.bookBuyerAgent2.sendRequest.localActive,$PRE.bookBuyerAgent2.notDone.t_start,$PRE.bookBuyerAgent2.done.t_start,$PRE.bookBuyerAgent2.refuse.t_start,$PRE.bookBuyerAgent2.offer.t_start,$PRE.bookBuyerAgent2.check.oldActive,$PRE.bookBuyerAgent2.check.newActive,$PRE.bookBuyerAgent2.check.localActive,$PRE.bookBuyerAgent2.transition.t_start,$PRE.bookBuyerAgent2.integerChange.u,$PRE.bookBuyerAgent2.composeBuy.oldActive,$PRE.bookBuyerAgent2.composeBuy.newActive,$PRE.bookBuyerAgent2.composeBuy.localActive,$PRE.bookBuyerAgent2.collectProposal.oldActive,$PRE.bookBuyerAgent2.collectProposal.newActive,$PRE.bookBuyerAgent2.collectProposal.localActive,$PRE.bookBuyerAgent2.composeRequest.oldActive,$PRE.bookBuyerAgent2.composeRequest.newActive,$PRE.bookBuyerAgent2.composeRequest.localActive,$PRE.bookBuyerAgent2.waiting.oldActive,$PRE.bookBuyerAgent2.waiting.newActive,$PRE.bookBuyerAgent2.waiting.localActive,bookBuyerAgent2.transition2.enableFire,bookBuyerAgent2.notServed.oldActive,bookBuyerAgent2.notServed.newActive,bookBuyerAgent2.notServed.inPort[2].occupied,bookBuyerAgent2.notServed.localActive,bookBuyerAgent2.notServed.active,bookBuyerAgent2.abortAction1.t_start,bookBuyerAgent2.abortAction1.fire,bookBuyerAgent2.abortAction1.enableFire,bookBuyerAgent2.abortAction.t_start,bookBuyerAgent2.abortAction.fire,bookBuyerAgent2.abortAction.enableFire,bookBuyerAgent2.noOffers.t_start,bookBuyerAgent2.noOffers.fire,bookBuyerAgent2.noOffers.enableFire,bookBuyerAgent2.transitionWithSignal1.enableFire,bookBuyerAgent2.stateOfOffers.oldActive,bookBuyerAgent2.stateOfOffers.newActive,bookBuyerAgent2.stateOfOffers.outPort[2].available,bookBuyerAgent2.stateOfOffers.localActive,bookBuyerAgent2.stateOfOffers.active,bookBuyerAgent2.abort.t_start,bookBuyerAgent2.abort.fire,bookBuyerAgent2.abort.enableFire,bookBuyerAgent2.newMessage1.enableFire,bookBuyerAgent2.newMessage1.condition,bookBuyerAgent2.bookBought,bookBuyerAgent2.transition3.t_start,bookBuyerAgent2.transition3.fire,bookBuyerAgent2.transition3.enableFire,bookBuyerAgent2.transition1.t_start,bookBuyerAgent2.transition1.fire,bookBuyerAgent2.transition1.enableFire,bookBuyerAgent2.setDone.oldActive,bookBuyerAgent2.setDone.newActive,bookBuyerAgent2.setDone.localActive,bookBuyerAgent2.setDone.active,bookBuyerAgent2.confirmation.t_start,bookBuyerAgent2.confirmation.fire,bookBuyerAgent2.confirmation.enableFire,bookBuyerAgent2.confirmation.condition,bookBuyerAgent2.check1.oldActive,bookBuyerAgent2.check1.newActive,bookBuyerAgent2.check1.outPort[2].available,bookBuyerAgent2.check1.localActive,bookBuyerAgent2.check1.active,bookBuyerAgent2.sendBuy.active,bookBuyerAgent2.sendBuy.oldActive,bookBuyerAgent2.sendBuy.newActive,bookBuyerAgent2.sendBuy.outPort[2].available,bookBuyerAgent2.sendBuy.localActive,bookBuyerAgent2.sendRequest.active,bookBuyerAgent2.sendRequest.oldActive,bookBuyerAgent2.sendRequest.newActive,bookBuyerAgent2.sendRequest.outPort[2].available,bookBuyerAgent2.sendRequest.localActive,bookBuyerAgent2.notDone.t_start,bookBuyerAgent2.notDone.fire,bookBuyerAgent2.notDone.enableFire,bookBuyerAgent2.done.t_start,bookBuyerAgent2.done.fire,bookBuyerAgent2.done.enableFire,bookBuyerAgent2.refuse.t_start,bookBuyerAgent2.refuse.fire,bookBuyerAgent2.refuse.enableFire,bookBuyerAgent2.refuse.condition,bookBuyerAgent2.offer.t_start,bookBuyerAgent2.offer.fire,bookBuyerAgent2.offer.enableFire,bookBuyerAgent2.offer.condition,bookBuyerAgent2.newMessage.enableFire,bookBuyerAgent2.check.oldActive,bookBuyerAgent2.check.newActive,bookBuyerAgent2.check.outPort[2].available,bookBuyerAgent2.check.localActive,bookBuyerAgent2.check.active,bookBuyerAgent2.transition.t_start,bookBuyerAgent2.transition.fire,bookBuyerAgent2.transition.enableFire,bookBuyerAgent2.transitionWithSignal.enableFire,bookBuyerAgent2.transitionWithSignal.condition,bookBuyerAgent2.sampleTrigger.y,bookBuyerAgent2.integerChange.u,bookBuyerAgent2.composeBuy.oldActive,bookBuyerAgent2.composeBuy.newActive,bookBuyerAgent2.composeBuy.localActive,bookBuyerAgent2.composeBuy.active,bookBuyerAgent2.collectProposal.oldActive,bookBuyerAgent2.collectProposal.newActive,bookBuyerAgent2.collectProposal.outPort[2].available,bookBuyerAgent2.collectProposal.localActive,bookBuyerAgent2.collectProposal.active,bookBuyerAgent2.composeRequest.oldActive,bookBuyerAgent2.composeRequest.newActive,bookBuyerAgent2.composeRequest.inPort[3].occupied,bookBuyerAgent2.composeRequest.inPort[2].occupied,bookBuyerAgent2.composeRequest.localActive,bookBuyerAgent2.composeRequest.active,bookBuyerAgent2.waiting.oldActive,bookBuyerAgent2.waiting.newActive,bookBuyerAgent2.waiting.inPort[4].occupied,bookBuyerAgent2.waiting.inPort[3].occupied,bookBuyerAgent2.waiting.inPort[2].occupied,bookBuyerAgent2.waiting.localActive,bookBuyerAgent2.waiting.active,bookBuyerAgent2.bookOffered,bookBuyerAgent2.requestsDone,bookBuyerAgent2.stateGraphRoot.activeSteps,bookBuyerAgent2.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent2.messageID.pkgOut[1].trigger,bookBuyerAgent2.getMessageID.y[1],$PRE.bookBuyerAgent2.getMessageID.y[1],bookBuyerAgent2.getperformative.y[1],$PRE.bookBuyerAgent2.getperformative.y[1],$whenCondition23,$whenCondition22,$whenCondition21,$whenCondition20,$whenCondition19,$whenCondition18,$whenCondition17,$whenCondition16,$whenCondition1,$whenCondition3,$whenCondition4,$whenCondition5,$whenCondition6,$whenCondition7,$whenCondition8,$whenCondition9,$whenCondition10,$whenCondition11,$whenCondition12,$whenCondition13,$whenCondition14,$whenCondition15,bookBuyerAgent2.transitionWithSignal.t_start,$PRE.bookBuyerAgent2.transitionWithSignal.t_start,bookBuyerAgent2.newMessage.t_start,$PRE.bookBuyerAgent2.newMessage.t_start,bookBuyerAgent2.newMessage1.t_start,$PRE.bookBuyerAgent2.newMessage1.t_start,bookBuyerAgent2.transitionWithSignal1.t_start,$PRE.bookBuyerAgent2.transitionWithSignal1.t_start,bookBuyerAgent2.transition2.t_start,$PRE.bookBuyerAgent2.transition2.t_start,bookBuyerAgent.transition2.condition,bookBuyerAgent.abortAction1.condition,bookBuyerAgent.abortAction.condition,bookBuyerAgent.noOffers.condition,bookBuyerAgent.abort.condition,bookBuyerAgent.transition3.condition,bookBuyerAgent.transition1.condition,bookBuyerAgent.transition.condition,bookBuyerAgent.stateGraphRoot.resume,bookBuyerAgent.stateGraphRoot.suspend,bookSellerAgent.transition5.condition,bookSellerAgent.transition4.condition,bookSellerAgent.transition3.condition,bookSellerAgent.transition2.condition,bookSellerAgent.transition1.condition,bookSellerAgent.transition.condition,bookSellerAgent.stateGraphRoot.resume,bookSellerAgent.stateGraphRoot.suspend,bookSellerAgent1.transition5.condition,bookSellerAgent1.transition4.condition,bookSellerAgent1.transition3.condition,bookSellerAgent1.transition2.condition,bookSellerAgent1.transition1.condition,bookSellerAgent1.transition.condition,bookSellerAgent1.stateGraphRoot.resume,bookSellerAgent1.stateGraphRoot.suspend,bookSellerAgent2.transition5.condition,bookSellerAgent2.transition4.condition,bookSellerAgent2.transition3.condition,bookSellerAgent2.transition2.condition,bookSellerAgent2.transition1.condition,bookSellerAgent2.transition.condition,bookSellerAgent2.stateGraphRoot.resume,bookSellerAgent2.stateGraphRoot.suspend,bookBuyerAgent1.transition2.condition,bookBuyerAgent1.abortAction1.condition,bookBuyerAgent1.abortAction.condition,bookBuyerAgent1.noOffers.condition,bookBuyerAgent1.abort.condition,bookBuyerAgent1.transition3.condition,bookBuyerAgent1.transition1.condition,bookBuyerAgent1.transition.condition,bookBuyerAgent1.stateGraphRoot.resume,bookBuyerAgent1.stateGraphRoot.suspend,bookBuyerAgent2.transition2.condition,bookBuyerAgent2.abortAction1.condition,bookBuyerAgent2.abortAction.condition,bookBuyerAgent2.noOffers.condition,bookBuyerAgent2.abort.condition,bookBuyerAgent2.transition3.condition,bookBuyerAgent2.transition1.condition,bookBuyerAgent2.transition.condition,bookBuyerAgent2.stateGraphRoot.resume,bookBuyerAgent2.stateGraphRoot.suspend,messageNotification.y,bookBuyerAgent2.getMessageID.pkgIn.userPkgBitSize,bookBuyerAgent2.getMessageID.pkgIn.backwardTrigger,bookBuyerAgent1.getMessageID.pkgIn.userPkgBitSize,bookBuyerAgent1.getMessageID.pkgIn.backwardTrigger,bookSellerAgent2.getMessageID.pkgIn.userPkgBitSize,bookSellerAgent2.getMessageID.pkgIn.backwardTrigger,bookSellerAgent1.getMessageID.pkgIn.userPkgBitSize,bookSellerAgent1.getMessageID.pkgIn.backwardTrigger,bookSellerAgent.getMessageID.pkgIn.userPkgBitSize,bookSellerAgent.getMessageID.pkgIn.backwardTrigger,bookBuyerAgent.getMessageID.pkgIn.userPkgBitSize,bookBuyerAgent.getMessageID.pkgIn.backwardTrigger,bookBuyerAgent2.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent2.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent2.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent2.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent2.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent2.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent2.uDPReceive_adapted.bufferSize,bookBuyerAgent2.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent2.messageID.pkgIn.autoPkgBitSize,bookBuyerAgent2.performative.pkgIn.autoPkgBitSize,bookBuyerAgent2.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent2.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent2.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent2.sender.pkgIn.autoPkgBitSize,bookBuyerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent2.content.pkgIn.autoPkgBitSize,bookBuyerAgent2.packager.bufferSize,bookBuyerAgent2.packager.backwardPropagatedBufferSize,bookBuyerAgent2.uDPSend_adapted.bufferSize,bookBuyerAgent1.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent1.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent1.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent1.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent1.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent1.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent1.uDPReceive_adapted.bufferSize,bookBuyerAgent1.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent1.messageID.pkgIn.autoPkgBitSize,bookBuyerAgent1.performative.pkgIn.autoPkgBitSize,bookBuyerAgent1.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent1.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent1.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent1.sender.pkgIn.autoPkgBitSize,bookBuyerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent1.content.pkgIn.autoPkgBitSize,bookBuyerAgent1.packager.bufferSize,bookBuyerAgent1.packager.backwardPropagatedBufferSize,bookBuyerAgent1.uDPSend_adapted.bufferSize,bookSellerAgent2.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent2.getontology.pkgIn.autoPkgBitSize,bookSellerAgent2.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent2.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent2.getsender.pkgIn.autoPkgBitSize,bookSellerAgent2.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent2.uDPReceive_adapted.bufferSize,bookSellerAgent2.get_content.pkgIn.autoPkgBitSize,bookSellerAgent2.messageID.pkgIn.autoPkgBitSize,bookSellerAgent2.performative.pkgIn.autoPkgBitSize,bookSellerAgent2.ontology.pkgIn.autoPkgBitSize,bookSellerAgent2.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent2.receiver.pkgIn.autoPkgBitSize,bookSellerAgent2.sender.pkgIn.autoPkgBitSize,bookSellerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent2.content.pkgIn.autoPkgBitSize,bookSellerAgent2.packager.bufferSize,bookSellerAgent2.packager.backwardPropagatedBufferSize,bookSellerAgent2.uDPSend_adapted.bufferSize,bookSellerAgent1.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent1.getontology.pkgIn.autoPkgBitSize,bookSellerAgent1.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent1.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent1.getsender.pkgIn.autoPkgBitSize,bookSellerAgent1.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent1.uDPReceive_adapted.bufferSize,bookSellerAgent1.get_content.pkgIn.autoPkgBitSize,bookSellerAgent1.messageID.pkgIn.autoPkgBitSize,bookSellerAgent1.performative.pkgIn.autoPkgBitSize,bookSellerAgent1.ontology.pkgIn.autoPkgBitSize,bookSellerAgent1.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent1.receiver.pkgIn.autoPkgBitSize,bookSellerAgent1.sender.pkgIn.autoPkgBitSize,bookSellerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent1.content.pkgIn.autoPkgBitSize,bookSellerAgent1.packager.bufferSize,bookSellerAgent1.packager.backwardPropagatedBufferSize,bookSellerAgent1.uDPSend_adapted.bufferSize,bookSellerAgent.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent.getontology.pkgIn.autoPkgBitSize,bookSellerAgent.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent.getsender.pkgIn.autoPkgBitSize,bookSellerAgent.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent.uDPReceive_adapted.bufferSize,bookSellerAgent.get_content.pkgIn.autoPkgBitSize,bookSellerAgent.messageID.pkgIn.autoPkgBitSize,bookSellerAgent.performative.pkgIn.autoPkgBitSize,bookSellerAgent.ontology.pkgIn.autoPkgBitSize,bookSellerAgent.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent.receiver.pkgIn.autoPkgBitSize,bookSellerAgent.sender.pkgIn.autoPkgBitSize,bookSellerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent.content.pkgIn.autoPkgBitSize,bookSellerAgent.packager.bufferSize,bookSellerAgent.packager.backwardPropagatedBufferSize,bookSellerAgent.uDPSend_adapted.bufferSize,bookBuyerAgent.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent.uDPReceive_adapted.bufferSize,bookBuyerAgent.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent.messageID.pkgIn.autoPkgBitSize,bookBuyerAgent.performative.pkgIn.autoPkgBitSize,bookBuyerAgent.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent.sender.pkgIn.autoPkgBitSize,bookBuyerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent.content.pkgIn.autoPkgBitSize,bookBuyerAgent.packager.bufferSize,bookBuyerAgent.packager.backwardPropagatedBufferSize,bookBuyerAgent.uDPSend_adapted.bufferSize) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (2060): * Single equations (assignments): 2054 * Array equations: 0 * Algorithm blocks: 6 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of prepare postOptimizeDAE: time 0.009218/1.239, allocations: 4.898 MB / 1.271 GB, free: 9.555 MB / 0.9513 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.002021/1.241, allocations: 0.7383 MB / 1.272 GB, free: 8.809 MB / 0.9513 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.4753/1.717, allocations: 13.91 MB / 1.285 GB, free: 264.6 MB / 0.9513 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 0.0001516/1.717, allocations: 120.2 kB / 1.286 GB, free: 264.6 MB / 0.9513 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 0.0001151/1.717, allocations: 8.875 kB / 1.286 GB, free: 264.6 MB / 0.9513 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 0.0001796/1.717, allocations: 62.41 kB / 1.286 GB, free: 264.6 MB / 0.9513 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.06255/1.78, allocations: 27.53 MB / 1.313 GB, free: 255.7 MB / 0.9513 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 0.0001076/1.78, allocations: 12.12 kB / 1.313 GB, free: 255.7 MB / 0.9513 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.002753/1.782, allocations: 0.5407 MB / 1.313 GB, free: 255.6 MB / 0.9513 GB Notification: Performance of postOpt tearingSystem (simulation): time 7.065e-05/1.783, allocations: 46.22 kB / 1.313 GB, free: 255.6 MB / 0.9513 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.001716/1.784, allocations: 410 kB / 1.313 GB, free: 255.4 MB / 0.9513 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 7.951e-05/1.784, allocations: 51.33 kB / 1.314 GB, free: 255.4 MB / 0.9513 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 1.51e-05/1.784, allocations: 10.22 kB / 1.314 GB, free: 255.4 MB / 0.9513 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.03049/1.815, allocations: 15.67 MB / 1.329 GB, free: 249.7 MB / 0.9513 GB Notification: Performance of postOpt removeConstants (simulation): time 0.00225/1.817, allocations: 0.8012 MB / 1.33 GB, free: 249.2 MB / 0.9513 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.003664/1.821, allocations: 466.9 kB / 1.33 GB, free: 249 MB / 0.9513 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.005857/1.827, allocations: 395.7 kB / 1.33 GB, free: 248.9 MB / 0.9513 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.004036/1.831, allocations: 1.072 MB / 1.331 GB, free: 248.6 MB / 0.9513 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.002731/1.834, allocations: 0.5311 MB / 1.332 GB, free: 248.5 MB / 0.9513 GB Notification: Performance of sorting global known variables: time 0.002521/1.836, allocations: 1.298 MB / 1.333 GB, free: 248 MB / 0.9513 GB Notification: Performance of sort global known variables: time 1.794e-06/1.836, allocations: 2.094 kB / 1.333 GB, free: 248 MB / 0.9513 GB Notification: Performance of remove unused functions: time 0.01563/1.852, allocations: 3.02 MB / 1.336 GB, free: 247.1 MB / 0.9513 GB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 36 * Number of states: 0 () * Number of discrete variables: 1211 (bookBuyerAgent2.transition2.t_start,bookBuyerAgent2.transitionWithSignal1.t_start,bookBuyerAgent2.newMessage1.t_start,bookBuyerAgent2.newMessage.t_start,bookBuyerAgent2.transitionWithSignal.t_start,bookBuyerAgent2.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent2.uDPReceive_adapted.bufferSize,bookBuyerAgent2.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent2.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent2.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent2.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent2.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent2.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent2.abortAction1.enableFire,bookBuyerAgent2.abortAction.enableFire,bookBuyerAgent2.done.enableFire,bookBuyerAgent2.notDone.enableFire,bookBuyerAgent2.refuse.enableFire,bookBuyerAgent2.offer.enableFire,bookBuyerAgent2.noOffers.enableFire,bookBuyerAgent2.abort.enableFire,bookBuyerAgent2.confirmation.enableFire,bookBuyerAgent2.notServed.localActive,bookBuyerAgent2.stateOfOffers.localActive,bookBuyerAgent2.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent2.messageID.pkgOut[1].trigger,bookBuyerAgent2.transition3.enableFire,bookBuyerAgent2.transition1.enableFire,bookBuyerAgent2.setDone.localActive,bookBuyerAgent2.check1.localActive,bookBuyerAgent2.sendBuy.localActive,bookBuyerAgent2.sendRequest.localActive,bookBuyerAgent2.transition.enableFire,bookBuyerAgent2.check.localActive,bookBuyerAgent2.composeBuy.localActive,bookBuyerAgent2.collectProposal.localActive,bookBuyerAgent2.composeRequest.localActive,bookBuyerAgent2.waiting.localActive,bookBuyerAgent2.getontology.pkgOut[1].trigger,$cse74,$cse75,$cse76,$cse77,$cse78,$cse79,$cse80,$cse81,$cse82,$cse83,$cse84,$cse85,$cse86,$cse87,$cse88,$cse89,$cse90,$cse91,$cse92,$cse93,$whenCondition15,$whenCondition14,$whenCondition13,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition5,$whenCondition4,$whenCondition3,$whenCondition2,$whenCondition1,$whenCondition16,$whenCondition17,$whenCondition18,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition22,$whenCondition23,bookBuyerAgent2.packager.pkgOut.dummy,bookBuyerAgent2.content.pkgOut[1].dummy,bookBuyerAgent2.content.u[1],bookBuyerAgent2.content.u[2],bookBuyerAgent2.get_content.pkgOut[1].dummy,bookBuyerAgent2.get_content.y[1],bookBuyerAgent2.get_content.y[2],bookBuyerAgent2.get_content.dummy,bookBuyerAgent2.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent2.uDPReceive_adapted.nRecvBytes,bookBuyerAgent2.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent2.uDPSend_adapted.bufferSize,bookBuyerAgent2.uDPSend_adapted.dummy,bookBuyerAgent2.uDPSend_adapted.receiver,bookBuyerAgent2.sender.pkgOut[1].dummy,bookBuyerAgent2.sender.u[1],bookBuyerAgent2.receiver.pkgOut[1].dummy,bookBuyerAgent2.receiver.u[1],bookBuyerAgent2.reply_to.pkgOut[1].dummy,bookBuyerAgent2.reply_to.u[1],bookBuyerAgent2.ontology.pkgOut[1].dummy,bookBuyerAgent2.ontology.u[1],bookBuyerAgent2.getperformative.pkgOut[1].dummy,bookBuyerAgent2.getperformative.y[1],bookBuyerAgent2.getperformative.dummy,bookBuyerAgent2.getsender.pkgOut[1].dummy,bookBuyerAgent2.getsender.y[1],bookBuyerAgent2.getsender.dummy,bookBuyerAgent2.getreceiver.pkgOut[1].dummy,bookBuyerAgent2.getreceiver.y[1],bookBuyerAgent2.getreceiver.dummy,bookBuyerAgent2.getreply_to.pkgOut[1].dummy,bookBuyerAgent2.getreply_to.y[1],bookBuyerAgent2.getreply_to.dummy,bookBuyerAgent2.getontology.pkgOut[1].dummy,bookBuyerAgent2.getontology.y[1],bookBuyerAgent2.getontology.dummy,bookBuyerAgent2.performative.pkgOut[1].dummy,bookBuyerAgent2.performative.u[1],bookBuyerAgent2.getMessageID.y[1],bookBuyerAgent2.getMessageID.dummy,bookBuyerAgent2.messageID.pkgOut[1].dummy,bookBuyerAgent2.messageID.u[1],bookBuyerAgent2.stateGraphRoot.activeSteps,bookBuyerAgent2.proposals[1,1],bookBuyerAgent2.proposals[1,2],bookBuyerAgent2.proposals[2,1],bookBuyerAgent2.proposals[2,2],bookBuyerAgent2.proposals[3,1],bookBuyerAgent2.proposals[3,2],bookBuyerAgent2.counter,bookBuyerAgent2.counterProposals,bookBuyerAgent2.requestsDone,bookBuyerAgent2.lowestPrice,bookBuyerAgent2.bookOffered,bookBuyerAgent2.waiting.active,bookBuyerAgent2.waiting.inPort[2].occupied,bookBuyerAgent2.waiting.inPort[3].occupied,bookBuyerAgent2.waiting.inPort[4].occupied,bookBuyerAgent2.waiting.newActive,bookBuyerAgent2.waiting.oldActive,bookBuyerAgent2.composeRequest.active,bookBuyerAgent2.composeRequest.inPort[2].occupied,bookBuyerAgent2.composeRequest.inPort[3].occupied,bookBuyerAgent2.composeRequest.newActive,bookBuyerAgent2.composeRequest.oldActive,bookBuyerAgent2.collectProposal.active,bookBuyerAgent2.collectProposal.outPort[2].available,bookBuyerAgent2.collectProposal.newActive,bookBuyerAgent2.collectProposal.oldActive,bookBuyerAgent2.composeBuy.active,bookBuyerAgent2.composeBuy.newActive,bookBuyerAgent2.composeBuy.oldActive,bookBuyerAgent2.integerChange.u,bookBuyerAgent2.sampleTrigger.y,bookBuyerAgent2.transitionWithSignal.condition,bookBuyerAgent2.transitionWithSignal.enableFire,bookBuyerAgent2.transition.fire,bookBuyerAgent2.transition.t_start,bookBuyerAgent2.check.active,bookBuyerAgent2.check.outPort[2].available,bookBuyerAgent2.check.newActive,bookBuyerAgent2.check.oldActive,bookBuyerAgent2.newMessage.enableFire,bookBuyerAgent2.offer.condition,bookBuyerAgent2.offer.fire,bookBuyerAgent2.offer.t_start,bookBuyerAgent2.refuse.condition,bookBuyerAgent2.refuse.fire,bookBuyerAgent2.refuse.t_start,bookBuyerAgent2.done.fire,bookBuyerAgent2.done.t_start,bookBuyerAgent2.notDone.fire,bookBuyerAgent2.notDone.t_start,bookBuyerAgent2.sendRequest.outPort[2].available,bookBuyerAgent2.sendRequest.newActive,bookBuyerAgent2.sendRequest.oldActive,bookBuyerAgent2.sendRequest.active,bookBuyerAgent2.sendBuy.outPort[2].available,bookBuyerAgent2.sendBuy.newActive,bookBuyerAgent2.sendBuy.oldActive,bookBuyerAgent2.sendBuy.active,bookBuyerAgent2.check1.active,bookBuyerAgent2.check1.outPort[2].available,bookBuyerAgent2.check1.newActive,bookBuyerAgent2.check1.oldActive,bookBuyerAgent2.confirmation.condition,bookBuyerAgent2.confirmation.fire,bookBuyerAgent2.confirmation.t_start,bookBuyerAgent2.setDone.active,bookBuyerAgent2.setDone.newActive,bookBuyerAgent2.setDone.oldActive,bookBuyerAgent2.transition1.fire,bookBuyerAgent2.transition1.t_start,bookBuyerAgent2.transition3.fire,bookBuyerAgent2.transition3.t_start,bookBuyerAgent2.bookBought,bookBuyerAgent2.newMessage1.condition,bookBuyerAgent2.newMessage1.enableFire,bookBuyerAgent2.abort.fire,bookBuyerAgent2.abort.t_start,bookBuyerAgent2.stateOfOffers.active,bookBuyerAgent2.stateOfOffers.outPort[2].available,bookBuyerAgent2.stateOfOffers.newActive,bookBuyerAgent2.stateOfOffers.oldActive,bookBuyerAgent2.transitionWithSignal1.enableFire,bookBuyerAgent2.noOffers.fire,bookBuyerAgent2.noOffers.t_start,bookBuyerAgent2.abortAction.fire,bookBuyerAgent2.abortAction.t_start,bookBuyerAgent2.abortAction1.fire,bookBuyerAgent2.abortAction1.t_start,bookBuyerAgent2.notServed.active,bookBuyerAgent2.notServed.inPort[2].occupied,bookBuyerAgent2.notServed.newActive,bookBuyerAgent2.notServed.oldActive,bookBuyerAgent2.transition2.enableFire,bookBuyerAgent2.packager.backwardPropagatedBufferSize,bookBuyerAgent2.packager.bufferSize,bookBuyerAgent2.content.pkgIn.autoPkgBitSize,bookBuyerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent2.sender.pkgIn.autoPkgBitSize,bookBuyerAgent2.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent2.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent2.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent2.performative.pkgIn.autoPkgBitSize,bookBuyerAgent2.messageID.pkgIn.autoPkgBitSize,bookBuyerAgent1.transition2.t_start,bookBuyerAgent1.transitionWithSignal1.t_start,bookBuyerAgent1.newMessage1.t_start,bookBuyerAgent1.newMessage.t_start,bookBuyerAgent1.transitionWithSignal.t_start,bookBuyerAgent1.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent1.uDPReceive_adapted.bufferSize,bookBuyerAgent1.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent1.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent1.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent1.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent1.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent1.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent1.abortAction1.enableFire,bookBuyerAgent1.abortAction.enableFire,bookBuyerAgent1.done.enableFire,bookBuyerAgent1.notDone.enableFire,bookBuyerAgent1.refuse.enableFire,bookBuyerAgent1.offer.enableFire,bookBuyerAgent1.noOffers.enableFire,bookBuyerAgent1.abort.enableFire,bookBuyerAgent1.confirmation.enableFire,bookBuyerAgent1.notServed.localActive,bookBuyerAgent1.stateOfOffers.localActive,bookBuyerAgent1.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent1.messageID.pkgOut[1].trigger,bookBuyerAgent1.transition3.enableFire,bookBuyerAgent1.transition1.enableFire,bookBuyerAgent1.setDone.localActive,bookBuyerAgent1.check1.localActive,bookBuyerAgent1.sendBuy.localActive,bookBuyerAgent1.sendRequest.localActive,bookBuyerAgent1.transition.enableFire,bookBuyerAgent1.check.localActive,bookBuyerAgent1.composeBuy.localActive,bookBuyerAgent1.collectProposal.localActive,bookBuyerAgent1.composeRequest.localActive,bookBuyerAgent1.waiting.localActive,bookBuyerAgent1.getontology.pkgOut[1].trigger,$cse54,$cse55,$cse56,$cse57,$cse58,$cse59,$cse60,$cse61,$cse62,$cse63,$cse64,$cse65,$cse66,$cse67,$cse68,$cse69,$cse70,$cse71,$cse72,$cse73,$whenCondition38,$whenCondition37,$whenCondition36,$whenCondition35,$whenCondition34,$whenCondition33,$whenCondition32,$whenCondition31,$whenCondition30,$whenCondition29,$whenCondition28,$whenCondition27,$whenCondition26,$whenCondition25,$whenCondition24,$whenCondition39,$whenCondition40,$whenCondition41,$whenCondition42,$whenCondition43,$whenCondition44,$whenCondition45,$whenCondition46,bookBuyerAgent1.packager.pkgOut.dummy,bookBuyerAgent1.content.pkgOut[1].dummy,bookBuyerAgent1.content.u[1],bookBuyerAgent1.content.u[2],bookBuyerAgent1.get_content.pkgOut[1].dummy,bookBuyerAgent1.get_content.y[1],bookBuyerAgent1.get_content.y[2],bookBuyerAgent1.get_content.dummy,bookBuyerAgent1.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent1.uDPReceive_adapted.nRecvBytes,bookBuyerAgent1.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent1.uDPSend_adapted.bufferSize,bookBuyerAgent1.uDPSend_adapted.dummy,bookBuyerAgent1.uDPSend_adapted.receiver,bookBuyerAgent1.sender.pkgOut[1].dummy,bookBuyerAgent1.sender.u[1],bookBuyerAgent1.receiver.pkgOut[1].dummy,bookBuyerAgent1.receiver.u[1],bookBuyerAgent1.reply_to.pkgOut[1].dummy,bookBuyerAgent1.reply_to.u[1],bookBuyerAgent1.ontology.pkgOut[1].dummy,bookBuyerAgent1.ontology.u[1],bookBuyerAgent1.getperformative.pkgOut[1].dummy,bookBuyerAgent1.getperformative.y[1],bookBuyerAgent1.getperformative.dummy,bookBuyerAgent1.getsender.pkgOut[1].dummy,bookBuyerAgent1.getsender.y[1],bookBuyerAgent1.getsender.dummy,bookBuyerAgent1.getreceiver.pkgOut[1].dummy,bookBuyerAgent1.getreceiver.y[1],bookBuyerAgent1.getreceiver.dummy,bookBuyerAgent1.getreply_to.pkgOut[1].dummy,bookBuyerAgent1.getreply_to.y[1],bookBuyerAgent1.getreply_to.dummy,bookBuyerAgent1.getontology.pkgOut[1].dummy,bookBuyerAgent1.getontology.y[1],bookBuyerAgent1.getontology.dummy,bookBuyerAgent1.performative.pkgOut[1].dummy,bookBuyerAgent1.performative.u[1],bookBuyerAgent1.getMessageID.y[1],bookBuyerAgent1.getMessageID.dummy,bookBuyerAgent1.messageID.pkgOut[1].dummy,bookBuyerAgent1.messageID.u[1],bookBuyerAgent1.stateGraphRoot.activeSteps,bookBuyerAgent1.proposals[1,1],bookBuyerAgent1.proposals[1,2],bookBuyerAgent1.proposals[2,1],bookBuyerAgent1.proposals[2,2],bookBuyerAgent1.proposals[3,1],bookBuyerAgent1.proposals[3,2],bookBuyerAgent1.counter,bookBuyerAgent1.counterProposals,bookBuyerAgent1.requestsDone,bookBuyerAgent1.lowestPrice,bookBuyerAgent1.bookOffered,bookBuyerAgent1.waiting.active,bookBuyerAgent1.waiting.inPort[2].occupied,bookBuyerAgent1.waiting.inPort[3].occupied,bookBuyerAgent1.waiting.inPort[4].occupied,bookBuyerAgent1.waiting.newActive,bookBuyerAgent1.waiting.oldActive,bookBuyerAgent1.composeRequest.active,bookBuyerAgent1.composeRequest.inPort[2].occupied,bookBuyerAgent1.composeRequest.inPort[3].occupied,bookBuyerAgent1.composeRequest.newActive,bookBuyerAgent1.composeRequest.oldActive,bookBuyerAgent1.collectProposal.active,bookBuyerAgent1.collectProposal.outPort[2].available,bookBuyerAgent1.collectProposal.newActive,bookBuyerAgent1.collectProposal.oldActive,bookBuyerAgent1.composeBuy.active,bookBuyerAgent1.composeBuy.newActive,bookBuyerAgent1.composeBuy.oldActive,bookBuyerAgent1.integerChange.u,bookBuyerAgent1.sampleTrigger.y,bookBuyerAgent1.transitionWithSignal.condition,bookBuyerAgent1.transitionWithSignal.enableFire,bookBuyerAgent1.transition.fire,bookBuyerAgent1.transition.t_start,bookBuyerAgent1.check.active,bookBuyerAgent1.check.outPort[2].available,bookBuyerAgent1.check.newActive,bookBuyerAgent1.check.oldActive,bookBuyerAgent1.newMessage.enableFire,bookBuyerAgent1.offer.condition,bookBuyerAgent1.offer.fire,bookBuyerAgent1.offer.t_start,bookBuyerAgent1.refuse.condition,bookBuyerAgent1.refuse.fire,bookBuyerAgent1.refuse.t_start,bookBuyerAgent1.done.fire,bookBuyerAgent1.done.t_start,bookBuyerAgent1.notDone.fire,bookBuyerAgent1.notDone.t_start,bookBuyerAgent1.sendRequest.outPort[2].available,bookBuyerAgent1.sendRequest.newActive,bookBuyerAgent1.sendRequest.oldActive,bookBuyerAgent1.sendRequest.active,bookBuyerAgent1.sendBuy.outPort[2].available,bookBuyerAgent1.sendBuy.newActive,bookBuyerAgent1.sendBuy.oldActive,bookBuyerAgent1.sendBuy.active,bookBuyerAgent1.check1.active,bookBuyerAgent1.check1.outPort[2].available,bookBuyerAgent1.check1.newActive,bookBuyerAgent1.check1.oldActive,bookBuyerAgent1.confirmation.condition,bookBuyerAgent1.confirmation.fire,bookBuyerAgent1.confirmation.t_start,bookBuyerAgent1.setDone.active,bookBuyerAgent1.setDone.newActive,bookBuyerAgent1.setDone.oldActive,bookBuyerAgent1.transition1.fire,bookBuyerAgent1.transition1.t_start,bookBuyerAgent1.transition3.fire,bookBuyerAgent1.transition3.t_start,bookBuyerAgent1.bookBought,bookBuyerAgent1.newMessage1.condition,bookBuyerAgent1.newMessage1.enableFire,bookBuyerAgent1.abort.fire,bookBuyerAgent1.abort.t_start,bookBuyerAgent1.stateOfOffers.active,bookBuyerAgent1.stateOfOffers.outPort[2].available,bookBuyerAgent1.stateOfOffers.newActive,bookBuyerAgent1.stateOfOffers.oldActive,bookBuyerAgent1.transitionWithSignal1.enableFire,bookBuyerAgent1.noOffers.fire,bookBuyerAgent1.noOffers.t_start,bookBuyerAgent1.abortAction.fire,bookBuyerAgent1.abortAction.t_start,bookBuyerAgent1.abortAction1.fire,bookBuyerAgent1.abortAction1.t_start,bookBuyerAgent1.notServed.active,bookBuyerAgent1.notServed.inPort[2].occupied,bookBuyerAgent1.notServed.newActive,bookBuyerAgent1.notServed.oldActive,bookBuyerAgent1.transition2.enableFire,bookBuyerAgent1.packager.backwardPropagatedBufferSize,bookBuyerAgent1.packager.bufferSize,bookBuyerAgent1.content.pkgIn.autoPkgBitSize,bookBuyerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent1.sender.pkgIn.autoPkgBitSize,bookBuyerAgent1.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent1.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent1.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent1.performative.pkgIn.autoPkgBitSize,bookBuyerAgent1.messageID.pkgIn.autoPkgBitSize,bookSellerAgent2.newMessage.t_start,bookSellerAgent2.get_content.pkgIn.autoPkgBitSize,bookSellerAgent2.uDPReceive_adapted.bufferSize,bookSellerAgent2.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent2.getsender.pkgIn.autoPkgBitSize,bookSellerAgent2.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent2.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent2.getontology.pkgIn.autoPkgBitSize,bookSellerAgent2.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent2.PurchaseOrdersServer.enableFire,bookSellerAgent2.OfferRequestsServer.enableFire,bookSellerAgent2.transition5.enableFire,bookSellerAgent2.messageID.pkgOut[1].backwardTrigger,bookSellerAgent2.messageID.pkgOut[1].trigger,bookSellerAgent2.transition4.enableFire,bookSellerAgent2.transition3.enableFire,bookSellerAgent2.transition2.enableFire,bookSellerAgent2.transition1.enableFire,bookSellerAgent2.transition.enableFire,bookSellerAgent2.sendResponse1.localActive,bookSellerAgent2.composeResponse1.localActive,bookSellerAgent2.checkLibrary1.localActive,bookSellerAgent2.sendResponse.localActive,bookSellerAgent2.composeResponse.localActive,bookSellerAgent2.checkLibrary.localActive,bookSellerAgent2.checkPurpose.localActive,bookSellerAgent2.waiting.localActive,bookSellerAgent2.getontology.pkgOut[1].trigger,$cse43,$cse44,$cse45,$cse46,$cse47,$cse48,$cse49,$cse50,$cse51,$cse52,$cse53,$whenCondition57,$whenCondition56,$whenCondition55,$whenCondition54,$whenCondition53,$whenCondition52,$whenCondition51,$whenCondition50,$whenCondition49,$whenCondition48,$whenCondition47,$whenCondition58,$whenCondition59,$whenCondition60,$whenCondition61,$whenCondition62,$whenCondition63,bookSellerAgent2.packager.pkgOut.dummy,bookSellerAgent2.content.pkgOut[1].dummy,bookSellerAgent2.content.u[1],bookSellerAgent2.content.u[2],bookSellerAgent2.get_content.pkgOut[1].dummy,bookSellerAgent2.get_content.y[1],bookSellerAgent2.get_content.y[2],bookSellerAgent2.get_content.dummy,bookSellerAgent2.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent2.uDPReceive_adapted.nRecvBytes,bookSellerAgent2.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent2.uDPSend_adapted.bufferSize,bookSellerAgent2.uDPSend_adapted.dummy,bookSellerAgent2.uDPSend_adapted.receiver,bookSellerAgent2.sender.pkgOut[1].dummy,bookSellerAgent2.sender.u[1],bookSellerAgent2.receiver.pkgOut[1].dummy,bookSellerAgent2.receiver.u[1],bookSellerAgent2.reply_to.pkgOut[1].dummy,bookSellerAgent2.reply_to.u[1],bookSellerAgent2.ontology.pkgOut[1].dummy,bookSellerAgent2.ontology.u[1],bookSellerAgent2.getperformative.pkgOut[1].dummy,bookSellerAgent2.getperformative.y[1],bookSellerAgent2.getperformative.dummy,bookSellerAgent2.getsender.pkgOut[1].dummy,bookSellerAgent2.getsender.y[1],bookSellerAgent2.getsender.dummy,bookSellerAgent2.getreceiver.pkgOut[1].dummy,bookSellerAgent2.getreceiver.y[1],bookSellerAgent2.getreceiver.dummy,bookSellerAgent2.getreply_to.pkgOut[1].dummy,bookSellerAgent2.getreply_to.y[1],bookSellerAgent2.getreply_to.dummy,bookSellerAgent2.getontology.pkgOut[1].dummy,bookSellerAgent2.getontology.y[1],bookSellerAgent2.getontology.dummy,bookSellerAgent2.performative.pkgOut[1].dummy,bookSellerAgent2.performative.u[1],bookSellerAgent2.getMessageID.y[1],bookSellerAgent2.getMessageID.dummy,bookSellerAgent2.messageID.pkgOut[1].dummy,bookSellerAgent2.messageID.u[1],bookSellerAgent2.stateGraphRoot.activeSteps,bookSellerAgent2.bookList[1,1],bookSellerAgent2.bookList[1,2],bookSellerAgent2.bookList[2,1],bookSellerAgent2.bookList[2,2],bookSellerAgent2.bookList[3,1],bookSellerAgent2.bookList[3,2],bookSellerAgent2.bookList[4,1],bookSellerAgent2.bookList[4,2],bookSellerAgent2.searchedBook,bookSellerAgent2.counter,bookSellerAgent2.bookInStock,bookSellerAgent2.bookToSell,bookSellerAgent2.index,bookSellerAgent2.sender_current,bookSellerAgent2.performative_current,bookSellerAgent2.content_1_current,bookSellerAgent2.content_2_current,bookSellerAgent2.integerChange.u,bookSellerAgent2.waiting.active,bookSellerAgent2.waiting.inPort[2].occupied,bookSellerAgent2.waiting.newActive,bookSellerAgent2.waiting.oldActive,bookSellerAgent2.newMessage.condition,bookSellerAgent2.newMessage.enableFire,bookSellerAgent2.checkPurpose.active,bookSellerAgent2.checkPurpose.outPort[2].available,bookSellerAgent2.checkPurpose.newActive,bookSellerAgent2.checkPurpose.oldActive,bookSellerAgent2.OfferRequestsServer.condition,bookSellerAgent2.OfferRequestsServer.fire,bookSellerAgent2.OfferRequestsServer.t_start,bookSellerAgent2.PurchaseOrdersServer.condition,bookSellerAgent2.PurchaseOrdersServer.fire,bookSellerAgent2.PurchaseOrdersServer.t_start,bookSellerAgent2.checkLibrary.active,bookSellerAgent2.checkLibrary.newActive,bookSellerAgent2.checkLibrary.oldActive,bookSellerAgent2.composeResponse.active,bookSellerAgent2.composeResponse.newActive,bookSellerAgent2.composeResponse.oldActive,bookSellerAgent2.sendResponse.newActive,bookSellerAgent2.sendResponse.oldActive,bookSellerAgent2.sendResponse.active,bookSellerAgent2.checkLibrary1.active,bookSellerAgent2.checkLibrary1.newActive,bookSellerAgent2.checkLibrary1.oldActive,bookSellerAgent2.composeResponse1.active,bookSellerAgent2.composeResponse1.newActive,bookSellerAgent2.composeResponse1.oldActive,bookSellerAgent2.sendResponse1.newActive,bookSellerAgent2.sendResponse1.oldActive,bookSellerAgent2.sendResponse1.active,bookSellerAgent2.transition.fire,bookSellerAgent2.transition.t_start,bookSellerAgent2.transition1.fire,bookSellerAgent2.transition1.t_start,bookSellerAgent2.transition2.fire,bookSellerAgent2.transition2.t_start,bookSellerAgent2.transition3.fire,bookSellerAgent2.transition3.t_start,bookSellerAgent2.transition4.fire,bookSellerAgent2.transition4.t_start,bookSellerAgent2.transition5.fire,bookSellerAgent2.transition5.t_start,bookSellerAgent2.packager.backwardPropagatedBufferSize,bookSellerAgent2.packager.bufferSize,bookSellerAgent2.content.pkgIn.autoPkgBitSize,bookSellerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent2.sender.pkgIn.autoPkgBitSize,bookSellerAgent2.receiver.pkgIn.autoPkgBitSize,bookSellerAgent2.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent2.ontology.pkgIn.autoPkgBitSize,bookSellerAgent2.performative.pkgIn.autoPkgBitSize,bookSellerAgent2.messageID.pkgIn.autoPkgBitSize,bookSellerAgent1.newMessage.t_start,bookSellerAgent1.get_content.pkgIn.autoPkgBitSize,bookSellerAgent1.uDPReceive_adapted.bufferSize,bookSellerAgent1.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent1.getsender.pkgIn.autoPkgBitSize,bookSellerAgent1.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent1.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent1.getontology.pkgIn.autoPkgBitSize,bookSellerAgent1.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent1.PurchaseOrdersServer.enableFire,bookSellerAgent1.OfferRequestsServer.enableFire,bookSellerAgent1.transition5.enableFire,bookSellerAgent1.messageID.pkgOut[1].backwardTrigger,bookSellerAgent1.messageID.pkgOut[1].trigger,bookSellerAgent1.transition4.enableFire,bookSellerAgent1.transition3.enableFire,bookSellerAgent1.transition2.enableFire,bookSellerAgent1.transition1.enableFire,bookSellerAgent1.transition.enableFire,bookSellerAgent1.sendResponse1.localActive,bookSellerAgent1.composeResponse1.localActive,bookSellerAgent1.checkLibrary1.localActive,bookSellerAgent1.sendResponse.localActive,bookSellerAgent1.composeResponse.localActive,bookSellerAgent1.checkLibrary.localActive,bookSellerAgent1.checkPurpose.localActive,bookSellerAgent1.waiting.localActive,bookSellerAgent1.getontology.pkgOut[1].trigger,$cse32,$cse33,$cse34,$cse35,$cse36,$cse37,$cse38,$cse39,$cse40,$cse41,$cse42,$whenCondition74,$whenCondition73,$whenCondition72,$whenCondition71,$whenCondition70,$whenCondition69,$whenCondition68,$whenCondition67,$whenCondition66,$whenCondition65,$whenCondition64,$whenCondition75,$whenCondition76,$whenCondition77,$whenCondition78,$whenCondition79,$whenCondition80,bookSellerAgent1.packager.pkgOut.dummy,bookSellerAgent1.content.pkgOut[1].dummy,bookSellerAgent1.content.u[1],bookSellerAgent1.content.u[2],bookSellerAgent1.get_content.pkgOut[1].dummy,bookSellerAgent1.get_content.y[1],bookSellerAgent1.get_content.y[2],bookSellerAgent1.get_content.dummy,bookSellerAgent1.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent1.uDPReceive_adapted.nRecvBytes,bookSellerAgent1.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent1.uDPSend_adapted.bufferSize,bookSellerAgent1.uDPSend_adapted.dummy,bookSellerAgent1.uDPSend_adapted.receiver,bookSellerAgent1.sender.pkgOut[1].dummy,bookSellerAgent1.sender.u[1],bookSellerAgent1.receiver.pkgOut[1].dummy,bookSellerAgent1.receiver.u[1],bookSellerAgent1.reply_to.pkgOut[1].dummy,bookSellerAgent1.reply_to.u[1],bookSellerAgent1.ontology.pkgOut[1].dummy,bookSellerAgent1.ontology.u[1],bookSellerAgent1.getperformative.pkgOut[1].dummy,bookSellerAgent1.getperformative.y[1],bookSellerAgent1.getperformative.dummy,bookSellerAgent1.getsender.pkgOut[1].dummy,bookSellerAgent1.getsender.y[1],bookSellerAgent1.getsender.dummy,bookSellerAgent1.getreceiver.pkgOut[1].dummy,bookSellerAgent1.getreceiver.y[1],bookSellerAgent1.getreceiver.dummy,bookSellerAgent1.getreply_to.pkgOut[1].dummy,bookSellerAgent1.getreply_to.y[1],bookSellerAgent1.getreply_to.dummy,bookSellerAgent1.getontology.pkgOut[1].dummy,bookSellerAgent1.getontology.y[1],bookSellerAgent1.getontology.dummy,bookSellerAgent1.performative.pkgOut[1].dummy,bookSellerAgent1.performative.u[1],bookSellerAgent1.getMessageID.y[1],bookSellerAgent1.getMessageID.dummy,bookSellerAgent1.messageID.pkgOut[1].dummy,bookSellerAgent1.messageID.u[1],bookSellerAgent1.stateGraphRoot.activeSteps,bookSellerAgent1.bookList[1,1],bookSellerAgent1.bookList[1,2],bookSellerAgent1.bookList[2,1],bookSellerAgent1.bookList[2,2],bookSellerAgent1.bookList[3,1],bookSellerAgent1.bookList[3,2],bookSellerAgent1.searchedBook,bookSellerAgent1.counter,bookSellerAgent1.bookInStock,bookSellerAgent1.bookToSell,bookSellerAgent1.index,bookSellerAgent1.sender_current,bookSellerAgent1.performative_current,bookSellerAgent1.content_1_current,bookSellerAgent1.content_2_current,bookSellerAgent1.integerChange.u,bookSellerAgent1.waiting.active,bookSellerAgent1.waiting.inPort[2].occupied,bookSellerAgent1.waiting.newActive,bookSellerAgent1.waiting.oldActive,bookSellerAgent1.newMessage.condition,bookSellerAgent1.newMessage.enableFire,bookSellerAgent1.checkPurpose.active,bookSellerAgent1.checkPurpose.outPort[2].available,bookSellerAgent1.checkPurpose.newActive,bookSellerAgent1.checkPurpose.oldActive,bookSellerAgent1.OfferRequestsServer.condition,bookSellerAgent1.OfferRequestsServer.fire,bookSellerAgent1.OfferRequestsServer.t_start,bookSellerAgent1.PurchaseOrdersServer.condition,bookSellerAgent1.PurchaseOrdersServer.fire,bookSellerAgent1.PurchaseOrdersServer.t_start,bookSellerAgent1.checkLibrary.active,bookSellerAgent1.checkLibrary.newActive,bookSellerAgent1.checkLibrary.oldActive,bookSellerAgent1.composeResponse.active,bookSellerAgent1.composeResponse.newActive,bookSellerAgent1.composeResponse.oldActive,bookSellerAgent1.sendResponse.newActive,bookSellerAgent1.sendResponse.oldActive,bookSellerAgent1.sendResponse.active,bookSellerAgent1.checkLibrary1.active,bookSellerAgent1.checkLibrary1.newActive,bookSellerAgent1.checkLibrary1.oldActive,bookSellerAgent1.composeResponse1.active,bookSellerAgent1.composeResponse1.newActive,bookSellerAgent1.composeResponse1.oldActive,bookSellerAgent1.sendResponse1.newActive,bookSellerAgent1.sendResponse1.oldActive,bookSellerAgent1.sendResponse1.active,bookSellerAgent1.transition.fire,bookSellerAgent1.transition.t_start,bookSellerAgent1.transition1.fire,bookSellerAgent1.transition1.t_start,bookSellerAgent1.transition2.fire,bookSellerAgent1.transition2.t_start,bookSellerAgent1.transition3.fire,bookSellerAgent1.transition3.t_start,bookSellerAgent1.transition4.fire,bookSellerAgent1.transition4.t_start,bookSellerAgent1.transition5.fire,bookSellerAgent1.transition5.t_start,bookSellerAgent1.packager.backwardPropagatedBufferSize,bookSellerAgent1.packager.bufferSize,bookSellerAgent1.content.pkgIn.autoPkgBitSize,bookSellerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent1.sender.pkgIn.autoPkgBitSize,bookSellerAgent1.receiver.pkgIn.autoPkgBitSize,bookSellerAgent1.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent1.ontology.pkgIn.autoPkgBitSize,bookSellerAgent1.performative.pkgIn.autoPkgBitSize,bookSellerAgent1.messageID.pkgIn.autoPkgBitSize,bookSellerAgent.newMessage.t_start,bookSellerAgent.get_content.pkgIn.autoPkgBitSize,bookSellerAgent.uDPReceive_adapted.bufferSize,bookSellerAgent.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent.getsender.pkgIn.autoPkgBitSize,bookSellerAgent.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent.getontology.pkgIn.autoPkgBitSize,bookSellerAgent.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent.PurchaseOrdersServer.enableFire,bookSellerAgent.OfferRequestsServer.enableFire,bookSellerAgent.transition5.enableFire,bookSellerAgent.messageID.pkgOut[1].backwardTrigger,bookSellerAgent.messageID.pkgOut[1].trigger,bookSellerAgent.transition4.enableFire,bookSellerAgent.transition3.enableFire,bookSellerAgent.transition2.enableFire,bookSellerAgent.transition1.enableFire,bookSellerAgent.transition.enableFire,bookSellerAgent.sendResponse1.localActive,bookSellerAgent.composeResponse1.localActive,bookSellerAgent.checkLibrary1.localActive,bookSellerAgent.sendResponse.localActive,bookSellerAgent.composeResponse.localActive,bookSellerAgent.checkLibrary.localActive,bookSellerAgent.checkPurpose.localActive,bookSellerAgent.waiting.localActive,bookSellerAgent.getontology.pkgOut[1].trigger,$cse21,$cse22,$cse23,$cse24,$cse25,$cse26,$cse27,$cse28,$cse29,$cse30,$cse31,$whenCondition91,$whenCondition90,$whenCondition89,$whenCondition88,$whenCondition87,$whenCondition86,$whenCondition85,$whenCondition84,$whenCondition83,$whenCondition82,$whenCondition81,$whenCondition92,$whenCondition93,$whenCondition94,$whenCondition95,$whenCondition96,$whenCondition97,bookSellerAgent.packager.pkgOut.dummy,bookSellerAgent.content.pkgOut[1].dummy,bookSellerAgent.content.u[1],bookSellerAgent.content.u[2],bookSellerAgent.get_content.pkgOut[1].dummy,bookSellerAgent.get_content.y[1],bookSellerAgent.get_content.y[2],bookSellerAgent.get_content.dummy,bookSellerAgent.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent.uDPReceive_adapted.nRecvBytes,bookSellerAgent.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent.uDPSend_adapted.bufferSize,bookSellerAgent.uDPSend_adapted.dummy,bookSellerAgent.uDPSend_adapted.receiver,bookSellerAgent.sender.pkgOut[1].dummy,bookSellerAgent.sender.u[1],bookSellerAgent.receiver.pkgOut[1].dummy,bookSellerAgent.receiver.u[1],bookSellerAgent.reply_to.pkgOut[1].dummy,bookSellerAgent.reply_to.u[1],bookSellerAgent.ontology.pkgOut[1].dummy,bookSellerAgent.ontology.u[1],bookSellerAgent.getperformative.pkgOut[1].dummy,bookSellerAgent.getperformative.y[1],bookSellerAgent.getperformative.dummy,bookSellerAgent.getsender.pkgOut[1].dummy,bookSellerAgent.getsender.y[1],bookSellerAgent.getsender.dummy,bookSellerAgent.getreceiver.pkgOut[1].dummy,bookSellerAgent.getreceiver.y[1],bookSellerAgent.getreceiver.dummy,bookSellerAgent.getreply_to.pkgOut[1].dummy,bookSellerAgent.getreply_to.y[1],bookSellerAgent.getreply_to.dummy,bookSellerAgent.getontology.pkgOut[1].dummy,bookSellerAgent.getontology.y[1],bookSellerAgent.getontology.dummy,bookSellerAgent.performative.pkgOut[1].dummy,bookSellerAgent.performative.u[1],bookSellerAgent.getMessageID.y[1],bookSellerAgent.getMessageID.dummy,bookSellerAgent.messageID.pkgOut[1].dummy,bookSellerAgent.messageID.u[1],bookSellerAgent.stateGraphRoot.activeSteps,bookSellerAgent.bookList[1,1],bookSellerAgent.bookList[1,2],bookSellerAgent.bookList[2,1],bookSellerAgent.bookList[2,2],bookSellerAgent.bookList[3,1],bookSellerAgent.bookList[3,2],bookSellerAgent.searchedBook,bookSellerAgent.counter,bookSellerAgent.bookInStock,bookSellerAgent.bookToSell,bookSellerAgent.index,bookSellerAgent.sender_current,bookSellerAgent.performative_current,bookSellerAgent.content_1_current,bookSellerAgent.content_2_current,bookSellerAgent.integerChange.u,bookSellerAgent.waiting.active,bookSellerAgent.waiting.inPort[2].occupied,bookSellerAgent.waiting.newActive,bookSellerAgent.waiting.oldActive,bookSellerAgent.newMessage.condition,bookSellerAgent.newMessage.enableFire,bookSellerAgent.checkPurpose.active,bookSellerAgent.checkPurpose.outPort[2].available,bookSellerAgent.checkPurpose.newActive,bookSellerAgent.checkPurpose.oldActive,bookSellerAgent.OfferRequestsServer.condition,bookSellerAgent.OfferRequestsServer.fire,bookSellerAgent.OfferRequestsServer.t_start,bookSellerAgent.PurchaseOrdersServer.condition,bookSellerAgent.PurchaseOrdersServer.fire,bookSellerAgent.PurchaseOrdersServer.t_start,bookSellerAgent.checkLibrary.active,bookSellerAgent.checkLibrary.newActive,bookSellerAgent.checkLibrary.oldActive,bookSellerAgent.composeResponse.active,bookSellerAgent.composeResponse.newActive,bookSellerAgent.composeResponse.oldActive,bookSellerAgent.sendResponse.newActive,bookSellerAgent.sendResponse.oldActive,bookSellerAgent.sendResponse.active,bookSellerAgent.checkLibrary1.active,bookSellerAgent.checkLibrary1.newActive,bookSellerAgent.checkLibrary1.oldActive,bookSellerAgent.composeResponse1.active,bookSellerAgent.composeResponse1.newActive,bookSellerAgent.composeResponse1.oldActive,bookSellerAgent.sendResponse1.newActive,bookSellerAgent.sendResponse1.oldActive,bookSellerAgent.sendResponse1.active,bookSellerAgent.transition.fire,bookSellerAgent.transition.t_start,bookSellerAgent.transition1.fire,bookSellerAgent.transition1.t_start,bookSellerAgent.transition2.fire,bookSellerAgent.transition2.t_start,bookSellerAgent.transition3.fire,bookSellerAgent.transition3.t_start,bookSellerAgent.transition4.fire,bookSellerAgent.transition4.t_start,bookSellerAgent.transition5.fire,bookSellerAgent.transition5.t_start,bookSellerAgent.packager.backwardPropagatedBufferSize,bookSellerAgent.packager.bufferSize,bookSellerAgent.content.pkgIn.autoPkgBitSize,bookSellerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent.sender.pkgIn.autoPkgBitSize,bookSellerAgent.receiver.pkgIn.autoPkgBitSize,bookSellerAgent.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent.ontology.pkgIn.autoPkgBitSize,bookSellerAgent.performative.pkgIn.autoPkgBitSize,bookSellerAgent.messageID.pkgIn.autoPkgBitSize,bookBuyerAgent.transition2.t_start,bookBuyerAgent.transitionWithSignal1.t_start,bookBuyerAgent.newMessage1.t_start,bookBuyerAgent.newMessage.t_start,bookBuyerAgent.transitionWithSignal.t_start,bookBuyerAgent.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent.uDPReceive_adapted.bufferSize,bookBuyerAgent.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent.abortAction1.enableFire,bookBuyerAgent.abortAction.enableFire,bookBuyerAgent.done.enableFire,bookBuyerAgent.notDone.enableFire,bookBuyerAgent.refuse.enableFire,bookBuyerAgent.offer.enableFire,bookBuyerAgent.noOffers.enableFire,bookBuyerAgent.abort.enableFire,bookBuyerAgent.confirmation.enableFire,bookBuyerAgent.notServed.localActive,bookBuyerAgent.stateOfOffers.localActive,bookBuyerAgent.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent.messageID.pkgOut[1].trigger,bookBuyerAgent.transition3.enableFire,bookBuyerAgent.transition1.enableFire,bookBuyerAgent.setDone.localActive,bookBuyerAgent.check1.localActive,bookBuyerAgent.sendBuy.localActive,bookBuyerAgent.sendRequest.localActive,bookBuyerAgent.transition.enableFire,bookBuyerAgent.check.localActive,bookBuyerAgent.composeBuy.localActive,bookBuyerAgent.collectProposal.localActive,bookBuyerAgent.composeRequest.localActive,bookBuyerAgent.waiting.localActive,bookBuyerAgent.getontology.pkgOut[1].trigger,$cse1,$cse2,$cse3,$cse4,$cse5,$cse6,$cse7,$cse8,$cse9,$cse10,$cse11,$cse12,$cse13,$cse14,$cse15,$cse16,$cse17,$cse18,$cse19,$cse20,$whenCondition112,$whenCondition111,$whenCondition110,$whenCondition109,$whenCondition108,$whenCondition107,$whenCondition106,$whenCondition105,$whenCondition104,$whenCondition103,$whenCondition102,$whenCondition101,$whenCondition100,$whenCondition99,$whenCondition98,$whenCondition113,$whenCondition114,$whenCondition115,$whenCondition116,$whenCondition117,$whenCondition118,$whenCondition119,$whenCondition120,bookBuyerAgent.packager.pkgOut.dummy,bookBuyerAgent.content.pkgOut[1].dummy,bookBuyerAgent.content.u[1],bookBuyerAgent.content.u[2],bookBuyerAgent.get_content.pkgOut[1].dummy,bookBuyerAgent.get_content.y[1],bookBuyerAgent.get_content.y[2],bookBuyerAgent.get_content.dummy,bookBuyerAgent.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent.uDPReceive_adapted.nRecvBytes,bookBuyerAgent.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent.uDPSend_adapted.bufferSize,bookBuyerAgent.uDPSend_adapted.dummy,bookBuyerAgent.uDPSend_adapted.receiver,bookBuyerAgent.sender.pkgOut[1].dummy,bookBuyerAgent.sender.u[1],bookBuyerAgent.receiver.pkgOut[1].dummy,bookBuyerAgent.receiver.u[1],bookBuyerAgent.reply_to.pkgOut[1].dummy,bookBuyerAgent.reply_to.u[1],bookBuyerAgent.ontology.pkgOut[1].dummy,bookBuyerAgent.ontology.u[1],bookBuyerAgent.getperformative.pkgOut[1].dummy,bookBuyerAgent.getperformative.y[1],bookBuyerAgent.getperformative.dummy,bookBuyerAgent.getsender.pkgOut[1].dummy,bookBuyerAgent.getsender.y[1],bookBuyerAgent.getsender.dummy,bookBuyerAgent.getreceiver.pkgOut[1].dummy,bookBuyerAgent.getreceiver.y[1],bookBuyerAgent.getreceiver.dummy,bookBuyerAgent.getreply_to.pkgOut[1].dummy,bookBuyerAgent.getreply_to.y[1],bookBuyerAgent.getreply_to.dummy,bookBuyerAgent.getontology.pkgOut[1].dummy,bookBuyerAgent.getontology.y[1],bookBuyerAgent.getontology.dummy,bookBuyerAgent.performative.pkgOut[1].dummy,bookBuyerAgent.performative.u[1],bookBuyerAgent.getMessageID.y[1],bookBuyerAgent.getMessageID.dummy,bookBuyerAgent.messageID.pkgOut[1].dummy,bookBuyerAgent.messageID.u[1],bookBuyerAgent.stateGraphRoot.activeSteps,bookBuyerAgent.proposals[1,1],bookBuyerAgent.proposals[1,2],bookBuyerAgent.proposals[2,1],bookBuyerAgent.proposals[2,2],bookBuyerAgent.proposals[3,1],bookBuyerAgent.proposals[3,2],bookBuyerAgent.counter,bookBuyerAgent.counterProposals,bookBuyerAgent.requestsDone,bookBuyerAgent.lowestPrice,bookBuyerAgent.bookOffered,bookBuyerAgent.waiting.active,bookBuyerAgent.waiting.inPort[2].occupied,bookBuyerAgent.waiting.inPort[3].occupied,bookBuyerAgent.waiting.inPort[4].occupied,bookBuyerAgent.waiting.newActive,bookBuyerAgent.waiting.oldActive,bookBuyerAgent.composeRequest.active,bookBuyerAgent.composeRequest.inPort[2].occupied,bookBuyerAgent.composeRequest.inPort[3].occupied,bookBuyerAgent.composeRequest.newActive,bookBuyerAgent.composeRequest.oldActive,bookBuyerAgent.collectProposal.active,bookBuyerAgent.collectProposal.outPort[2].available,bookBuyerAgent.collectProposal.newActive,bookBuyerAgent.collectProposal.oldActive,bookBuyerAgent.composeBuy.active,bookBuyerAgent.composeBuy.newActive,bookBuyerAgent.composeBuy.oldActive,bookBuyerAgent.integerChange.u,bookBuyerAgent.sampleTrigger.y,bookBuyerAgent.transitionWithSignal.condition,bookBuyerAgent.transitionWithSignal.enableFire,bookBuyerAgent.transition.fire,bookBuyerAgent.transition.t_start,bookBuyerAgent.check.active,bookBuyerAgent.check.outPort[2].available,bookBuyerAgent.check.newActive,bookBuyerAgent.check.oldActive,bookBuyerAgent.newMessage.enableFire,bookBuyerAgent.offer.condition,bookBuyerAgent.offer.fire,bookBuyerAgent.offer.t_start,bookBuyerAgent.refuse.condition,bookBuyerAgent.refuse.fire,bookBuyerAgent.refuse.t_start,bookBuyerAgent.done.fire,bookBuyerAgent.done.t_start,bookBuyerAgent.notDone.fire,bookBuyerAgent.notDone.t_start,bookBuyerAgent.sendRequest.outPort[2].available,bookBuyerAgent.sendRequest.newActive,bookBuyerAgent.sendRequest.oldActive,bookBuyerAgent.sendRequest.active,bookBuyerAgent.sendBuy.outPort[2].available,bookBuyerAgent.sendBuy.newActive,bookBuyerAgent.sendBuy.oldActive,bookBuyerAgent.sendBuy.active,bookBuyerAgent.check1.active,bookBuyerAgent.check1.outPort[2].available,bookBuyerAgent.check1.newActive,bookBuyerAgent.check1.oldActive,bookBuyerAgent.confirmation.condition,bookBuyerAgent.confirmation.fire,bookBuyerAgent.confirmation.t_start,bookBuyerAgent.setDone.active,bookBuyerAgent.setDone.newActive,bookBuyerAgent.setDone.oldActive,bookBuyerAgent.transition1.fire,bookBuyerAgent.transition1.t_start,bookBuyerAgent.transition3.fire,bookBuyerAgent.transition3.t_start,bookBuyerAgent.bookBought,bookBuyerAgent.newMessage1.condition,bookBuyerAgent.newMessage1.enableFire,bookBuyerAgent.abort.fire,bookBuyerAgent.abort.t_start,bookBuyerAgent.stateOfOffers.active,bookBuyerAgent.stateOfOffers.outPort[2].available,bookBuyerAgent.stateOfOffers.newActive,bookBuyerAgent.stateOfOffers.oldActive,bookBuyerAgent.transitionWithSignal1.enableFire,bookBuyerAgent.noOffers.fire,bookBuyerAgent.noOffers.t_start,bookBuyerAgent.abortAction.fire,bookBuyerAgent.abortAction.t_start,bookBuyerAgent.abortAction1.fire,bookBuyerAgent.abortAction1.t_start,bookBuyerAgent.notServed.active,bookBuyerAgent.notServed.inPort[2].occupied,bookBuyerAgent.notServed.newActive,bookBuyerAgent.notServed.oldActive,bookBuyerAgent.transition2.enableFire,bookBuyerAgent.packager.backwardPropagatedBufferSize,bookBuyerAgent.packager.bufferSize,bookBuyerAgent.content.pkgIn.autoPkgBitSize,bookBuyerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent.sender.pkgIn.autoPkgBitSize,bookBuyerAgent.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent.performative.pkgIn.autoPkgBitSize,bookBuyerAgent.messageID.pkgIn.autoPkgBitSize) * Number of discrete states: 260 (bookBuyerAgent.waiting.newActive,bookBuyerAgent.composeRequest.newActive,bookBuyerAgent.collectProposal.newActive,bookBuyerAgent.composeBuy.newActive,bookBuyerAgent.check.newActive,bookBuyerAgent.sendRequest.newActive,bookBuyerAgent.sendBuy.newActive,bookBuyerAgent.check1.newActive,bookBuyerAgent.setDone.newActive,bookBuyerAgent.stateOfOffers.newActive,bookBuyerAgent.notServed.newActive,$whenCondition120,$whenCondition119,bookBuyerAgent.bookBought,$whenCondition118,$whenCondition117,bookBuyerAgent.proposals[3,2],bookBuyerAgent.proposals[3,1],bookBuyerAgent.proposals[2,2],bookBuyerAgent.proposals[2,1],bookBuyerAgent.proposals[1,2],bookBuyerAgent.proposals[1,1],$whenCondition116,bookBuyerAgent.requestsDone,$whenCondition115,bookBuyerAgent.messageID.u[1],bookBuyerAgent.receiver.u[1],bookBuyerAgent.uDPSend_adapted.receiver,bookBuyerAgent.ontology.u[1],bookBuyerAgent.reply_to.u[1],bookBuyerAgent.sender.u[1],bookBuyerAgent.performative.u[1],bookBuyerAgent.content.u[2],bookBuyerAgent.content.u[1],$whenCondition114,bookBuyerAgent.bookOffered,bookBuyerAgent.lowestPrice,bookBuyerAgent.counterProposals,bookBuyerAgent.counter,$whenCondition113,bookBuyerAgent.integerChange.u,bookBuyerAgent.transitionWithSignal.t_start,bookBuyerAgent.newMessage.t_start,bookBuyerAgent.newMessage1.t_start,bookBuyerAgent.transitionWithSignal1.t_start,bookBuyerAgent.transition2.t_start,bookSellerAgent.waiting.newActive,bookSellerAgent.checkPurpose.newActive,bookSellerAgent.checkLibrary.newActive,bookSellerAgent.composeResponse.newActive,bookSellerAgent.sendResponse.newActive,bookSellerAgent.checkLibrary1.newActive,bookSellerAgent.composeResponse1.newActive,bookSellerAgent.sendResponse1.newActive,bookSellerAgent.bookList[3,2],bookSellerAgent.bookList[3,1],bookSellerAgent.bookList[2,2],bookSellerAgent.bookList[2,1],bookSellerAgent.bookList[1,2],bookSellerAgent.bookList[1,1],$whenCondition97,$whenCondition96,bookSellerAgent.performative.u[1],bookSellerAgent.content.u[2],bookSellerAgent.content.u[1],bookSellerAgent.messageID.u[1],bookSellerAgent.receiver.u[1],bookSellerAgent.uDPSend_adapted.receiver,bookSellerAgent.ontology.u[1],bookSellerAgent.reply_to.u[1],bookSellerAgent.sender.u[1],$whenCondition95,$whenCondition94,bookSellerAgent.content_2_current,bookSellerAgent.content_1_current,bookSellerAgent.performative_current,bookSellerAgent.sender_current,$whenCondition93,bookSellerAgent.index,bookSellerAgent.bookToSell,bookSellerAgent.bookInStock,bookSellerAgent.counter,bookSellerAgent.searchedBook,$whenCondition92,bookSellerAgent.integerChange.u,bookSellerAgent.newMessage.t_start,bookSellerAgent1.waiting.newActive,bookSellerAgent1.checkPurpose.newActive,bookSellerAgent1.checkLibrary.newActive,bookSellerAgent1.composeResponse.newActive,bookSellerAgent1.sendResponse.newActive,bookSellerAgent1.checkLibrary1.newActive,bookSellerAgent1.composeResponse1.newActive,bookSellerAgent1.sendResponse1.newActive,bookSellerAgent1.bookList[3,2],bookSellerAgent1.bookList[3,1],bookSellerAgent1.bookList[2,2],bookSellerAgent1.bookList[2,1],bookSellerAgent1.bookList[1,2],bookSellerAgent1.bookList[1,1],$whenCondition80,$whenCondition79,bookSellerAgent1.performative.u[1],bookSellerAgent1.content.u[2],bookSellerAgent1.content.u[1],bookSellerAgent1.messageID.u[1],bookSellerAgent1.receiver.u[1],bookSellerAgent1.uDPSend_adapted.receiver,bookSellerAgent1.ontology.u[1],bookSellerAgent1.reply_to.u[1],bookSellerAgent1.sender.u[1],$whenCondition78,$whenCondition77,bookSellerAgent1.content_2_current,bookSellerAgent1.content_1_current,bookSellerAgent1.performative_current,bookSellerAgent1.sender_current,$whenCondition76,bookSellerAgent1.index,bookSellerAgent1.bookToSell,bookSellerAgent1.bookInStock,bookSellerAgent1.counter,bookSellerAgent1.searchedBook,$whenCondition75,bookSellerAgent1.integerChange.u,bookSellerAgent1.newMessage.t_start,bookSellerAgent2.waiting.newActive,bookSellerAgent2.checkPurpose.newActive,bookSellerAgent2.checkLibrary.newActive,bookSellerAgent2.composeResponse.newActive,bookSellerAgent2.sendResponse.newActive,bookSellerAgent2.checkLibrary1.newActive,bookSellerAgent2.composeResponse1.newActive,bookSellerAgent2.sendResponse1.newActive,bookSellerAgent2.bookList[4,2],bookSellerAgent2.bookList[4,1],bookSellerAgent2.bookList[3,2],bookSellerAgent2.bookList[3,1],bookSellerAgent2.bookList[2,2],bookSellerAgent2.bookList[2,1],bookSellerAgent2.bookList[1,2],bookSellerAgent2.bookList[1,1],$whenCondition63,$whenCondition62,bookSellerAgent2.performative.u[1],bookSellerAgent2.content.u[2],bookSellerAgent2.content.u[1],bookSellerAgent2.messageID.u[1],bookSellerAgent2.receiver.u[1],bookSellerAgent2.uDPSend_adapted.receiver,bookSellerAgent2.ontology.u[1],bookSellerAgent2.reply_to.u[1],bookSellerAgent2.sender.u[1],$whenCondition61,$whenCondition60,bookSellerAgent2.content_2_current,bookSellerAgent2.content_1_current,bookSellerAgent2.performative_current,bookSellerAgent2.sender_current,$whenCondition59,bookSellerAgent2.index,bookSellerAgent2.bookToSell,bookSellerAgent2.bookInStock,bookSellerAgent2.counter,bookSellerAgent2.searchedBook,$whenCondition58,bookSellerAgent2.integerChange.u,bookSellerAgent2.newMessage.t_start,bookBuyerAgent1.waiting.newActive,bookBuyerAgent1.composeRequest.newActive,bookBuyerAgent1.collectProposal.newActive,bookBuyerAgent1.composeBuy.newActive,bookBuyerAgent1.check.newActive,bookBuyerAgent1.sendRequest.newActive,bookBuyerAgent1.sendBuy.newActive,bookBuyerAgent1.check1.newActive,bookBuyerAgent1.setDone.newActive,bookBuyerAgent1.stateOfOffers.newActive,bookBuyerAgent1.notServed.newActive,$whenCondition46,$whenCondition45,bookBuyerAgent1.bookBought,$whenCondition44,$whenCondition43,bookBuyerAgent1.proposals[3,2],bookBuyerAgent1.proposals[3,1],bookBuyerAgent1.proposals[2,2],bookBuyerAgent1.proposals[2,1],bookBuyerAgent1.proposals[1,2],bookBuyerAgent1.proposals[1,1],$whenCondition42,bookBuyerAgent1.requestsDone,$whenCondition41,bookBuyerAgent1.messageID.u[1],bookBuyerAgent1.receiver.u[1],bookBuyerAgent1.uDPSend_adapted.receiver,bookBuyerAgent1.ontology.u[1],bookBuyerAgent1.reply_to.u[1],bookBuyerAgent1.sender.u[1],bookBuyerAgent1.performative.u[1],bookBuyerAgent1.content.u[2],bookBuyerAgent1.content.u[1],$whenCondition40,bookBuyerAgent1.bookOffered,bookBuyerAgent1.lowestPrice,bookBuyerAgent1.counterProposals,bookBuyerAgent1.counter,$whenCondition39,bookBuyerAgent1.integerChange.u,bookBuyerAgent1.transitionWithSignal.t_start,bookBuyerAgent1.newMessage.t_start,bookBuyerAgent1.newMessage1.t_start,bookBuyerAgent1.transitionWithSignal1.t_start,bookBuyerAgent1.transition2.t_start,bookBuyerAgent2.waiting.newActive,bookBuyerAgent2.composeRequest.newActive,bookBuyerAgent2.collectProposal.newActive,bookBuyerAgent2.composeBuy.newActive,bookBuyerAgent2.check.newActive,bookBuyerAgent2.sendRequest.newActive,bookBuyerAgent2.sendBuy.newActive,bookBuyerAgent2.check1.newActive,bookBuyerAgent2.setDone.newActive,bookBuyerAgent2.stateOfOffers.newActive,bookBuyerAgent2.notServed.newActive,$whenCondition23,$whenCondition22,bookBuyerAgent2.bookBought,$whenCondition21,$whenCondition20,bookBuyerAgent2.proposals[3,2],bookBuyerAgent2.proposals[3,1],bookBuyerAgent2.proposals[2,2],bookBuyerAgent2.proposals[2,1],bookBuyerAgent2.proposals[1,2],bookBuyerAgent2.proposals[1,1],$whenCondition19,bookBuyerAgent2.requestsDone,$whenCondition18,bookBuyerAgent2.messageID.u[1],bookBuyerAgent2.receiver.u[1],bookBuyerAgent2.uDPSend_adapted.receiver,bookBuyerAgent2.ontology.u[1],bookBuyerAgent2.reply_to.u[1],bookBuyerAgent2.sender.u[1],bookBuyerAgent2.performative.u[1],bookBuyerAgent2.content.u[2],bookBuyerAgent2.content.u[1],$whenCondition17,bookBuyerAgent2.bookOffered,bookBuyerAgent2.lowestPrice,bookBuyerAgent2.counterProposals,bookBuyerAgent2.counter,$whenCondition16,bookBuyerAgent2.integerChange.u,bookBuyerAgent2.transitionWithSignal.t_start,bookBuyerAgent2.newMessage.t_start,bookBuyerAgent2.newMessage1.t_start,bookBuyerAgent2.transitionWithSignal1.t_start,bookBuyerAgent2.transition2.t_start) * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for simulation (1161): * Single equations (assignments): 762 * Array equations: 0 * Algorithm blocks: 6 * Record equations: 0 * When equations: 393 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of Backend phase and start with SimCode phase: time 0.004986/1.857, allocations: 1.692 MB / 1.338 GB, free: 246.4 MB / 0.9513 GB Notification: Performance of simCode: created initialization part: time 0.04542/1.902, allocations: 17.13 MB / 1.355 GB, free: 240.8 MB / 0.9513 GB Notification: Performance of simCode: created event and clocks part: time 3.41e-05/1.902, allocations: 2 kB / 1.355 GB, free: 240.8 MB / 0.9513 GB Notification: Performance of simCode: created simulation system equations: time 0.01889/1.921, allocations: 20.47 MB / 1.375 GB, free: 221 MB / 0.9513 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.01148/1.933, allocations: 1.747 MB / 1.376 GB, free: 219.7 MB / 0.9513 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.0348/1.968, allocations: 21.73 MB / 1.398 GB, free: 199.5 MB / 0.9513 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.004804/1.972, allocations: 4.423 MB / 1.402 GB, free: 196.1 MB / 0.9513 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.003299/1.976, allocations: 0.6986 MB / 1.403 GB, free: 195.5 MB / 0.9513 GB Notification: Performance of SimCode: time 1.232e-06/1.976, allocations: 4 kB / 1.403 GB, free: 195.5 MB / 0.9513 GB Notification: Performance of Templates: time 0.1559/2.132, allocations: 133.6 MB / 1.533 GB, free: 63.63 MB / 0.9513 GB make -j1 -f AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading.makefile make -j1 -f AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading.makefile clang++ -std=c++14 -fopenmp=libomp -Winvalid-pch -O2 -g -DNDEBUG -fPIC -std=c++11 -DBOOST_ALL_DYN_LINK -DUSE_DGESV -DUSE_LOGGER -DOMC_BUILD -DUSE_THREAD -DSUNDIALS_MAJOR_VERSION=5 -DSUNDIALS_MINOR_VERSION=4 -DPMC_USE_SUNDIALS -I"." -I"/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../include/omc/cpp/" -I. "-I/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1-master/Resources/Include""-I/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/Resources/C-Sources" -I"." -I"." -I"/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/include/omc/sundials" "-I/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1-master/Resources/Include" "-I/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/Resources/C-Sources" -DMEASURETIME_PROFILEBLOCKS -DUSE_LOGGER -c -o OMCppAixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTradingCalcHelperMain.o OMCppAixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTradingCalcHelperMain.cpp In file included from OMCppAixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTradingCalcHelperMain.cpp:28: In file included from ./OMCppAixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTradingFunctions.cpp:5: /home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1-master/Resources/Include/MDDSerialPackager.h:452:5: error: no matching function for call to 'strncpy' strncpy(pkg->data + pkg->pos, u, (size_t)bufferSize); ^~~~~~~ /usr/include/string.h:144:14: note: candidate function not viable: no known conversion from 'unsigned char *' to 'char *__restrict' for 1st argument extern char *strncpy (char *__restrict __dest, ^ In file included from OMCppAixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTradingCalcHelperMain.cpp:28: ./OMCppAixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTradingFunctions.cpp:494:3: error: no matching function for call to 'MDD_SerialPackagerAddInteger' MDD_SerialPackagerAddInteger(pkg__ext, ConstArray(u_).getData(), u_.getDim(1), byteOrder__ext); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1-master/Resources/Include/MDDSerialPackager.h:243:16: note: candidate function not viable: 2nd argument ('const int *') would lose const qualifier DllExport void MDD_SerialPackagerAddInteger(void* p_package, int * u, size_t n, int endian) { ^ In file included from OMCppAixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTradingCalcHelperMain.cpp:28: ./OMCppAixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTradingFunctions.cpp:515:3: error: no matching function for call to 'MDD_SerialPackagerAddDouble' MDD_SerialPackagerAddDouble(pkg__ext, ConstArray(u_).getData(), u_.getDim(1), byteOrder__ext); ^~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.1.1-master/Resources/Include/MDDSerialPackager.h:307:16: note: candidate function not viable: 2nd argument ('const double *') would lose const qualifier DllExport void MDD_SerialPackagerAddDouble(void* p_package, double * u, size_t n, int endian) { ^ 3 errors generated. make: *** [: OMCppAixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTradingCalcHelperMain.o] Error 1