Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections