Fig. 1From: Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checkingBacteria population growth phases. Our model relates to the Exponential and Stationary PhasesBack to article page