Extended simulation and verification platform for kernel P systems

Description

No / 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.

Links & Downloads

1. 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.
2. http://hdl.handle.net/10454/10599
3. https://doi.org/10.1007/978-3-319-14370-5_10

Tags

Kernel P systems

kP systems

Verification platform

Simulation

Additional Fields

Identifer	oai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/10599
Date	January 2014
Creators	Bakir, M.E., Ipate, F., Konur, Savas, Mierla, L.M., Niculescu, I.M.
Source Sets	Bradford Scholars
Language	English
Detected Language	English
Type	Book chapter, No full-text in the repository