placeRefNet.pnml

<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>

        <page id="top">
            <page id="p1">
                <place id="p4">
                    <name>
                        <text>p4</text>
                        <graphics>
                            <offset x="0" y="-10" />
                        </graphics>
                    </name>
                    <initialMarking>
                        <text>1</text>
                    </initialMarking>
                    <graphics>
                        <position x="30" y="50"/>
                    </graphics>
                </place>
                <transition id="tRefIn">
                    <name>
                        <text>tRefIn</text>
                        <graphics>
                            <offset x="0" y="0" />
                        </graphics>
                    </name>
                    <graphics>
                        <position x="285" y="205"/>
                    </graphics>
                </transition>
                <referencePlace id="rp1" ref="p-E2D0-BCF6F-2">
                    <name>
                        <text>rp1</text>
                        <graphics>
                            <offset x="0" y="0" />
                        </graphics>
                    </name>
                    <graphics>
                        <position x="20" y="20"/>
                    </graphics>
                </referencePlace>
                <arc id="rin" source="tRefIn" target="rp1">
                </arc>
                <arc id="arc-p4-TRefIn" source="p4" target="tRefIn">
                </arc>
            </page>

            <page id="p2">
                <place id="p-E2D0-BCF6F-2">
                    <name>
                        <text>p0</text>
                        <graphics>
                            <offset x="0" y="-10" />
                        </graphics>
                    </name>
                    <initialMarking>
                        <text>0</text>
                    </initialMarking>
                    <graphics>
                        <position x="30" y="50"/>
                    </graphics>
                </place>
                <place id="p-E2D0-BCF9D-3">
                    <name>
                        <text>p1</text>
                        <graphics>
                            <offset x="0" y="-10" />
                        </graphics>
                    </name>
                    <graphics>
                        <position x="635" y="90"/>
                    </graphics>
                </place>
                <transition id="t-E2D0-BCFAC-4">
                    <name>
                        <text>t0</text>
                        <graphics>
                            <offset x="0" y="0" />
                        </graphics>
                    </name>
                    <graphics>
                        <position x="300" y="50"/>
                    </graphics>
                </transition>
                <transition id="t-E2D0-BCFBD-5">
                    <name>
                        <text>t1</text>
                        <graphics>
                            <offset x="0" y="0" />
                        </graphics>
                    </name>
                    <graphics>
                        <position x="285" y="205"/>
                    </graphics>
                </transition>
                <arc id="e-E2D0-BCFCD-6" source="t-E2D0-BCFBD-5" target="p-E2D0-BCF6F-2">
                </arc>
                <arc id="e-E2D0-BCFDB-7" source="p-E2D0-BCF9D-3" target="t-E2D0-BCFBD-5">
                </arc>
                <arc id="e-E2D0-BCFF3-8" source="t-E2D0-BCFAC-4" target="p-E2D0-BCF9D-3">
                </arc>
                <arc id="e-E2D0-BCFFB-9" source="p-E2D0-BCF6F-2" target="t-E2D0-BCFAC-4">
                </arc>
            </page>
        </page>
    </net>
</pnml>