Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking. - David R. Gilbert; Monika Heiner; Leila Ghanbar; Jacek Chodak (BMC Bioinform., 2019)