title: Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems.
abstract: Computational models are perceived as an attractive alternative to mathematical models (e.g., ordinary differential equations). These models incorporate a set of methods for specifying, modeling, testing, and simulating biological systems. In addition, they can be analyzed using algorithmic techniques (e.g., formal verification). This paper shows how formal verification is utilized in systems and synthetic biology through qualitative vs quantitative analysis. Here, we choose two well-known case studies: quorum sensing in P. aeruginosas and pulse generator. The paper reports verification analysis of two systems carried out using some model checking tools, integrated to the Infobiotics Workbench platform, where system models are based on stochastic P systems.
authors.affiliation: Department of Computer Science, University of Sheffield , Sheffield, S1 4DP, United Kingdom.
authors.forename: Savas
authors.initials: S
authors.lastname: Konur
authors.forename: Marian
authors.initials: M
authors.lastname: Gheorghe
authors.forename: Ciprian
authors.initials: C
authors.lastname: Dragomir
authors.forename: Laurentiu
authors.initials: L
authors.lastname: Mierla
authors.forename: Florentin
authors.initials: F
authors.lastname: Ipate
authors.forename: Natalio
authors.initials: N
authors.lastname: Krasnogor
mesh_terms: D000465:Algorithms; D058045:Artificial Cells; D001419:Bacteria / Q000235:genetics / Q000378:metabolism; D003198:Computer Simulation; D049452:Green Fluorescent Proteins / Q000235:genetics; D008954:Models, Biological; D015233:Models, Statistical; D011550:Pseudomonas aeruginosa / Q000378:metabolism; D053038:Quorum Sensing; D015398:Signal Transduction; D013269:Stochastic Processes; D058615:Synthetic Biology; D049490:Systems Biology
chemical_list: D049452:Green Fluorescent Proteins