Browsable Petri net Grammar

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

Summary

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

Syntax

Place ::=
	[net]::α [out]::α+ [in]::α+ [token]::α+

Transition ::=
	[net]::α [in]::α+ [out]::α+

Net ::=
	[place]::α+ [transition]::α+

Arc ::=
	PTArc

Arc ::=
	TPArc

PTArc ::=
	[dst]::α [src]::α

TPArc ::=
	[src]::α [dst]::α

Token ::=
	[place]::α

Integer ::=
	integer

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