root/PSi/PNK2.2/netTypeSpecifications/timedNet.xml @ bf9c3717
| bf9c3717 | Rémy Ménard | <?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE netTypeSpecification SYSTEM "netTypeSpecification.dtd">
|
|||
<netTypeSpecification name="timedNet">
|
|||
<extendable class=".kernel.Net">
|
|||
<extension name="firingRule" class=".netElementExtensions.llNet.TimedNetRule"/>
|
|||
</extendable>
|
|||
<extendable class="de.huberlin.informatik.pnk.kernel.Place">
|
|||
<extension name="marking" class="de.huberlin.informatik.pnk.netElementExtensions.llNet.NaturalNumber"/>
|
|||
<extension name="initialMarking" class="de.huberlin.informatik.pnk.netElementExtensions.llNet.NaturalNumber"/>
|
|||
</extendable>
|
|||
<extendable class="de.huberlin.informatik.pnk.kernel.Arc">
|
|||
<extension name="inscription" class="de.huberlin.informatik.pnk.netElementExtensions.llNet.NaturalNumber1"/>
|
|||
</extendable>
|
|||
| 2e0a7cb1 | Sylvain L. Sauvage | <extendable class="de.huberlin.informatik.pnk.kernel.Transition">
|
|
<extension name="delay" class="de.huberlin.informatik.pnk.netElementExtensions.llNet.IntValue"/>
|
|||
</extendable>
|
|||
| bf9c3717 | Rémy Ménard | </netTypeSpecification>
|