Design of Traffic Safety Control Systems for Railroads and Roadways Using Timed P etri Nets
Yi‐Shun Weng, Yi‐Sheng Huang, Yen‐Liang Pan, MuDer Jeng · Asian Journal of Control · 2014
Abstract TimedPetri nets (TPNs) are useful for performance evaluation of discrete event systems due to their mathematical formalism. This paper proposes the use ofTPNs to model parallel railroad level crossing traffic safety control systems. Double‐track railroad lines usingTPNs are illustrated. The resulting models allow us to identify and thus avoid critical scenarios in such systems by using conditions and events of the model that control the phase of traffic light alternations. Their analysis is performed to demonstrate how the models enforce the phase of traffic transitions using the method of a reachability graph with timed information. The liveness and reversibility of the proposed model are verified. This helps advance the state‐of‐the‐art in traffic safety related to the intersection of railroads and roadways.