Browsable GRAFCET 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/Grafcet/extracted
Source used for this grammar: Pierrick Guyard, GRAFCET 1.0, Grafcet.ecore, 2005/06/29

Summary

• Total 15 production rules with 16 top alternatives and 81 symbols.
• Vocabulary: 23 = 11 nonterminals + 2 terminals + 10 labels + 0 markers.
• Total 11 nonterminal symbols: 11 defined (String, Boolean, LocatedElement, NamedElement, Grafcet, Element, Step, Transition, Connection, StepToTransition, TransitionToStep), 0 root (—), 1 top (LocatedElement), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 10 labels: [elements], [connections], [isInitial], [isActive], [action], [incomingConnections] ², [outgoingConnections] ², [condition], [from] ², [to] ².

Syntax

String ::=
	string

Boolean ::=
	"true"
	"false"

LocatedElement ::=
	NamedElement

NamedElement ::=
	Grafcet

NamedElement ::=
	Element

NamedElement ::=
	Connection

Grafcet ::=
	[elements]::Element+ [connections]::Connection+

Element ::=
	Step

Element ::=
	Transition

Step ::=
	[isInitial]::Boolean [isActive]::Boolean [action]::String [incomingConnections]::TransitionToStep+ [outgoingConnections]::StepToTransition+

Transition ::=
	[condition]::String [incomingConnections]::StepToTransition+ [outgoingConnections]::TransitionToStep+

Connection ::=
	StepToTransition

Connection ::=
	TransitionToStep

StepToTransition ::=
	[from]::Step [to]::Transition

TransitionToStep ::=
	[from]::Transition [to]::Step

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