<?xml version="1.0" encoding="utf-8"?><!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_1.dtd'><nta><declaration>chan Productivity_management_system2wind_turbine_management_systemChannel, Demand_management_system2Productivity_management_systemChannel;int [0,1] Demand_increase_variable;clock Clock1;</declaration><template><name>Productivity_management_systemRoleType</name><declaration>clock Clock_RTdelay, Clock_available_interaction, Clock_increaseDemand_interaction;</declaration><location id="id0" x="480" y="72"><name x="280" y="40">identincreaseDemandExchangeProductivity_management_systemRoleType</name></location><location id="id1" x="312" y="216"><name x="-72" y="184">idrequestExchangeProductivity_management_systemRoleType</name></location><location id="id2" x="312" y="432"><name x="-128" y="408">identavailableExchangeProductivity_management_systemRoleType</name></location><location id="id3" x="616" y="432"><name x="632" y="400">RTdelay</name><label kind="invariant" x="632" y="360">Clock_RTdelay&lt;=5</label></location><location id="id4" x="616" y="216"><name x="606" y="186">idturbinesOnExchangeProductivity_management_systemRoleType</name></location><init ref="id0"/><transition><source ref="id0"/><target ref="id1"/><label kind="guard" x="128" y="80">Clock_increaseDemand_interaction&lt;1</label><label kind="synchronisation" x="-72" y="120">Demand_management_system2Productivity_management_systemChannel?</label><label kind="assignment" x="184" y="96">Clock_increaseDemand_interaction=0</label></transition><transition><source ref="id1"/><target ref="id2"/><label kind="synchronisation" x="-192" y="288">Productivity_management_system2wind_turbine_management_systemChannel!</label><label kind="assignment" x="112" y="304">Clock_available_interaction=0</label></transition><transition><source ref="id2"/><target ref="id3"/><label kind="guard" x="352" y="376">Clock_available_interaction&lt;2</label><label kind="synchronisation" x="256" y="456">Productivity_management_system2wind_turbine_management_systemChannel?</label></transition><transition><source ref="id3"/><target ref="id4"/></transition><transition><source ref="id4"/><target ref="id0"/><label kind="synchronisation" x="552" y="128">Productivity_management_system2wind_turbine_management_systemChannel!</label></transition></template><template><name>wind_turbine_management_systemRoleType</name><declaration>clock Clock_available_interaction;</declaration><location id="id5" x="232" y="-176"><name x="32" y="-208">identrequestExchangewind_turbine_management_systemRoleType</name></location><location id="id6" x="80" y="96"><name x="-320" y="56">idavailableExchangewind_turbine_management_systemRoleType</name></location><location id="id7" x="384" y="96"><name x="384" y="64">identturbinesOnExchangewind_turbine_management_systemRoleType</name></location><init ref="id5"/><transition><source ref="id5"/><target ref="id6"/><label kind="synchronisation" x="-328" y="-96">Productivity_management_system2wind_turbine_management_systemChannel?</label><label kind="assignment" x="-40" y="-72">Clock_available_interaction=0</label></transition><transition><source ref="id6"/><target ref="id7"/><label kind="guard" x="152" y="64">Clock_available_interaction&lt;2</label><label kind="synchronisation" x="8" y="104">Productivity_management_system2wind_turbine_management_systemChannel!</label></transition><transition><source ref="id7"/><target ref="id5"/><label kind="synchronisation" x="304" y="-80">Productivity_management_system2wind_turbine_management_systemChannel?</label></transition></template><template><name>Demand_management_systemRoleType</name><declaration>clock Clock_increaseDemand_interaction;</declaration><location id="id8" x="200" y="-128"><name x="160" y="-160">Demand_increase</name><label kind="invariant" x="216" y="-200">Clock1&lt;=0</label><urgent/></location><location id="id9" x="56" y="80"><name x="-408" y="40">WU_Demand_management_systemRoleType_Demand_increase_detected</name><label kind="invariant" x="-152" y="0">Demand_increase_variable==1</label></location><location id="id10" x="336" y="80"><name x="326" y="50">WUfin_Demand_management_systemRoleType_Demand_increase_detected</name></location><location id="id11" x="192" y="280"><name x="24" y="296">idincreaseDemandExchangeDemand_management_systemRoleType</name></location><init ref="id8"/><transition><source ref="id8"/><target ref="id9"/><label kind="assignment" x="-48" y="-72">Demand_increase_variable=1</label></transition><transition><source ref="id9"/><target ref="id11"/><label kind="guard" x="-80" y="112">Demand_increase_variable==1</label><label kind="assignment" x="-144" y="136">Clock_increaseDemand_interaction=0</label></transition><transition><source ref="id9"/><target ref="id10"/><label kind="guard" x="112" y="-8">Demand_increase_variable==0</label></transition><transition><source ref="id11"/><target ref="id10"/><label kind="guard" x="296" y="80">Clock_increaseDemand_interaction&lt;1</label><label kind="synchronisation" x="288" y="160">Demand_management_system2Productivity_management_systemChannel!</label></transition><transition><source ref="id10"/><target ref="id8"/><label kind="assignment" x="264" y="-56">Demand_increase_variable=0</label></transition></template><system>
system Productivity_management_systemRoleType, wind_turbine_management_systemRoleType, Demand_management_systemRoleType;</system></nta>