Affiliations: LIACS, Leiden University, P.O. Box 9512, 2300 RA Leiden, The Netherlands. [email protected] | School of Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K. [email protected]
Note: [] Address for correspondence: LIACS, Leiden University, P.O. Box 9512, 2300 RA Leiden, The Netherlands
Abstract: In membrane systems, biochemical reactions taking place in the compartments of a cell are abstracted to evolution rules that specify which and how many objects are consumed and produced. The recently proposed reaction systems also investigate processes carried by biochemical reactions, but the resulting computational model is remarkably different. A key difference is that in reaction systems, biochemical reactions are modeled using a qualitative rather than a quantitative approach. In this paper, we introduce so-called set membrane systems, a variant of membrane systems with qualitative evolution rules inspired by reaction systems. We then relate set membrane systems to Petri nets which leads to a new class of Petri nets: set-nets with localities. This Petri net model provides a faithful match with the operational semantics of set membrane systems.
