A Programming Perspective of the Membrane Systems

Authors

  • Gabriel Ciobanu Romanian Academy Institute of Computer Science Address: Blvd. Carol I nr.8, Ia¸si

Keywords:

membrane systems, operational semantics, arithmetical operations over multisets

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

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.

Published

2006-07-01

Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.