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