74 Bibliography<strong>in</strong> Computers <strong>and</strong> Processors, p. 395, IEEE Computer Society,Wash<strong>in</strong>gton, DC, USA, 2002.[Mosk 01] M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, <strong>and</strong> S. Malik.“Chaff: Eng<strong>in</strong>eer<strong>in</strong>g an Efficient SAT Solver”. In: Proceed<strong>in</strong>gs<strong>of</strong> the 38th Design Automation Conference (DAC’01), pp. 530–535, ACM, 2001.[Muni 09] A. C. Muniyappa. Computer Safety, Reliability, <strong>and</strong> Security.Spr<strong>in</strong>ger, Berl<strong>in</strong> Heidelberg, 2009.[Naga 07][Nage 03][Papa 03][P<strong>in</strong>e 02]T. Nagatani. “Vehicular traffic through a sequence <strong>of</strong> green-wavelights”. Physica A: Statistical Mechanics <strong>and</strong> its Applications,Vol. 380, pp. 503 – 511, 2007.K. Nagel, P. Wagner, <strong>and</strong> R. Woesler. “Still flow<strong>in</strong>g: Approachesto traffic flow <strong>and</strong> traffic jam model<strong>in</strong>g”. Operations research,Vol. 51, No. 5, pp. 681–710, 2003.M. Papageorgiou, C. Diakaki, V. D<strong>in</strong>opoulou, A. Kotsialos, <strong>and</strong>Y. Wang. “Review <strong>of</strong> Road <strong>Traffic</strong> Control Strategies”. PRO-CEEDINGS - IEEE, Vol. 91, pp. 2043–2067, 2003.M. P<strong>in</strong>edo et al. LEKIN R○ - Flexible Job-Shop Schedul<strong>in</strong>g System.New York University, Leonard N. Stern School <strong>of</strong> Bus<strong>in</strong>ess NewYork, NY, 2002.http://www.stern.nyu.edu/om/s<strong>of</strong>tware/lek<strong>in</strong>/.[P<strong>in</strong>e 08] M. P<strong>in</strong>edo. Schedul<strong>in</strong>g: Theory, Algorithms, <strong>and</strong> Systems.Spr<strong>in</strong>ger, 233 Spr<strong>in</strong>g Street, NewYork, NY 10013, USA, thirdEd., 2008.[Prag 09]Prague city. “Statistika registru silničních vozidel v hl.m. Praze”.http://doprava.praha-mesto.cz/, December 2009.[Robe 69] D. Robertson. “TRANSYT method for area traffic control”. <strong>Traffic</strong>Eng. Control, Vol. 10, p. 276, 1969.[Sen 97]S. Sen <strong>and</strong> L. K. Head. “Controlled <strong>Optimization</strong> <strong>of</strong> Phases at anIntersection”. Transportation Science, Vol. 31, pp. 5–17, 1997.
Bibliography 75[Tolb 01] C. Tolba. “Cont<strong>in</strong>uous Petri Nets Models for the Analysis <strong>of</strong><strong>Traffic</strong> <strong>Urban</strong> Networks”. In: Proceed<strong>in</strong>gs <strong>of</strong> IEEE Systems, Man,<strong>and</strong> Cybernetics Conference, Arizona, USA, pp. 1323–1328, 2001.[Tolb 03][Tolb 05]C. Tolba, P. Thomas, A. ElMoudni, <strong>and</strong> D. Lefebvre. “Performancesevaluation <strong>of</strong> the traffic control <strong>in</strong> a s<strong>in</strong>gle crossroad byPetri nets”. In: IEEE Emerg<strong>in</strong>g Technologies <strong>and</strong> Factory Automation,2003.C. Tolba, D. Lefebvre, P. Thomas, <strong>and</strong> E. A. Moudni. “Cont<strong>in</strong>uous<strong>and</strong> timed Petri nets for the macroscopic <strong>and</strong> microscopictraffic flow modell<strong>in</strong>g”. Simulation Modell<strong>in</strong>g Practice <strong>and</strong> Theory,Vol. 13, No. 5, pp. 407–436, July 2005.[Wang 93] H. Wang, G. F. List, <strong>and</strong> F. Dicesare. “<strong>Model<strong>in</strong>g</strong> <strong>and</strong> Evaluation<strong>of</strong> <strong>Traffic</strong> Signal Control Us<strong>in</strong>g Timed Petri Nets”. In: IEEEInternational Conference on Systems, Man <strong>and</strong> Cybernetic, 1993.