메뉴 건너뛰기




Volumn 2, Issue , 2005, Pages 1347-1352

Validation of an Urban traffic network model using Colored Timed Petri Nets

Author keywords

Colored timed Petri nets; Modeling; Performance measures; Urban systems; Validation

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; PETRI NETS; SIGNAL PROCESSING; TELECOMMUNICATION TRAFFIC;

EID: 27944461806     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (19)

References (8)
  • 2
    • 85017451639 scopus 로고
    • The application of Petri nets to the modelling, analysis and control of intelligent urban traffic networks
    • Lecture Notes in Computer Science, Springer, Berlin
    • F. Di Cesare, P.T. Kulp, M. Gile and G. List, "The application of Petri nets to the modelling, analysis and control of intelligent urban traffic networks", Application and Theory of Petri Nets, Lecture Notes in Computer Science, Vol. 815, Springer, Berlin, 1994.
    • (1994) Application and Theory of Petri Nets , vol.815
    • Di Cesare, F.1    Kulp, P.T.2    Gile, M.3    List, G.4
  • 3
    • 3042689029 scopus 로고    scopus 로고
    • On modelling urban transportation networks via hybrid Petri nets
    • October
    • A. Di Febbraro and N. Sacco, "On modelling urban transportation networks via hybrid Petri nets", Control Engineering Practice, Vol. 12, No. 10, pp. 1225-1239, October 2004.
    • (2004) Control Engineering Practice , vol.12 , Issue.10 , pp. 1225-1239
    • Di Febbraro, A.1    Sacco, N.2
  • 7
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • April
    • T. Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of the IEEE, Vol. 77, No. 4, pp. 541-580, April 1989.
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.