Encoding Catalytic P Systems in π@

https://doi.org/10.1016/j.entcs.2007.05.015Get rights and content
Under a Creative Commons license
open access

Abstract

P systems are theoretical computing devices abstracted away from the biological architecture of the cell, introduced some years ago by Gheorghe Păun and now intensely studied. In the area of concurrent systems, process calculi have recently been applied and extended with similar aim, to simulate (and formalise) the behaviour of the cell. Although many common points can be found between the two approaches, no formal and exhaustive comparison has been carried out yet.

π@ is a new calculus, strongly π-Calculus based, well-suited to easily encode biologically inspired process calculi. In this paper the encoding in π@ of one variant of P systems is proposed, thus allowing a better understanding of similarities between P systems and bio-inspired process calculi.

Keywords

systems biology
membrane computing
catalytic P systems
process algebra
priority

Cited by (0)