RELAX NG implementation of Petri Net Type Definition for Symmetric nets.
This PNTD re-defines the value of nettype.uri for Symmetric nets and
the grammars it needs for defining that type.
File name: symmetricnet.rng
Version: 2009
(c) 2007-2009
Lom Hillah (AFNOR)
Revision:
July 2008 - L.H
Symmetric nets grammar uses the following grammars: HL Core Structure,
Cyclic Enumerations, Finite Enumerations, Finite Integers, Booleans, Multisets.
Dots and Partitions.
We re-define the URI value for the net type attribute,
declaring the type of Symmetric nets.
http://www.pnml.org/version-2009/grammar/symmetricnet