Safety Requirements Parameter Derivation for Maglev Train Propulsion and Protection Systems Based on Stochastic Petri Nets


This paper presents a formal approach to model thetraffic operational processes on a Maglev train example basedon Stochastic Petri nets. The Maglev train is modeled withrespect to process, function and dependability. Process modeldescribes the normal running status and abnormal protectedstatus of the Maglev train from departure to stopping andfunction model… (More)


4 Figures and Tables

Slides referencing similar topics