Extended simulation and verification platform for kernel P systems
| dc.contributor.author | Bakir, M.E. | * |
| dc.contributor.author | Ipate, F. | * |
| dc.contributor.author | Konur, Savas | * |
| dc.contributor.author | Mierla, L.M. | * |
| dc.contributor.author | Niculescu, I.M. | * |
| dc.date.accessioned | 2016-11-23T18:22:11Z | |
| dc.date.available | 2016-11-23T18:22:11Z | |
| dc.date.issued | 2014 | |
| dc.identifier.citation | Bakir ME, Ipate F, Konur S et al (2014) Extended simulation and verification platform for kernel P systems. In: Gheorghe M, Rozenberg G, Salomaa A et al (Eds) Membrane Computing. Lecture Notes in Computer Science. Vol 8961. Cham, Switzerland: Springer: 158-178. | |
| dc.identifier.uri | http://hdl.handle.net/10454/10599 | |
| dc.description | No | |
| dc.description.abstract | Kernel P systems integrate in a coherent and elegant manner many of the features of different P system variants, successfully used for modelling various applications. In this paper, we present our initial attempt to extend the software framework developed to support kernel P systems: a formal verification tool based on the NuSMV model checker and a large scale simulation environment based on FLAME. The use of these two tools for modelling and analysis of biological systems is illustrated with a synthetic biology example. | |
| dc.relation.isreferencedby | https://doi.org/10.1007/978-3-319-14370-5_10 | |
| dc.subject | Kernel P systems; kP systems; Verification platform; Simulation | |
| dc.title | Extended simulation and verification platform for kernel P systems | |
| dc.status.refereed | Yes | |
| dc.type | Book chapter | |
| dc.type.version | No full-text available in the repository |