Abstract
Timed Petri nets (TPNs) are useful for performance evaluation discrete event systems due to their mathematical formalism. This paper proposes to use TPNs to model parallel railroad level crossing traffic safety control systems. Double-track railroad lines by using TPNs are illustrated. The resulting models allow one to identify and thus avoid critical scenarios in such systems by 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 by a reachability graph with timed information method. 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.
This work was supported in part by the National Science Council of Taiwan under Grant NSC 102-2221-E-197-022-MY2.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Kim, W., Liu, Y., & Chang, G. (2012). Advanced traffic management system. Journal of the Transportation Research Board, 2324, 91–100.
Huang, Y. S., Weng, Y. S., & Zhou, M. (2013). Modular design of Urban traffic light control systems based on synchronized timed Petri nets. IEEE Transaction on Intelligent Transportation Systems, 98, 1–10.
Matcovschi, M. H., Mahulea, C., Lefter, C., & Pastravanu, O. (2006). Petri net toolbox in control engineering education. In Proceedings of IEEE Conference on Computer Aided Control Systems Design. (pp. 2298–2303). Munich, Germany.
Hruz, B., & Zhou, M. (2007). Modeling and control of discrete event dynamic systems. London, UK: Springer.
Ghazel, M. (2009). Using stochastic Petri nets for level-crossing collision risk assessment. IEEE Transaction on Intelligent Transport System, 10, 668–677.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Weng, YS., Huang, YS., Chen, BY. (2014). Emerging Scenarios Avoidance Policy for Railroad Level Crossing Traffic Control Systems. In: Juang, J., Chen, CY., Yang, CF. (eds) Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013). Lecture Notes in Electrical Engineering, vol 293. Springer, Cham. https://doi.org/10.1007/978-3-319-04573-3_124
Download citation
DOI: https://doi.org/10.1007/978-3-319-04573-3_124
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04572-6
Online ISBN: 978-3-319-04573-3
eBook Packages: EngineeringEngineering (R0)