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.