Browsable PNML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/standard/core/extracted
Source used for this grammar: Michael Weber, Ekkart Kindler, Christian Stehno, Lom Hillah, Petri Net Markup Language (PNML) schema, RELAX NG implementation of PNML Core Model, pnmlcoremodel.rng, July 2008 [Download]

Summary

• Total 40 production rules with 45 top alternatives and 304 symbols.
• Vocabulary: 95 = 40 nonterminals + 15 terminals + 40 labels + 0 markers.
• Total 40 nonterminal symbols: 40 defined (pnml.element, pnml.content, net.element, identifier.content, nettype.uri, net.labels, basicobject.content, page.content, netobject.content, page.labels, place.content, place.labels, transition.content, transition.labels, node.content, reference, refplace.content, reftrans.content, refnode.content, arc.content, arc.labels, pagegraphics.content, nodegraphics.content, edgegraphics.content, simpletext.content, annotationstandard.content, simpletextlabel.content, Name, annotationgraphics.content, position.element, offset.element, coordinate.attributes, dimension.element, positiveDecimal.content, fill.element, line.element, color.type, font.element, toolspecific.element, anyElement), 1 root (pnml.element), 0 top (—), 0 bottom (—).
• Total 15 terminal symbols: 13 keywords ("vertical", "horizontal", "diagonal", "line", "curve", "solid", "dash", "dot", "underline", "overline", "left", "center", "right"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 40 labels: [pnml], [net], [id], [type], [graphics] ⁴, [page], [place], [transition], [ref], [referencePlace], [referenceTransition], [source], [target], [arc], [text], [name], [position], [offset], [x] ², [y] ², [dimension], [color] ², [gradient-color], [gradient-rotation], [image], [fill], [shape], [width], [style] ², [line], [family], [weight], [size], [decoration], [align], [rotation], [font], [tool], [version], [toolspecific].

Syntax

pnml.element ::=
	[pnml]::pnml.content+

pnml.content ::=
	net.element

net.element ::=
	[net]::(identifier.content nettype.uri (Name? net.labels page.content+ toolspecific.element*))

identifier.content ::=
	[id]::string

nettype.uri ::=
	[type]::"http://www.pnml.org/version-2009/grammar/pnmlcoremodel"

net.labels ::=
	ε

basicobject.content ::=
	Name? toolspecific.element*

page.content ::=
	[page]::(identifier.content (basicobject.content page.labels netobject.content* [graphics]::pagegraphics.content?))

netobject.content ::=
	page.content
	place.content
	transition.content
	refplace.content
	reftrans.content
	arc.content

page.labels ::=
	ε

place.content ::=
	[place]::(identifier.content (basicobject.content place.labels node.content))

place.labels ::=
	ε

transition.content ::=
	[transition]::(identifier.content (basicobject.content transition.labels node.content))

transition.labels ::=
	ε

node.content ::=
	[graphics]::nodegraphics.content?

reference ::=
	[ref]::string

refplace.content ::=
	[referencePlace]::refnode.content

reftrans.content ::=
	[referenceTransition]::refnode.content

refnode.content ::=
	identifier.content reference basicobject.content node.content

arc.content ::=
	[arc]::(identifier.content [source]::string [target]::string (Name? arc.labels [graphics]::edgegraphics.content? toolspecific.element*))

arc.labels ::=
	ε

pagegraphics.content ::=
	nodegraphics.content

nodegraphics.content ::=
	position.element dimension.element? fill.element? line.element?

edgegraphics.content ::=
	position.element* line.element?

simpletext.content ::=
	[text]::string?

annotationstandard.content ::=
	[graphics]::annotationgraphics.content? toolspecific.element*

simpletextlabel.content ::=
	simpletext.content annotationstandard.content

Name ::=
	[name]::simpletextlabel.content

annotationgraphics.content ::=
	offset.element (fill.element? line.element? font.element?)

position.element ::=
	[position]::coordinate.attributes

offset.element ::=
	[offset]::coordinate.attributes

coordinate.attributes ::=
	[x]::integer [y]::integer

dimension.element ::=
	[dimension]::([x]::positiveDecimal.content [y]::positiveDecimal.content)

positiveDecimal.content ::=
	integer

fill.element ::=
	[fill]::([color]::color.type? [gradient-color]::color.type? [gradient-rotation]::("vertical" | "horizontal" | "diagonal")? [image]::string?)

line.element ::=
	[line]::([shape]::("line" | "curve")? [color]::color.type? [width]::positiveDecimal.content? [style]::("solid" | "dash" | "dot")?)

color.type ::=
	string

font.element ::=
	[font]::([family]::string? [style]::string? [weight]::string? [size]::string? [decoration]::("underline" | "overline" | "line-through")? [align]::("left" | "center" | "right")? [rotation]::integer?)

toolspecific.element ::=
	[toolspecific]::([tool]::string [version]::string anyElement*)

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

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