Browsable PNML Grammar

CC-BY

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

Summary

Syntax

OperatorDeclaration ::=
	FEConstant
BuiltInSort ::=
	FiniteEnumeration
FiniteEnumeration.content ::=
	FEConstant*
FiniteEnumeration ::=
	[finiteenumeration]::FiniteEnumeration.content
FEConstant ::=
	[feconstant]::OperatorDeclaration.content

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