Browsable Petri net Grammar

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

Summary

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

Syntax

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

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

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

Arc ::=
	PTArc

Arc ::=
	TPArc

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

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

Integer ::=
	integer

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