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.