kPWorkbench: a software framework for Kernel P systems
Gheorghe, Marian ; Ipate, F. ; Mierla, L.M. ; Konur, Savas
Gheorghe, Marian
Ipate, F.
Mierla, L.M.
Konur, Savas
Publication Date
2015
End of Embargo
Supervisor
Rights
Peer-Reviewed
No
Open Access status
Accepted for publication
Institution
Department
Awarded
Embargo end date
Additional title
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.
Version
No full-text available in the repository
Citation
Gheorghe M, Ipate F, Mierla LM et al (2015) kPWorkbench: a software framework for Kernel P systems. In: Proceedings of the 13th Brainstorming Week on Membrane Computing. 2-6 Feb 2015, Universidad de Sevilla, Seville, Spain: 179-194.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Conference Paper