Fig. 5From: Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checkingCombined model. The two places AI2_Out given in grey are logical places, connecting the two model components, compare Figs. 3 and 4. This model can be equally read as SPN or HPN when keeping the partitioning into discrete and continuous nodes as in Fig. 4Back to article page