File name: resetinhibitorptnet.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 inhibitor and 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/resetinhibitorptnet
We override the enumeration definition "specialarc.value" to
only allow normal, inhibitor and reset arcs.
Enumeration for the values of this special PT net
arcs, allowing normal, inhibitor and reset arcs.
normal
inhibitor
reset
An arc of a P/T net may be either a normal, or inhibitor, or
a reset arc.