RELAX NG implementation of Multisets grammar.
This schema implements the multiset constructs package for High-level Petri Nets.
File name: multisets.rng
Version: 2009
(c) 2007-2009
Lom Hillah (AFNOR)
Revision:
July 2008 - L.H
Cardinality, CardinalityOf, Contains are built-in operators
The concrete Multiset Operators.
Defines the 'addition' of multisets.
Defines the 'subtraction' of two multisets.
Defines the 'broadcast' operator over a multiset.
Defines the 'empty' multiset.
Defines the 'scalar product' of multisets.
Defines the construction of a multiset with a natural number
and an element of a sort.
Defines the cardinality of a multiset.
Defines the cardinality of an element in a multiset.
Defines the containment relationship between two multisets.