|
<?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>
|
|
<extendable class="de.huberlin.informatik.pnk.kernel.Transition">
|
|
<extension name="delay" class="de.huberlin.informatik.pnk.netElementExtensions.llNet.IntValue"/>
|
|
</extendable>
|
|
</netTypeSpecification>
|