Gilbert, et al.. Spatial Quorum Sensing Modelling Using Coloured Hybrid Petri Nets and Simulative Model Checking. no. S4, Springer Nature, 2019, doi:10.1186/s12859-019-2690-z.