A Programming Perspective of the Membrane Systems

Gabriel Ciobanu

Abstract


We present an operational semantics of the membrane systems, using an appropriate notion of configurations and sets of inference rules corresponding to the three stages of an evolution step in membrane systems: maximal parallel rewriting step, parallel communication of objects through membranes, and parallel membrane dissolving.
We define various arithmetical operations over multisets in the framework of membrane systems, indicating their complexity and presenting the membrane systems which implement the arithmetic operations.
Finally we discuss and compare various sequential and parallel software simulators of the membrane systems, emphasizing their specific features


Keywords


membrane systems, operational semantics, arithmetical operations over multisets

Full Text:

PDF

References


O. Andrei, G. Ciobanu, D. Lucanu. Executable Specifications of the P Systems. In Membrane Computing WMC5, LNCS vol.3365, Springer, 127-146, 2005.

O. Andrei, G. Ciobanu, D. Lucanu. Structural Operational Semantics of P Systems. Proceedings WMC6, LNCS vol.3850, Springer, 32-49, 2006.

O. Andrei, G. Ciobanu, D. Lucanu. Operational Semantics and Rewriting Logic in Membrane Computing. Proceedings SOS Workshop 2005, to appear in ENTCS.

H. Attiya, J. Welch, Distributed Computing: Fundamentals, Simulations and Advanced Topics. McGraw-Hill, 2000.

C. Bonchiș, G. Ciobanu, C. Izbașa. Encodings and Arithmetic Operations in Membrane Computing. In Jin-Yi Cai, S. Barry Cooper, Angsheng Li (Eds.): Theory and Applications of Models of Computation, LNCS 3959, Springer, 618–627, 2006.

C. Bonchiș, G.Ciobanu, C. Izbașa, D. Petcu. A Web-based P systems simulator and its parallelization. In C.Calude et al. (Eds.): Unconventional Computing, LNCS vol.3699, Springer, 58-69, 2005.
http://dx.doi.org/10.1007/11560319_7

G. Ciobanu. Distributed Algorithms over Communicating Membrane Systems. Biosystems vol.70, Elsevier, 123-133, 2003.

G. Ciobanu, R. Desai, A. Kumar. Membrane Systems and Distributed Computing. In Proceedings WMC3, LNCS vol.2597, Springer, 187-202, 2003.
http://dx.doi.org/10.1007/3-540-36490-0_12

G. Ciobanu, W. Guo. P Systems Running on a Cluster of Computers. In Procedings 4th WMC, Taragona, LNCS vol.2933, Springer, 123-139, 2004.

G. Ciobanu, D. Paraschiv. P System Software Simulator. Fundamenta Informaticae 49, 61-66, 2002.

G. Ciobanu, Gh. Păun, Gh.Ștefănescu. Sevilla Carpets Associated with P Systems. Report 26/03 Rovira i Virgili University, Tarragona, 135-140, 2003.

G. Ciobanu, Gh. Păun, Gh. Ștefănescu. P Transducers. New Generation Computing 24, 1–28, 2006.
http://dx.doi.org/10.1007/BF03037291

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J.F. Quesada. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science, vol.285, 187-243, 2002.
http://dx.doi.org/10.1016/S0304-3975(01)00359-0

A. Cordon-Franco, M.A. Gutierrez-Naranjo, M.J. Perez-Jimenez, A. Riscos-Nunez, F. Sancho- Caparrini. Implementing in Prolog an Effective Cellular Solution for the Knapsack Problem. In Proceedings 4th WMC, Taragona, LNCS vol.2933, Springer, 140-152, 2004.

G. Kahn. Natural semantics, Technical Report 601, INRIA Sophia Antipolis, 1987.

R. Milner. Operational and algebraic semantics of concurrent processes. In J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science vol.B, 1201-1242, Elsevier Science, 1990.
http://dx.doi.org/10.1016/b978-0-444-88074-1.50024-x

Gh. Păun. Membrane Computing. An Introduction. Springer, 2002.
http://dx.doi.org/10.1007/978-3-642-56196-2

M.J. Perez-Jimenez, F.J. Romero-Campero. A CLIPS Simulator for Recognizer P Systems with Active Membranes. In Proceedings 2nd Brainstorming Week on Membrane Computing, University of Sevilla Tech. Rep 01/2004, 387-413, 2004.

G. Plotkin. Structural operational semantics. Journal of Logic and Algebraic Programming vol.60, 17-139, 2004.

A. Riscos-Nú-ez, Cellular Programming: Efficient Resolution of Numerical NP-Complete Problems. PhD Thesis, University of Seville, 2004.




DOI: https://doi.org/10.15837/ijccc.2006.3.2291



Copyright (c) 2017 Gabriel Ciobanu

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

CC-BY-NC  License for Website User

Articles published in IJCCC user license are protected by copyright.

Users can access, download, copy, translate the IJCCC articles for non-commercial purposes provided that users, but cannot redistribute, display or adapt:

  • Cite the article using an appropriate bibliographic citation: author(s), article title, journal, volume, issue, page numbers, year of publication, DOI, and the link to the definitive published version on IJCCC website;
  • Maintain the integrity of the IJCCC article;
  • Retain the copyright notices and links to these terms and conditions so it is clear to other users what can and what cannot be done with the  article;
  • Ensure that, for any content in the IJCCC article that is identified as belonging to a third party, any re-use complies with the copyright policies of that third party;
  • Any translations must prominently display the statement: "This is an unofficial translation of an article that appeared in IJCCC. Agora University  has not endorsed this translation."

This is a non commercial license where the use of published articles for commercial purposes is forbiden. 

Commercial purposes include: 

  • Copying or downloading IJCCC articles, or linking to such postings, for further redistribution, sale or licensing, for a fee;
  • Copying, downloading or posting by a site or service that incorporates advertising with such content;
  • The inclusion or incorporation of article content in other works or services (other than normal quotations with an appropriate citation) that is then available for sale or licensing, for a fee;
  • Use of IJCCC articles or article content (other than normal quotations with appropriate citation) by for-profit organizations for promotional purposes, whether for a fee or otherwise;
  • Use for the purposes of monetary reward by means of sale, resale, license, loan, transfer or other form of commercial exploitation;

    The licensor cannot revoke these freedoms as long as you follow the license terms.

[End of CC-BY-NC  License for Website User]


INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL (IJCCC), With Emphasis on the Integration of Three Technologies (C & C & C),  ISSN 1841-9836.

IJCCC was founded in 2006,  at Agora University, by  Ioan DZITAC (Editor-in-Chief),  Florin Gheorghe FILIP (Editor-in-Chief), and  Misu-Jan MANOLESCU (Managing Editor).

Ethics: This journal is a member of, and subscribes to the principles of, the Committee on Publication Ethics (COPE).

Ioan  DZITAC (Editor-in-Chief) at COPE European Seminar, Bruxelles, 2015:

IJCCC is covered/indexed/abstracted in Science Citation Index Expanded (since vol.1(S),  2006); JCR2018: IF=1.585..

IJCCC is indexed in Scopus from 2008 (CiteScore2018 = 1.56):

Nomination by Elsevier for Journal Excellence Award Romania 2015 (SNIP2014 = 1.029): Elsevier/ Scopus

IJCCC was nominated by Elsevier for Journal Excellence Award - "Scopus Awards Romania 2015" (SNIP2014 = 1.029).

IJCCC is in Top 3 of 157 Romanian journals indexed by Scopus (in all fields) and No.1 in Computer Science field by Elsevier/ Scopus.

 

 Impact Factor in JCR2018 (Clarivate Analytics/SCI Expanded/ISI Web of Science): IF=1.585 (Q3). Scopus: CiteScore2018=1.56 (Q2); Editors-in-Chief: Ioan DZITAC & Florin Gheorghe FILIP.