@inbook{c73a471c4bed4895be36c26307300034,
title = "Modelling and Analysis of E. coli Respiratory Chain",
abstract = "In this chapter we present some results obtained in the study of the bacterium E. coli related to its behavior at different level of oxygen in the environment. The biological model is expressed in terms of different molecules and their reactions. First, an agent-based model of E. coli is implemented in the FLAME framework for multi-agents and some simulation results are given. Each agent is represented by an X-machine and the model corresponds to communicating X-machines. Then this model is transformed into a kernel P system. This kernel P system is implemented in the Rodin platform and in Spin and some properties are verified using the associated model checkers. Formulated using the LTL formalism, the verified properties refer to the variation of the number of different molecules as a result of the occurring reactions. Our main contribution is a simplified model of E. coli that preserves the main properties of the initial model, and can be formally verified using a model checker.",
author = "Adrian Turcanu and Lauren{\c t}iu Mierlǎ and Florentin Ipate and Alin Stefanescu and Hao Bai and Mike Holcombe and Simon Coakley",
year = "2013",
month = dec,
day = "18",
doi = "10.1007/978-3-319-03191-0_8",
language = "English",
isbn = "978-3-319-03190-3",
series = "Emergence, Complexity and Computation",
publisher = "Springer",
pages = "247--266",
editor = "Pierluigi Frisco and Marian Gheorghe and P{\'e}rez-Jim{\'e}nez, {Mario J.}",
booktitle = "Applications of Membrane Computing in Systems and Synthetic Biology",
edition = "1",
}