root/PSi/sampleNets/EPC/IOTA_distributed_part1.pnml @ master
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="4" y="32"/>
|
|||
</graphics>
|
|||
<value>urn:epc:id:sgtin:10000.00001%INF</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="45"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>deactivator</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value>rfidprinter</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="75"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="75" y="125"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p2">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="30"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="-84" y="23"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>deactivator</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value>warehouse4</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="75"/>
|
|||
</graphics>
|
|||
<value>10</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="250" y="125"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p3">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="30"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>isPipe=true
|
|||
address=http://localhost:8080/SimulatorServer/PlaceService
|
|||
password=poudredeperl1p1p1
|
|||
pipeId=pipe_1
|
|||
type=expedition</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="45"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value>truck</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="75"/>
|
|||
</graphics>
|
|||
<value>10</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="417" y="46"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p4">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="10" y="28"/>
|
|||
</graphics>
|
|||
<value>urn:epc:id:sgtin:20000.00001%INF</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="45"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>deactivator</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value>rfidprinter</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="75"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="75" y="300"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p5">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="30"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="-90" y="22"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>deactivator</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value>warehouse3</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="75"/>
|
|||
</graphics>
|
|||
<value>10</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="250" y="300"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p6">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="30"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>isPipe=true
|
|||
address=http://localhost:8080/SimulatorServer/PlaceService
|
|||
password=poudredeperl1p1p1
|
|||
pipeId=pipe_3
|
|||
type=expedition</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="45"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="-21" y="-38"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value>truck</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="75"/>
|
|||
</graphics>
|
|||
<value>10</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="425" y="235"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p7">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="16" y="24"/>
|
|||
</graphics>
|
|||
<value>urn:epc:id:sgtin:30000.00001%INF</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="45"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="31" y="37"/>
|
|||
</graphics>
|
|||
<value>deactivator</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value>rfidprinter</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="75"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="71" y="470"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p8">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="30"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>isPipe = false
|
|||
address = http://localhost:8080/SimulatorServer
|
|||
password = poudredeperl1p1p1
|
|||
pipeId = pipe_1
|
|||
type = expedition
|
|||
</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="-95" y="44"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>deactivator</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value>warehouse4</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="0"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="75"/>
|
|||
</graphics>
|
|||
<value>10</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="250" y="475"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p9">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="30"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="-1" y="1"/>
|
|||
</graphics>
|
|||
<value>isPipe=true
|
|||
address=http://localhost:8080/SimulatorServer/PlaceService
|
|||
password=poudredeperl1p1p1
|
|||
pipeId=pipe_5
|
|||
type=expedition</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="45"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="-45" y="-26"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value>truck</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="-71" y="-60"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="55" y="82"/>
|
|||
</graphics>
|
|||
<value>10</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="435" y="416"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<transition id="t1">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="15"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:1</bizLoc>
|
|||
<serviceAddress>http://iota.greyc.fr:8080/epcis-producteur1/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="object">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:encoding</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:encodded</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:1,1</readPoint>
|
|||
<action>ADD</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>49.509</latitude>
|
|||
<longitude>-1.308</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="175" y="50"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<transition id="t2">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="15"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:1</bizLoc>
|
|||
<serviceAddress>http://iota.greyc.fr:8080/epcis-producteur1/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="object">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:departing</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:in_transit</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:1,2</readPoint>
|
|||
<action>OBSERVE</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>49.638</latitude>
|
|||
<longitude>-0.188</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="325" y="50"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<transition id="t3">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="15"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:2</bizLoc>
|
|||
<serviceAddress>http://iota.greyc.fr:8080/epcis-producteur2/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="object">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:encoding</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:encodded</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:2,1</readPoint>
|
|||
<action>ADD</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>50.885</latitude>
|
|||
<longitude>2.03</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="150" y="225"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<transition id="t4">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="15"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:2</bizLoc>
|
|||
<serviceAddress>http://iota.greyc.fr:8080/epcis-producteur2/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="object">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:departing</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:in_transit</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:2,2</readPoint>
|
|||
<action>OBSERVE</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>51.258</latitude>
|
|||
<longitude>4.22</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="350" y="225"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<transition id="t5">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="15"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:3</bizLoc>
|
|||
<serviceAddress>http://iota.greyc.fr:8080/epcis-producteur3/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="object">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:encoding</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:encodded</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:3,1</readPoint>
|
|||
<action>ADD</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>49.751</latitude>
|
|||
<longitude>4.836</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="150" y="425"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<transition id="t6">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="0"/>
|
|||
</graphics>
|
|||
<value/>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="15"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:3</bizLoc>
|
|||
<serviceAddress>http://iota.greyc.fr:8080/epcis-producteur3/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="object">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:departing</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:in_transit</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:3,2</readPoint>
|
|||
<action>OBSERVE</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>49.719</latitude>
|
|||
<longitude>6.298</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="330" y="418"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<place id="p30">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="45"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="4" y="3"/>
|
|||
</graphics>
|
|||
<value>isPipe=true
|
|||
address=http://localhost:8080/SimulatorServer/PlaceService
|
|||
password=poudredeperl1p1p1
|
|||
pipeId=pipe_2
|
|||
type=expedition</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="90"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="120"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value>truck</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="0"/>
|
|||
</graphics>
|
|||
<value>p30</value>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="75"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="105"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="419" y="138"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p31">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="45"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="-10" y="7"/>
|
|||
</graphics>
|
|||
<value>isPipe=true
|
|||
address=http://localhost:8080/SimulatorServer/PlaceService
|
|||
password=poudredeperl1p1p1
|
|||
pipeId=pipe_4
|
|||
type=expedition</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="90"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="120"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value>truck</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="0"/>
|
|||
</graphics>
|
|||
<value>p31</value>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="75"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="105"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="428" y="319"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="p32">
|
|||
<epcgenerator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="45"/>
|
|||
</graphics>
|
|||
<value>generator</value>
|
|||
</epcgenerator>
|
|||
<pipe>
|
|||
<graphics>
|
|||
<offset page="1" x="-4" y="2"/>
|
|||
</graphics>
|
|||
<value>isPipe=true
|
|||
address=http://localhost:8080/SimulatorServer/PlaceService
|
|||
password=poudredeperl1p1p1
|
|||
pipeId=pipe_6
|
|||
type=expedition</value>
|
|||
</pipe>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="90"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="15"/>
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<epcdeactivator>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="120"/>
|
|||
</graphics>
|
|||
<value>false</value>
|
|||
</epcdeactivator>
|
|||
<representation>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="60"/>
|
|||
</graphics>
|
|||
<value>truck</value>
|
|||
</representation>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="26" y="18"/>
|
|||
</graphics>
|
|||
<value>p32</value>
|
|||
</name>
|
|||
<eventfilesaver>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="75"/>
|
|||
</graphics>
|
|||
<value>OFF</value>
|
|||
</eventfilesaver>
|
|||
<limitor>
|
|||
<graphics>
|
|||
<offset page="1" x="50" y="105"/>
|
|||
</graphics>
|
|||
<value>INF</value>
|
|||
</limitor>
|
|||
<graphics>
|
|||
<position page="1" x="420" y="529"/>
|
|||
</graphics>
|
|||
</place>
|
|||
<transition id="t30">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="0"/>
|
|||
</graphics>
|
|||
<value>t30</value>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="15"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:1</bizLoc>
|
|||
<serviceAddress>http://iota.greyc.fr:8080/epcis-producteur1/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="object">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:departing</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:in_transit</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:1,2</readPoint>
|
|||
<action>OBSERVE</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>49.638</latitude>
|
|||
<longitude>-0.188</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="321" y="168"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<transition id="t31">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="0"/>
|
|||
</graphics>
|
|||
<value>t31</value>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="15"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:2</bizLoc>
|
|||
<serviceAddress>http://iota.greyc.fr:8080/epcis-producteur2/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="object">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:departing</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:in_transit</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:2,2</readPoint>
|
|||
<action>OBSERVE</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>51.258</latitude>
|
|||
<longitude>4.22</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="324" y="348"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<transition id="t32">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="0"/>
|
|||
</graphics>
|
|||
<value>t32</value>
|
|||
</name>
|
|||
<event>
|
|||
<graphics>
|
|||
<offset page="1" x="41" y="15"/>
|
|||
</graphics>
|
|||
<value><?xml version="1.0" encoding="UTF-8"?>
|
|||
<EPCEvent>
|
|||
<infrastructure>
|
|||
<bizLoc>urn:unicaen:iotatester:xxxx:ssl:3</bizLoc>
|
|||
<serviceAddress>http://iota.greyc.fr:8080/epcis-producteur3/capture</serviceAddress>
|
|||
</infrastructure>
|
|||
<node type="object">
|
|||
<bizStep>urn:unicaen:iotatester:bizstep:xxxx:departing</bizStep>
|
|||
<disposition>urn:unicaen:iotatester:disp:xxxx:in_transit</disposition>
|
|||
<readPoint>urn:unicaen:iotatester:xxxx:ssl:3,2</readPoint>
|
|||
<action>OBSERVE</action>
|
|||
</node>
|
|||
<location>
|
|||
<latitude>49.719</latitude>
|
|||
<longitude>6.298</longitude>
|
|||
</location>
|
|||
</EPCEvent>
|
|||
</value>
|
|||
</event>
|
|||
<graphics>
|
|||
<position page="1" x="318" y="538"/>
|
|||
</graphics>
|
|||
</transition>
|
|||
<arc id="a1" source="p1" target="t1">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="8" y="18"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="100" y="50"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a2" source="t1" target="p2">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="-3" y="-8"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="200" y="100"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a3" source="p2" target="t2">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="3" y="-10"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="300" y="111"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a4" source="t2" target="p3">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="-33" y="-1"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="371" y="46"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a5" source="p4" target="t3">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="-5" y="1"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="81" y="228"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a6" source="t3" target="p5">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="12" y="-30"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="175" y="300"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a7" source="p5" target="t4">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="8" y="-5"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="300" y="275"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a8" source="t4" target="p6">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="8" y="-5"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="379" y="262"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a9" source="p7" target="t5">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="19" y="6"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="75" y="425"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a10" source="t5" target="p8">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="10" y="-17"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="175" y="500"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a11" source="p8" target="t6">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="4" y="-4"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="300" y="450"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a12" source="t6" target="p9">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="4" y="-8"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="377" y="440"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a13" source="p2" target="t30">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="289" y="128"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a14" source="t30" target="p30">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="362" y="135"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a15" source="p5" target="t31">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="298" y="308"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a16" source="t31" target="p31">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="47" y="-10"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="362" y="327"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a17" source="p8" target="t32">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="301" y="488"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a18" source="t32" target="p32">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="40" y="0"/>
|
|||
</graphics>
|
|||
<value>1</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="369" y="520"/>
|
|||
</graphics>
|
|||
</arc>
|
|||
<firingRule>
|
|||
<value> </value>
|
|||
</firingRule>
|
|||
<name>
|
|||
<value>unnamed</value>
|
|||
</name>
|
|||
</net>
|
|||
</pnml>
|