Toggle Main Menu Toggle Search

Open Access padlockePrints

Qualitative and Quantitative Analysis of Systems and Synthetic Biology Constructs using P Systems

Lookup NU author(s): Professor Natalio KrasnogorORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.

Publication metadata

Author(s): Konur S, Gheorghe M, Dragomir C, Mierla L, Ipate F, Krasnogor N

Publication type: Article

Publication status: Published

Journal: ACS Synthetic Biology

Year: 2015

Volume: 4

Issue: 1

Pages: 83-92

Print publication date: 01/01/2015

Online publication date: 04/08/2014

Acceptance date: 07/03/2014

ISSN (electronic): 2161-5063

Publisher: American Chemical Society


DOI: 10.1021/sb500134w


Altmetrics provided by Altmetric


Funder referenceFunder name
PN-II-ID-PCE-2011-3-0688Mu Vet project, (CNCS UEFISCDI)