در تجزیه و تحلیل آسیب پذیری های یک شبکه راه آهن با شبکه های پتری

Petri nets are used in this paper to estimate the indirect consequences of accidents in a railway network, which belongs to the class of the so-called transportation Critical Infrastructures (CIs), that is, those assets consisting of systems, resources and/or processes whose total or partial destruction, or even temporarily unavailability, has the effect of significantly weakening the functioning of the system. In the proposed methodology, a timed Petri ne<t represents the railway network and the trains travelling over the rail lines; such a net also includes some places and some stochastically-timed transitions that are used to model the occurrence of unexpected events (accidents, disruptions, and so on) that make some resources of the network (tracks, blocks, crossovers, overhead line, electric power supply, etc.) temporarily unavailable. The overall Petri net is a live and bounded Generalized Stochastic Petri Net (GSPN) that can be analyzed by exploiting the steady-state probabilities of a continuous-time Markov chain (CTMC) that can be derived from the reachability graph of the GSPN. The final target of such an analysis is to determine and rank the levels of criticality of transportation facilities and assess the vulnerability of the whole railway network.