Performance analysis of traffic networks based on Stochastic Timed Petri Net models

A compositional method for modeling and evaluation of performance indices of traffic control systems based on Stochastic Timed Petri Nets (STPN) is presented. We use STPN to specify traffic and traffic control at an intersection and use a random distribution model to model the motion of vehicles in a road segment between any two consecutive intersections. The traffic control system is thus modeled as a composition of individual intersection models and segment distribution models. A technique is presented to incrementally evaluate the system's performance by analyzing intersections separately, according to a carefully selected order. The analysis technique conforms to the accepted practice of transportation research. Compared to existing Petri net models of traffic control systems, our technique dramatically reduces the complexity of analysis.

[1]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[2]  William R. McShane,et al.  A review of pedestrian safety models for urban areas in Low and Middle Income Countries , 2016 .

[3]  Adolf D. May,et al.  Traffic Flow Fundamentals , 1989 .

[4]  Yi Deng,et al.  Performance analysis of traffic control system based on stochastic timed Petri net models , 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032).

[5]  Frank DiCesare,et al.  The Application of Petri Nets to the Modeling, Analysis and Control of Intelligent Urban Traffic Networks , 1994, Application and Theory of Petri Nets.

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

[7]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets definitions, properties, and applications , 1991 .

[8]  S-M Chin,et al.  FIRST-GENERATION UTCS SIMULATION , 1983 .

[9]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[10]  Corinne Ledoux,et al.  An urban traffic flow model integrating neural networks , 1997 .

[11]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[12]  Jiacun Wang,et al.  Timed Petri Nets: Theory and Application , 1998 .

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

[14]  Ajmone MarsanMarco,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984 .