Skip to content
Snippets Groups Projects
Commit 910358d6 authored by Mactavish's avatar Mactavish
Browse files

add petri nets demos

parent 69ed6f22
No related branches found
No related tags found
No related merge requests found
Expand all Show whitespace changes
Inline Side-by-side
petri-nets-demos/H2O.spped 0 → 100644
+ 260
− 0
View file @ 910358d6
<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/xsl/spped2svg.xsl"?>
<Snoopy version="2" revision="2.5">
<netclass name="Petri Net"/>
<nodeclasses count="4">
<nodeclass count="3" name="Place">
<node id="106069" net="1">
<attribute name="Name" id="106070" net="1">
<![CDATA[O2]]>
<graphics count="1">
<graphic xoff="-23.00" yoff="1.00" x="38.00" y="101.00" id="106075" net="1" show="1" grparent="106079" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="106071" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="86.00" y="120.00" id="106076" net="1" show="0" grparent="106079" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Marking" id="106072" net="1">
<![CDATA[3]]>
<graphics count="1">
<graphic x="61.00" y="100.00" id="106077" net="1" show="1" grparent="106079" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="106073" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="106074" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic yoff="40.00" x="61.00" y="140.00" id="106078" net="1" show="1" grparent="106079" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="61.00" y="100.00" id="106079" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
<node id="106080" net="1">
<attribute name="Name" id="106081" net="1">
<![CDATA[H2]]>
<graphics count="1">
<graphic xoff="-23.00" yoff="-2.00" x="38.00" y="58.00" id="106086" net="1" show="1" grparent="106090" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="106082" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="86.00" y="80.00" id="106087" net="1" show="0" grparent="106090" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Marking" id="106083" net="1">
<![CDATA[4]]>
<graphics count="1">
<graphic x="61.00" y="60.00" id="106088" net="1" show="1" grparent="106090" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="106084" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="106085" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic yoff="40.00" x="61.00" y="100.00" id="106089" net="1" show="1" grparent="106090" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="61.00" y="60.00" id="106090" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
<node id="106091" net="1">
<attribute name="Name" id="106092" net="1">
<![CDATA[H2O]]>
<graphics count="1">
<graphic xoff="35.00" yoff="-1.00" x="216.00" y="79.00" id="106097" net="1" show="1" grparent="106101" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="106093" net="1">
<![CDATA[2]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="206.00" y="100.00" id="106098" net="1" show="0" grparent="106101" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Marking" id="106094" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic x="181.00" y="80.00" id="106099" net="1" show="1" grparent="106101" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="106095" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="106096" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic yoff="40.00" x="181.00" y="120.00" id="106100" net="1" show="1" grparent="106101" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="181.00" y="80.00" id="106101" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
</nodeclass>
<nodeclass count="1" name="Transition">
<node id="106143" net="1">
<attribute name="Name" id="106144" net="1">
<![CDATA[r]]>
<graphics count="1">
<graphic yoff="17.00" x="121.00" y="97.00" id="106151" net="1" show="1" grparent="106157" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="106145" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="146.00" y="100.00" id="106152" net="1" show="0" grparent="106157" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="106146" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="106147" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="161.00" y="80.00" id="106153" net="1" show="1" grparent="106157" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="121.00" y="80.00" id="106157" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
</nodeclass>
<nodeclass count="0" name="Coarse Place"/>
<nodeclass count="0" name="Coarse Transition"/>
</nodeclasses>
<edgeclasses count="1">
<edgeclass count="3" name="Edge">
<edge source="106143" target="106091" id="106174" net="1">
<attribute name="Multiplicity" id="106176" net="1">
<![CDATA[2]]>
<graphics count="1">
<graphic xoff="-1.79" yoff="-10.06" x="149.21" y="69.94" id="106179" net="1" show="1" grparent="106181" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="106177" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="27.00" yoff="-4.00" x="178.00" y="76.00" id="106180" net="1" show="1" grparent="106181" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="106181" net="1" source="106157" target="106101" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="131.00" y="80.00"/>
<point x="171.00" y="80.00"/>
</points>
</graphic>
</graphics>
</edge>
<edge source="106080" target="106143" id="106206" net="1">
<attribute name="Multiplicity" id="106208" net="1">
<![CDATA[2]]>
<graphics count="1">
<graphic xoff="1.26" yoff="-11.91" x="92.01" y="58.00" id="106211" net="1" show="1" grparent="106213" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="106209" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="8.26" yoff="-25.91" x="99.01" y="44.00" id="106212" net="1" show="1" grparent="106213" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="106213" net="1" source="106090" target="106157" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="70.49" y="63.16"/>
<point x="111.00" y="76.67"/>
</points>
</graphic>
</graphics>
</edge>
<edge source="106069" target="106143" id="106231" net="1">
<attribute name="Multiplicity" id="106234" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="-0.21" yoff="43.13" x="90.54" y="133.22" id="106235" net="1" show="1" grparent="106238" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="106236" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="37.79" yoff="17.13" x="128.53" y="107.22" id="106237" net="1" show="1" grparent="106238" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="106238" net="1" source="106079" target="106157" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="70.49" y="96.84"/>
<point x="111.00" y="83.33"/>
</points>
</graphic>
</graphics>
</edge>
</edgeclass>
</edgeclasses>
<metadataclasses count="7">
<metadataclass count="1" name="General">
<metadata id="362804" net="1">
<attribute name="Name" id="362805" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="3.00" x="20.00" y="20.00" id="362806" net="1" show="1" grparent="362817" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Created" id="362807" net="1">
<![CDATA[2010-08-02 20:51:17]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="42.00" y="40.00" id="362808" net="1" show="0" grparent="362817" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Authors" id="362809" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="42.00" y="60.00" id="362810" net="1" show="1" grparent="362817" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Keywords" id="362811" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" yoff="25.00" x="57.00" y="45.00" id="362812" net="1" show="1" grparent="362817" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Description" id="362813" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="42.00" y="60.00" id="362814" net="1" show="1" grparent="362817" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="References" id="362815" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="42.00" y="60.00" id="362816" net="1" show="1" grparent="362817" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="17.00" y="20.00" id="362817" net="1" show="1" w="1.00" h="1.00" state="1" pen="255,255,255" brush="255,255,255" thickness="1"/>
</graphics>
</metadata>
</metadataclass>
<metadataclass count="0" name="Comment"/>
<metadataclass count="0" name="Image"/>
<metadataclass count="0" name="Constant Class"/>
<metadataclass count="0" name="Constant Class1"/>
<metadataclass count="0" name="Function Class"/>
<metadataclass count="0" name="Oberserver Class"/>
</metadataclasses>
</Snoopy>
petri-nets-demos/alternative.pn 0 → 100644
+ 321
− 0
View file @ 910358d6
<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/xsl/spped2svg.xsl"?>
<Snoopy version="2" revision="2.5">
<netclass name="Petri Net"/>
<nodeclasses count="4">
<nodeclass count="3" name="Place">
<node id="287" net="1">
<attribute name="Name" id="288" net="1">
<![CDATA[A]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="205.00" y="200.00" id="289" net="1" show="1" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="290" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="205.00" y="200.00" id="291" net="1" show="0" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Marking" id="292" net="1">
<![CDATA[3]]>
<graphics count="1">
<graphic x="180.00" y="180.00" id="293" net="1" show="1" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="294" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="295" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic yoff="40.00" x="180.00" y="220.00" id="296" net="1" show="1" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="180.00" y="180.00" id="297" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
<node id="337" net="1">
<attribute name="Name" id="338" net="1">
<![CDATA[B]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="385.00" y="160.00" id="339" net="1" show="1" grparent="347" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="340" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="385.00" y="160.00" id="341" net="1" show="0" grparent="347" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Marking" id="342" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic x="360.00" y="140.00" id="343" net="1" show="1" grparent="347" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="344" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="345" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic yoff="40.00" x="360.00" y="180.00" id="346" net="1" show="1" grparent="347" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="360.00" y="140.00" id="347" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
<node id="348" net="1">
<attribute name="Name" id="349" net="1">
<![CDATA[C]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="385.00" y="240.00" id="350" net="1" show="1" grparent="358" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="351" net="1">
<![CDATA[2]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="385.00" y="240.00" id="352" net="1" show="0" grparent="358" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Marking" id="353" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic x="360.00" y="220.00" id="354" net="1" show="1" grparent="358" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="355" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="356" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic yoff="40.00" x="360.00" y="260.00" id="357" net="1" show="1" grparent="358" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="360.00" y="220.00" id="358" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
</nodeclass>
<nodeclass count="2" name="Transition">
<node id="298" net="1">
<attribute name="Name" id="299" net="1">
<![CDATA[T2]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="285.00" y="160.00" id="300" net="1" show="1" grparent="306" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="301" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="285.00" y="160.00" id="302" net="1" show="0" grparent="306" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="303" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="304" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="300.00" y="140.00" id="305" net="1" show="1" grparent="306" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="260.00" y="140.00" id="306" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
<node id="307" net="1">
<attribute name="Name" id="308" net="1">
<![CDATA[T1]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="285.00" y="240.00" id="309" net="1" show="1" grparent="315" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="310" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="285.00" y="240.00" id="311" net="1" show="0" grparent="315" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="312" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="313" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="300.00" y="220.00" id="314" net="1" show="1" grparent="315" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="260.00" y="220.00" id="315" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
</nodeclass>
<nodeclass count="0" name="Coarse Place"/>
<nodeclass count="0" name="Coarse Transition"/>
</nodeclasses>
<edgeclasses count="1">
<edgeclass count="4" name="Edge">
<edge source="287" target="298" id="359" net="1">
<attribute name="Multiplicity" id="360" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="10.47" yoff="2.19" x="229.94" y="162.45" id="361" net="1" show="1" grparent="364" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="362" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="45.76" yoff="4.35" x="265.23" y="164.61" id="363" net="1" show="1" grparent="364" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="364" net="1" source="297" target="306" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="188.94" y="175.53"/>
<point x="250.00" y="145.00"/>
</points>
</graphic>
</graphics>
</edge>
<edge source="287" target="307" id="365" net="1">
<attribute name="Multiplicity" id="366" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="12.93" yoff="8.07" x="232.40" y="207.81" id="367" net="1" show="1" grparent="370" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="368" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="46.59" yoff="-2.77" x="266.06" y="196.97" id="369" net="1" show="1" grparent="370" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="370" net="1" source="297" target="315" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="188.94" y="184.47"/>
<point x="250.00" y="215.00"/>
</points>
</graphic>
</graphics>
</edge>
<edge source="298" target="337" id="371" net="1">
<attribute name="Multiplicity" id="372" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="5.00" yoff="5.00" x="315.00" y="145.00" id="373" net="1" show="1" grparent="376" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="374" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="350.00" y="140.00" id="375" net="1" show="1" grparent="376" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="376" net="1" source="306" target="347" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="270.00" y="140.00"/>
<point x="350.00" y="140.00"/>
</points>
</graphic>
</graphics>
</edge>
<edge source="307" target="348" id="377" net="1">
<attribute name="Multiplicity" id="378" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="5.00" yoff="5.00" x="315.00" y="225.00" id="379" net="1" show="1" grparent="382" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="380" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="350.00" y="220.00" id="381" net="1" show="1" grparent="382" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="382" net="1" source="315" target="358" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="270.00" y="220.00"/>
<point x="350.00" y="220.00"/>
</points>
</graphic>
</graphics>
</edge>
</edgeclass>
</edgeclasses>
<metadataclasses count="7">
<metadataclass count="1" name="General">
<metadata id="273" net="1">
<attribute name="Name" id="274" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic x="20.00" y="20.00" id="275" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Created" id="276" net="1">
<![CDATA[2023-05-17 20:46:35]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="45.00" y="40.00" id="277" net="1" show="0" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Authors" id="278" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="45.00" y="60.00" id="279" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Keywords" id="280" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" yoff="25.00" x="60.00" y="45.00" id="281" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Description" id="282" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="45.00" y="60.00" id="283" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="References" id="284" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="45.00" y="60.00" id="285" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="20.00" y="20.00" id="286" net="1" show="1" w="1.00" h="1.00" state="1" pen="255,255,255" brush="255,255,255" thickness="1"/>
</graphics>
</metadata>
</metadataclass>
<metadataclass count="1" name="Comment">
<metadata id="1189" net="1">
<attribute name="Comment" id="1190" net="1">
<![CDATA[Alternative transitions]]>
<graphics count="1">
<graphic x="300.00" y="300.00" id="1191" net="1" show="1" grparent="1192" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="300.00" y="300.00" id="1192" net="1" show="1" w="148.00" h="20.00" state="1" pen="255,255,255" brush="255,255,255" thickness="1"/>
</graphics>
</metadata>
</metadataclass>
<metadataclass count="0" name="Image"/>
<metadataclass count="0" name="Constant Class"/>
<metadataclass count="0" name="Constant Class1"/>
<metadataclass count="0" name="Function Class"/>
<metadataclass count="0" name="Oberserver Class"/>
</metadataclasses>
</Snoopy>
petri-nets-demos/elevator.pn 0 → 100644
+ 801
− 0
View file @ 910358d6
This diff is collapsed.
petri-nets-demos/elevator_2.pn 0 → 100644
+ 276
− 0
View file @ 910358d6
<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/xsl/spped2svg.xsl"?>
<Snoopy version="2" revision="2.5">
<netclass name="Petri Net"/>
<nodeclasses count="4">
<nodeclass count="2" name="Place">
<node id="287" net="1">
<attribute name="Name" id="288" net="1">
<![CDATA[above]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="325.00" y="160.00" id="289" net="1" show="1" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="290" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="325.00" y="160.00" id="291" net="1" show="0" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Marking" id="292" net="1">
<![CDATA[4]]>
<graphics count="1">
<graphic x="300.00" y="140.00" id="293" net="1" show="1" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="294" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="295" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic yoff="40.00" x="300.00" y="180.00" id="296" net="1" show="1" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="300.00" y="140.00" id="297" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
<node id="298" net="1">
<attribute name="Name" id="299" net="1">
<![CDATA[under]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="325.00" y="240.00" id="300" net="1" show="1" grparent="308" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="301" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="325.00" y="240.00" id="302" net="1" show="0" grparent="308" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Marking" id="303" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic x="300.00" y="220.00" id="304" net="1" show="1" grparent="308" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="305" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="306" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic yoff="40.00" x="300.00" y="260.00" id="307" net="1" show="1" grparent="308" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="300.00" y="220.00" id="308" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
</nodeclass>
<nodeclass count="2" name="Transition">
<node id="371" net="1">
<attribute name="Name" id="372" net="1">
<![CDATA[down]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="265.00" y="200.00" id="373" net="1" show="1" grparent="379" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="374" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="265.00" y="200.00" id="375" net="1" show="0" grparent="379" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="376" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="377" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="280.00" y="180.00" id="378" net="1" show="1" grparent="379" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="240.00" y="180.00" id="379" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
<node id="380" net="1">
<attribute name="Name" id="381" net="1">
<![CDATA[up]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="385.00" y="200.00" id="382" net="1" show="1" grparent="388" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="383" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="385.00" y="200.00" id="384" net="1" show="0" grparent="388" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="385" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="386" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="400.00" y="180.00" id="387" net="1" show="1" grparent="388" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="360.00" y="180.00" id="388" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
</nodeclass>
<nodeclass count="0" name="Coarse Place"/>
<nodeclass count="0" name="Coarse Transition"/>
</nodeclasses>
<edgeclasses count="1">
<edgeclass count="4" name="Edge">
<edge source="298" target="371" id="394" net="1">
<attribute name="Multiplicity" id="395" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="5.00" yoff="5.00" x="275.84" y="205.56" id="396" net="1" show="1" grparent="399" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="397" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="310.84" y="200.56" id="398" net="1" show="1" grparent="399" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="399" net="1" source="308" target="379" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="291.68" y="214.45"/>
<point x="250.00" y="186.67"/>
</points>
</graphic>
</graphics>
</edge>
<edge source="371" target="287" id="400" net="1">
<attribute name="Multiplicity" id="401" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="5.00" yoff="5.00" x="275.84" y="164.44" id="402" net="1" show="1" grparent="405" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="403" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="310.84" y="159.44" id="404" net="1" show="1" grparent="405" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="405" net="1" source="379" target="297" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="250.00" y="173.33"/>
<point x="291.68" y="145.55"/>
</points>
</graphic>
</graphics>
</edge>
<edge source="287" target="380" id="406" net="1">
<attribute name="Multiplicity" id="407" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="5.00" yoff="5.00" x="334.16" y="164.44" id="408" net="1" show="1" grparent="411" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="409" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="369.16" y="159.44" id="410" net="1" show="1" grparent="411" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="411" net="1" source="297" target="388" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="308.32" y="145.55"/>
<point x="350.00" y="173.33"/>
</points>
</graphic>
</graphics>
</edge>
<edge source="380" target="298" id="412" net="1">
<attribute name="Multiplicity" id="413" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="5.00" yoff="5.00" x="334.16" y="205.56" id="414" net="1" show="1" grparent="417" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="415" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="369.16" y="200.56" id="416" net="1" show="1" grparent="417" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="417" net="1" source="388" target="308" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="350.00" y="186.67"/>
<point x="308.32" y="214.45"/>
</points>
</graphic>
</graphics>
</edge>
</edgeclass>
</edgeclasses>
<metadataclasses count="7">
<metadataclass count="1" name="General">
<metadata id="273" net="1">
<attribute name="Name" id="274" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic x="20.00" y="20.00" id="275" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Created" id="276" net="1">
<![CDATA[2023-05-18 21:55:54]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="45.00" y="40.00" id="277" net="1" show="0" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Authors" id="278" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="45.00" y="60.00" id="279" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Keywords" id="280" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" yoff="25.00" x="60.00" y="45.00" id="281" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Description" id="282" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="45.00" y="60.00" id="283" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="References" id="284" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="45.00" y="60.00" id="285" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="20.00" y="20.00" id="286" net="1" show="1" w="1.00" h="1.00" state="1" pen="255,255,255" brush="255,255,255" thickness="1"/>
</graphics>
</metadata>
</metadataclass>
<metadataclass count="0" name="Comment"/>
<metadataclass count="0" name="Image"/>
<metadataclass count="0" name="Constant Class"/>
<metadataclass count="0" name="Constant Class1"/>
<metadataclass count="0" name="Function Class"/>
<metadataclass count="0" name="Oberserver Class"/>
</metadataclasses>
</Snoopy>
petri-nets-demos/equivalence.pn 0 → 100644
+ 900
− 0
View file @ 910358d6
This diff is collapsed.
petri-nets-demos/hospital.pn 0 → 100644
+ 475
− 0
View file @ 910358d6
This diff is collapsed.
petri-nets-demos/simplest.pn 0 → 100644
+ 217
− 0
View file @ 910358d6
<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/xsl/spped2svg.xsl"?>
<Snoopy version="2" revision="2.5">
<netclass name="Petri Net"/>
<nodeclasses count="4">
<nodeclass count="2" name="Place">
<node id="287" net="1">
<attribute name="Name" id="288" net="1">
<![CDATA[start]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="145.00" y="240.00" id="289" net="1" show="1" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="290" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="145.00" y="240.00" id="291" net="1" show="0" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Marking" id="292" net="1">
<![CDATA[3]]>
<graphics count="1">
<graphic x="120.00" y="220.00" id="293" net="1" show="1" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="294" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="295" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic yoff="40.00" x="120.00" y="260.00" id="296" net="1" show="1" grparent="297" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="120.00" y="220.00" id="297" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
<node id="307" net="1">
<attribute name="Name" id="308" net="1">
<![CDATA[end]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="325.00" y="240.00" id="309" net="1" show="1" grparent="317" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="310" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="325.00" y="240.00" id="311" net="1" show="0" grparent="317" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Marking" id="312" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic x="300.00" y="220.00" id="313" net="1" show="1" grparent="317" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="314" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="315" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic yoff="40.00" x="300.00" y="260.00" id="316" net="1" show="1" grparent="317" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="300.00" y="220.00" id="317" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
</nodeclass>
<nodeclass count="1" name="Transition">
<node id="298" net="1">
<attribute name="Name" id="299" net="1">
<![CDATA[process]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="225.00" y="240.00" id="300" net="1" show="1" grparent="306" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="ID" id="301" net="1">
<![CDATA[0]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="225.00" y="240.00" id="302" net="1" show="0" grparent="306" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Logic" id="303" net="1">
<![CDATA[0]]>
<graphics count="0"/>
</attribute>
<attribute name="Comment" id="304" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="240.00" y="220.00" id="305" net="1" show="1" grparent="306" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="200.00" y="220.00" id="306" net="1" show="1" w="20.00" h="20.00" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</node>
</nodeclass>
<nodeclass count="0" name="Coarse Place"/>
<nodeclass count="0" name="Coarse Transition"/>
</nodeclasses>
<edgeclasses count="1">
<edgeclass count="2" name="Edge">
<edge source="287" target="298" id="340" net="1">
<attribute name="Multiplicity" id="341" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="5.00" yoff="5.00" x="165.00" y="225.00" id="342" net="1" show="1" grparent="345" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="343" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="200.00" y="220.00" id="344" net="1" show="1" grparent="345" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="345" net="1" source="297" target="306" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="130.00" y="220.00"/>
<point x="190.00" y="220.00"/>
</points>
</graphic>
</graphics>
</edge>
<edge source="298" target="307" id="346" net="1">
<attribute name="Multiplicity" id="347" net="1">
<![CDATA[1]]>
<graphics count="1">
<graphic xoff="5.00" yoff="5.00" x="255.00" y="225.00" id="348" net="1" show="1" grparent="351" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Comment" id="349" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" x="290.00" y="220.00" id="350" net="1" show="1" grparent="351" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic id="351" net="1" source="306" target="317" state="1" show="1" pen="0,0,0" brush="0,0,0" edge_designtype="3" thickness="1">
<points count="2">
<point x="210.00" y="220.00"/>
<point x="290.00" y="220.00"/>
</points>
</graphic>
</graphics>
</edge>
</edgeclass>
</edgeclasses>
<metadataclasses count="7">
<metadataclass count="1" name="General">
<metadata id="273" net="1">
<attribute name="Name" id="274" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic x="20.00" y="20.00" id="275" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Created" id="276" net="1">
<![CDATA[2023-05-17 17:12:14]]>
<graphics count="1">
<graphic xoff="25.00" yoff="20.00" x="45.00" y="40.00" id="277" net="1" show="0" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Authors" id="278" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="45.00" y="60.00" id="279" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Keywords" id="280" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="40.00" yoff="25.00" x="60.00" y="45.00" id="281" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="Description" id="282" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="45.00" y="60.00" id="283" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<attribute name="References" id="284" net="1">
<![CDATA[]]>
<graphics count="1">
<graphic xoff="25.00" yoff="40.00" x="45.00" y="60.00" id="285" net="1" show="1" grparent="286" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="20.00" y="20.00" id="286" net="1" show="1" w="1.00" h="1.00" state="1" pen="255,255,255" brush="255,255,255" thickness="1"/>
</graphics>
</metadata>
</metadataclass>
<metadataclass count="1" name="Comment">
<metadata id="318" net="1">
<attribute name="Comment" id="319" net="1">
<![CDATA[Fig1. Simplest Petri Net]]>
<graphics count="1">
<graphic x="220.00" y="280.00" id="320" net="1" show="1" grparent="321" state="1" pen="0,0,0" brush="255,255,255" thickness="1"/>
</graphics>
</attribute>
<graphics count="1">
<graphic x="220.00" y="280.00" id="321" net="1" show="1" w="154.00" h="20.00" state="1" pen="255,255,255" brush="255,255,255" thickness="1"/>
</graphics>
</metadata>
</metadataclass>
<metadataclass count="0" name="Image"/>
<metadataclass count="0" name="Constant Class"/>
<metadataclass count="0" name="Constant Class1"/>
<metadataclass count="0" name="Function Class"/>
<metadataclass count="0" name="Oberserver Class"/>
</metadataclasses>
</Snoopy>
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment