root/PSi/sampleNets/EPC/disagregation.pnml @ 2e0a7cb1
| 2e0a7cb1 | Sylvain L. Sauvage | <?xml version="1.0" encoding="UTF-8"?>
|
|
<pnml>
|
|||
<net id="n1" type="EPCNet">
|
|||
<place id="p1">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="45"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="30"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="90"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="-142" y="-94"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="120"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="60"/>
|
|||
</graphics>
|
|||
<value>factory</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="-31" y="-57"/>
|
|||
</graphics>
|
|||
<value>factory 1</value>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="75"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="105"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="0" y="-284"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p2">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="45"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="30"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="90"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="-149" y="-94"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="120"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="60"/>
|
|||
</graphics>
|
|||
<value>factory</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="-43" y="-62"/>
|
|||
</graphics>
|
|||
<value>factory 4</value>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="75"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="105"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="244" y="-238"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p3">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="93" y="41"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="30"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="90"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="-139" y="-93"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="120"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="60"/>
|
|||
</graphics>
|
|||
<value>factory</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="-23" y="51"/>
|
|||
</graphics>
|
|||
<value>factory 2</value>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="75"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="105"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="-41" y="-119"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p4">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="14" y="49"/>
|
|||
</graphics>
|
|||
<value>%%false</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="30"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="90"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="-138" y="-103"/>
|
|||
</graphics>
|
|||
<value> urn:epc:id:sscc:1.1</value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="120"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="31" y="36"/>
|
|||
</graphics>
|
|||
<value>pharmaplant</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="-26" y="-63"/>
|
|||
</graphics>
|
|||
<value>factory 3</value>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="75"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="105"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="88" y="-385"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p5">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="29" y="6"/>
|
|||
</graphics>
|
|||
<value>urn:epc:id:sgtin:1.1%INF%true</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="30"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="90"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="-130" y="-92"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="120"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="60"/>
|
|||
</graphics>
|
|||
<value>rfidprinter</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="-37" y="36"/>
|
|||
</graphics>
|
|||
<value>rfid printer 1</value>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="75"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="105"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="-286" y="-212"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p6">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="29" y="1"/>
|
|||
</graphics>
|
|||
<value>urn:epc:id:sgtin:2.1%INF%true</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="94" y="34"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="90"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="-131" y="-99"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="120"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="60"/>
|
|||
</graphics>
|
|||
<value>rfidprinter</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="-32" y="34"/>
|
|||
</graphics>
|
|||
<value>rfid printer 2</value>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="75"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="105"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="-285" y="-18"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p7">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="45"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="30"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="90"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="-162" y="-94"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="120"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="60"/>
|
|||
</graphics>
|
|||
<value>fishretailer2</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="-20" y="49"/>
|
|||
</graphics>
|
|||
<value>retailer</value>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="75"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="105"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="442" y="-147"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<transition id="t1">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="-25" y="-47"/>
|
|||
</graphics>
|
|||
<value>reader 1</value>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="30"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:_not_specified_</bizLoc>
|
|||
<serviceAddress>http://_not_specified_/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="object">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:tester</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:tester</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:_not_specified_</readPoint>
|
|||
<action>ADD</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>0</latitude>
|
|||
<longitude>0</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="-196" y="-257"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<transition id="t2">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="-26" y="-46"/>
|
|||
</graphics>
|
|||
<value>reader 2</value>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="30"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:_not_specified_</bizLoc>
|
|||
<serviceAddress>http://_not_specified_/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="object">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:tester</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:tester</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:_not_specified_</readPoint>
|
|||
<action>ADD</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>0</latitude>
|
|||
<longitude>0</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="-196" y="-60"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<transition id="t3">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="-20" y="35"/>
|
|||
</graphics>
|
|||
<value>reader 3
|
|||
(aggregation)</value>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="30"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:_not_specified_</bizLoc>
|
|||
<serviceAddress>http://_not_specified_/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="aggregation">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:tester</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:tester</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:_not_specified_</readPoint>
|
|||
<action>ADD</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>0</latitude>
|
|||
<longitude>0</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="112" y="-160"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<transition id="t4">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="-22" y="-64"/>
|
|||
</graphics>
|
|||
<value> reader 4
|
|||
(disaggregation)</value>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="30"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:_not_specified_</bizLoc>
|
|||
<serviceAddress>http://_not_specified_/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="aggregation">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:tester</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:tester</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:_not_specified_</readPoint>
|
|||
<action>DELETE</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>0</latitude>
|
|||
<longitude>0</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="355" y="-344"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<arc id="a1" source="p5" target="t1">
|
|||
<subscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</subscription>
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="15"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="-242" y="-237"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a2" source="p6" target="t2">
|
|||
<subscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</subscription>
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="15"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="-245" y="-52"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a3" source="t1" target="p1">
|
|||
<subscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</subscription>
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="15"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="-124" y="-258"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a4" source="t2" target="p3">
|
|||
<subscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</subscription>
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="15"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="-126" y="-50"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a5" source="p1" target="t3">
|
|||
<subscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</subscription>
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="15"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="30" y="-210"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a6" source="p4" target="t3">
|
|||
<subscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</subscription>
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="15"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="88" y="-319"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a7" source="p3" target="t3">
|
|||
<subscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</subscription>
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="15"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="28" y="-100"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a8" source="t3" target="p2">
|
|||
<subscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</subscription>
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="15"/>
|
|||
</graphics>
|
|||
<value>10</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="186" y="-156"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a9" source="p2" target="t4">
|
|||
<subscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</subscription>
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="15"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="308" y="-248"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a10" source="t4" target="p7">
|
|||
<subscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</subscription>
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="15"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="449" y="-339"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a11" source="t4" target="p4">
|
|||
<subscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value>ON</value>
|
|||
</subscription>
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="15"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="210" y="-411"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<firingRule>
|
|||
<value> </value>
|
|||
</firingRule>
|
|||
<name>
|
|||
<value>unnamed</value>
|
|||
</name>
|
|||
</net>
|
|||
</pnml>
|