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]::Transition
Transition ::= AlternativeTrans
Transition ::= PrimitiveTrans
AlternativeTrans ::=
[altPaths]::Path
PrimitiveTrans ::= [name]::String
String ::= string
Boolean ::= "true" "false"