A P Systems Flat Form Preserving Step-by-step Behaviour

Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and complete with respect to some behavioural equivalence. To achieve this goal, we propose to transform the systems into a normal form with an equivalent semantics. As a first step, we introduce axioms which allow the transformation of membrane structures into flat membranes. We leave as future work the further step that leads to the wanted normal form.

[1]  Nadia Busi,et al.  Causality in Membrane Systems , 2007, Workshop on Membrane Computing.

[2]  Luca Aceto,et al.  Structural Operational Semantics , 1999, Handbook of Process Algebra.

[3]  Nadia Busi,et al.  Using well-structured transition systems to decide divergence for catalytic P systems , 2007, Theor. Comput. Sci..

[4]  Robert de Simone,et al.  Higher-Level Synchronising Devices in Meije-SCCS , 1985, Theor. Comput. Sci..

[5]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[6]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[7]  Vincenzo Manca,et al.  Encoding-Decoding Transitional Systems for Classes of P Systems , 2005, Workshop on Membrane Computing.

[8]  Gabriel Ciobanu,et al.  A rewriting logic framework for operational semantics of membrane systems , 2007, Theor. Comput. Sci..

[9]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[10]  Rudolf Freund,et al.  A Formal Framework for Static (Tissue) P Systems , 2007, Workshop on Membrane Computing.

[11]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[12]  Ion Petre,et al.  A Normal form for P-Systems , 1999, Bull. EATCS.

[13]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[14]  Paolo Milazzo,et al.  Compositional semantics and behavioral equivalences for P Systems , 2008, Theor. Comput. Sci..

[15]  Vincenzo Manca,et al.  P Systems for Biological Dynamics , 2006, Applications of Membrane Computing.