Affiliations: [a] Research Group on Natural Computing, Department of Computer Sci. and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain. lfmaciasr@us.es, lvalencia@us.es | [b] Key Laboratory of Image Information Processing and Intelligent Control, School of Automation, Huazhong University of Science and Technology, Wuhan 430074, Hubei, China. boshengsong@163.com, songtao0608@hotmail.com, lqpan@mail.hust.edu.cn | [c] Research Group on Natural Computing, Department of Computer Sci. and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain. marper@us.es
Note: [*] Address for correspondence: Huazhong University of Science and Technology, Wuhan 430074, Hubei, China.
Abstract: 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.
Keywords: Bio-inspired Computing, Membrane Computing, P System, P-Lingua, MeCoSim
