WebPS: A Web-based P System Simulator with Query Facilities

Transition P systems and deterministic P systems with active membranes (see [4]) are simulated in various programming languages, and some of them are used to solve NP-complete problems as SAT, Subset Sum, Knapsack, and partition problems. P systems with active membranes, input membrane and external output are simulated in CLIPS, and used to solve NP-complete problems (see [5]). New variants of these simulators provide symport-antiport rules, and catalysts. A more complex simulator written in Visual C++ for P systems with active membranes and catalytic P systems is presented in [2]. It provides a graphical simulator, interactive definition, visualization of a defined membrane system, a scalable graphical representation of the computation, and step-by-step observations of the membrane system behavior. A parallel and cluster implementation for transition P systems in C++ and MPI is presented in [1]. The rules are implemented as threads. At the initialization phase, one thread is created for each rule. Since each rule is modelled as a separate thread, it should have the ability to decide its own applicability in a particular