Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking
Author: | David Gilbert, Monika HeinerORCiD, Leila Ghanbar, Jacek Chodak |
---|---|
DOI: | https://doi.org/10.1186/s12859-019-2690-z |
ISSN: | 1471-2105 |
Title of the source (English): | BMC Bioinformatics |
Document Type: | Scientific journal article peer-reviewed |
Language: | English |
Year of publication: | 2019 |
Volume/Year: | 20 supplement 4 |
Article number: | 173 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |