Published in Volume XVIII, 2008, pages 99-127
Authors: G.M. Pinna and A. Saba
Abstract
Membrane systems have many similarities with classical concurrency models. In particular notions like parallelism, causality and concurrency seem to belong to membrane computing, though they are not yet regarded as central or cornerstone notions.
Recently the interest in comparing membrane systems and other models for concurrency has grown. In this paper we propose a translation of membrane system into zero safe nets and then we show how to associate an event automaton to the 1-unfolding of these nets. Thus we propose an event based view of computations of a membrane system.
Bibtex
@article{sacscuza:pinna2008aebsops, title={An Event Based Semantics of P Systems}, author={G.M. Pinna and A. Saba}, journal={Scientific Annals of Computer Science}, volume={18}, organization={``A.I. Cuza'' University, Iasi, Romania}, year={2008}, pages={99--127}, publisher={``A.I. Cuza'' University Press} }