root/PSi/PNK2.2/sampleNets/HLTest.pnml @ 2e0a7cb1
| 2e0a7cb1 | Sylvain L. Sauvage | <?xml version="1.0" encoding="ISO-8859-1"?>
|
|
<pnml>
|
|||
<net id="HLTestNet" type="HLNet">
|
|||
<name>HLTestNet</name>
|
|||
<place id="1">
|
|||
<tokenClass>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="30" />
|
|||
</graphics>
|
|||
<value>Integer</value>
|
|||
</tokenClass>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="33" y="-25" />
|
|||
</graphics>
|
|||
<value>2 3 4</value>
|
|||
</marking>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="-37" />
|
|||
</graphics>
|
|||
<value>Place1</value>
|
|||
</name>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="33" y="25" />
|
|||
</graphics>
|
|||
<value>2 3 4</value>
|
|||
</initialMarking>
|
|||
<graphics>
|
|||
<position page="1" x="30" y="225" />
|
|||
</graphics>
|
|||
</place>
|
|||
<place id="2">
|
|||
<tokenClass>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="30" />
|
|||
</graphics>
|
|||
<value>Integer</value>
|
|||
</tokenClass>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="33" y="-25" />
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</marking>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="-37" />
|
|||
</graphics>
|
|||
<value>Place2</value>
|
|||
</name>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="33" y="25" />
|
|||
</graphics>
|
|||
<value> </value>
|
|||
</initialMarking>
|
|||
<graphics>
|
|||
<position page="1" x="405" y="225" />
|
|||
</graphics>
|
|||
</place>
|
|||
<transition id="3">
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="-37" />
|
|||
</graphics>
|
|||
<value>Transition1</value>
|
|||
</name>
|
|||
<graphics>
|
|||
<position page="1" x="217" y="150" />
|
|||
</graphics>
|
|||
</transition>
|
|||
<place id="p1">
|
|||
<tokenClass>
|
|||
<graphics>
|
|||
<offset page="1" x="3" y="26" />
|
|||
</graphics>
|
|||
<value>Integer</value>
|
|||
</tokenClass>
|
|||
<marking>
|
|||
<graphics>
|
|||
<offset page="1" x="26" y="-14" />
|
|||
</graphics>
|
|||
<value> 6 8 10</value>
|
|||
</marking>
|
|||
<name>
|
|||
<graphics>
|
|||
<offset page="1" x="4" y="-31" />
|
|||
</graphics>
|
|||
<value>Place1_2</value>
|
|||
</name>
|
|||
<initialMarking>
|
|||
<graphics>
|
|||
<offset page="1" x="26" y="8" />
|
|||
</graphics>
|
|||
<value> 6 8 10</value>
|
|||
</initialMarking>
|
|||
<graphics>
|
|||
<position page="1" x="216" y="308" />
|
|||
</graphics>
|
|||
</place>
|
|||
<arc id="4" source="1" target="3">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="-15" />
|
|||
</graphics>
|
|||
<value>x</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="123" y="187" />
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="5" source="3" target="2">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="0" y="-15" />
|
|||
</graphics>
|
|||
<value>x.plus(x.mal2(x),y)</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="311" y="187" />
|
|||
</graphics>
|
|||
</arc>
|
|||
<arc id="a1" source="p1" target="3">
|
|||
<inscription>
|
|||
<graphics>
|
|||
<offset page="1" x="20" y="0" />
|
|||
</graphics>
|
|||
<value> y</value>
|
|||
</inscription>
|
|||
<graphics>
|
|||
<position page="1" x="216" y="229" />
|
|||
</graphics>
|
|||
</arc>
|
|||
<firingRule>
|
|||
<value> </value>
|
|||
</firingRule>
|
|||
<variables>
|
|||
<value />
|
|||
</variables>
|
|||
<name>
|
|||
<value> </value>
|
|||
</name>
|
|||
<declaration>
|
|||
<value />
|
|||
</declaration>
|
|||
<signature>
|
|||
<value>
|
|||
<variable name="x" />
|
|||
<variable name="y" />
|
|||
<function name="mal2" class="de.huberlin.informatik.pnk.netElementExtensions.hlNet.HLFkt" signature="mal2(java.lang.Integer)" />
|
|||
<function name="plus" class="de.huberlin.informatik.pnk.netElementExtensions.hlNet.HLFkt" signature="plus(java.lang.Integer,java.lang.Integer)" />
|
|||
<tokenType name="Integer" class="java.lang.Integer" />
|
|||
<tokenType name="String" class="java.lang.String" />
|
|||
</value>
|
|||
</signature>
|
|||
</net>
|
|||
</pnml>
|