Modeling and Analysis of Connected Traffic Intersections Based on Modified Binary Petri Nets

We propose an approach for the modeling and analysis of two connected traffic intersections based on Petri nets (PNs). We first use a PN to model an isolated four-way signalized intersection; then we extend it to model two successive signalized intersections. We find that this model has unbounded places, which in turn results in some confliction problems. Hence, we introduce the concept of modified binary petri nets (MBPNs) to overcome the limitation and resolve the confliction problem when we design our model and its controller. This MBPN model is a powerful tool and can be useful for the modeling and analysis of many other traffic applications.

[1]  Ning Lu,et al.  POWER SYSTEM MODELING USING PETRI NETS , 2002 .

[2]  MengChu Zhou,et al.  Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems , 2010, IEEE Transactions on Intelligent Transportation Systems.

[3]  Fu-Shiung Hsieh,et al.  Context-aware workflow management for virtual enterprises based on coordination of agents , 2014, J. Intell. Manuf..

[4]  Yi-Sheng Huang.  Design of Traffic Light Control Systems Using Statecharts , 2006, Comput. J..

[5]  George C. Verghese,et al.  Power system monitoring using Petri net embeddings , 2000 .

[6]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[7]  D. Giglio,et al.  Modular representation of urban traffic systems based on hybrid Petri nets , 2001, ITSC 2001. 2001 IEEE Intelligent Transportation Systems. Proceedings (Cat. No.01TH8585).

[8]  Angela Di Febbraro,et al.  Urban traffic control structure based on hybrid Petri nets , 2004, IEEE Transactions on Intelligent Transportation Systems.

[9]  Yi-Sheng Huang,et al.  Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets , 2008, J. Inf. Sci. Eng..

[10]  Christoforos N. Hadjicostis,et al.  Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[11]  Lingxi Li,et al.  Least-cost path estimation in wireless ad hoc sensor networks using Petri nets , 2011, ICUIMC '11.

[12]  George F. List,et al.  Modeling traffic signal control using Petri nets , 2004, IEEE Transactions on Intelligent Transportation Systems.

[13]  Fu-Shiung Hsieh,et al.  Collaborative composition of processes in holonic manufacturing systems , 2011, Comput. Ind..

[14]  Manuel Silva Suárez,et al.  Hybrid Petri net model of a traffic intersection in an urban network , 2010, 2010 IEEE International Conference on Control Applications.

[15]  Yan Liu,et al.  Travel routes estimation in transportation systems modeled by Petri Nets , 2010, Proceedings of 2010 IEEE International Conference on Vehicular Electronics and Safety.

[16]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[17]  Simona Sacone,et al.  Hybrid modelling of transportation systems by means of Petri nets , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[18]  Y.-S. Huang,et al.  Modelling and analysis of traffic light control systems , 2009 .

[19]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[20]  Fu-Shiung Hsieh,et al.  Design of reconfiguration mechanism for holonic manufacturing systems based on formal models , 2010, Eng. Appl. Artif. Intell..