Skip to content
Snippets Groups Projects
Select Git revision
  • 3076c575e66e35d6bf9c1b1f4b22a3d97fcdd7f4
  • main default protected
  • devel
3 results

TestNet2.pnml

Blame
  • TestNet2.pnml 4.85 KiB
    <?xml version="1.0" encoding="UTF-8"?>
    <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>ServiceNet</text>
            </name>
            <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                <communicators>
                    <communicator>
                        <cType>serviceClient</cType>
                        <cSubnet>s1</cSubnet>
                    </communicator>
                    <communicator>
                        <cType>serviceServer</cType>
                        <cSubnet>s2</cSubnet>
                    </communicator>
                </communicators>
            </toolspecific>
            <page id="top">
                <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                    <type>dinerosPage</type>
                </toolspecific>
                <page id="sourcePage">
                    <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                        <type>dinerosPage</type>
                    </toolspecific>
                    <place id="req1">
                        <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                            <node>n1</node>
                            <subnet>s1</subnet>
                        </toolspecific>
                        <name>
                            <text>req1</text>
                            <graphics>
                                <offset x="0" y="0" />
                            </graphics>
                        </name>
                        <graphics>
                            <position x="0" y="0" />
                        </graphics>
                    </place>
                    <place id="res1">
                        <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                            <node>n1</node>
                            <subnet>s1</subnet>
                        </toolspecific>
                        <name>
                            <text>res1</text>
                            <graphics>
                                <offset x="0" y="0" />
                            </graphics>
                        </name>
                        <graphics>
                            <position x="0" y="0" />
                        </graphics>
                    </place>
                </page>
                <transition id="serviceTransition">
                    <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                        <type>serviceTransitionType</type>
                        <serviceName>sampleService</serviceName>
                        <serverInput>serverIn</serverInput>
                        <serverOutput>serverOut</serverOutput>
                        <serverCapacity>16</serverCapacity>
                        <channels>
                            <channel>
                                <cid>c1</cid>
                                <request>req1</request>
                                <response>res1</response>
                            </channel>
                        </channels>
                    </toolspecific>
                    <name>
                        <text>serviceTransition</text>
                        <graphics>
                            <offset x="0" y="0" />
                        </graphics>
                    </name>
                    <graphics>
                        <position x="0" y="0" />
                    </graphics>
                </transition>
                <page id="targetPage">
                    <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                        <type>serverPrototype</type>
                        <serviceName>sampleService</serviceName>
                    </toolspecific>
                    <place id="serverIn">
                        <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                            <node>n2</node>
                            <subnet>s2</subnet>
                        </toolspecific>
                        <name>
                            <text>serverIn</text>
                            <graphics>
                                <offset x="0" y="0" />
                            </graphics>
                        </name>
                        <graphics>
                            <position x="0" y="0" />
                        </graphics>
                    </place>
                    <place id="serverOut">
                        <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
                            <node>n2</node>
                            <subnet>s2</subnet>
                        </toolspecific>
                        <name>
                            <text>serverOut</text>
                            <graphics>
                                <offset x="0" y="0" />
                            </graphics>
                        </name>
                        <graphics>
                            <position x="0" y="0" />
                        </graphics>
                    </place>
                </page>
            </page>
        </net>
    </pnml>