Browsable PNML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/guyard/basic/extracted
Source used for this grammar: Pierrick Guyard, PNML Basic 1.0, PNML_basic.ecore, 2005/06/15

Summary

• Total 47 production rules with 56 top alternatives and 322 symbols.
• Vocabulary: 99 = 37 nonterminals + 0 terminals + 62 labels + 0 markers.
• Total 37 nonterminal symbols: 37 defined (IdedElement, URI, Color, AnyElement, RotationType, ShapeType, StyleType, DecorationType, AlignType, PNMLDocument, NetElement, NetContent, ToolSpecific, LabeledElement, Label, Name, Inscription, InitialMarking, NetContentElement, Arc, Node, Place, Transition, Graphics, NetGraphics, NodeGraphics, EdgeGraphics, AnnotationGraphics, Coordinate, Position, Offset, Dimension, Fill, Line, Font, Integer, String), 0 root (—), 4 top (IdedElement, Label, Graphics, Coordinate), 0 bottom (—).
• Total 62 labels: [value], [name] ², [text] ², [rtvertical], [rthorizontal], [rtdiagonal], [shtline], [shtcurve], [sttsolid], [sttdash], [sttdot], [dtunderligne], [dtoverligne], [dtlinethrough], [atleft], [atcenter], [atright], [xmlns], [nets], [type], [document], [contents], [tools] ³, [netgraphics], [tool], [version], [anyelement], [net] ³, [arc] ³, [node] ³, [namedelement] ², [netcontent], [place], [source], [target], [edgegraphics] ⁴, [inscription], [netcontentelement], [nodegraphics] ⁵, [initialmarking], [position] ², [dimension], [fill] ³, [line] ³, [offset], [font], [annotationgraphics] ⁴, [width] ², [height], [gradientrotation], [interiorcolor], [gradientcolor], [image], [color], [shape], [style] ², [family], [weight], [size], [decoration], [align], [rotation].

Syntax

IdedElement ::=
	NetElement

IdedElement ::=
	Node

IdedElement ::=
	Arc

URI ::=
	[value]::String

Color ::=
	ε

AnyElement ::=
	[name]::String [text]::String

RotationType ::=
	[rtvertical]::ε
	[rthorizontal]::ε
	[rtdiagonal]::ε

ShapeType ::=
	[shtline]::ε
	[shtcurve]::ε

StyleType ::=
	[sttsolid]::ε
	[sttdash]::ε
	[sttdot]::ε

DecorationType ::=
	[dtunderligne]::ε
	[dtoverligne]::ε
	[dtlinethrough]::ε

AlignType ::=
	[atleft]::ε
	[atcenter]::ε
	[atright]::ε

PNMLDocument ::=
	[xmlns]::URI [nets]::NetElement+

NetElement ::=
	[type]::URI [document]::PNMLDocument [contents]::NetContent+ [tools]::ToolSpecific+ [netgraphics]::NetGraphics [name]::Name

NetContent ::=
	NetContentElement

NetContent ::=
	Arc

ToolSpecific ::=
	[tool]::String [version]::String [anyelement]::AnyElement+ [net]::NetElement [arc]::Arc [node]::Node

LabeledElement ::=
	Name

LabeledElement ::=
	Inscription

LabeledElement ::=
	InitialMarking

Label ::=
	[text]::String [namedelement]::LabeledElement

Name ::=
	[net]::NetElement [netcontent]::NetContent

Inscription ::=
	[arc]::Arc

InitialMarking ::=
	[place]::Place

NetContentElement ::=
	Place

NetContentElement ::=
	Transition

Arc ::=
	[source]::NetContentElement [target]::NetContentElement [tools]::ToolSpecific+ [edgegraphics]::EdgeGraphics [inscription]::Inscription

Node ::=
	[netcontentelement]::NetContentElement [tools]::ToolSpecific+ [nodegraphics]::NodeGraphics

Place ::=
	[initialmarking]::InitialMarking

Transition ::=
	[node]::Node

Graphics ::=
	NetGraphics

Graphics ::=
	NodeGraphics

Graphics ::=
	EdgeGraphics

Graphics ::=
	AnnotationGraphics

NetGraphics ::=
	[net]::NetElement

NodeGraphics ::=
	[node]::Node [position]::Position [dimension]::Dimension [fill]::Fill [line]::Line

EdgeGraphics ::=
	[arc]::Arc [position]::Position+ [fill]::Fill [line]::Line

AnnotationGraphics ::=
	[namedelement]::LabeledElement [offset]::Offset [font]::Font [fill]::Fill [line]::Line

Coordinate ::=
	Position

Coordinate ::=
	Offset

Position ::=
	[nodegraphics]::NodeGraphics [edgegraphics]::EdgeGraphics

Offset ::=
	[annotationgraphics]::AnnotationGraphics

Dimension ::=
	[width]::Integer [height]::Integer [nodegraphics]::NodeGraphics

Fill ::=
	[gradientrotation]::RotationType [interiorcolor]::Color [gradientcolor]::Color [image]::URI [nodegraphics]::NodeGraphics [edgegraphics]::EdgeGraphics [annotationgraphics]::AnnotationGraphics

Line ::=
	[color]::Color [width]::Integer [shape]::ShapeType [style]::StyleType [nodegraphics]::NodeGraphics [edgegraphics]::EdgeGraphics [annotationgraphics]::AnnotationGraphics

Font ::=
	[family]::String [style]::String [weight]::String [size]::String [decoration]::DecorationType [align]::AlignType [rotation]::Integer [annotationgraphics]::AnnotationGraphics

Integer ::=
	integer

String ::=
	string

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