Based on Synchronized Timed Petri Nets for Emergency Vehicle Preemption Systems

Article Preview

Abstract:

Timed Petri net (TPN) has been utilized as a visual formalism for the modeling of complex discrete event dynamic systems. It illuminates the features on describing properties of causality and concurrency. Moreover, it is well-known that synchronized timed Petri net (STPN) allows us to present all of the concurrent states in complex TPN. In this paper, we propose a new methodology to design, analyze and implement an urban emergency vehicle preemption control system by using STPN. The applications of STPN to two-phase traffic lights and emergency vehicle preemption are illustrated. The advantage of the proposed approach is the clear presentation of traffic lights’ behaviors in terms of conditions and events that cause the preemption phases alternations. Finally, a two-phase traffic lights control system with emergency vehicle preemption will be realized by using STPN. To our knowledge, this is the first work that employs STPN to model a two-phase traffic lights control system with emergency vehicle preemption system.

You might also be interested in these eBooks

Info:

Periodical:

Advanced Materials Research (Volumes 291-294)

Pages:

2775-2778

Citation:

Online since:

July 2011

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2011 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] J. H. Lee and K. H. Lee: IEEE Trans. Systems, Man and Cybernetics, 29, 1999, pp.263-271.

Google Scholar

[2] D. I. Robertson and R.D. Bretherton: IEEE Trans. Veh. Technol., 40, 1991, pp.11-15.

Google Scholar

[3] Information on http://www.signaltiming.com/The_Signal_Timing_Manual_08082008.pdf

Google Scholar

[4] R. K. Kamalanathsharma: Master of Science in Civil and Environmental Engineering, 2010.

Google Scholar

[5] Information on http://ntl.bts.gov/lib/jpodocs/repts_te/14097_files/14097.pdf

Google Scholar

[6] R. Zurawski and M. C. Zhou: IEEE Trans. Industrial Electronics, 41, 6, 1994, pp.567-583.

Google Scholar

[7] B. Hruz and M. C. Zhou: Modeling and Control of Discrete Event Dynamic Systems, Springer, London, UK, 2007.

Google Scholar

[8] Y. S. Huang and T. H. Chung: Transactions of the Institute of Measurement & Control, 2009, pp.1-20.

Google Scholar

[9] Y. S. Huang and P. J. SU: IET Control Theory & Applications, 3(3), 2009, pp.340-350.

Google Scholar

[10] Y. S. Huang and Y. S. Weng: submitted to Journal of IET Control Theory & Applications, 2011.

Google Scholar