Browsable Petri net Grammar

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

Summary

• Total 3 production rules with 3 top alternatives and 31 symbols.
• Vocabulary: 8 = 3 nonterminals + 0 terminals + 5 labels + 0 markers.
• Total 3 nonterminal symbols: 3 defined (Place, Transition, Net), 0 root (—), 0 top (—), 0 bottom (—).
• Total 5 labels: [net] ², [src] ², [dst] ², [place], [transition].

Syntax

Place ::=
	[net]::Net [src]::Transition+ [dst]::Transition+

Transition ::=
	[net]::Net [src]::Place+ [dst]::Place+

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

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