Browsable PNML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/touzet/extracted
Source used for this grammar: David Touzet, Petri Net 1.0, PetriNet.ecore, 2005/07/18

Summary

• Total 12 production rules with 12 top alternatives and 65 symbols.
• Vocabulary: 16 = 9 nonterminals + 0 terminals + 7 labels + 0 markers.
• Total 9 nonterminal symbols: 9 defined (String, Integer, Element, PetriNet, Place, Transition, Arc, PlaceToTransArc, TransToPlaceArc), 0 root (—), 3 top (String, Integer, Element), 0 bottom (—).
• Total 7 labels: [places], [transitions], [arcs], [incoming] ², [outgoing] ², [source] ², [target] ².

Syntax

String ::=
	string

Integer ::=
	integer

Element ::=
	PetriNet

Element ::=
	Place

Element ::=
	Transition

PetriNet ::=
	[places]::Place+ [transitions]::Transition+ [arcs]::Arc+

Place ::=
	[incoming]::TransToPlaceArc+ [outgoing]::PlaceToTransArc+

Transition ::=
	[incoming]::PlaceToTransArc+ [outgoing]::TransToPlaceArc+

Arc ::=
	PlaceToTransArc

Arc ::=
	TransToPlaceArc

PlaceToTransArc ::=
	[source]::Place [target]::Transition

TransToPlaceArc ::=
	[source]::Transition [target]::Place

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