A P–Lingua Based Simulator for P Systems with Symport/Antiport Rules

• Autorzy: Macías-Ramos L. F. , Valencia-Cabrera L. , Song B. , Song T. , Pan L. , Pérez-Jiménez M. J.

Identyfikatory

DOI

10.3233/FI-2015-1232

• Języki publikacji: EN

Abstrakty

EN

Inspired by mitosis process and membrane fission processes, cell-like P systems with symport/antiport rules and membrane division rules or membrane separation rules have been introduced, respectively. These computation systems have two key features: the ability to have infinite copies of some objects (within an active environment) and to generate an exponential workspace in polynomial time. In this work, we extend the P-Lingua framework for simulating that kind of P systems taking into account these two features. Consequently, a new simulator has been developed and included in pLinguaCore library. The functioning of the simulator has been checked by simulating efficient solutions to SAT problem using a family of cell-like P systems with symport/antiport rules and membrane division rules or membrane separation rules. The corresponding MeCoSim based application is also provided.

Słowa kluczowe

EN

bio-inspired computing; membrane computing; P system; P-lingua; MeCoSim

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2015
• Tom: Vol. 139, nr 2
• Strony: 211--227
• Opis fizyczny: Bibliogr. 15 poz., rys., tab.

Twórcy

autor

Macías-Ramos L. F.

• Research Group on Natural Computing, Department of Computer Sci. and Artificial Intelligence University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain

autor

Valencia-Cabrera L.

• Research Group on Natural Computing, Department of Computer Sci. and Artificial Intelligence University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain

autor

Song B.

• Key Laboratory of Image Information Processing and Intelligent Control School of Automation Huazhong University of Science and Technology, Wuhan 430074, Hubei, China

autor

Song T.

• Key Laboratory of Image Information Processing and Intelligent Control School of Automation Huazhong University of Science and Technology, Wuhan 430074, Hubei, China

autor

Pan L.

• Key Laboratory of Image Information Processing and Intelligent Control School of Automation Huazhong University of Science and Technology, Wuhan 430074, Hubei, China

autor

Pérez-Jiménez M. J.

• Research Group on Natural Computing, Department of Computer Sci. and Artificial Intelligence University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain

Bibliografia

• [1] García-Quismondo, M., Gutiérrez-Escudero, R., del Amor, M. A. M., Orejuela-Pinedo, E. F., Pérez-Hurtado, I.: P-Lingua 2.0: A software framework for cell-like P systems, International Journal of Computers, Communications and Control, IV, 2009, 234–243.
• [2] García-Quismondo, M., Gutiérrez-Escudero, R., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: An overview of P-Lingua 2.0. In: G. Păun, M.J. Pérez-Jiménez, A. Riscos-Núñez, G. Rozenberg, A. Salomaa (eds.) Membrane Computing, Lecture Notes in Computer Science, vol. 5957, pp. 264–288. Springer Berlin Heidelberg (2010).
• [3] Ionescu, M., Păun, Gh., Yokomori, T.: Spiking neural P systems, Fundamenta Informaticae, 71(2-3), 2006, 279–308.
• [4] Macías-Ramos, L.F., Song, B., Valencia-Cabrera, L., Pan, L., Pérez-Jiménez, M.J.: Membrane fission: a computational complexity perspective, Complexity, in press.
• [5] Martín-Vide, C., Păun, Gh., Pazos, J., Rodríguez-Patón, A.: Tissue P Systems, Theoretical Computer Science, 296(2), 2003, 295–326.
• [6] Martínez-del Amor, M. A., Pérez-Hurtado, I., Pérez-Jiménez, M. J., Riscos-Núñez, A.: A P-Lingua based simulator for tissue P systems, The Journal of Logic and Algebraic Programming, 79(6), 2010, 374 – 382.
• [7] Martínez-del Amor, M. A., García-Quismondo, M.,Macías-Ramos, L.F., Valencia-Cabrera, L., Riscos-Núñez, A., Pérez-Jiménez, M. J. Simulating P systems on GPU devices: a survey. Fundamenta Informaticae, 136 (3), 2015, 269–284.
• [8] Păun, Gh.: Computing with membranes, Journal of Computer and System Sciences, 61, 2000, 108–143.
• [9] Păun, A., Păun, Gh.: The power of communication: P systems with symport/antiport, New Generation Computing, 20(3), 2002, 295–305.
• [10] Păun, A., Păun, Gh., Rozenberg, G.: Computing by communication in networks of membranes, International Journal of Foundations of Computer Science, 13, 2002, 779–798.
• [11] Gh. Păun, G. Rozenberg, A. Salomaa (Eds.), The Oxford Handbook of Membrane Computing, Oxford University Press, New York, 2010.
• [12] Pérez-Hurtado, I., Valencia-Cabrera, L., Pérez-Jiménez, M. J., Colomer, M. A., Riscos-Núñez, A.: MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems, Bio-Inspired Computing: Theories and Applications (BIC-TA), 2010 IEEE Fifth International Conference on, IEEE, 2010.
• [13] Pérez-Hurtado, I., Valencia-Cabrera, L., Chacón, J. M., Riscos-Núñez, A., Pérez-Jiménez, M. J.: A P-Lingua based simulator for tissue P systems with cell separation, Romanian Journal of Information Science and Technology, 17, 2014, 89–102.
• [14] The MeCoSim Web Site: http://www.p-lingua.org/mecosim/.
• [15] The P-Lingua Website: http://www.p-lingua.org/.