Browsable Petri net Grammar

CC-BY

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

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

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