27 lines
735 B
XML
27 lines
735 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<petrinet:Network
|
|
xmi:version="2.0"
|
|
xmlns:xmi="http://www.omg.org/XMI"
|
|
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
|
xmlns:petrinet="http://petrinet"
|
|
xsi:schemaLocation="http://petrinet PetriNet.ecore"
|
|
name="mauvaisNetwork">
|
|
<nodes xsi:type="petrinet:Place"
|
|
name="okay"
|
|
tokens="10"/>
|
|
<nodes xsi:type="petrinet:Place"
|
|
name="1"
|
|
tokens="1"/>
|
|
<nodes xsi:type="petrinet:Place"
|
|
name="placeNeg"
|
|
tokens="-5"/>
|
|
<nodes xsi:type="petrinet:Transition"
|
|
name="debut2fin">
|
|
<arcs weight="-5"
|
|
place="//@nodes.1"/>
|
|
<arcs weight="1"
|
|
outgoing="true"
|
|
place="//@nodes.2"/>
|
|
</nodes>
|
|
</petrinet:Network>
|