Extended simulation and verification platform for kernel P systems
Bakir, M.E. Ipate, F. Konur, Savas Mierla, L.M. Niculescu, I.M.
Bakir, M.E.
Ipate, F.
Konur, Savas
Mierla, L.M.
Niculescu, I.M.
Publication Date
2014
End of Embargo
Supervisor
Rights
Peer-Reviewed
Yes
Open Access status
closedAccess
Accepted for publication
Institution
Department
Awarded
Embargo end date
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.
Version
No full-text in the repository
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.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Book chapter