Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking.

ABSTRACT:

Background

Quorum sensing drives biofilm formation in bacteria in order to ensure that biofilm formation only occurs when colonies are of a sufficient size and density. This spatial behaviour is achieved by the broadcast communication of an autoinducer in a diffusion scenario. This is of interest, for example, when considering the role of gut microbiota in gut health. This behaviour occurs within the context of the four phases of bacterial growth, specifically in the exponential stage (phase 2) for autoinducer production and the stationary stage (phase 3) for biofilm formation.

Results

We have used coloured hybrid Petri nets to step-wise develop a flexible computational model for E.coli biofilm formation driven by Autoinducer 2 (AI-2) which is easy to configure for different

SUBMITTER: Gilbert D 

PROVIDER: S-EPMC6471779 | biostudies-literature | 2019 Apr

REPOSITORIES: biostudies-literature