Fig. 7From: Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checkingValidating Phase 2 model. Simulation traces for the 5 categories obtained by simulative model checking. The last two rows show in two diagrams each the entities which have been categorised together. For comparison, top left shows all places together. See also Additional file 3: Figure S3Back to article page