Browsable PNML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/guyard/structured/extracted
Source used for this grammar: Pierrick Guyard, PNML Structured 1.0, PNML_structured.ecore, 2005/06/16

Summary

• Total 59 production rules with 68 top alternatives and 385 symbols.
• Vocabulary: 107 = 42 nonterminals + 0 terminals + 65 labels + 0 markers.
• Total 42 nonterminal symbols: 42 defined (IdedElement, URI, Color, AnyElement, RotationType, ShapeType, StyleType, DecorationType, AlignType, PNMLDocument, NetElement, NetContent, ToolSpecific, LabeledElement, Label, Name, Inscription, InitialMarking, NetContentElement, Arc, Page, Reference, ReferencePlace, ReferenceTransition, Node, Place, Transition, Graphics, NetGraphics, NodeGraphics, EdgeGraphics, AnnotationGraphics, PageGraphics, Coordinate, Position, Offset, Dimension, Fill, Line, Font, Integer, String), 0 root (—), 4 top (IdedElement, Label, Graphics, Coordinate), 0 bottom (—).
• Total 65 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] ³, [page] ⁴, [namedelement] ², [netcontent], [place], [source], [target], [edgegraphics] ⁴, [inscription], [pagegraphics], [ref] ², [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

IdedElement ::=
	Page

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

NetContent ::=
	Page

NetContent ::=
	ReferencePlace

NetContent ::=
	ReferenceTransition

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

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

Page ::=
	[contents]::NetContent+ [tools]::ToolSpecific+ [pagegraphics]::PageGraphics

Reference ::=
	ReferencePlace

Reference ::=
	ReferenceTransition

ReferencePlace ::=
	[net]::NetElement [name]::Name [page]::Page [ref]::Node

ReferenceTransition ::=
	[net]::NetElement [name]::Name [page]::Page [ref]::Node

Node ::=
	Reference

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

Place ::=
	[initialmarking]::InitialMarking

Transition ::=
	[node]::Node

Graphics ::=
	NetGraphics

Graphics ::=
	NodeGraphics

Graphics ::=
	EdgeGraphics

Graphics ::=
	AnnotationGraphics

Graphics ::=
	PageGraphics

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

PageGraphics ::=
	[page]::Page

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. [↑]