طراحی و مدل‌سازی شبکه‌ریلی (خط 7 متروی تهران) با ایجاد مسیرسازی جهت افزایش سرویس‌دهی خط و تضمین ایمنی به روش شبکه‌های پتری

نوع مقاله : مقاله پژوهشی

نویسندگان

1 دانشیار، دانشکده مهندسی راه آهن، دانشگاه علم و صنعت ایران، تهران، ایران

2 دانش آموخته کارشناسی ارشد، دانشکده مهندسی راه آهن، دانشگاه علم و صنعت ایران، تهران، ایران

چکیده

این مقاله به مدل‌سازی شبکه ریلی با تکنیک تفکیک مسیر به منظور مسیرسازی وافزایش سرویس‌دهی خط با تضمین ایمنی که امری مهم در صنعت حمل و نقل ریلی بشمار می‌آید، پرداخته است. مقاله با بکارگیری روش‌های‌ رسمی، مدلی جهت افزایش ظرفیت خط با استفاده از روش شبکه‌های پتری سطح بالا (HLPN ) ارائه کرده است. طراحی مدل با نرم‌افزار CPNTools صورت گرفته است. دلیل استفاده از این نرم‌افزار پشتیبانی از شبکه‌های سلسه مراتبی است، که اصول اساسی این کار محسوب می‌شود. استفاده از این نرم‌افزار با عملیاتی شدن سناریوهای مختلف، ارزیابی و تأیید مدل با سرعت بالا را امکان‌پذیر کرده است. مقاله به طور عمده بر روی طراحی افزایش سرویس‌دهی خط با "تک‌مسیرهای ایجاد شده" به کمک شبکه‌های سلسله مراتبی در زمینه حمل و نقل ریلی شهری متمرکز است. سه ایستگاه از خط 7 متروی تهران به عنوان طرح مسیر انتخاب، که با ایجاد "مسیرسازی" و تکنیک "تفکیک مسیرهای متوالی خط"(تک مسیرها) از سیگنال ابتدای تک‌مسیر مطلوب به سیگنال تک‌مسیر بعدی به ترتیب و به طور منظم، افزایش ظرفیت و بهره-برداری از خط با تضمین ایمنی امکان‌پذیر شده است. با نمایش رفتار پویای مدل، توسط نرم‌افزار مذکور نیز، این ادعا اثبات شده است که مسیرسازی جهت افزایش سرویس دهی بدرستی صورت گرفته است. نتایج تجربی نشان می‌دهد، مدل شبیه‌سازی شده در مقابل خنثی‌سازی مدل‌های زمانی، کمک و افزایش سرویس‌دهی خط را با رعایت ایمنی تضمین کرده است.

کلیدواژه‌ها

موضوعات

عنوان مقاله [English]

Design and modeling of rail network (Tehran metro line7) by creating a routing to increase line service and ensure safety by the method of petri nets

نویسندگان [English]

  • Mohammad Ali Sandidzadeh 1
  • Hajar Ghasemi 2
1 Associate Professor, School of Railway Engineering, Iran University of Science & Technology (IUST), Tehran, Iran.
2 M.Sc., Grad., School of Railway Engineering, Iran University of Science & Technology (IUST), Tehran, Iran.
چکیده [English]

This paper deals with modeling the rail network with the route separation technique in order to build the route and increase line service with safety assurance, which is an important issue in the rail transport industry. Using formal methods, the paper presents a model for increasing line capacity using the High Level Petri Nets (HLPN) method. The model is designed with CPNTools software. The reason for using this software is to support hierarchical networks, which are the basic principles of this work. Using this software, with the implementation of various scenarios, it is possible to evaluate and approve with the high-speed. This paper mainly focuses on designing to increase the capacity of lines by "one-way creation" with the help of hierarchical networks in the field of urban rail transport. Three stations of Tehran Metro Line 7 as a selected route plan by creating a "route construction" and the technique of "separating consecutive line routes" (single route) from the desired single route signal to the next single route signal on a regular basis. , Increasing the capacity and operation of the line is possible with a guarantee of safety. By showing the dynamic behavior of the model, it is proved by the mentioned software that the path construction to increase the service has been done correctly. Experimental results show that the simulated model, in the neutralization of time models has ensured the assistance and increase of line service while observing safety.

کلیدواژه‌ها [English]

  • Safety Assurance
  • Petri Nets and Hierarchies
  • Increased Line Service
  • HLPN

مراجع

-­Bjork, J., & Andres, M. H. (2005). Challenges in simulating railway systems using Petri Nets. Precise Modeling and Analysis, Department of Informatics, Univesity of Oslo.
-Boudi, Z., Wakrime, A. A., Dutilleul, S. C., &Haloua, M. (2019). Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. Paper presented at the ENASE.
- Burkolter, D. M. (2005). Capacity of railways in station areas using Petri nets. ETH Zurich.­
-­Cazenave, P., Khlif-Bouassida, M., & Toguyéni, A. (2022). Deadlock and collision avoidance in railway networks with dynamic routing: A petri net approach with partial controllability and observability. 15th European Workshop on Advanced Control and Diagnosis.
-­El Amraoui, A., & Mesghouni, K. (2014). Colored petri net model for discrete system communication management on the european rail traffic management system (ertms) level 2. Paper presented at the 2014 UKSim-AMSS 16th International Conference on Computer Modelling and Simulation.
-­EN, B. (2014). 50128: 2011: Bs en 50128: 2011: Railway applications-communication, signalling and processing systems-software for railway control and protecting systems. Standard, Britisch Standards Institute (BSI), 82.
 - Enache, M. F., Al-Janabi, D., & Letia, T. S. (2018). Railway modeling with object enhanced time Petri nets. Paper presented at the 2018 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR.(
-­Iliasov, A., Lopatkin, I., & Romanovsky, A. (2014). Practical formal methods in railways-the safecap approach. Paper presented at the Ada-Europe International Conference on Reliable Software Technologies.
-­Jabri, S., Bourdeaud’huy, T., & Lemaire, E. (2010). European railway traffic management system validation using UML/Petri nets modelling strategy. European Transport Research Review,Vol. 2, No. 2, 113-128.
-­Jingjia, H., & Tao, H. (2020). Modeling and Verification of CTCS-3 On-board Equipment Based on Colored Petri Net. Paper presented at the Journal of Physics. Conference Series.
-­Le, B., Andrews, J., & Fecarotti, C. (2017). A Petri net model for railway bridge maintenance. Proceedings of the Institution of Mechanical Engineers, Part O. Journal of Risk and Reliability,Vol. 231, No. 3, 306-323.
- Liang, H., Zhao, H., Wang, S., & Zhang, Y. (2020). LTE-U based Train to Train Communication System in CBTC: System Desin and Reliability Analysis. Wireless Communications and Mobile Computing.
- Li, Y., Tong, Y., & Guo, J. (2019). Design of the Safety Control Logic for Railway Stations Based on Petri Nets. Paper presented at the 2019 CAA Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS).
-Lin, J., & Xu, Q. (2020). Functional safety verification of train control procedure in train-centric CBTC by colored Petri net. Archives of Transport,Vol. 54, No. 2, 43-58.
 -Luo, J., Zhou, M., & Wang, J.-Q. (2021). A Place-Timed Petri Net-Based Method to Avoid Deadlock and Conflict in Railway Networks. IEEE Transactions on Intelligent Transportation Systems.
-­Milinković, S., Mašek, J., Vesković, S., Marković, M., & Belošević, I. (2016). Simulating Train Traffic On A Double Track Railway Line By Petri Nets. Horizons.
-­Rama, D., & Andrews, J. D. (2015). A holistic approach to railway infrastructure asset management. International Journal of Performability Engineering, Vol. 11, No. 2.
-­Sedykh, I., & Demakhin, D. (2020). Petri transport networks. Journal of Series Physics, Conference.          
                                                       
- Üs ğlu, İ., Töpel, D., Durmus, M. S., Tsarev, R. Y., & Zhigalov, K. Y. (2019). Obtaining Generic  Petri Net Models of Railway Signaling Equipment. Proceedings of the to Computational Methods in Systems and Software.
 -Toguyeni, A. (2021). Synthesis of Petri nets based controllers for the automation of train routing in a railway node. 20th International Conference on Modelling and Applied Simulation, MAS.
-Vanit-Anunchai, S. (2010). Modelling railway interlocking tables using coloured petri nets. International Conference on Coordination Languages and Models.
-Wang, P., Ma, L., Goverde, R. M., & Wang, Q. (2015). Rescheduling trains using Petri nets and heuristic search. IEEE Transactions on intelligent Transportation Systems, Vol.17,
No. 3, 726-735.
-Wang, L., Tong, Y., & Wang, X. (2020). Modeling and Verification of Train Operation in Stations and Block Sections Using Petri Nets. International Conference on Industrial Artificial Intelligence (IAI).
-Yildirim, U., Durmuş, M. S., & Söylemez, M. T. (2010). Fail-safe signalization and interlocking design for a railway yard: an automation petri net approach. 7th International Symposium on Intelligent and Manufacturing Systems (IMS).

فایل ها

هم رسانی

ارجاع به این مقاله

آمار