Browsable Path Net Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/net/bruneliere/extracted
Source used for this grammar: Hugo Brunelière, Petri Net extended 1.0, PetriNet_extended.ecore, 2005/08/11

Summary

• Total 19 production rules with 19 top alternatives and 111 symbols.
• Vocabulary: 32 = 15 nonterminals + 0 terminals + 17 labels + 0 markers.
• Total 15 nonterminal symbols: 15 defined (LocatedElement, NamedElement, PetriNet, Element, Place, Transition, Arc, PlaceToTransition, TransitionToPlace, Execution, Token, Marking, Movement, String, Integer), 0 root (—), 3 top (LocatedElement, String, Integer), 0 bottom (—).
• Total 17 labels: [elements], [arcs], [execs], [incomingArc] ², [outgoingArc] ², [from] ², [to] ², [net], [markings], [movements], [placedAt], [marking], [exec] ², [tokens], [fire], [source], [target].

Syntax

LocatedElement ::=
	NamedElement

NamedElement ::=
	PetriNet

NamedElement ::=
	Element

NamedElement ::=
	Arc

PetriNet ::=
	[elements]::Element+ [arcs]::Arc+ [execs]::Execution+

Element ::=
	Place

Element ::=
	Transition

Place ::=
	[incomingArc]::TransitionToPlace+ [outgoingArc]::PlaceToTransition+

Transition ::=
	[incomingArc]::PlaceToTransition+ [outgoingArc]::TransitionToPlace+

Arc ::=
	PlaceToTransition

Arc ::=
	TransitionToPlace

PlaceToTransition ::=
	[from]::Place [to]::Transition

TransitionToPlace ::=
	[from]::Transition [to]::Place

Execution ::=
	[net]::PetriNet [markings]::Marking+ [movements]::Movement+

Token ::=
	[placedAt]::Place [marking]::Marking

Marking ::=
	[exec]::Execution [tokens]::Token+

Movement ::=
	[exec]::Execution [fire]::Transition [source]::Marking [target]::Marking

String ::=
	string

Integer ::=
	integer

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