Regulated Multiset Rewriting Systems

Multiset rewriting systems provide a formalism particularly suitable for the description of biological systems. We present an extension of this formalism with additional controls on the derivations as a tool for reducing possible non-deterministic behaviour by providing additional knowledge about the system. We introduce several regulation mechanisms and compare their generative power.