
Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/path/concrete/extracted
Source used for this grammar: David Touzet, TextualPathExp.ecore, 2005/07/18
TextualPathExp, Path, Transition, AlternativeTrans, PrimitiveTrans, String, Boolean), 0 root (—), 2 top (TextualPathExp, Boolean), 0 bottom (—).[path], [transitions], [altPaths], [name].TextualPathExp ::= [path]::Path
Path ::=
[transitions]::TransitionTransition ::= AlternativeTrans
Transition ::= PrimitiveTrans
AlternativeTrans ::=
[altPaths]::PathPrimitiveTrans ::= [name]::String
String ::= string
Boolean ::= "true" "false"