Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
1 lines (1 sloc) 58.8 KB
<ns0:grammar xmlns:ns0="http://planet-sl.org/bgf"><root>pnml.element</root><ns0:production><nonterminal>nettype.uri</nonterminal><ns0:expression><selectable><selector>type</selector><ns0:expression><terminal>http://www.pnml.org/version-2009/grammar/highlevelnet</terminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><nonterminal>List</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><nonterminal>ListOperator</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>List</nonterminal><ns0:expression><selectable><selector>list</selector><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant</nonterminal><ns0:expression><nonterminal>EmptyList</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>ListOperator.content</nonterminal><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>ListOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>ListAppend</nonterminal></ns0:expression><ns0:expression><nonterminal>ListConcatenation</nonterminal></ns0:expression><ns0:expression><nonterminal>MakeList</nonterminal></ns0:expression><ns0:expression><nonterminal>ListLength</nonterminal></ns0:expression><ns0:expression><nonterminal>MemberAtIndex</nonterminal></ns0:expression><ns0:expression><nonterminal>Sublist</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>EmptyList</nonterminal><ns0:expression><selectable><selector>emptylist</selector><ns0:expression><sequence><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression><ns0:expression><nonterminal>BuiltInConstant.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>ListLength</nonterminal><ns0:expression><selectable><selector>listlength</selector><ns0:expression><nonterminal>ListOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>MakeList</nonterminal><ns0:expression><selectable><selector>makelist</selector><ns0:expression><sequence><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression><ns0:expression><nonterminal>ListOperator.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>ListConcatenation</nonterminal><ns0:expression><selectable><selector>listconcatenation</selector><ns0:expression><nonterminal>ListOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>ListAppend</nonterminal><ns0:expression><selectable><selector>listappend</selector><ns0:expression><nonterminal>ListOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>MemberAtIndex</nonterminal><ns0:expression><selectable><selector>memberatindex</selector><ns0:expression><sequence><ns0:expression><selectable><selector>index</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><nonterminal>ListOperator.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Sublist</nonterminal><ns0:expression><selectable><selector>sublist</selector><ns0:expression><sequence><ns0:expression><selectable><selector>start</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>length</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><nonterminal>ListOperator.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><nonterminal>String</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><nonterminal>StringOperator</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant</nonterminal><ns0:expression><nonterminal>StringConstant</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>String</nonterminal><ns0:expression><selectable><selector>string</selector><ns0:expression><epsilon /></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>StringConstant.content</nonterminal><ns0:expression><selectable><selector>value</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>StringConstant</nonterminal><ns0:expression><selectable><selector>stringconstant</selector><ns0:expression><sequence><ns0:expression><nonterminal>StringConstant.content</nonterminal></ns0:expression><ns0:expression><nonterminal>BuiltInConstant.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>StringOperator.content</nonterminal><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>StringOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>StringLessThan</nonterminal></ns0:expression><ns0:expression><nonterminal>StringLessThanOrEqual</nonterminal></ns0:expression><ns0:expression><nonterminal>StringGreaterThan</nonterminal></ns0:expression><ns0:expression><nonterminal>StringGreaterThanOrEqual</nonterminal></ns0:expression><ns0:expression><nonterminal>StringConcatenation</nonterminal></ns0:expression><ns0:expression><nonterminal>StringAppend</nonterminal></ns0:expression><ns0:expression><nonterminal>StringLength</nonterminal></ns0:expression><ns0:expression><nonterminal>Substring</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>StringLessThan</nonterminal><ns0:expression><selectable><selector>lts</selector><ns0:expression><nonterminal>StringOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>StringLessThanOrEqual</nonterminal><ns0:expression><selectable><selector>leqs</selector><ns0:expression><nonterminal>StringOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>StringGreaterThan</nonterminal><ns0:expression><selectable><selector>gts</selector><ns0:expression><nonterminal>StringOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>StringGreaterThanOrEqual</nonterminal><ns0:expression><selectable><selector>geqs</selector><ns0:expression><nonterminal>StringOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>StringConcatenation</nonterminal><ns0:expression><selectable><selector>stringconcatenation</selector><ns0:expression><nonterminal>StringOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>StringLength</nonterminal><ns0:expression><selectable><selector>stringlength</selector><ns0:expression><nonterminal>StringOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>StringAppend</nonterminal><ns0:expression><selectable><selector>stringappend</selector><ns0:expression><nonterminal>StringOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Substring</nonterminal><ns0:expression><selectable><selector>substring</selector><ns0:expression><sequence><ns0:expression><selectable><selector>start</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>length</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><nonterminal>StringOperator.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Declaration</nonterminal><ns0:expression><nonterminal>Unparsed</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>SortDeclaration</nonterminal><ns0:expression><nonterminal>ArbitrarySort</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>OperatorDeclaration</nonterminal><ns0:expression><nonterminal>ArbitraryOperator</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>ArbitrarySort</nonterminal><ns0:expression><selectable><selector>arbitrarysort</selector><ns0:expression><nonterminal>SortDeclaration.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>ArbitraryOperator</nonterminal><ns0:expression><selectable><selector>arbitraryoperator</selector><ns0:expression><sequence><ns0:expression><nonterminal>OperatorDeclaration.content</nonterminal></ns0:expression><ns0:expression><star><ns0:expression><selectable><selector>input</selector><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></selectable></ns0:expression></star></ns0:expression><ns0:expression><selectable><selector>output</selector><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Unparsed</nonterminal><ns0:expression><selectable><selector>unparsed</selector><ns0:expression><sequence><ns0:expression><nonterminal>Declaration.content</nonterminal></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>anyElement</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>nettype.uri</nonterminal><ns0:expression><selectable><selector>type</selector><ns0:expression><terminal>http://www.pnml.org/version-2009/grammar/symmetricnet</terminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>SortDeclaration</nonterminal><ns0:expression><nonterminal>Partition</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>OperatorDeclaration</nonterminal><ns0:expression><nonterminal>PartitionElement</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><nonterminal>PartitionOperator</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>Partition</nonterminal><ns0:expression><selectable><selector>partition</selector><ns0:expression><sequence><ns0:expression><nonterminal>SortDeclaration.content</nonterminal></ns0:expression><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression><ns0:expression><plus><ns0:expression><nonterminal>PartitionElement</nonterminal></ns0:expression></plus></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>PartitionElement</nonterminal><ns0:expression><selectable><selector>partitionelement</selector><ns0:expression><sequence><ns0:expression><nonterminal>OperatorDeclaration.content</nonterminal></ns0:expression><ns0:expression><plus><ns0:expression><nonterminal>Term</nonterminal></ns0:expression></plus></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>PartitionOperator.content</nonterminal><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>PartitionOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>PartitionLessThan</nonterminal></ns0:expression><ns0:expression><nonterminal>PartitionGreaterThan</nonterminal></ns0:expression><ns0:expression><nonterminal>PartitionElementOf</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>PartitionLessThan</nonterminal><ns0:expression><selectable><selector>ltp</selector><ns0:expression><nonterminal>PartitionOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>PartitionGreaterThan</nonterminal><ns0:expression><selectable><selector>gtp</selector><ns0:expression><nonterminal>PartitionOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>PartitionElementOf</nonterminal><ns0:expression><selectable><selector>partitionelementof</selector><ns0:expression><sequence><ns0:expression><selectable><selector>refpartition</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><nonterminal>PartitionOperator.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><nonterminal>CyclicEnumeration</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><nonterminal>CyclicEnumOperator</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>CyclicEnumeration</nonterminal><ns0:expression><selectable><selector>cyclicenumeration</selector><ns0:expression><nonterminal>FiniteEnumeration.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>CyclicEnumOperator.content</nonterminal><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>CyclicEnumOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>Successor</nonterminal></ns0:expression><ns0:expression><nonterminal>Predecessor</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>Successor</nonterminal><ns0:expression><selectable><selector>successor</selector><ns0:expression><nonterminal>CyclicEnumOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Predecessor</nonterminal><ns0:expression><selectable><selector>predecessor</selector><ns0:expression><nonterminal>CyclicEnumOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>OperatorDeclaration</nonterminal><ns0:expression><nonterminal>FEConstant</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><nonterminal>FiniteEnumeration</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>FiniteEnumeration.content</nonterminal><ns0:expression><star><ns0:expression><nonterminal>FEConstant</nonterminal></ns0:expression></star></ns0:expression></ns0:production><ns0:production><nonterminal>FiniteEnumeration</nonterminal><ns0:expression><selectable><selector>finiteenumeration</selector><ns0:expression><nonterminal>FiniteEnumeration.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>FEConstant</nonterminal><ns0:expression><selectable><selector>feconstant</selector><ns0:expression><nonterminal>OperatorDeclaration.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><nonterminal>FiniteIntRange</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><nonterminal>FiniteIntRangeOperator</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant</nonterminal><ns0:expression><nonterminal>FiniteIntRangeConstant</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>FiniteIntRange</nonterminal><ns0:expression><selectable><selector>finiteintrange</selector><ns0:expression><sequence><ns0:expression><selectable><selector>start</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>end</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>FiniteIntRangeOperator.content</nonterminal><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>FiniteIntRangeOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>FIRLessThan</nonterminal></ns0:expression><ns0:expression><nonterminal>FIRLessThanOrEqual</nonterminal></ns0:expression><ns0:expression><nonterminal>FIRGreaterThan</nonterminal></ns0:expression><ns0:expression><nonterminal>FIRGreaterThanOrEqual</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>FIRLessThan</nonterminal><ns0:expression><selectable><selector>lessthan</selector><ns0:expression><nonterminal>FiniteIntRangeOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>FIRLessThanOrEqual</nonterminal><ns0:expression><selectable><selector>lessthanorequal</selector><ns0:expression><nonterminal>FiniteIntRangeOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>FIRGreaterThan</nonterminal><ns0:expression><selectable><selector>greaterthan</selector><ns0:expression><nonterminal>FiniteIntRangeOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>FIRGreaterThanOrEqual</nonterminal><ns0:expression><selectable><selector>greaterthanorequal</selector><ns0:expression><nonterminal>FiniteIntRangeOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>FiniteIntRangeConstant</nonterminal><ns0:expression><selectable><selector>finiteintrangeconstant</selector><ns0:expression><sequence><ns0:expression><selectable><selector>value</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><nonterminal>FiniteIntRange</nonterminal></ns0:expression><ns0:expression><nonterminal>BuiltInConstant.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Operator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>Equality</nonterminal></ns0:expression><ns0:expression><nonterminal>Inequality</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><nonterminal>Bool</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><nonterminal>BooleanOperator</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant</nonterminal><ns0:expression><nonterminal>BooleanConstant</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>Bool</nonterminal><ns0:expression><selectable><selector>bool</selector><ns0:expression><epsilon /></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BooleanOperator.content</nonterminal><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BooleanOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>And</nonterminal></ns0:expression><ns0:expression><nonterminal>Or</nonterminal></ns0:expression><ns0:expression><nonterminal>Imply</nonterminal></ns0:expression><ns0:expression><nonterminal>Not</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>And</nonterminal><ns0:expression><selectable><selector>and</selector><ns0:expression><nonterminal>BooleanOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Or</nonterminal><ns0:expression><selectable><selector>or</selector><ns0:expression><nonterminal>BooleanOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Not</nonterminal><ns0:expression><selectable><selector>not</selector><ns0:expression><nonterminal>BooleanOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Imply</nonterminal><ns0:expression><selectable><selector>imply</selector><ns0:expression><nonterminal>BooleanOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Equality</nonterminal><ns0:expression><selectable><selector>equality</selector><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Inequality</nonterminal><ns0:expression><selectable><selector>inequality</selector><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BooleanConstant</nonterminal><ns0:expression><selectable><selector>booleanconstant</selector><ns0:expression><sequence><ns0:expression><selectable><selector>value</selector><ns0:expression><choice><ns0:expression><terminal>true</terminal></ns0:expression><ns0:expression><terminal>false</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression><ns0:expression><nonterminal>BuiltInConstant.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>Cardinality</nonterminal></ns0:expression><ns0:expression><nonterminal>CardinalityOf</nonterminal></ns0:expression><ns0:expression><nonterminal>Contains</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>MultisetOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>Add</nonterminal></ns0:expression><ns0:expression><nonterminal>All</nonterminal></ns0:expression><ns0:expression><nonterminal>NumberOf</nonterminal></ns0:expression><ns0:expression><nonterminal>Subtract</nonterminal></ns0:expression><ns0:expression><nonterminal>ScalarProduct</nonterminal></ns0:expression><ns0:expression><nonterminal>Empty</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>Add</nonterminal><ns0:expression><selectable><selector>add</selector><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Subtract</nonterminal><ns0:expression><selectable><selector>subtract</selector><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>All</nonterminal><ns0:expression><selectable><selector>all</selector><ns0:expression><sequence><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Empty</nonterminal><ns0:expression><selectable><selector>empty</selector><ns0:expression><sequence><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>ScalarProduct</nonterminal><ns0:expression><selectable><selector>scalarproduct</selector><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>NumberOf</nonterminal><ns0:expression><selectable><selector>numberof</selector><ns0:expression><nonterminal>MultisetOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Cardinality</nonterminal><ns0:expression><selectable><selector>cardinality</selector><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>CardinalityOf</nonterminal><ns0:expression><selectable><selector>cardinalityof</selector><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Contains</nonterminal><ns0:expression><selectable><selector>contains</selector><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><nonterminal>Dot</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant</nonterminal><ns0:expression><nonterminal>DotConstant</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>Dot</nonterminal><ns0:expression><selectable><selector>dot</selector><ns0:expression><epsilon /></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>DotConstant</nonterminal><ns0:expression><selectable><selector>dotconstant</selector><ns0:expression><epsilon /></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><nonterminal>Number</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><nonterminal>IntegerOperator</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant</nonterminal><ns0:expression><nonterminal>NumberConstant</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>Number</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>Natural</nonterminal></ns0:expression><ns0:expression><nonterminal>Positive</nonterminal></ns0:expression><ns0:expression><nonterminal>Integer</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>Integer</nonterminal><ns0:expression><selectable><selector>integer</selector><ns0:expression><epsilon /></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Natural</nonterminal><ns0:expression><selectable><selector>natural</selector><ns0:expression><epsilon /></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Positive</nonterminal><ns0:expression><selectable><selector>positive</selector><ns0:expression><epsilon /></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>IntegerOperator.content</nonterminal><ns0:expression><nonterminal>BuiltInOperator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>IntegerOperator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>Addition</nonterminal></ns0:expression><ns0:expression><nonterminal>Subtraction</nonterminal></ns0:expression><ns0:expression><nonterminal>Multiplication</nonterminal></ns0:expression><ns0:expression><nonterminal>Division</nonterminal></ns0:expression><ns0:expression><nonterminal>Modulo</nonterminal></ns0:expression><ns0:expression><nonterminal>GreaterThan</nonterminal></ns0:expression><ns0:expression><nonterminal>GreaterThanOrEqual</nonterminal></ns0:expression><ns0:expression><nonterminal>LessThan</nonterminal></ns0:expression><ns0:expression><nonterminal>LessThanOrEqual</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>NumberConstant</nonterminal><ns0:expression><selectable><selector>numberconstant</selector><ns0:expression><sequence><ns0:expression><selectable><selector>value</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><sequence><ns0:expression><nonterminal>BuiltInConstant.content</nonterminal></ns0:expression><ns0:expression><nonterminal>Number</nonterminal></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>LessThan</nonterminal><ns0:expression><selectable><selector>lt</selector><ns0:expression><nonterminal>IntegerOperator</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>LessThanOrEqual</nonterminal><ns0:expression><selectable><selector>leq</selector><ns0:expression><nonterminal>IntegerOperator</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>GreaterThan</nonterminal><ns0:expression><selectable><selector>gt</selector><ns0:expression><nonterminal>IntegerOperator</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>GreaterThanOrEqual</nonterminal><ns0:expression><selectable><selector>geq</selector><ns0:expression><nonterminal>IntegerOperator</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Addition</nonterminal><ns0:expression><selectable><selector>addition</selector><ns0:expression><nonterminal>IntegerOperator</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Subtraction</nonterminal><ns0:expression><selectable><selector>subtraction</selector><ns0:expression><nonterminal>IntegerOperator</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Multiplication</nonterminal><ns0:expression><selectable><selector>mult</selector><ns0:expression><nonterminal>IntegerOperator</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Division</nonterminal><ns0:expression><selectable><selector>div</selector><ns0:expression><nonterminal>IntegerOperator</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Modulo</nonterminal><ns0:expression><selectable><selector>mod</selector><ns0:expression><nonterminal>IntegerOperator</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>net.labels</nonterminal><ns0:expression><star><ns0:expression><nonterminal>HLDeclaration</nonterminal></ns0:expression></star></ns0:expression></ns0:production><ns0:production><nonterminal>page.labels</nonterminal><ns0:expression><star><ns0:expression><nonterminal>HLDeclaration</nonterminal></ns0:expression></star></ns0:expression></ns0:production><ns0:production><nonterminal>place.labels</nonterminal><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>Type</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>HLMarking</nonterminal></ns0:expression></optional></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>transition.labels</nonterminal><ns0:expression><optional><ns0:expression><nonterminal>Condition</nonterminal></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>arc.labels</nonterminal><ns0:expression><optional><ns0:expression><nonterminal>HLAnnotation</nonterminal></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>HLDeclaration</nonterminal><ns0:expression><selectable><selector>declaration</selector><ns0:expression><sequence><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>structure</selector><ns0:expression><nonterminal>Declarations</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Type</nonterminal><ns0:expression><selectable><selector>type</selector><ns0:expression><sequence><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>structure</selector><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>HLMarking</nonterminal><ns0:expression><selectable><selector>hlinitialMarking</selector><ns0:expression><sequence><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>structure</selector><ns0:expression><nonterminal>Term</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Condition</nonterminal><ns0:expression><selectable><selector>condition</selector><ns0:expression><sequence><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>structure</selector><ns0:expression><nonterminal>Term</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>HLAnnotation</nonterminal><ns0:expression><selectable><selector>hlinscription</selector><ns0:expression><sequence><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>structure</selector><ns0:expression><nonterminal>Term</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Declarations</nonterminal><ns0:expression><selectable><selector>declarations</selector><ns0:expression><star><ns0:expression><nonterminal>Declaration</nonterminal></ns0:expression></star></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Declaration.content</nonterminal><ns0:expression><sequence><ns0:expression><selectable><selector>id</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>name</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>Declaration</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>SortDeclaration</nonterminal></ns0:expression><ns0:expression><nonterminal>VariableDeclaration</nonterminal></ns0:expression><ns0:expression><nonterminal>OperatorDeclaration</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>VariableDeclaration</nonterminal><ns0:expression><selectable><selector>variabledecl</selector><ns0:expression><sequence><ns0:expression><nonterminal>Declaration.content</nonterminal></ns0:expression><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>SortDeclaration.content</nonterminal><ns0:expression><nonterminal>Declaration.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>SortDeclaration</nonterminal><ns0:expression><nonterminal>NamedSort</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>OperatorDeclaration.content</nonterminal><ns0:expression><nonterminal>Declaration.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>OperatorDeclaration</nonterminal><ns0:expression><nonterminal>NamedOperator</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>Variable</nonterminal><ns0:expression><selectable><selector>variable</selector><ns0:expression><selectable><selector>refvariable</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>NamedSort</nonterminal><ns0:expression><selectable><selector>namedsort</selector><ns0:expression><sequence><ns0:expression><nonterminal>SortDeclaration.content</nonterminal></ns0:expression><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>NamedOperator</nonterminal><ns0:expression><selectable><selector>namedoperator</selector><ns0:expression><sequence><ns0:expression><nonterminal>OperatorDeclaration.content</nonterminal></ns0:expression><ns0:expression><selectable><selector>parameter</selector><ns0:expression><star><ns0:expression><nonterminal>VariableDeclaration</nonterminal></ns0:expression></star></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>def</selector><ns0:expression><nonterminal>Term</nonterminal></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Term.content</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>Term</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>Variable</nonterminal></ns0:expression><ns0:expression><nonterminal>Operator</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>Sort.content</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>Sort</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>BuiltInSort</nonterminal></ns0:expression><ns0:expression><nonterminal>MultisetSort</nonterminal></ns0:expression><ns0:expression><nonterminal>ProductSort</nonterminal></ns0:expression><ns0:expression><nonterminal>UserSort</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInSort</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>MultisetSort</nonterminal><ns0:expression><selectable><selector>multisetsort</selector><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>ProductSort</nonterminal><ns0:expression><selectable><selector>productsort</selector><ns0:expression><star><ns0:expression><nonterminal>Sort</nonterminal></ns0:expression></star></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>UserSort</nonterminal><ns0:expression><selectable><selector>usersort</selector><ns0:expression><selectable><selector>declaration</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>Operator.content</nonterminal><ns0:expression><star><ns0:expression><selectable><selector>subterm</selector><ns0:expression><nonterminal>Term</nonterminal></ns0:expression></selectable></ns0:expression></star></ns0:expression></ns0:production><ns0:production><nonterminal>Operator</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>BuiltInOperator</nonterminal></ns0:expression><ns0:expression><nonterminal>BuiltInConstant</nonterminal></ns0:expression><ns0:expression><nonterminal>MultisetOperator</nonterminal></ns0:expression><ns0:expression><nonterminal>Tuple</nonterminal></ns0:expression><ns0:expression><nonterminal>UserOperator</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator.content</nonterminal><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInOperator</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant.content</nonterminal><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>BuiltInConstant</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>MultisetOperator.content</nonterminal><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>MultisetOperator</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>Tuple</nonterminal><ns0:expression><selectable><selector>tuple</selector><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>UserOperator</nonterminal><ns0:expression><selectable><selector>useroperator</selector><ns0:expression><sequence><ns0:expression><selectable><selector>declaration</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><nonterminal>Operator.content</nonterminal></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>pnml.element</nonterminal><ns0:expression><selectable><selector>pnml</selector><ns0:expression><plus><ns0:expression><nonterminal>pnml.content</nonterminal></ns0:expression></plus></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>pnml.content</nonterminal><ns0:expression><nonterminal>net.element</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>net.element</nonterminal><ns0:expression><selectable><selector>net</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><nonterminal>nettype.uri</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>Name</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><nonterminal>net.labels</nonterminal></ns0:expression><ns0:expression><plus><ns0:expression><nonterminal>page.content</nonterminal></ns0:expression></plus></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>identifier.content</nonterminal><ns0:expression><selectable><selector>id</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>nettype.uri</nonterminal><ns0:expression><selectable><selector>type</selector><ns0:expression><terminal>http://www.pnml.org/version-2009/grammar/pnmlcoremodel</terminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>net.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>basicobject.content</nonterminal><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>Name</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>page.content</nonterminal><ns0:expression><selectable><selector>page</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>page.labels</nonterminal></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>netobject.content</nonterminal></ns0:expression></star></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>pagegraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>netobject.content</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>page.content</nonterminal></ns0:expression><ns0:expression><nonterminal>place.content</nonterminal></ns0:expression><ns0:expression><nonterminal>transition.content</nonterminal></ns0:expression><ns0:expression><nonterminal>refplace.content</nonterminal></ns0:expression><ns0:expression><nonterminal>reftrans.content</nonterminal></ns0:expression><ns0:expression><nonterminal>arc.content</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>page.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>place.content</nonterminal><ns0:expression><selectable><selector>place</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>place.labels</nonterminal></ns0:expression><ns0:expression><nonterminal>node.content</nonterminal></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>place.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>transition.content</nonterminal><ns0:expression><selectable><selector>transition</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>transition.labels</nonterminal></ns0:expression><ns0:expression><nonterminal>node.content</nonterminal></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>transition.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>node.content</nonterminal><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>nodegraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>reference</nonterminal><ns0:expression><selectable><selector>ref</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>refplace.content</nonterminal><ns0:expression><selectable><selector>referencePlace</selector><ns0:expression><nonterminal>refnode.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>reftrans.content</nonterminal><ns0:expression><selectable><selector>referenceTransition</selector><ns0:expression><nonterminal>refnode.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>refnode.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><nonterminal>reference</nonterminal></ns0:expression><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>node.content</nonterminal></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>arc.content</nonterminal><ns0:expression><selectable><selector>arc</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><selectable><selector>source</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>target</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>Name</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><nonterminal>arc.labels</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>edgegraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>arc.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>pagegraphics.content</nonterminal><ns0:expression><nonterminal>nodegraphics.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>nodegraphics.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>position.element</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>dimension.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>fill.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>line.element</nonterminal></ns0:expression></optional></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>edgegraphics.content</nonterminal><ns0:expression><sequence><ns0:expression><star><ns0:expression><nonterminal>position.element</nonterminal></ns0:expression></star></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>line.element</nonterminal></ns0:expression></optional></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>simpletext.content</nonterminal><ns0:expression><optional><ns0:expression><selectable><selector>text</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>annotationstandard.content</nonterminal><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>annotationgraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>simpletextlabel.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>simpletext.content</nonterminal></ns0:expression><ns0:expression><nonterminal>annotationstandard.content</nonterminal></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>Name</nonterminal><ns0:expression><selectable><selector>name</selector><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>annotationgraphics.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>offset.element</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>fill.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>line.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>font.element</nonterminal></ns0:expression></optional></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>position.element</nonterminal><ns0:expression><selectable><selector>position</selector><ns0:expression><nonterminal>coordinate.attributes</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>offset.element</nonterminal><ns0:expression><selectable><selector>offset</selector><ns0:expression><nonterminal>coordinate.attributes</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>coordinate.attributes</nonterminal><ns0:expression><sequence><ns0:expression><selectable><selector>x</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>y</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>dimension.element</nonterminal><ns0:expression><selectable><selector>dimension</selector><ns0:expression><sequence><ns0:expression><selectable><selector>x</selector><ns0:expression><nonterminal>positiveDecimal.content</nonterminal></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>y</selector><ns0:expression><nonterminal>positiveDecimal.content</nonterminal></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>positiveDecimal.content</nonterminal><ns0:expression><value>int</value></ns0:expression></ns0:production><ns0:production><nonterminal>fill.element</nonterminal><ns0:expression><selectable><selector>fill</selector><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>color</selector><ns0:expression><nonterminal>color.type</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>gradient-color</selector><ns0:expression><nonterminal>color.type</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>gradient-rotation</selector><ns0:expression><choice><ns0:expression><terminal>vertical</terminal></ns0:expression><ns0:expression><terminal>horizontal</terminal></ns0:expression><ns0:expression><terminal>diagonal</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>image</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>line.element</nonterminal><ns0:expression><selectable><selector>line</selector><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>shape</selector><ns0:expression><choice><ns0:expression><terminal>line</terminal></ns0:expression><ns0:expression><terminal>curve</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>color</selector><ns0:expression><nonterminal>color.type</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>width</selector><ns0:expression><nonterminal>positiveDecimal.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>style</selector><ns0:expression><choice><ns0:expression><terminal>solid</terminal></ns0:expression><ns0:expression><terminal>dash</terminal></ns0:expression><ns0:expression><terminal>dot</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>color.type</nonterminal><ns0:expression><value>string</value></ns0:expression></ns0:production><ns0:production><nonterminal>font.element</nonterminal><ns0:expression><selectable><selector>font</selector><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>family</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>style</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>weight</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>size</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>decoration</selector><ns0:expression><choice><ns0:expression><terminal>underline</terminal></ns0:expression><ns0:expression><terminal>overline</terminal></ns0:expression><ns0:expression><terminal>line-through</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>align</selector><ns0:expression><choice><ns0:expression><terminal>left</terminal></ns0:expression><ns0:expression><terminal>center</terminal></ns0:expression><ns0:expression><terminal>right</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>rotation</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>toolspecific.element</nonterminal><ns0:expression><selectable><selector>toolspecific</selector><ns0:expression><sequence><ns0:expression><selectable><selector>tool</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>version</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>anyElement</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>anyElement</nonterminal><ns0:expression><star><ns0:expression><choice><ns0:expression><any /></ns0:expression><ns0:expression><value>string</value></ns0:expression><ns0:expression><nonterminal>anyElement</nonterminal></ns0:expression></choice></ns0:expression></star></ns0:expression></ns0:production></ns0:grammar>