root/PSi/sampleNets/EPC/test_env_net.pnml @ master
2e0a7cb1 | Sylvain L. Sauvage | <?xml version="1.0" encoding="UTF-8"?>
|
|
<pnml>
|
|||
<net id="n1" type="EPCNet">
|
|||
<place id="p2">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="45"/>
|
|||
</graphics>
|
|||
<value>urn:epc:id:sgtin:10000.00001%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="100" y="15"/>
|
|||
</graphics>
|
|||
<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="100" y="0"/>
|
|||
</graphics>
|
|||
<value>p2</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="57" y="220"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<transition id="t1">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="15"/>
|
|||
</graphics>
|
|||
<value>t1</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:1</bizLoc>
|
|||
<serviceAddress>http://localhost:8081/epcis_test/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:1,1</readPoint>
|
|||
<action>ADD</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>0</latitude>
|
|||
<longitude>0</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="94" y="108"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<place id="p3">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="45"/>
|
|||
</graphics>
|
|||
<value>urn:epc:id:sgtin:20000.00001%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="100" y="15"/>
|
|||
</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="100" y="0"/>
|
|||
</graphics>
|
|||
<value>p3</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="373" y="254"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<transition id="t2">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="15"/>
|
|||
</graphics>
|
|||
<value>t2</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:1</bizLoc>
|
|||
<serviceAddress>http://localhost:8081/epcis_test/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:1,1</readPoint>
|
|||
<action>ADD</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>0</latitude>
|
|||
<longitude>0</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="260" y="275"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<place id="p1">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="45"/>
|
|||
</graphics>
|
|||
<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="100" y="15"/>
|
|||
</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>truck3</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="0"/>
|
|||
</graphics>
|
|||
<value>p1</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="215" y="159"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p4">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="45"/>
|
|||
</graphics>
|
|||
<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="100" y="15"/>
|
|||
</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>truck3</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="100" y="0"/>
|
|||
</graphics>
|
|||
<value>p4</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="234" y="405"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<arc id="a1" source="p2" target="t1">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="22" y="141"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a2" source="t1" target="p1">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="154" y="133"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a3" source="p1" target="t2">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="237" y="217"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a4" source="p3" target="t2">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="282" y="181"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a5" source="t2" target="p4">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="247" y="340"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<firingRule>
|
|||
<value> </value>
|
|||
</firingRule>
|
|||
<name>
|
|||
<value>unnamed</value>
|
|||
</name>
|
|||
</net>
|
|||
</pnml>
|