Browsable PNML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/standard/highlevel/core/extracted
Source used for this grammar: Lom Hillah, RELAX NG implementation of High-level Petri nets Core Structure grammar, hlcorestructure.rng, July 2008 [Download]

Summary

• Total 10 production rules with 10 top alternatives and 63 symbols.
• Vocabulary: 20 = 14 nonterminals + 0 terminals + 6 labels + 0 markers.
• Total 14 nonterminal symbols: 10 defined (net.labels, page.labels, place.labels, transition.labels, arc.labels, HLDeclaration, Type, HLMarking, Condition, HLAnnotation), 0 root (—), 5 top (net.labels, page.labels, place.labels, transition.labels, arc.labels), 4 bottom (Sort, Declarations, Term ³, simpletextlabel.content ⁵).
• Total 6 labels: [structure] ⁵, [declaration], [type], [hlinitialMarking], [condition], [hlinscription].

Syntax

net.labels ::=
	HLDeclaration*

page.labels ::=
	HLDeclaration*

place.labels ::=
	Type? HLMarking?

transition.labels ::=
	Condition?

arc.labels ::=
	HLAnnotation?

HLDeclaration ::=
	[declaration]::(simpletextlabel.content [structure]::Declarations?)

Type ::=
	[type]::(simpletextlabel.content [structure]::Sort?)

HLMarking ::=
	[hlinitialMarking]::(simpletextlabel.content [structure]::Term?)

Condition ::=
	[condition]::(simpletextlabel.content [structure]::Term?)

HLAnnotation ::=
	[hlinscription]::(simpletextlabel.content [structure]::Term?)

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]