Browsable PNML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/extensions/reset-inhibitor/extracted
Source used for this grammar: Jan Martijn van der Werf, Lom Hillah, resetinhibitorptnet.pntd, 2009 [Download]

Summary

• Total 50 production rules with 58 top alternatives and 350 symbols.
• Vocabulary: 109 = 46 nonterminals + 20 terminals + 43 labels + 0 markers.
• Total 46 nonterminal symbols: 46 defined (arc.labels, nettype.uri, PTMarking, PTArcAnnotation, place.labels, nonnegativeintegerlabel.content, positiveintegerlabel.content, pnml.element, pnml.content, net.element, identifier.content, net.labels, basicobject.content, page.content, netobject.content, page.labels, place.content, transition.content, transition.labels, node.content, reference, refplace.content, reftrans.content, refnode.content, arc.content, 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, specialarc.value, ArcType), 1 root (pnml.element), 0 top (—), 0 bottom (—).
• Total 20 terminal symbols: 17 keywords ("vertical", "horizontal", "diagonal", "line", "curve", "solid", "dash", "dot", "underline", "overline", "left", "center", "right", "normal", "inhibitor", "read", "reset"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 43 labels: [type] ², [initialMarking], [inscription], [text] ³, [pnml], [net], [id], [graphics] ⁴, [page], [place], [transition], [ref], [referencePlace], [referenceTransition], [source], [target], [arc], [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], [arctype].

Syntax

arc.labels ::=
	ArcType

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

PTMarking ::=
	[initialMarking]::nonnegativeintegerlabel.content

PTArcAnnotation ::=
	[inscription]::positiveintegerlabel.content

place.labels ::=
	PTMarking?

arc.labels ::=
	PTArcAnnotation?

nonnegativeintegerlabel.content ::=
	[text]::integer annotationstandard.content

positiveintegerlabel.content ::=
	[text]::integer annotationstandard.content

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)*

specialarc.value ::=
	"normal"
	"inhibitor"
	"read"
	"reset"

ArcType ::=
	[arctype]::specialarc.value

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