2016-01-212016-01-212015978-84-944366-2-8http://hdl.handle.net/11441/33048P 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.application/pdfengAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/openAccesshttps://idus.us.es/xmlui/handle/11441/33048