Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGilbert, D-
dc.contributor.authorHeiner, M-
dc.contributor.authorGhanbar, L-
dc.contributor.authorChodak, J-
dc.identifier.citationBMC Bioinformatics, 20 (Suppl 4):173, pp. 1-23en_US
dc.descriptionFrom The 2017 Network Tools and Applications in Biology (NETTAB) Workshop Palermo, Italy. 16–18 October 2017-
dc.description.abstractBackground: 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 notions of space. The model describes the essential components of gene transcription, signal transduction, extra and intra cellular transport, as well as the two-phase nature of the system. We build on a previously published non-spatial stochastic Petri net model of AI-2 production, keeping the assumptions of a limited nutritional environment, and our spatial hybrid Petri net model of biofilm formation, first presented at the NETTAB 2017 workshop. First we consider the two models separately without space, and then combined, and finally we add space. We describe in detail our step-wise model development and validation. Our simulation results support the expected behaviour that biofilm formation is increased in areas of higher bacterial colony size and density. Our analysis techniques include behaviour checking based on linear time temporal logic. Conclusions: The advantages of our modelling and analysis approach are the description of quorum sensing and associated biofilm formation over two phases of bacterial growth, taking into account bacterial spatial distribution using a flexible and easy to maintain computational model. All computational results are reproducible.en_US
dc.description.sponsorshipThe open access fee has been covered by Brunel University London-
dc.publisherBioMed Centralen_US
dc.subjectquorum sensingen_US
dc.subjectbiofilm formationen_US
dc.subjectcoloured hybrid Petri netsen_US
dc.subjectcoloured stochastic Petri netsen_US
dc.subjectdiffusion in 3D spaceen_US
dc.subjectsimulative model checkingen_US
dc.titleSpatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checkingen_US
dc.relation.isPartOfBMC Bioinformatics-
Appears in Collections:Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
FullText.pdf4.4 MBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.