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.