Browsable PNML Grammar

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

Summary

• Total 67 production rules with 76 top alternatives and 463 symbols.
• Vocabulary: 125 = 47 nonterminals + 0 terminals + 78 labels + 0 markers.
• Total 47 nonterminal symbols: 47 defined (IdedElement, URI, Color, AnyElement, NCName, RotationType, ShapeType, StyleType, DecorationType, AlignType, PNMLDocument, Module, Interface, NetElement, NetContent, ToolSpecific, LabeledElement, Label, Name, Inscription, InitialMarking, NetContentElement, Arc, Page, Reference, ReferencePlace, ReferenceTransition, Instance, ImportNode, 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 78 labels: [value] ², [name] ⁴, [text] ², [rtvertical], [rthorizontal], [rtdiagonal], [shtline], [shtcurve], [sttsolid], [sttdash], [sttdot], [dtunderligne], [dtoverligne], [dtlinethrough], [atleft], [atcenter], [atright], [xmlns], [nets], [modules], [interfaces], [netcontents], [document] ², [module] ³, [importplace] ², [exportplace], [importtransition] ², [exporttransition], [type], [contents] ², [tools] ⁴, [netgraphics], [tool], [version], [anyelement], [net] ⁵, [arc] ³, [node] ³, [page] ⁴, [namedelement] ², [netcontent], [place], [source], [target], [edgegraphics] ⁴, [inscription], [pagegraphics], [instance] ², [ref] ⁴, [importnode] ², [parameter], [instanceplace], [instancetransition], [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 ::=
	Module

IdedElement ::=
	NetElement

IdedElement ::=
	Node

IdedElement ::=
	Arc

IdedElement ::=
	Page

IdedElement ::=
	Instance

URI ::=
	[value]::String

Color ::=
	ε

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

NCName ::=
	[value]::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+ [modules]::Module+

Module ::=
	[interfaces]::Interface+ [netcontents]::NetContent+ [document]::PNMLDocument

Interface ::=
	[module]::Module [importplace]::Node+ [exportplace]::Reference+ [importtransition]::Node+ [exporttransition]::Reference+

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

NetContent ::=
	NetContentElement

NetContent ::=
	Arc

NetContent ::=
	Page

NetContent ::=
	ReferencePlace

NetContent ::=
	ReferenceTransition

NetContent ::=
	Instance

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 [module]::Module [instance]::Node [ref]::NCName [importnode]::ImportNode

ReferenceTransition ::=
	[net]::NetElement [name]::Name [page]::Page [module]::Module [instance]::Node [ref]::NCName [importnode]::ImportNode

Instance ::=
	[ref]::URI [importplace]::ImportNode+ [importtransition]::ImportNode+

ImportNode ::=
	[parameter]::NCName [ref]::Reference [instanceplace]::Instance [instancetransition]::Instance

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