<?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 Demand2ProductivityChannel, Productivity2Wind_turbineChannel;</declaration><template><name>ProductivityRoleType</name><location id="id0" x="216" y="-136"><name x="206" y="-166">Init</name></location><location id="id1" x="72" y="8"><name x="-256" y="-32">identIncreaseDemandExchangeProductivityRoleType</name></location><location id="id2" x="72" y="256"><name x="-256" y="232">idRequestTurbinesExchangeProductivityRoleType</name></location><location id="id3" x="328" y="256"><name x="344" y="232">identAvailableTurbinesExchangeProductivityRoleType</name></location><location id="id4" x="328" y="0"><name x="344" y="-32">idTurbinesOnExchangeProductivityRoleType</name></location><init ref="id0"/><transition><source ref="id0"/><target ref="id1"/><label kind="synchronisation" x="-32" y="-112">Demand2ProductivityChannel?</label></transition><transition><source ref="id1"/><target ref="id2"/><label kind="synchronisation" x="-152" y="120">Productivity2Wind_turbineChannel!</label></transition><transition><source ref="id2"/><target ref="id3"/><label kind="synchronisation" x="88" y="280">Productivity2Wind_turbineChannel?</label></transition><transition><source ref="id3"/><target ref="id4"/><label kind="synchronisation" x="336" y="120">Productivity2Wind_turbineChannel!</label></transition><transition><source ref="id4"/><target ref="id0"/></transition></template><template><name>Wind_turbineRoleType</name><location id="id5" x="208" y="-88"><name x="198" y="-118">Init</name></location><location id="id6" x="344" y="64"><name x="360" y="40">identRequestTurbinesExchangeWind_turbineRoleType</name></location><location id="id7" x="208" y="232"><name x="72" y="248">idAvailableTurbinesExchangeWind_turbineRoleType</name></location><location id="id8" x="88" y="56"><name x="-232" y="32">identTurbinesOnExchangeWind_turbineRoleType</name></location><init ref="id5"/><transition><source ref="id5"/><target ref="id6"/><label kind="synchronisation" x="288" y="-32">Productivity2Wind_turbineChannel?</label></transition><transition><source ref="id6"/><target ref="id7"/><label kind="synchronisation" x="336" y="120">Productivity2Wind_turbineChannel!</label></transition><transition><source ref="id7"/><target ref="id8"/><label kind="synchronisation" x="-72" y="152">Productivity2Wind_turbineChannel?</label></transition><transition><source ref="id8"/><target ref="id5"/></transition></template><template><name>DemandRoleType</name><location id="id9" x="192" y="-120"><name x="182" y="-150">Init</name></location><location id="id10" x="190" y="80"><name x="88" y="96">idIncreaseDemandExchangeDemandRoleType</name></location><init ref="id9"/><transition><source ref="id9"/><target ref="id10"/><label kind="synchronisation" x="264" y="-40">Demand2ProductivityChannel!</label><nail x="240" y="-24"/></transition><transition><source ref="id10"/><target ref="id9"/></transition></template><system>
system ProductivityRoleType, Wind_turbineRoleType, DemandRoleType;</system></nta>