Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

64 lines (64 sloc) 1.789 kb
<?xml version="1.0" encoding="utf-8"?>
<pnml xmlns="http://www.example.org/pnml">
<net id="n2" type="http://www.example.org/pnml/PTNet">
<page id="only">
<name>
<text>A simple one step petri net</text>
</name>
<place id="p1">
<name><text>p1</text></name>
<initialMarking><text>1</text></initialMarking>
</place>
<place id="p2">
<name><text>p2</text></name>
<initialMarking><text>0</text></initialMarking>
</place>
<transition id="t1"/>
<arc id="a1" source="p1" target="t1"/>
<arc id="a2" source="t1" target="p2"/>
</page>
</net>
<net id="n1" type="http://www.example.org/pnml/PTNet">
<page id="top-level">
<name>
<text>An example P/T-net</text>
</name>
<place id="p1">
<graphics>
<position x="20" y="20"/>
</graphics>
<name>
<text>ready</text>
<graphics>
<offset x="-10" y="-8"/>
</graphics>
</name>
<initialMarking>
<text>3</text>
<toolspecific tool="PN4all" version="0.1">
<tokenposition x="-2" y="-2" />
<tokenposition x="2" y="0" />
<tokenposition x="-2" y="2" />
</toolspecific>
</initialMarking>
</place>
<transition id="t1">
<graphics>
<position x="60" y="20"/>
</graphics>
</transition>
<arc id="a1" source="p1" target="t1">
<graphics>
<position x="30" y="5"/>
<position x="60" y="5"/>
</graphics>
<inscription>
<text>2</text>
<graphics>
<offset x="15" y="-2"/>
</graphics>
</inscription>
</arc>
</page>
</net>
</pnml>
Jump to Line
Something went wrong with that request. Please try again.