Browsable PNML Grammar

CC-BY

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/standard/cyclic/extracted
Source used for this grammar: Lom Hillah, RELAX NG implementation of Cyclic Enumerations grammar, cyclicenumerations.rng, July 2008 [Download]

Summary

Syntax

BuiltInSort ::=
	CyclicEnumeration
BuiltInOperator ::=
	CyclicEnumOperator
CyclicEnumeration ::=
	[cyclicenumeration]::FiniteEnumeration.content
CyclicEnumOperator.content ::=
	BuiltInOperator.content
CyclicEnumOperator ::=
	Successor
	Predecessor
Successor ::=
	[successor]::CyclicEnumOperator.content
Predecessor ::=
	[predecessor]::CyclicEnumOperator.content

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