Encoding Catalytic P Systems in π@

AbstractP 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