Simulating Tissue P systems with promoters through MeCoSim and P- Lingua

Tissue P systems constitute a well-known class of comput- ing models in the research field of membrane computing. Inspired by the information exchange among cells and with the environment, they have attracted much attention over the last decade, with many interest ing variants emerging along the years. One of such variants, the so called tissue P systems with promoters, was proved to be Turing-universal even with a significantly restricted number of elements, and able to solve NP- complete problems. On the other hand, P-Lingua framework has pro vided useful tools to membrane computing community to model, debug and simulate different types of P systems, with a special relevance of P-Lingua language, pLinguaCore language and MeCoSim environment. This work presents new features introduced in the framework to cover the functionalities associated with tissue P systems with promoters, in- cluding extensions of the language, variants of tissue models and their corresponding simulators within P-Lingua version of MeCoSim. The new elements are described in detail, and the use of the tools is described through basic examples. Besides, a solution for SAT is experimentally validated using the developed software