File name: resetptnet.pntd
Version : 2009
author : Jan Martijn van der Werf
e-mail : j.m.e.m.v.d.werf@tue.nl
revision : 2
by : L. Hillah, Afnor
(c) 2009 Technische Universiteit Eindhoven
We override the ptnet definition of net type, since we only allow
for reset nets in this definition
The URI value for the net type attribute,
declaring the type of P/T nets.
http://www.pnml.org/version-2009/extensions/resetptnet
We override the enumeration definition "specialarc.value" to
only allow normal and reset arcs.
Enumeration for the values of this special PT net
arcs, allowing normal and reset arcs only.
normal
reset
An arc of an inhibitor P/T net may be either a normal or a reset arc.
According to the standard, this characteristic is an attribute
of the corresponding arc.
In models of this new net type, every arc should thus be
systematically distinguished between normal and reset.