Scenario analysis of a network of traffic signals designed with Petri nets

WIT Transactions on the Built Environment

Volumn 96, Issue , 2007, Pages 289-297

  Dos Santos Soares, M ^a   Vrancken, J ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR SYSTEMS; PETRI NETS; STREET TRAFFIC CONTROL; SYSTEMS ANALYSIS;

LINEAR LOGICS; SCENARIO ANALYSIS;

TRAFFIC SIGNALS;

CONFERENCE PROCEEDING; CONTROL SYSTEM; SIGNAL; TRAFFIC MANAGEMENT;

EID: 38849100297     PISSN: 17433509     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2495/UT070281     Document Type: Conference Paper

References (15)

1. Murata, T., Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), pp. 541-580, 1989.
2. Lin, L., Nan, T., Xiangyang, M. & Fubing, S., Implementation of traffic lights control based on petri nets. Proc. of the 6th IEEE International Conference on Intelligent Transportation Systems, Toronto, 2003.
3. Tolba, C., Thomas, P. & ElMoudni, A., Performances evaluation of the traffic control in a single crossroad by Petri nets. Proceedings of the ETFA - Emerging Technologies and Factory Automation, Lisbon, volume 2, pp. 157-160, 2003.
4. Julvez, J. & Boel, R., Modeling and controlling traffic behavior with continuous petri nets. Proceedings of the 16th triennial world congress of the International Federation of Automatic Control (IFAC2005), Prague, 2005.
5. List, G. & Cetin, M., Modeling traffic signal control using petri nets. IEEE Transactions on Intelligent Transportation Systems, 5, pp. 177-187, 2004.
6. Febbraro, A., Giglio, D. & Sacco, N., Urban traffic control structure based on hybrid petri nets. IEEE Transactions on Intelligent Transportation Systems, 5(4), pp. 224-237, 2004.
7. Khisty, C., & Lall, B., Iransportation Engineering: An Introduction. Prentice Hall, 2003.
8. Gallego, J., Farges, J. & Henry, J., Design by petri nets of an intersection signal controller. Transportation Research Part C: Emerging Technologies, 4(4), pp. 231-248, 1996.
9. Wang, J., Deterministic Timed Petri nets (Chapter 3). Kluwer Academic Publishers, pp. 37-62, 1998.
10. Girard, J., Linear logic. Theoretical Computer Science, 50, pp. 1-102, 1987.
11. Brown, C., Relating petri nets to formulas of linear logic. Edinburgh Tech. Report ECS-LFCS-89-87, 1989.
12. Engberg, U. & Winskel, G., Petri nets as models of linear logic. Proceedings of Colloquium on Trees in Algebra and Programming, Springer-Verlag LNCS 389, pp. 147-161, 2003.
13. Riviere, N., Pradin-Chezalviel, B. & Valette, R., Reachability and temporal conflicts in t-time petri nets. Proceedings of the 9th International Workshop on Petri nets and Performance Models (PNPM'01), Aachen, pp. 229-238, 2001.
14. Girault, F., Pradin-Chezalviel, B. & Valette, R., A logic for petri nets. JESA: Journal Europeen des Systemes Automatises, 31(3), pp. 525-542, 1997.
15. Demmou, D., Khalfaoui, S., Guilhem, E. & Valette, R., Critical scenarios derivation methodology for mechatronic systems. Reliability Engineering & System Safety, 84(1), pp. 525-542, 2004.