Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework

Tissue P systems constitute a well-known class of computing models within membrane computing. Inspired by the information exchange among cells and with the environment, many interesting variants emerged along the years, attracting significant attention. One of such variants, tissue P systems with promoters, was proved to be Turing-universal (even when restricting to a very limited number of elements) and able to solve NP-complete problems. On the other hand, P-Lingua framework provides useful tools to model, debug and simulate different types of P systems with a special relevance of the P-Lingua language, pLinguaCore library and MeCoSim environment. This work presents new features introduced in the framework to cover functionalities associated with tissue P systems with promoters, including extensions of the language, variants of tissue models and their 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.