The files in this folder relate to the paper D Gilbert, M Heiner, L Ghanbar, J Chodak: Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking; submitted to BMC Bioinformatics Supplement (BBSN17) Github repository: https://github.com/PetriNuts/biofilm mh, 05 March 2018