<?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 sellerchannel, customerchannel, carrierchannel;clock Clock1;</declaration><template><name>Customer</name><location id="id0" x="40" y="80"><name x="-48" y="16">idhandlePurchaseOrderCustomer</name></location><location id="id1" x="280" y="80"><name x="270" y="50">identDeliverProductOrderCustomer</name></location><init ref="id0"/><transition><source ref="id0"/><target ref="id1"/><label kind="synchronisation" x="192" y="112">sellerchannel!</label><nail x="72" y="128"/></transition><transition><source ref="id1"/><target ref="id0"/><label kind="guard" x="200" y="16">Clock1&lt;24</label><label kind="synchronisation" x="96" y="56">customerchannel?</label></transition></template><template><name>InternetSeller</name><location id="id2" x="40" y="80"><name x="-48" y="32">identhandlePurchaseOrderInternetSeller</name></location><location id="id3" x="328" y="80"><name x="264" y="32">idPickUpPurchaseOrderInternetSeller</name></location><init ref="id2"/><transition><source ref="id2"/><target ref="id3"/><label kind="synchronisation" x="160" y="56">sellerchannel?</label><nail x="56" y="112"/></transition><transition><source ref="id3"/><target ref="id2"/><label kind="guard" x="176" y="88">Clock1&lt;02</label><label kind="synchronisation" x="64" y="112">carrierchannel!</label></transition></template><template><name>Carrier</name><location id="id4" x="-16" y="80"><name x="-48" y="32">identPickUpPurchaseOrderCarrier</name></location><location id="id5" x="336" y="80"><name x="264" y="48">idDeliverProductOrderCarrier</name></location><init ref="id4"/><transition><source ref="id4"/><target ref="id5"/><label kind="guard" x="40" y="104">Clock1&lt;02</label><label kind="synchronisation" x="160" y="104">carrierchannel?</label><nail x="0" y="120"/></transition><transition><source ref="id5"/><target ref="id4"/><label kind="guard" x="40" y="40">Clock1&lt;24</label><label kind="synchronisation" x="128" y="56">customerchannel!</label></transition></template><system>
system Customer, InternetSeller, Carrier;</system></nta>