Browsable Petri net Grammar

CC-BY

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

Summary

Syntax

Place ::=
	[net]::Net [out]::PTArc+ [in]::TPArc+
Transition ::=
	[net]::Net [in]::PTArc+ [out]::TPArc+
Net ::=
	[place]::Place+ [transition]::Transition+
Arc ::=
	PTArc
Arc ::=
	TPArc
PTArc ::=
	[dst]::Transition [src]::Place
TPArc ::=
	[src]::Transition [dst]::Place

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