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

• Autorzy: Barbuti R. , Maggiolo-Schettini A. , Milazzo P. , Tini S.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

membrane computing; P systems; normal forms; reactive system; behavioral equivalence

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 87, nr 1
• Strony: 1--34
• Opis fizyczny: bibliogr. 15 poz., wykr.

Twórcy

autor

Barbuti R.

autor

Maggiolo-Schettini A.

autor

Milazzo P.

autor

Tini S.

• Dipartimento di Informatica, Universit`a di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy,

Bibliografia

• [1] L. Aceto,W. J. Fokkink and C. Verhoef: Structural Operational Semantics. In: J.A. Bergstra, A. Ponse and S.A. Smolka (Eds.), Handbook of Process Algebra, Elsevier, Amsterdam, 2001, 197-292.
• [2] O. Andrei, G. Ciobanu and D. Lucanu: A Rewriting Logic Framework for Operational Semantics ofMembrane Systems. Theoret. Comp. Sci. 373, 2007, 163-181.
• [3] R. Barbuti, A.Maggiolo-Schettini, P.Milazzo and S.Tini: Compositional Semantics and Behavioral Equivalences for P Systems. Theoret. Comput. Sci. 395, 2008, 77-100.
• [4] L. Bianco and V. Manca: Encoding-Decoding Transitional Systems for Classes of P Systems. Proc.Workshop on Membrane Computing (WMC 2005), Lecture Notes in Computer Science 3850, Springer, Berlin, 2006, 134-143.
• [5] L. Bianco, F. Fontana, G. Franco and V. Manca: P Systems for Biological Dynamics. Proc. Applications of Membrane Computing, Springer, Berlin, 2006, 83-128.
• [6] N. Busi: UsingWell-structured Transition Systems to Decide Divergence for Catalytic P Systems. Theoret. Comput. Sci. 372, 2007, 125-135.
• [7] N. Busi: Causality in Membrane Systems. Proc. Workshop on Membrane Computing (WMC 2007), Lecture Notes in Computer Science 4860, Springer, Berlin, 2007, 160-171.
• [8] R. de Simone: High Level Synchronization Devices in Meije-SCCS. Theoret. Comput. Sci. 37, 1985, 245-267.
• [9] R. Freund and S. Verlan: A Formal Framework for Static (Tissue) P Systems. Proc.Workshop onMembrane Computing (WMC 2007), Lecture Notes in Computer Science 4860, Springer, Berlin, 2007, 271-284.
• [10] D. Harel and A. Pnueli: On the Development of Reactive Systems. In: K.R. Apt (editor), Logic andModels of Concurrent Systems, NATO, ASI-13, Springer, New York, 1985, 477-498.
• [11] R. Milner: Communication and Concurrency. Prentice-Hall, London, 1989.
• [12] D. Park: Concurrency and Automata on Infinite Sequences. Proc. Proc. Theoretical Computer Science: 5th GI conference, Lecture Notes in Computer Science 104, Springer, Berlin, 1981, 167-183.
• [13] G. Pˇaun: Membrane computing. An introduction, Springer, 2002.
• [14] I. Petre: A Normal Form for P-Systems. Bulletin of the EATCS 67 1999, 165-172.
• [15] G. Plotkin: A Structural Approach to Operational Semantics. J. Log. Algebr. Program. 60-61, 2004, 17-139.