References
- Basile , F. , Carbone , C. , Chiacchio , P. , Boel , R.K. and Avram , C. C. “A Hybrid Model for Urban Traffic Control,” . Proceedings of the IEEE International Conference on Systems, Man and Cybernetics . The Hague, Netherlands. Vol. 2 , pp. 1795 – 1800 .
- Chung , T. H. and Huang , Y. S. 2007 . “Design of a Supervisor for Traffic Light Systems,” . Lecture Notes in Artificial Intelligence , 4693 : 704 – 711 .
- CPNTOOL, Computer Tool for Coloured Petri Nets, 2007, Available: http://wiki.daimi.au.dk/cpntools/cpntools.wiki. (http://wiki.daimi.au.dk/cpntools/cpntools.wiki.)
- Dotoli , M. , Fanti , M.P. and Lacobellis , G. “Validation of an Urban Traffic Network Model Using Colored Timed Petri Nets,” . Proceedings of the IEEE International Conference on Systems, Man and Cybernetics . Waikoloa, Hl, USA. Vol. 2 , pp. 1347 – 1352 .
- Figueiredo , L. , Jesus , I. , Machado , J. A. T. , Ferreira , J.R. and Martins de Carvalho , J. L. “Towards the Development of Intelligent Transportation Systems,” . Proceedings of the IEEE Intelligent Transportation Systems Conference . Oakland, CA, USA. pp. 1206 – 1211 .
- Huang , Y. S. 2006 . “Design of Traffic Light Control Systems Using Statecharts,” . The Computer Journal , 49 ( 4 ) : 634 – 649 .
- Huang , Y. S. and Chung , T. H. 2008 . “Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP‐nets,” . Journal of Information Science and Engineering , 24 ( 3 ) : 875 – 890 .
- Jensen , K. and Murata , T. 1989 . “Petri Nets: Properties, Analysis and Applications,” . Proceeding IEEE , 77 ( 4 ) : 541 – 580 . 1995 Coloured Petri Nets, Vol. 2, Springer‐Verlag, NY, USA.
- Peterson , J. L. 1981 . Petri net theory and the modelingof systems , Taipei, , Taiwan : Central Book Company . ROC
- Wang , J. , Jin , C. and Deng , Y. “Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models,” . Proceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems . Las Vegas, NV, USA. pp. 77 – 85 .
- Corresponding author. (Tel: 886–3–3800301; Fax: +886–3–3900487; Email: [email protected])