References

Comert, G. and M. Cetin, 2011. Analytical evaluation of the error in queue length estimation at traffic signals from probe vehicle data. Proceedings of the IEEE Transactions on Intelligent Transportation Systems, Vol. 12, June 2011, Columbia, SC, USA, pp: 563-573.

Demongodin, I., 2009. Modeling and analysis of transportation networks using Batches Petri nets with controllable batch speed. Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, Vol. 30, June 22-26, 2009, Paris France, pp: 204-222.

Dotoli, M. and M.P. Fanti, 2004. An urban traffic network model via coloured timed Petri nets. Control Eng. Pract., 14: 1213-1229.
Direct Link  |  

Dotoli, M., M.P. Fanti, A. Giua and C. Seatzu, 2008. First-order hybrid Petri nets. An application to distributed manufacturing systems. Nonlinear Anal: Hybrid Syst., 2: 408-430.
CrossRef  |  

Farha, A. and E. Schnieder, 2009. Modelling of traffic safety and operation in urban networks using DSTPN. Proceedings of the 12th IFAC Symposium on Transportation Systems, Septmber 2-4, 2009, Redondo Beach, CA, USA, pp: 513-518.

Febbraro, A.D., D. Giglio and N. Sacco, 2004. Urban traffic control structure based on hybrid petri nets. Proceeding of the IEEE Transactions on Intelligent Transportation Systems, Vol. 5, December 6, 2004, Italy, pp: 224-237.

Ghazel, M., 2009. Using stochastic petri nets for level-crossing collision risk assessment. Proceedings of the IEEE Transactions on Intelligent Transportation Systems, Vol. 10, December 2009, France, pp: 668-677.

Hill, S.E. and J.K. Lindly, 2003. Red light running prediction and analysis. University Transportation Center for Alabama, UTCA Report Number 02112.

Hubner, M. and E. Schnieder, 2010. Engineering of Car2Car interactions by means of colored petri net road model. Proceedings of the 12th World Conference on Transportation Research, July 11-15, 2010, Lisbon, Portugal, pp: 1-17.

Iswanjono, B. Budiarjo and K. Ramli, 2010. Simulation for RFID-based red light violation detection: Violation detection and flow prediction. Proceedings of the 2nd International Conference on Computer Research and Development, May 7-10, 2010, Kuala Lumpur-Malaysia, pp: 742-747.

Julvez, J. and R.K. Boel, 2010. A continuous petri net approach for model predictive control of traffic systems. Proceedings of the IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, Vol. 40, July 2010, Zaragoza, pp: 686-697.

Julvez, J., C. Mahulea and C. Vazquez, 2012. SimHPN: A MATLAB toolbox for simulation, analysis and design with hybrid petri nets. Nonlinear Anal: Hybrid Syst., 6: 806-817.
CrossRef  |  

List, G.F. and M. Cetin, 2004. Modeling traffic signal control using petri nets. IEEE Trans. Intell. Transp. Syst., 5: 177-187.
CrossRef  |  

Montgomery, D.C., 2009. Design and Analysis of Experiment. 7th Edn., John Wiley & Sons, Inc., New York, pp: 34.

Murata, T., 1989. Petri nets: Properties, analysis and applications. Proc. IEEE., 77: 541-580.
CrossRef  |  Direct Link  |  

Porter, B.E. and K.J. England, 2000. Predicting red-light running behavior: A traffic safety study in three urban settings. J. Safety Res., 31: 1-8.
CrossRef  |  

Ramli, K. and M.S. Harjono, 2011. Deadlock-freeness properties of petri nets in urban traffic network: A survey. Proceedings of the International Symposium on Chaos Revolution in Science, Technology and Society, February 21-22, 2011, Depok, Indonesia -.

Silva, M., J. Julvez, C. Mahulea and C.R. Vazquez, 2011. On fluidization of discrete event models: Observation and control of continuous Petri nets. Discrete Event Dyn. Syst., 21: 427-497.
CrossRef  |  

Tolba, C., D. Lefebvre, P. Thomas and A. El Moudni, 2005. Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling. Simulat. Modelling Practice Theory, 13: 407-436.
CrossRef  |  

Vazquez, C.R., H.Y. Sutarto, R.K. Boel and M. Silva, 2010. Hybrid petri net model of a traffic intersection in a urban network. Proceedings of the IEEE Internatioal Conference Control Applications, September 8-10, 2010, Yokohama, pp: 658-664.

Wang, L., L. Zhang, W. Zhang and K. Zhou, 2009. Red light running prediction for dynamic all-red extension at signalized intersection. Proceedings of the 12th Instructional Technology Strategies Conference, October 4-7, 2009, St. Louis, USA., pp: 1-5.

Young, I.T., 1977. Proof without prejudice: Use of the kolmogorov-smirnov test for the analysis of histograms from flow systems and other sources. J. Histochem. Cytochem., 25: 935-941.
PubMed  |  

Zhang, J., J. Cross, and Y.R. Zheng, 2010. Statistical channel modeling of wireless shallow water acoustic communications from experiment data. Proceedings of the Military Communications Conference, October 31, 2010, San Jose, CA., USA., pp: 2412-2416.

Zhang, L., K. Zhou, W. Zhang and J.A. Misener, 2008. Empirical observations of red light running at arterial signalized intersection. Path Tech. Note, http://trid.trb.org/view.aspx?id=887439.

Zhang, L., L. Wang, K. Zhou and W. Zhang, 2012. Dynamic all-red extension at a signalized intersection: A framework of probabilistic modeling and performance evaluation. IEEE Trans. Intell. Transp. Syst., 13: 166-179.
CrossRef  |