RELAX NG implementation of High-level Petri nets Core Structure grammar.
This schema implements the core structure shared by High-level Petri nets types.
File name: hlcorestructure.rng
Version: 2009
(c) 2007-2009
Lom Hillah (AFNOR)
Revision:
July 2008 - L.H
A high-level net may have a Declaration.
A page of a high-level net may also have a Declaration.
A place of a high-level net may have a Type and an HLMarking.
A transition of a high-level net may have a Condition.
An arc of a high-level net may have a high-level inscription.
The 'Declaration' label definition for a net node or a page.
The 'Type' label definition for a place.
The 'high-level initial marking' label definition for a place.
The same reasoning applies as for the definitions above.
The 'Condition' label definition expressing the guard of a transition.
The same reasoning applies as for the above definitions.
The 'HLAnnotation' label definition for an arc.