kPWorkbench: A Software Framework for Kernel P Systems

P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are de ned to unify the speci cation of di erent variants of P systems, motivated by challenging theoretical aspects and the need to model di erent problems. In this paper, we present kPWorkbench, a software framework developed to support kP systems. kPWorkbench integrates several simula- tion and veri cation tools and methods, and provides a software suit for the modelling and analysis of membrane systems.