Simulation of railway stations based on hybrid petri nets

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 2, Issue PART 1, 2006, Pages 50-55

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

^a INRETS   (France)

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

Author keywords

Design; Hybrid; Model; Performance evaluation; Petri nets; Stations; Transport

Indexed keywords

DESIGN; HYBRID SYSTEMS; MODELS; PETRI NETS; RAILROAD STATIONS; SUBWAY STATIONS; TELEVISION STATIONS;

HYBRID; HYBRID DYNAMICAL SYSTEMS; INTRINSIC CHARACTERISTICS; PERFORMANCE EVALUATION; QUALITATIVE PROPERTIES; RAILWAY STATIONS; STATION FACILITIES; TRANSPORT;

RAILROADS;

EID: 79960965051     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20060607-3-it-3902.00013     Document Type: Conference Paper

References (11)

1. Alla, H. and R. David (1998). Modelling and analysis tool for discrete events systems: continuous Petri net. Performance Evaluation, v 33, n 3, pp. 175-199. (Pubitemid 128676430)
2. Antsaklis, P., X. Koutsoukos and J. Zaytoon (1996). On hybrid control of hybrid systems: a survey. JESA, vol. 32, no 9-10, pp. 1023-1045.
3. David, R. (1997). Modeling of hybrid systems using continuous and hybrid Petri nets. International Workshop on Petri Nets and Performance Models, pp. 47-58.
4. David, R. and H. Alla (2001). On Hybrid Petri Nets. Journal of Discrete Event Dynamic Systems: Theory and Applications, Vol. 11, pp. 9-40. (Pubitemid 32159843)
5. ECS, http://www.cenorm.be/cenorm/index.htm.
6. Engell, S., G. Frehse and E. Schnieder (2002) Modelling, Analysis, and Design of Hybrid Systems. LNCIS, Ed. Springer-Verlag, Germany.
7. Kaakai, F., S. Hayat and A. El Moudni (2005). Formal design of public transport stations owing to Hybrid Event Graphs", in Proc. of IEEE Intelligent Transportation Systems Conf., Vienne.
8. Kittelson & Associates et al., Transit Capacity and Quality of service Manual [Online]. Available: http://www4.trb.org/trb/crp.nsf/ All+Projects/TCRP+A-15 1nd edition, 2003.
9. Luquet, F. (1998). Multimodality: urban hub management. Revue RATP Savoir-Faire, No. 26, pp. 31-35.
10. Murata, T. (1989). Petri Nets: Properties, analysis and applications. Proc. IEEE, vol. 77, pp. 541-580.
11. Zaytoon J. (2001). Systèmes dynamiques hybrides. Traité IC2. (Hermès (Ed)), Paris.