[1]
Z. Manna, A. Pnueli. Verifying hybrid systems. Lecture Notes in Computer Science, Vol. 736(1993), pp.4-35.
DOI: 10.1007/3-540-57318-6_22
Google Scholar
[2]
A. Nerode, W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. Lecture Notes in Computer Science, Vol. 736(1993), pp.317-356.
DOI: 10.1007/3-540-57318-6_35
Google Scholar
[3]
A. D. Febbraro, N. Sacco. On modelling urban transportation networks via hybrid Petri nets.Control Engineering Practice,Vol 12(2004),pp.1225-1239.
DOI: 10.1016/j.conengprac.2004.04.008
Google Scholar
[4]
A. D. Febbraro, A. Ferrara, S. Sacone. Hybrid Petri nets for the performance analysis of transportation systems. In :Proceedings of the 37th IEEE international conference on decision and control, Tampa, FL , December, 1998, p.3232–3237.
DOI: 10.1109/cdc.1998.758197
Google Scholar
[5]
F. Basile, Carbone, P.Chiacchio R.K. Boel C.C. Avram. A hybrid model for urban traffic control. In: Proceedings of 2004 IEEE International Conference on Systems, Man and Cybernetics. Netherlands , October 2004,p.1795~1800.
DOI: 10.1109/icsmc.2004.1399907
Google Scholar
[6]
J. Liu. Parallel Simulation of hybrid network traffic models. In: Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation. San Diego, California, June 12-15, 2007, pp.141-151.
DOI: 10.1109/pads.2007.26
Google Scholar
[7]
Y. Lu, H.Dai. Hybrid Petri net modelling for urban traffic network. Journal of ZheJiang University(Engineering Edition) (In Chinese)Vol.41 No.1 (2007): 930~934.
Google Scholar
[8]
W. Burghout, H. N. Koutsopoulos and I. Andresson. A discrete-event mesoscopic traffic simulation model for hybrid traffic simulation. In: Proceedings of 2006 IEEE Intelligent Transportation Systems Conference. Toronto, Canada, September 17-20, 2006, p.1102~1107.
DOI: 10.1109/itsc.2006.1707369
Google Scholar
[9]
H. Yang, J. Xu. Framework of highway simulation system based on Multi-Agent. Journal of Chang'an University(Natural Science Edition)(In Chinese) Vol.25 No.1 (2005)p.25~28.
Google Scholar
[10]
H. Yang, J. Xu. Model of highway simulation system based on hybrid Petri net. Journal of Chang'an University(Natural Science Edition) (In Chinese) Vol.26 No.4(2006),p.40~44.
Google Scholar
[11]
A. D. Febbraro, A. Ferrara, S. Sacone. Application of hybrid techniques to the modeling of Interurban Road Networks. In: Proceedings of the 1997 IEEE conference on intelligent transportation system, New York, Vol. 3, November 1997,p.88–93,.
DOI: 10.1109/itsc.1997.660455
Google Scholar
[12]
R. Boel, L. Mihaylova. Modeling Freeway networks by hybrid stochastic models. 2004 IEEE Intelligent Vehicles Symposium. University of Parma. Parma Italy, June 14-17,2004. p.182~187.
DOI: 10.1109/ivs.2004.1336378
Google Scholar
[13]
Y. Ye, L. Jia. Petri nets with objects and its application on modeling train operation. China Railway Science. (In Chinese) Vol.22 No.3(2001),p.15~20.
Google Scholar
[14]
Y. Ye, Y. Du, L. Jia. Operation system model of train group with object-oriented Petri subnet. China Railway Science. (In Chinese) Vol.23 No.4(2002),p.81~88.
Google Scholar
[15]
H. Liu. Petri Nets Modeling of train dispatching system and study on genetic algorithm for train operation adjustment system. August 2000. Doctor Dissertation. (In Chinese) China Railway Science Research Institute.
Google Scholar
[16]
Y. Ye, L. Jia. Model and simulation of train operation Petri Net with objects. Journal of system simulation. (In Chinese) Vol.14 No.2 (2002),p.132~139.
Google Scholar
[17]
F. Kaakai, S. Hayat, A.E. Moudni. A hybrid Petri Nets-based simulation model for evaluating the design of railway transit stations. Simulation Modeling Practice and Theory. 15(2007), pp.935-969.
DOI: 10.1016/j.simpat.2007.05.003
Google Scholar
[18]
A. Bobbio, M. Gribaudo and A.Horvath. Modeling a car safety controller in road tunnels using hybrid Petri nets. Proceedings of the ITSC 2006,2006 IEEE intelligent Transportation Systems Conference. Toronoto, Canada, September 17-20,2006. p.1436~1441.
DOI: 10.1109/itsc.2006.1707425
Google Scholar
[19]
X. Zhao, Y. Chen. Traffic light control method for a single intersection based on hybrid systems theory. Journal of Beijing University of Technology. (In Chinese) Vol.30 No.4 (2004), p.412~416.
Google Scholar