Reversibility and Determinism in Sequential Multiset Rewriting

We study reversibility and determinism aspects of sequential multiset processing systems, and the strong versions of these properties. Syntactic criteria are established for both strong determinism and for strong reversibility. It also shown that without control all four classes -deterministic, strongly deterministic, reversible, strongly reversibleare not universal, while allowing priorities or inhibitors the first and the third class become universal. Moreover, strongly deterministic multiset rewriting systems with priorities are also universal.