-
1
-
-
15744403221
-
-
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, The Hague, Netherlands.
-
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.
-
A Hybrid Model for Urban Traffic Control
, vol.2
, pp. 1795-1800
-
-
Basile, F.1
Carbone, C.2
Chiacchio, P.3
Boel, R.K.4
Avram, C.C.5
-
2
-
-
38049091519
-
Design of a Supervisor for Traffic Light Systems
-
Chung, T. H., and Huang, Y. S., 2007. “Design of a Supervisor for Traffic Light Systems,”. Lecture Notes in Artificial Intelligence, 4693:704–711.
-
(2007)
Lecture Notes in Artificial Intelligence
, vol.4693
, pp. 704-711
-
-
Chung, T.H.1
Huang, Y.S.2
-
3
-
-
85023913962
-
-
CPNTOOL, Computer Tool for Coloured Petri Nets, 2007, Available
-
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.)
-
-
-
-
4
-
-
27944461806
-
-
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hl, USA.
-
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.
-
Validation of an Urban Traffic Network Model Using Colored Timed Petri Nets
, vol.2
, pp. 1347-1352
-
-
Dotoli, M.1
Fanti, M.P.2
Lacobellis, G.3
-
5
-
-
0034783961
-
-
Proceedings of the IEEE Intelligent Transportation Systems Conference, Oakland, CA, USA.
-
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.
-
Towards the Development of Intelligent Transportation Systems
, pp. 1206-1211
-
-
Figueiredo, L.1
Jesus, I.2
Machado, J.A.T.3
Ferreira, J.R.4
Martins de Carvalho, J.L.5
-
6
-
-
33750114882
-
Design of Traffic Light Control Systems Using Statecharts
-
Huang, Y. S., 2006. “Design of Traffic Light Control Systems Using Statecharts,”. The Computer Journal, 49 (4):634–649.
-
(2006)
The Computer Journal
, vol.49
, Issue.4
, pp. 634-649
-
-
Huang, Y.S.1
-
7
-
-
44649114574
-
Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets
-
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.
-
(2008)
Journal of Information Science and Engineering
, vol.24
, Issue.3
, pp. 875-890
-
-
Huang, Y.S.1
Chung, T.H.2
-
8
-
-
0024645936
-
Petri Nets: Properties, Analysis and Applications
-
1995 Coloured Petri Nets, Vol. 2, Springer-Verlag, NY, USA
-
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.
-
(1989)
Proceeding IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Jensen, K.1
Murata, T.2
-
10
-
-
0033281244
-
-
Proceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, NV, USA.
-
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.
-
Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models
, pp. 77-85
-
-
Wang, J.1
Jin, C.2
Deng, Y.3
|