Fig. 8From: Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checkingPhase 3 model (hybrid) – unlimited supply. Top row: THR=10, bottom row: THR=30. Left column: go opens when AI2_Out exceeds the THR up to some stochasticity; Right column: internal mechanism driving stepped accumulation of BiofilmBack to article page