[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/