Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking
- Submitting institution
-
Brunel University London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 059-190136-12826
- Type
- D - Journal article
- DOI
-
10.1186/s12859-019-2690-z
- Title of journal
- Bmc Bioinformatics
- Article number
- 173
- First page
- -
- Volume
- 20
- Issue
- Suppl 4
- ISSN
- 1471-2105
- Open access status
- Compliant
- Month of publication
- April
- Year of publication
- 2019
- URL
-
https://bmcbioinformatics.biomedcentral.com/articles/10.1186/s12859-019-2690-z
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- Yes
- Number of additional authors
-
3
- Research group(s)
-
1 - Artificial Intelligence (AI)
- Citation count
- 4
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The main innovations are the use of hybrid coloured Petri nets to model temporal and spatial aspects of communication between bacteria, and the application of temporal logic model checking over these highly complex models. The significance: the first time that spatial and temporal aspects of quorum sensing and related biofilm formation have been modelled. International collaborations are Germany (Prof Heiner & team). It is published in a leading journal ranked 9th out of 59 in Mathematical & Computational Biology according to the Web of Science.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
