Formal design of public transport stations owing to Hybrid Event Graphs (HEG)

IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC

Volumn 2005, Issue , 2005, Pages 396-401

  Kaakai, Fateh ^c,d   Hayat, Said ^a   El Moudni, Abdellah ^b  

^a National Institute for Transport and Safety Research   (France)

^b UNIVERSITÉ DE TECHNOLOGIE DE BELFORT MONTBÉLIARD   (France)

^c UNIVERSITÉ GUSTAVE EIFFEL   (France)

^d Laboratory SeT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID EVENT GRAPHS (HEG); HYBRID PETRI NETS; QUAYS SATURATION;

GRAPH THEORY; MATHEMATICAL MODELS; PETRI NETS;

TRANSPORTATION;

EID: 33747390475     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITSC.2005.1520081     Document Type: Conference Paper

References (16)

1. CERTU, "Bibliographie commentée sur l'intégration urbaine des pôles d'échanges", Technical report, Lyon, France. 2002.
2. F. Luquet, "Multimodality: urban hub management", in Revue RATP Savoir-Faire, no 26, pp. 31-35, 1998.
3. ECS, http://www.cenorm.be/cenorm/index.htm
4. A. Abbas-Turki, O. Grunder, A. Elmoudni, "Public transportation systems: modeling and analysis based on a new Petri net approach", in IEEE International Conference on Systems, Man and Cybernetics. Conference Proceedings, vol. 4, p 177-182, 2002.
5. W.M.P Van Der Aalst, "Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets" in Real-Time Systems, vol. 9, pp 1-23, 1994.
6. S.P. Hoogendoorn and W. Daamen, "Design assessment of Lisbon transfer stations using microscopic pedestrian simulation" in Advances in Transport, vol. 15, Computers in Railways IX, pp. 135-147, 2004.
7. S. Durmisevic and E. Sariyildiz, "A systematic quality assessment of underground spaces - public transport stations", in Cities, vol. 18, no. 1, pp. 13-23, 2001.
8. J.P. Li, "Train station passenger flow study", in Proceedings of the 2000 Winter Simulation Conference, pp. 1173-1176, 2000.
9. P. Antsaklis, X. Koutsoukos, J. Zaytoon, "On hybrid control of hybrid systems: a survey", in JESA, vol. 32, no 9-10, pp. 1023-1045, 1996.
10. J. Zaytoon. Systèmes dynamiques hybrides. Traité IC2, Ed Hermès, Paris, 2001.
11. S. Engell, G. Frehse, E. Schnieder, Modelling, Analysis, and Design of Hybrid Systems. LNCIS, Ed. Springer-Verlag, Germany, 2002.
12. R. David, H. Alla, "On Hybrid Petri Nets", in Journal of Discrete Event Dynamic Systems: Theory and Applications, vol. 11, pp. 9-40. 2001.
13. R. David, H. Alla, Du Grafcet aux réseaux de Petri. Ed. Hermès, 2nd Ed., Paris, 1992.
14. M. Moalla, J. Pulou, J. Sifakis, "Réseaux de Petri synchronisés", in Revue RAIRO Automatique, vol. 12, no 2, pp. 103-130, 1978.
15. R. David and H. Alla, "Continuous Petri nets" in Proc. 8th European Workshop on Application and Theory of Petri Nets, Saragosse, 1987.
16. E. Dubois, H. Alla, R. David, "Continuous Petri net with maximal speeds depending on time" in Proc. 4th Int. Conf. Computer Integrated Manufacturing and Automation Technology, p32-39, 1994.