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