Modeling infrastructure interdependency with extended Petri-Net and Markov chain analysis for emergency management