Browsable PNML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/guyard/simplified/extracted
Source used for this grammar: Pierrick Guyard, PNML Simplified 1.1, PNML_simplified.ecore, 2005/06/15

Summary

• Total 24 production rules with 24 top alternatives and 99 symbols.
• Vocabulary: 28 = 15 nonterminals + 0 terminals + 13 labels + 0 markers.
• Total 15 nonterminal symbols: 15 defined (LocatedElement, IdedElement, URI, PNMLDocument, NetElement, NetContent, LabeledElement, Label, Name, NetContentElement, Arc, Place, Transition, Integer, String), 0 root (—), 2 top (LocatedElement, Integer), 0 bottom (—).
• Total 13 labels: [value], [xmlns], [nets], [type], [document], [contents], [name], [text], [labeledElement], [net], [netContent], [source], [target].

Syntax

LocatedElement ::=
	IdedElement

LocatedElement ::=
	URI

LocatedElement ::=
	PNMLDocument

LocatedElement ::=
	NetContent

LocatedElement ::=
	LabeledElement

LocatedElement ::=
	Label

IdedElement ::=
	NetElement

IdedElement ::=
	NetContentElement

IdedElement ::=
	Arc

URI ::=
	[value]::String

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

NetElement ::=
	[type]::URI [document]::PNMLDocument [contents]::NetContent+ [name]::Name

NetContent ::=
	NetContentElement

NetContent ::=
	Arc

LabeledElement ::=
	Name

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

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

NetContentElement ::=
	Place

NetContentElement ::=
	Transition

Arc ::=
	[source]::NetContentElement [target]::NetContentElement

Place ::=
	ε

Transition ::=
	ε

Integer ::=
	integer

String ::=
	string

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