Show simple item record

dc.contributor.authorBakir, M.E.*
dc.contributor.authorIpate, F.*
dc.contributor.authorKonur, Savas*
dc.contributor.authorMierla, L.M.*
dc.contributor.authorNiculescu, I.M.*
dc.date.accessioned2016-11-23T18:22:11Z
dc.date.available2016-11-23T18:22:11Z
dc.date.issued2014
dc.identifier.citationBakir 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.urihttp://hdl.handle.net/10454/10599
dc.descriptionNo
dc.description.abstractKernel 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.subjectKernel P systems; kP systems; Verification platform; Simulation
dc.titleExtended simulation and verification platform for kernel P systems
dc.status.refereedYes
dc.typeBook chapter
dc.type.versionNo full-text available in the repository
dc.identifier.doihttps://doi.org/10.1007/978-3-319-14370-5_10


This item appears in the following Collection(s)

Show simple item record