Browsable PNML Grammar

CC-BY

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

Summary

Syntax

BuiltInSort ::=
	FiniteIntRange
BuiltInOperator ::=
	FiniteIntRangeOperator
BuiltInConstant ::=
	FiniteIntRangeConstant
FiniteIntRange ::=
	[finiteintrange]::([start]::integer [end]::integer)
FiniteIntRangeOperator.content ::=
	BuiltInOperator.content
FiniteIntRangeOperator ::=
	FIRLessThan
	FIRLessThanOrEqual
	FIRGreaterThan
	FIRGreaterThanOrEqual
FIRLessThan ::=
	[lessthan]::FiniteIntRangeOperator.content
FIRLessThanOrEqual ::=
	[lessthanorequal]::FiniteIntRangeOperator.content
FIRGreaterThan ::=
	[greaterthan]::FiniteIntRangeOperator.content
FIRGreaterThanOrEqual ::=
	[greaterthanorequal]::FiniteIntRangeOperator.content
FiniteIntRangeConstant ::=
	[finiteintrangeconstant]::([value]::integer FiniteIntRange BuiltInConstant.content)

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