PERFORMANCE ANALYSIS OF TRAFFIC CONTROL SYSTEMS BASED UPON STOCHASTIC TIMED PETRI NET MODELS
Authors:
- 1 December 2000
- journal article
- research article
- Published by World Scientific Pub Co Pte Ltd in International Journal of Software Engineering and Knowledge Engineering
- Vol. 10 (06) , 735-757
Abstract
A compositional modeling and performance evaluation technique for traffic control systems based on Stochastic Timed Petri Nets (STPN's) is presented. We use STPN's 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. A traffic control system is thus modeled as a composition of individual intersection models and segment random 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.Keywords
This publication has 3 references indexed in Scilit:
- An urban traffic flow model integrating neural networksTransportation Research Part C: Emerging Technologies, 1997
- Timed Petri nets definitions, properties, and applicationsMicroelectronics Reliability, 1991
- The effect of execution policies on the semantics and analysis of stochastic Petri netsIEEE Transactions on Software Engineering, 1989