Browsable Petri net Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/net/wachsmuth/v3.0/extracted
Source used for this grammar: Kelly Garces, PetriNet 3.0, GWPNV3.ecore, 2007/11/19

Summary

• Total 7 production rules with 7 top alternatives and 51 symbols.
• Vocabulary: 13 = 6 nonterminals + 0 terminals + 7 labels + 0 markers.
• Total 6 nonterminal symbols: 6 defined (Place, Transition, Net, Arc, PTArc, TPArc), 0 root (—), 1 top (Arc), 0 bottom (—).
• Total 7 labels: [net] ², [out] ², [in] ², [place], [transition], [dst] ², [src] ².

Syntax

Place ::=
	[net]::Net [out]::PTArc+ [in]::TPArc+

Transition ::=
	[net]::Net [in]::PTArc+ [out]::TPArc+

Net ::=
	[place]::Place+ [transition]::Transition+

Arc ::=
	PTArc

Arc ::=
	TPArc

PTArc ::=
	[dst]::Transition [src]::Place

TPArc ::=
	[src]::Transition [dst]::Place

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