Petri-net based cooperation modeling and time analysis of emergency response in the context of domino effect prevention in process industries