مدل‌سازی و تحلیل سامانه حق تقدم خودرو‌های اضطراری به کمک شبکه پتری زمانی

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

نویسندگان

دانشکده مهندسی برق، دانشگاه صنعتی کرمانشاه، کرمانشاه، ایران

چکیده

این مقاله به مدل‌سازی و تحلیل یک سامانه ایجاد حق تقدم امن و سریع برای عبور خودروهای اضطراری مانند آمبولانسها و خودروهای آتش نشانی می‌پردازد. این موضوع در طی سالهای اخیر و با گسترش سامانه های هوشمند ترافیک، اهمیت فراوانی یافته است. در این پژوهش، روشی برای مدیریت ترافیک و کنترل چراغ های راهنمایی شهری پیشنهاد می‌شود که ضمن کاهش زمان توقف خودروهای اضطراری، امنیت تردد و کاهش ازدحام نیز تضمین می‌شود. برای این منظور، سیستم کلی که شامل چراغ راهنمایی و ترافیک مسیر و سنسورهای تشخیص دهنده خودروهای اضطراری است، به صورت یک سیستم دینامیکی گسسته پیشامد توصیف می‌شود و از پتری نت‌های زمانی، برای مدل‌سازی سیستم و شبیه سازی الگوریتم پیشنهادی، استفاده می‌شود. شبکه های پتری ابزار قدرتمند و شهودی برای مدلسازی و تحلیل سیستم های گسسته پیشامد هستند که در این مقاله به کمک آنها، قابلیت های الگوریتم ارائه شده از قبیل بررسی وجود قفل شدن ترافیک یا امکان بروز تصادف بررسی می شود.

کلیدواژه‌ها

موضوعات


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

Modeling and Analysis of Preemption System for Emergency Vehicles using Timed Petri Nets

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

  • Sobhi Baniardalani
  • Saaid Soleimani
Department of Power and Control Engineering, Faculty of Electrical Engineering, Kermanshah University of Technology, Kermanshah, Iran
چکیده [English]

This paper deals with the modeling and analysis of a safe and fast preemption system for the passage of emergency vichels, such as ambulances and fire engines, through intersections. This issue has become a challenging problem in recent years with the expansion of intelligent traffic systems. In this research, a method for traffic management and control of urban traffic lights is proposed, which, while reducing the stopping time of emergency vichels, ensures traffic safety and reduces congestion. For this purpose, the overall system, which includes traffic lights and emergency vehicle detection sensors, is described as a discrete event dynamic system, and temporal Petri nets are used to model the system and simulate the proposed algorithm. Petri nets are a powerful and intuitive tool for modeling and analyzing discrete event systems. By employing Timed Petri Nets (TPNs), in this article, the capabilities of the proposed algorithm, such as checking the presence of traffic jams or the possibility of accidents, are consider.

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

  • Emergency vichel
  • Preemption system
  • Timed petri net
  • Intelligent traffic system
  • Discrete event system
[1] L. Lu, and S. Wang. “Literature Review of Analytical Models on Emergency Vehicle Service: Location, Dispatching, Routing and Preemption Control.” In 2019 IEEE Intelligent Transportation Systems Conference (ITSC), Auckland, New Zealand, 3031–3036. 2019.
[2] P. Koonce et al. Signal Timing Manual. Washington, DC: Federal Highway Administration, 2008.
[3] W. Yu, W. Bai, W. Luan, and L. Qi. “State-of-the-Art Review on Traffic Control Strategies for Emergency Vehicle.” IEEE Access 10 (2022): 109729–109742.
[4] K.S. Jeevan, and M.R. Kounte. “A Survey on Emergency Vehicle Preemption Methods Based on Routing and Scheduling.” International Journal of Computer Networks and Applications 9, no. 1 (2022): 60–71.
[5] N. Zhang, F.Y. Wang, F. Zhu, and D. Zhao. “DynaCAS: Computational Experiments and Decision Support for ITS.” IEEE Intelligent Systems 23, no. 6 (Nov./Dec. 2008): 19–23.
[6] F.Y. Wang. “Toward a Revolution in Transportation Operations: AI for Complex Systems.” IEEE Intelligent Systems 23, no. 6 (Nov./Dec. 2008): 8–13.
[7] R. Kamalanathsharma, and H. Kathleen. “Traffic Signal Preemption for Emergency Vehicle.” U.S. Department of Transportation, Washington, DC, 2006.
[8] O. Karpis. “System for Vehicle Classification and Emergency Vehicle Detection.” IFAC Proceedings Volumes 45, no. 7 (2012): 186–190.
[9] K.H. Chen, C.R. Dow, C.W. Yang, and W.C. Chiang. “BEVOR: An NTCIP-Based Interoperable Framework for Emergency Vehicle Preemption System Using Web Service and STMF.” Journal of Information Science and Engineering 26 (2010): 801–815.
[10] C.M. Huang, C.C. Yang, C.Y. Tseng, and C.H. Chou. “A Centralized Traffic Control Mechanism for Evacuation of Emergency Vehicle Using the DSRC Protocol.” In Proc. ISWPC, 2009, 1–5.
[11] G. Unibaso, J.D. Ser, S. Gil-Lopez, and B. Molinete. “A Novel CAM Based Traffic Light Preemption Algorithm for Efficient Guidance of Emergency Vehicle.” In Proc. IEEE Annu. Conf. Intell. Trans. Syst., Funchal, Portugal, 74–79, Sep. 2010.
[12] Y. Huang. “Design of Traffic Light Control Systems Using Statecharts.” The Computer Journal 49, no. 6 (Nov. 2006): 634–649.
[13] Y.S. Weng, Y.S. Huang, S.F. Su, and C.S. Yu. “Modeling of Emergency Vehicle Preemption Systems Using Statecharts.” In 2011 IEEE International Conference on Systems, Man, and Cybernetics, Anchorage, AK, USA, 556–561.
[14] M. Sakthimohan et al. “FSM Based Coordinated Four-Way Intersection Specific Automated Traffic Light Controller.” In 2023 4th International Conference on Electronics and Sustainable Communication Systems (ICESC), Coimbatore, India, 1726–1731.
[15] Y. Wei, H. Ning, Y. An, N. Wu, and X. Zhao. “Design of Safety Petri Net Controllers for Deadlock Prevention at a Class of Road Intersections.” IEEE Transactions on Intelligent Transportation Systems 24, no. 12 (Dec. 2023): 14453–14466.
[16] B. Xin et al. “Simultaneous Scheduling of Processing Machines and Automated Guided Vehicles via a Multiview Modeling-Based Hybrid Algorithm.” IEEE Transactions on Automation Science and Engineering 21, no. 3 (July 2024): 4753–4767.
[17] P.Z.H. Sun et al. “AGV-Based Vehicle Transportation in Automated Container Terminals: A Survey.” IEEE Transactions on Intelligent Transportation Systems 24, no. 1 (Jan. 2023): 341–356.
[18] F.A. Silva et al. “Efficient Strategies for Unmanned Aerial Vehicle Flights: Analyzing Battery Life and Operational Performance in Delivery Services Using Stochastic Models.” IEEE Access 12 (2024): 144544–144564.
[19] R. David, and H. Alla. Discrete, Continuous, and Hybrid Petri Nets. Berlin Heidelberg: Springer-Verlag, 2010.
[20] A. Giua and M. Silva. “Petri Nets and Automatic Control: A Historical Perspective.” Annual Reviews in Control 45 (2018): 223–239.
[21] Y.S. Huang, Y.S. Weng, M. Jeng, and B.Y. Chen. “Based on Synchronized Timed Petri Nets for Urban Traffic Control Systems.” In 2013 IEEE International Conference on Systems, Man, and Cybernetics, Manchester, UK, 384–390.
[22] Y.S. Huang, Y.S. Weng, and M. Zhou. “Design of Regulatory Traffic Light Control Systems with Synchronized Timed Petri Nets.” Asian Journal of Control 20 (2018): 174–185.
[23] H.S. Qi, Y. Yu, Q. Tang, and X.B. Hu. “Intersection Traffic Deadlock Formation and Its Probability: A Petri Net Based Modeling Approach.” IET Intelligent Transport Systems 16 (2022): 1342–1363.
[24] L. Zhao et al. “Emergency Vehicle Preemption Control of T-Shaped Intersection with Time Petri Nets.” In 2018 Chinese Automation Congress (CAC), Xi'an, China, 2503–2508.
[25] Y. Huang, Y. Weng, and M. Zhou. “Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets.” IEEE Transactions on Intelligent Transportation Systems 16, no. 4 (Aug. 2015): 2113–2120.
[26] L. Qi, M. Zhou, and W. Luan. “A Two-Level Traffic Light Control Strategy for Preventing Incident Based Urban Traffic Congestion.” IEEE Transactions on Intelligent Transportation Systems 99 (Dec. 2016): 1–12.
[27] Y. Huang, and T. Chung. “Modeling and Analysis of Urban Traffic Light Control Systems.” Journal of the Chinese Institute of Engineers 32, no. 1 (2009): 85–95.
[28] Y.S. Huang, and P.J. Su. “Modeling and Analysis of Traffic Light Control Systems.” IET Control Theory & Applications 3, no. 3 (2009): 340–350.
[29] J. Luo, Y. Huang, and Y. Weng. “Design of Variable Traffic Light Control Systems for Preventing Two-Way Grid Network Traffic Jams Using Timed Petri Nets.” IEEE Transactions on Intelligent Transportation Systems 21, no. 7 (July 2020): 3117–3127.
[30] Y.S. Weng, Y.S. Huang, and C.C. Ho. “Modeling of Traffic Safety Control Systems Using Timed Petri Nets.” In Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control, Miami, FL, USA, 138–143, 2014.
[31] Y.S. Huang, Y.S. Weng, and M. Zhou. “Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems.” IEEE Transactions on Intelligent Transportation Systems 11, no. 4 (Dec. 2010): 968–977.
[32] M. Yadollahzadeh Tabari, and A.A. Pouyan. “Misbehavior Analysis of IEEE 802.11 MAC Layer in Mobile Ad Hoc Network Using Stochastic Reward Nets.” International Journal of Communication Systems (2017).
[33] M. Yadollahzadeh-Tabari. “A Stochastic Reward Net Model for Performance Analysis of Network Layer in Mobile Ad Hoc Network Under the Workload of Misbehavior Nodes.” Wireless Personal Communications 118 (2021): 1087–1109.
[34] G. Ciardo, J. Muppala, and K. Trivedi. “SPNP: Stochastic Petri Net Package.” In Proceedings of the Third International Workshop on Petri Nets and Performance Models, 142–151, 1989.
[35] M. Yadollahzadeh Tabari, and P. Mohammadizad. “Modeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets.” International Journal of Engineering TRANSACTIONS C: Aspects 33, no. 6 (June 2020): 1114–1121.
[36] “Petri Net Simulator.” Accessed April 29, 2025. https://petri-net-simulator.software.informer.com/2.0/
دوره 23، شماره ویژه 81
جشن پنجاهمین سالگرد تاسیس دانشگاه سمنان- در حال تکمیل شدن
تیر 1404
صفحه 139-156
  • تاریخ دریافت: 02 دی 1402
  • تاریخ بازنگری: 17 آبان 1403
  • تاریخ پذیرش: 14 آذر 1403