Browsable Petri net Grammar

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

Summary

• Total 5 production rules with 5 top alternatives and 45 symbols.
• Vocabulary: 12 = 5 nonterminals + 0 terminals + 7 labels + 0 markers.
• Total 5 nonterminal symbols: 5 defined (Place, Transition, Net, PTArc, TPArc), 0 root (—), 0 top (—), 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+

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

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

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