A Petri-net based approach for the interdependence analysis of critical infrastructures in transportation networks