Representing Biological Systems with Multiset Rewriting

We report on preliminary experiments at using the Multiset Rewriting formalism MSR to specify biomolecular processes. The results are promising as MSR provides very direct and conceptually simple representations of our examples. MSR has been successfully used to describe and analyze complex distributed systems where global states evolves as the result of local transformations, such as security protocols.