Ponencia
kPWorkbench: A Software Framework for Kernel P Systems
Autor/es | Gheorgue, Marian
Ipate, Florentin Mierla, Laurentiu Konur, Savas |
Fecha de publicación | 2015 |
Fecha de depósito | 2016-01-21 |
Publicado en |
|
ISBN/ISSN | 978-84-944366-2-8 |
Resumen | 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 ... 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
179_bwmc15.pdf | 403.4Kb | [PDF] | Ver/ | |