Petri Net Type Definition for High-level Petri Nets Graphs (HLPNGs). RELAX NG implementation. This PNTD re-defines the value of nettype.uri for High-level Petri Nets Graph and the grammars it needs for its definition. File name: highlevelnet.rng Version: 2009 (c) 2007-2009 Lom Hillah (AFNOR) Revision: July 2008 - L.H High-level nets grammar uses the following grammars: Symmetric nets, Integers, Strings, Lists, and user-defined arbitrary sorts. The URI value for the net type attribute, declaring the type of HLPNGs nets. http://www.pnml.org/version-2009/grammar/highlevelnet