Modeling and analysis of vapour cloud explosions knock-on events by using a Petri-net approach · Study