Browsable PNML Grammar

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

Summary

• Total 10 production rules with 12 top alternatives and 48 symbols.
• Vocabulary: 21 = 15 nonterminals + 0 terminals + 6 labels + 0 markers.
• Total 15 nonterminal symbols: 10 defined (SortDeclaration, OperatorDeclaration, BuiltInOperator, Partition, PartitionElement, PartitionOperator.content, PartitionOperator, PartitionLessThan, PartitionGreaterThan, PartitionElementOf), 0 root (—), 3 top (SortDeclaration, OperatorDeclaration, BuiltInOperator), 5 bottom (BuiltInOperator.content, Sort, Term, SortDeclaration.content, OperatorDeclaration.content).
• Total 6 labels: [partition], [partitionelement], [ltp], [gtp], [refpartition], [partitionelementof].

Syntax

SortDeclaration ::=
	Partition

OperatorDeclaration ::=
	PartitionElement

BuiltInOperator ::=
	PartitionOperator

Partition ::=
	[partition]::(SortDeclaration.content Sort PartitionElement+)

PartitionElement ::=
	[partitionelement]::(OperatorDeclaration.content Term+)

PartitionOperator.content ::=
	BuiltInOperator.content

PartitionOperator ::=
	PartitionLessThan
	PartitionGreaterThan
	PartitionElementOf

PartitionLessThan ::=
	[ltp]::PartitionOperator.content

PartitionGreaterThan ::=
	[gtp]::PartitionOperator.content

PartitionElementOf ::=
	[partitionelementof]::([refpartition]::string PartitionOperator.content)

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