Related Experiment Video
Updated: Apr 26, 2026

JUMPn: A Streamlined Application for Protein Co-Expression Clustering and Network Analysis in Proteomics
Published on: October 19, 2021
Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems
Savas Konur1, Marian Gheorghe, Ciprian Dragomir
1Department of Computer Science, University of Sheffield , Sheffield, S1 4DP, United Kingdom.
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.
Related Concept Videos
Synthetic Biology
Golden rice
Golden rice is a genetically modified...
Qualitative Analysis
For instance, group IV...
Qualitative Analysis
There are two main approaches to qualitative analysis:...
Signal and System
Classification of Systems-I
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
Phylogenetic Species Concept in Microbiology

