Skip to content
Snippets Groups Projects
Select Git revision
  • 576402b576cc75f77c31e6c27e6e6d35a151dbf4
  • main default protected
  • devel
  • v0.4
  • v0.3
  • v0.2
  • v0.1
7 results

testNet3.pnml

Blame
    • testNet3.pnml 2.66 KiB 
    <pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
    <net id="n-E2D0-BCF46-0" type ="http://www.pnml.org/version-2009/grammar/ptnet">
        <name>
            <text>minimal</text>
        </name>
        <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
        </toolspecific>
        <page id="g-E2D0-BCF68-1">
            <place id="p1">
                <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                    <location>node-1</location>
                    <subnet>subnet-1</subnet>
                    <type>discretePlaceType</type>
                </toolspecific>
                <name>
                    <text>p1</text>
                    <graphics>
                        <offset x="0" y="-10" />
                    </graphics>
                </name>
                <initialMarking>
                    <text>1</text>
                </initialMarking>
                <graphics>
                    <position x="30" y="50"/>
                </graphics>
            </place>
            <place id="p2">
                <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                    <location>node-1</location>
                    <subnet>subnet-1</subnet>
                    <type>discretePlaceType</type>
                </toolspecific>
                <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                </toolspecific>
                <name>
                    <text>p2</text>
                    <graphics>
                        <offset x="0" y="-10" />
                    </graphics>
                </name>
                <initialMarking>
                    <text>1</text>
                </initialMarking>
                <graphics>
                    <position x="635" y="90"/>
                </graphics>
            </place>
            <transition id="t1">
                <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                    <location>node-1</location>
                    <subnet>subnet-1</subnet>
                    <type>discreteTransitionType</type>
                </toolspecific>
                <name>
                    <text>t1</text>
                    <graphics>
                        <offset x="0" y="0" />
                    </graphics>
                </name>
                <graphics>
                    <position x="300" y="50"/>
                </graphics>
            </transition>
            <arc id="arc-p1-t1" source="p1" target="t1">
            </arc>
            <arc id="arc-t1-p2" source="t1" target="p2">
            </arc>
        </page>
    </net>
    </pnml>