A Review on the Applications of Petri Nets in Modeling, Analysis, and Control of Urban Traffic

Urban traffic systems that possess system states that are distributed, parallel, deterministic, stochastic, discrete, and continuous are well suited for a Petri net (PN) approach. The literature survey conducted in this paper shows the vast applications of PNs in modeling and simulation, analyzing and evaluating performances, intelligent control and optimization, and congestion management in urban traffic systems. This paper outlines the related works conducted using PNs and discusses its viability, such as its contributions and limitations. Extendibility and future research potential to further the successful applications of PNs in traffic systems are discussed and proposed in this paper.

[1]  Kurapati Venkatesh,et al.  A high level Petri net model of olfactory bulb , 1993, IEEE International Conference on Neural Networks.

[2]  Robert L. Smith,et al.  CoSIGN: A Parallel Algorithm for Coordinated Traffic Signal Control , 2006, IEEE Transactions on Intelligent Transportation Systems.

[3]  M.A. Qureshi,et al.  The UltraSAN Modeling Environment , 1995, Perform. Evaluation.

[4]  M.B.E. Abdelrazik,et al.  Structured analysis for neural networks using Petri nets , 1990, Proceedings of the 33rd Midwest Symposium on Circuits and Systems.

[5]  Leo Ojala,et al.  Performance Analysis of a Traffic Control System Using Stochastic Petri Nets , 1998 .

[6]  Omidiora Elijah Olusayo,et al.  Development of a Timed Coloured Petri Net Model for Time-of-Day Signal Timing Plan Transitions , 2011 .

[7]  Jia Lei,et al.  Intersection Traffic System Simulation Based on Hybrid CPN Model , 2009, 2009 Second International Conference on Intelligent Computation Technology and Automation.

[8]  Roger Smith,et al.  Fuzzy Petri nets with neural networks to model products quality from a CNC-milling machining centre , 1996, IEEE Trans. Syst. Man Cybern. Part A.

[9]  R Akcelik,et al.  Time dependent expressions for delay, stop rate and queue length at traffic signals , 1980 .

[10]  Ranjan Dasgupta,et al.  A Petrinet Realization of an Urban Traffic System , 2011 .

[11]  Mark Minas,et al.  Visual PLC-programming using signal interpreted Petri nets , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[12]  Mariagrazia Dotoli,et al.  Validation of an Urban Traffic Network Model using Colored Timed Petri Nets , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[13]  R. A. Ganiyu,et al.  Modelling and validation of a multi-phase traffic light controlled cross-type intersection using timed coloured petri nets , 2011 .

[14]  Lothar Litz,et al.  Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[15]  Kotaro Hirasawa,et al.  Learning Petri network with route control , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[16]  Gordon F. Newell,et al.  A simplified car-following theory: a lower order model , 2002 .

[17]  Tadao Murata,et al.  Additional methods for reduction and expansion of marked graphs , 1981 .

[18]  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).

[19]  Bo Huang,et al.  Modeling of Urban Traffic Systems Based on Fluid Stochastic Petri Nets , 2008, 2008 Fourth International Conference on Natural Computation.

[20]  Angela Di Febbraro,et al.  On adopting a Petri net-based switching modelling system to represent and control urban areas , 2005 .

[21]  Syed I. Ahson.  Petri net models of fuzzy neural networks , 1995, IEEE Trans. Syst. Man Cybern..

[22]  Frank DiCesare,et al.  A code generation tool for simulation and control, based on colored Petri nets , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[23]  Zhu Quan,et al.  A traffic flow forecasting model based on BP neural network , 2009, 2009 2nd International Conference on Power Electronics and Intelligent Transportation System (PEITS).

[24]  Anthony Tzes,et al.  Applications of Petri networks to transportation network modeling , 1996 .

[25]  Mike Smith,et al.  Distributed computation of dynamic traffic equilibria , 1997 .

[26]  F. Girault,et al.  A logic for Petri nets , 1997 .

[27]  Li-Guo Zhang,et al.  Hybrid petri net modeling of traffic flow and signal control , 2008, 2008 International Conference on Machine Learning and Cybernetics.

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

[29]  Yi Deng,et al.  Performance analysis of traffic networks based on Stochastic Timed Petri Net models , 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).

[30]  Tauseef Aized.  Advances in Petri Net Theory and Applications , 2010 .

[31]  Hani S. Mahmassani,et al.  Network performance under system optimal and user equilibrium dynamic assignments: Implications for , 1993 .

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

[33]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[34]  MengChu Zhou,et al.  Petri Net Modeling of the Cooperation Behavior of a Driver and a Copilot in an Advanced Driving Assistance System , 2011, IEEE Transactions on Intelligent Transportation Systems.

[35]  Markos Papageorgiou,et al.  Freeway Network Simulation and Dynamic Traffic Assignment with METANET Tools , 2001 .

[36]  F. Basile,et al.  A hybrid model for model predictive control of urban traffic , 2007, 2007 European Control Conference (ECC).

[37]  D. Giglio,et al.  On representing signalized urban areas by means of deterministic-timed Petri nets , 2004, Proceedings. The 7th International IEEE Conference on Intelligent Transportation Systems (IEEE Cat. No.04TH8749).

[38]  E. Castelain,et al.  Regulation of a public transport network with consideration of the passenger flow: modeling of the system with high-level Petri nets , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[39]  A. Di Febbraro,et al.  Hybrid Petri nets for the performance analysis of transportation systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[40]  Nagel.  Particle hopping models and traffic flow theory. , 1996, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[41]  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.

[42]  Yasumasa Fujii,et al.  FMS's scheduling by colored Petri net model and Hopfield neural network algorithm , 1995, SICE '95. Proceedings of the 34th SICE Annual Conference. International Session Papers.

[43]  Zainal Alam Haron,et al.  Graphical microcontroller programming tool based on extended S-System Petri net , 2010 .

[44]  Hong K. Lo,et al.  A reliability framework for traffic signal control , 2006, IEEE Transactions on Intelligent Transportation Systems.

[45]  Jos L. M. Vrancken,et al.  Responsive traffic signals designed with petri nets , 2008, 2008 IEEE International Conference on Systems, Man and Cybernetics.

[46]  RenC David,et al.  Grafcet: a powerful tool for specification of logic controllers , 1995, IEEE Trans. Control. Syst. Technol..

[47]  Jingyu Li,et al.  Modeling of Urban Traffic System Based on Dynamic Stochastic Fluid Petri Net , 2008, 2008 Workshop on Power Electronics and Intelligent Transportation System.

[48]  Xi Yue,et al.  Intelligent Model of Urban Road Tunnel Ventilation System Based on Multi-Level Neural Network , 2009, 2009 Pacific-Asia Conference on Circuits, Communications and Systems.

[49]  Mariagrazia Dotoli,et al.  An urban traffic network model by first order hybrid Petri nets , 2008, 2008 IEEE International Conference on Systems, Man and Cybernetics.

[50]  Stephen F. Smith,et al.  Platoon-based self-scheduling for real-time traffic signal control , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[51]  Kotaro Hirasawa,et al.  Learning Petri network and its application to nonlinear system control , 1998, IEEE Trans. Syst. Man Cybern. Part B.

[52]  Toshio Tsuji,et al.  Skill assistance for myoelectric control using an event-driven task model , 2002, IEEE/RSJ International Conference on Intelligent Robots and Systems.

[53]  Mariagrazia Dotoli,et al.  An urban traffic network model via coloured timed Petri nets , 2004 .

[54]  Xiang-Mo Zhao,et al.  Modeling and simulation of dynamic traffic flows at non-signalized T-intersections , 2009, 2009 2nd International Conference on Power Electronics and Intelligent Transportation System (PEITS).

[55]  John W. T. Lee,et al.  Learning capability in fuzzy Petri nets , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[56]  Milos N. Mladenovic,et al.  Multi-scale integration of Petri Net modeling and Software-in-the-loop simulation for novel approach to assessment of operational capabilities in the advanced transportation controllers , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[57]  Lennart Ljung,et al.  System Identification: Theory for the User , 1987 .

[58]  Mohammad Reza Meybodi,et al.  Formalized Learning Automata with Adaptive Fuzzy Coloured Petri Net an Application Specific to Managing Traffic Signals , 2022 .

[59]  Francesco Basile,et al.  A hybrid model for real time simulation of urban traffic , 2012 .

[60]  Dimitri Lefebvre,et al.  Continuous Petri nets models for the analysis of traffic urban networks , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[61]  Munir Ahmed,et al.  Computer Simulation: A Hybrid Model for Traffic Signal Optimisation , 2011, J. Inf. Process. Syst..

[62]  Serge Haddad,et al.  Analysis Methods for Petri Nets , 2010 .

[63]  Wei Huang,et al.  Modeling and Development of Multi-agent Traffic Control Experimental System Based on Petri Net , 2008, 2008 International Conference on Intelligent Computation Technology and Automation (ICICTA).

[64]  D. Kezic,et al.  P - Invariant based Petri net traffic controller , 2009, 2009 17th Mediterranean Conference on Control and Automation.

[65]  Alberto José Proença,et al.  VHDL generation from hierarchical Petri net specifications of parallel controllers , 1997 .

[66]  K. Tsuji,et al.  Extended Petri net models for neural networks and fuzzy inference engines-their net structural properties , 1990, IEEE International Symposium on Circuits and Systems.

[67]  Zdeněk Hanzálek,et al.  Light Controlled Intersection Model Based on the Continuous Petri Net , 2009, CTS 2009.

[68]  G. F. List,et al.  Modeling and evaluation of traffic signal control using timed Petri nets , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[69]  S. Spraggs,et al.  Traffic Engineering , 2000 .

[70]  Carlos Gershenson,et al.  Self-organizing Traffic Lights , 2004, Complex Syst..

[71]  Bo Chen,et al.  A Review of the Applications of Agent Technology in Traffic and Transportation Systems , 2010, IEEE Transactions on Intelligent Transportation Systems.

[72]  Yi-Sheng Huang,et al.  A Timed Coloured Petri Net Supervisor for Urban Traffic Networks , 2006, The Proceedings of the Multiconference on "Computational Engineering in Systems Applications".

[73]  Georg Frey,et al.  Editing, Visualizing, and Implementing Signal Interpreted Petri Nets , 2000 .

[74]  Hongchao Liu,et al.  Traffic signal priority/preemption control with colored Petri nets , 2005, Proceedings. 2005 IEEE Intelligent Transportation Systems, 2005..

[75]  Isabel Demongodin,et al.  Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed , 2009, Petri Nets.

[76]  Wang,et al.  Review of road traffic control strategies , 2003, Proceedings of the IEEE.

[77]  Nicola Sacco,et al.  On using petri nets for representing and controlling signalized urban areas: New model and results , 2009, 2009 12th International IEEE Conference on Intelligent Transportation Systems.

[78]  Bart De Schutter,et al.  Models for traffic control , 2002 .

[79]  Wattanapong Kurdthongmee.  ertCPN: The adaptations of the coloured Petri-Net theory for real-time embedded system modeling and automatic code generation , 2003 .

[80]  R. D. Bretherton,et al.  Optimizing networks of traffic signals in real time-the SCOOT method , 1991 .

[81]  Xiaoou Li,et al.  A weighted fuzzy petri net model for knowledge learning and reasoning , 1999, IJCNN'99. International Joint Conference on Neural Networks. Proceedings (Cat. No.99CH36339).

[82]  Jiacun Wang,et al.  Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net Models , 2000, Int. J. Softw. Eng. Knowl. Eng..

[83]  M. Goursat,et al.  Derivation of the fundamental traffic diagram for two circular roads and a crossing using minplus algebra and Petri net modeling. , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

[85]  Tauseef Aized,et al.  Petri Net as a Manufacturing System Scheduling Tool , 2010 .

[86]  Yang Li-cai.  Modeling of Urban Traffic System Based on Dynamic Stochastic Fluid Petri Net , 2010 .

[87]  M. A. Badamchizadeh,et al.  Deterministic and stochastic Petri Net for urban traffic systems , 2010, 2010 The 2nd International Conference on Computer and Automation Engineering (ICCAE).

[88]  Jos Vrancken,et al.  A modular Petri net to modeling and scenario analysis of a network of road traffic signals , 2012 .

[89]  S. Hayat,et al.  Multiagent model using coloured Petri nets for the regulation traffic of an automated highway , 2003, Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems.

[90]  Angela Di Febbraro,et al.  Traffic-responsive signalling control through a modular/switching model represented via DTPN , 2006, 2006 IEEE Intelligent Transportation Systems Conference.

[91]  Ichiro Suzuki,et al.  A Method for Stepwise Refinement and Abstraction of Petri Nets , 1983, J. Comput. Syst. Sci..

[92]  Jean-Loup Farges,et al.  Stochastic p-timed Petri nets and their use for traffic queue estimation , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[93]  Ning Zou,et al.  Queuing Models for Analysis of Traffic Adaptive Signal Control , 2007, IEEE Transactions on Intelligent Transportation Systems.

[94]  D. Giglio,et al.  On applying Petri nets to determine optimal offsets for coordinated traffic light timings , 2002, Proceedings. The IEEE 5th International Conference on Intelligent Transportation Systems.

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

[96]  William H. K. Lam,et al.  An activity-based time-dependent traffic assignment model , 2001 .

[97]  Li Lin,et al.  Implementation of traffic lights control based on Petri nets , 2003, Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems.

[98]  René Boel,et al.  MODELLING AND CONTROLLING TRAFFIC BEHAVIOUR WITH CONTINUOUS PETRI NETS , 2005 .

[99]  Dimitri Lefebvre,et al.  Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling , 2005, Simul. Model. Pract. Theory.

[100]  Hongnian Yu,et al.  Integrating Petri Nets and hybrid heuristic search for the scheduling of FMS , 2002, Comput. Ind..

[101]  Milos N. Mladenovic,et al.  Modeling ring-barrier traffic controllers using Colored Timed Stochastic Petri Nets , 2010, 13th International IEEE Conference on Intelligent Transportation Systems.

[102]  René Boel,et al.  A compositional stochastic model for real time freeway traffic simulation , 2006 .

[103]  R Akcelik,et al.  TRAFFIC SIGNALS: CAPACITY AND TIMING ANALYSIS , 1981 .

[104]  Miquel Angel Piera Eroles,et al.  Coloured Petri net scheduling models: Timed state space exploration shortages , 2011, Math. Comput. Simul..