Representing Biological Systems with Multiset Rewriting

Martinelli, F. and Bistarelli, S. and Cervesato, I. and Lenzini, G. and Marangoni, R. (2003) Representing Biological Systems with Multiset Rewriting. In: EUROCAST 2003: 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain.

Preview

PDF
139Kb

Abstract:	We model qualitative and quantitative aspects of metabolic pathways by using a stochastic version of Multiset Rewriting (SMSR). They offer a natural way of describing both the static and the dynamic aspects of metabolic pathways. We argue that, due to its simple conceptual model, SMSR may be conveniently used as an intermediate language where many higher level specification languages may be compiled (e.g., as in the security protocol example). As a first step, we show also how SMSR may be used to simulate Stochastic Petri Nets for describing metabolic pathways.
Item Type:	Conference or Workshop Item
Copyright:	©2003 Springer
Research Group:	Distributed and Embedded Systems (DIES)
Link to this item:	http://purl.utwente.nl/publications/46128
Official URL:	http://dx.doi.org/10.1007/b13239
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 214093