Skip to content
Snippets Groups Projects
Select Git revision
  • dc00502cd5619fa7675e5872b05dfcadc79a5110
  • main default
  • kinetic protected
  • hydro
  • indigo
  • obsolete/master
  • 0.3.3
  • 0.3.2
  • 0.3.1
  • 0.3.0
  • 0.1.24
  • 0.1.23
  • 0.2.1
  • 0.1.22
  • 0.1.21
  • 0.1.20
  • 0.1.19
  • 0.1.18
  • 0.1.17
  • 0.1.16
  • 0.1.15
  • 0.1.14
  • 0.1.13
  • 0.1.12
  • 0.1.11
  • 0.1.10
26 results

gradle.gradle

Blame
  • NodeNetTopicSubTest.pnml 1.77 KiB
    <?xml version="1.0" encoding="UTF-8"?>
    <pnml
            xmlns="http://www.pnml.org/version-2009/grammar/pnml">
        <net id="NodeNetTest-0" type="http://www.pnml.org/version-2009/grammar/ptnet">
            <name>
                <text>NodeNetTest-2</text>
            </name>
            <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                <ports>
                    <port name="topicP1" placeType="sub" limit="5">p1</port>
                    <port name="serviceP1" placeType="creq" cResponsePlace="p2">p1</port>
                    <port name="serviceP1" placeType="cres" cRequestPlace="p1">p2</port>
                    <port name="serviceP1" placeType="sreq" sResponsePlace="p4">p3</port>
                    <port name="serviceP1" placeType="sres" sRequestPlace="p3">p4</port>
                </ports>
            </toolspecific>
    
            <page id="top">
                <page id="sourcePage">
                    <place id="p1">
                        <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                            <node>n1</node>
                            <subnet>s1</subnet>
                            <balloonMarking>
                                <tokens>
                                </tokens>
                            </balloonMarking>
                        </toolspecific>
                        <initialMarking>
                            <text>0</text>
                        </initialMarking>
                        <name>
                            <text>p1</text>
                            <graphics>
                                <offset x="0" y="0" />
                            </graphics>
                        </name>
                        <graphics>
                            <position x="0" y="0" />
                        </graphics>
                    </place>
                </page>
            </page>
        </net>
    </pnml>