Browsable PNML Grammar

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

Summary

• Total 11 production rules with 18 top alternatives and 55 symbols.
• Vocabulary: 23 = 14 nonterminals + 0 terminals + 9 labels + 0 markers.
• Total 14 nonterminal symbols: 11 defined (BuiltInOperator, MultisetOperator, Add, Subtract, All, Empty, ScalarProduct, NumberOf, Cardinality, CardinalityOf, Contains), 0 root (—), 2 top (BuiltInOperator, MultisetOperator), 3 bottom (Sort ², MultisetOperator.content ⁶, BuiltInOperator.content ³).
• Total 9 labels: [add], [subtract], [all], [empty], [scalarproduct], [numberof], [cardinality], [cardinalityof], [contains].

Syntax

BuiltInOperator ::=
	Cardinality
	CardinalityOf
	Contains

MultisetOperator ::=
	Add
	All
	NumberOf
	Subtract
	ScalarProduct
	Empty

Add ::=
	[add]::MultisetOperator.content

Subtract ::=
	[subtract]::MultisetOperator.content

All ::=
	[all]::(MultisetOperator.content Sort)

Empty ::=
	[empty]::(MultisetOperator.content Sort)

ScalarProduct ::=
	[scalarproduct]::MultisetOperator.content

NumberOf ::=
	[numberof]::MultisetOperator.content

Cardinality ::=
	[cardinality]::BuiltInOperator.content

CardinalityOf ::=
	[cardinalityof]::BuiltInOperator.content

Contains ::=
	[contains]::BuiltInOperator.content

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