Browsable PNML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/standard/extensions/extracted
Source used for this grammar: Lom Hillah, Petri Net Markup Language (PNML) schema, RELAX NG implementation of PNML Extensions package, pnmlextensions.rng, July 2008 [Download]

Summary

• Total 4 production rules with 4 top alternatives and 20 symbols.
• Vocabulary: 7 = 5 nonterminals + 0 terminals + 2 labels + 0 markers.
• Total 5 nonterminal symbols: 4 defined (toolspecific.content, TokenGraphics, TokenPosition, anyElement), 0 root (—), 1 top (toolspecific.content), 1 bottom (coordinate.attributes).
• Total 2 labels: [tokengraphics], [tokenposition].

Syntax

toolspecific.content ::=
	TokenGraphics?

TokenGraphics ::=
	[tokengraphics]::TokenPosition*

TokenPosition ::=
	[tokenposition]::coordinate.attributes

anyElement ::=
	(α | string | anyElement)*

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