A Programming Perspective of the Membrane Systems
Keywords:
membrane systems, operational semantics, arithmetical operations over multisetsAbstract
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
Issue
Section
License
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.
