kPWorkbench: a software framework for Kernel P systems

Abstract

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 defined to unify the specification of different variants of P systems, motivated by challenging theoretical aspects and the need to model different problems. In this paper, we present kPWorkbench, a software framework developed to support kP systems. kPWorkbench integrates several simulation and verification tools and methods, and provides a software suit for the modelling and analysis of membrane systems.