A hybrid Petri nets-based simulation model for evaluating the design of railway transit stations

Simulation Modelling Practice and Theory

Volumn 15, Issue 8, 2007, Pages 935-969

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

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

^b INRETS   (France)

Author keywords

Design; Formal analysis; Hybrid Petri nets; Modeling; Performance evaluation; Railway transit station; Safety; Security; Simulation

Indexed keywords

ACCIDENTS; PETRI NETS; RAILROAD TRANSPORTATION;

FORMAL ANALYSIS; HYBRID PETRI NETS; MODELING; PERFORMANCE EVALUATION; PUBLIC TRANSPORT; RAILWAY TRANSIT STATION;

COMPUTER SIMULATION;

EID: 34547743882     PISSN: 1569190X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.simpat.2007.05.003     Document Type: Article

References (48)

1. ECS, http://www.cenorm.be/cenorm/index.htm.
2. Kittelson & Associates et al., Transit Capacity and Quality of Service Manual, 2nd ed., 2003 [Online]. Available from: .
3. Luquet F. Multimodality: urban hub management. Revue RATP Savoir-Faire 26 (1998) 31-35
4. P. Sizer, A. Small, Railway Group Station Safety Performance Report [Online]. Available from: http://www.rssb.co.uk/spreports.asp, June 2005.
5. Albertsson P., and Falkmer T. ;Is there a pattern in European bus and coach incidents? A literature analysis with special focus on injury causation and injury mechanisms. Accident Analysis and Prevention 37 2 (2005) 225-233
6. Morlok E.K., Nitzberg B.F., and Lai L. Boarding and alighting injury experience with different station platform and car entranceway designs on US commuter railroads. Accident Analysis and Prevention 36 2 (2004) 261-271
7. Morlok E.K., and Nitzberg B.F. Reducing boarding and alighting accident rates on mixed high and low platform railroad lines through car and station design. Journal of Transportation Engineering 131 5 (2005) 382-391
8. van der Aalst W.M.P., and Odijk M.A. Analysis of railway stations by means of interval timed coloured Petri nets. Real-Time Systems 9 3 (1995) 241-263
9. Takagi R., Goodman C.J., and Roberts C. Modelling passenger flows at a transport interchange using Petri nets. Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit 217 2 (2003) 125-134
10. Alla H., and David R. A modelling and analysis tool for discrete events systems: continuous Petri net. Performance Evaluation 33 3 (1998) 175-199
11. Silva M., and Recalde L. On fluidification of Petri nets: From discrete to hybrid and continuous models. Annual Reviews in Control 28 2 (2004) 253-266
12. Hoogendoorn S.P., Hauser M., and Rodrigues N. Applying microscopic pedestrian flow simulation to railway station design evaluation in Lisbon, Portugal. Transportation Research Record 1878 (2004) 83-94
13. W. Daamen, A quantitative assessment on the design of a railway station, Computers in Railways VIII, in: Proceedings of CompRail 2002, Lemnos, Greece, 2002, pp. 191-200.
14. W. Daamen, Modelling passenger flows in public transport facilities, PhD Thesis, Delft University Press. Available on line at: http://www.pedestrians.tudelft.nl/, 2004.
15. J.Y.S. Lee, W.H.K. Lam, S.C. Wong, Pedestrian simulation model for Hong Kong underground stations, in: IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, 2001, pp. 554-558.
16. J. Fruin, 1971, Pedestrian Planning and Design, Metropolitan Association of Urban Designers and Environmental Planners, New York (out of print).
17. Hankin B.D., and Wright R.A. Passenger flows in subways. Operational Research Quarterly 9 (1958) 81-88
18. Ando K., Ota H., and Oki T. Forecasting the flow of people. R.R.R. Railway Research Review 45 (1988) 8-14
19. Predtechenskii V.M., and Milinskii A.I. Planning for Foot Traffic Flow in Buildings (1978), Amerind Publishing Co.Pvt.Ltd., New Delhi translated from original publication in Russian
20. P. Thompson,Simulex: simulated people have needs too [Online]. Available: .
21. Antsaklis P., Koutsoukos X., and Zaytoon J. On hybrid control of hybrid systems: a survey. JESA 32 9-10 (1996) 1023-1045
22. J. Zaytoon, Systèmes dynamiques hybrides, Traité IC2, Ed Hermès, Paris, 2001.
23. S. Engell, G. Frehse, E. Schnieder, Modelling, Analysis, and Design of Hybrid Systems, LNCIS, Springer-Verlag, Germany, 2002.
24. Jensen K. A brief introduction to coloured Petri nets. Lecture Notes in Computer Science 1217 (1997) 203-208
25. David R., and Alla H. Discrete, Continuous, and Hybrid Petri nets (2005), Springer
26. David R. Modeling of hybrid systems using continuous and hybrid Petri nets. International Workshop on Petri nets and Performance Models (1997) 47-58
27. Allam M., and Alla H. Modeling and simulation of an electronic component manufacturing system using hybrid Petri nets. IEEE Transactions on Semiconductor Manufacturing 11 (1998) 374-383
28. Balduzzi F., Giua A., and Menga G. First-order hybrid Petri nets: a model for optimization and control. IEEE Transactions on Robotics and Automation 16 4 (2000) 382-399
29. Giua A., Pilloni M.T., and Seatzu C. Modelling and simulation of a bottling plant using hybrid Petri nets. International Journal of Production Research 43 7 (2005) 1375-1395
30. Di Febbraro A., Giglio D., and Sacco N. Urban traffic control structure based on hybrid petri nets. IEEE Transactions on Intelligent Transportation Systems 5 4 (2004) 224-237
31. Tolba C., Lefebvre D., Thomas P., and El Moudni A. Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modeling. Simulation Modelling Practice and Theory 13 5 (2005) 407-436
32. F. Kaakai, S. Hayat, A. El Moudni, Formal design of public transport stations owing to Hybrid Event Graphs, in: Proceedings of the 8th IEEE Intelligent Transportation Systems Conference, Vienne, 2005.
33. F. Kaakai, S. Hayat, A. El Moudni, Simulation of railway stations based on Hybrid petri nets, in: Proceeding of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, Alghero, Sardinia, Italie, 2006.
34. R. David, S.I. Caramihai, Modelling of delays on continuous flows thanks to extended hybrid Petri nets, in: Proceedings of 4th International Conference Automation of Mixed Processes: Hybrid Dynamical Systems, Dortmund, Germany, pp. 343-51, 18-19 Sett., 2000.
35. Demongodin I. Generalised batches Petri net: hybrid model for high speed systems with variable delays. Discrete Event Dynamic Systems: Theory and Applications 11 1/2 (2001) 137-162
36. Murata T. Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77 (1989) 541-580
37. G. Memmi, G. Roucairol, Linear algebra in net theory, Lecture Notes in Computer Science 4 (1151) (1980) 213-223.
38. RATP, Enquête T.J.R.F. 1997 (statistical survey on the daily traffic of the railway transportation network of Paris), Technical report, 2000.
39. Simulation data - Characteristics of the subway MP89, Revue Générale des Chemins de Fer - Juin 1996 Online (only in French): http://perso.orange.fr/florent.brisou/Fiche%20MP89.htm. From a structural point of view, subways MP59 and MP 89 have almost the same characteristics. As technical data related to subway MP59 are not available on-line, we have referred to those related to subway MP 89.
40. Simulation data - Timetable of line 4 during peak and off-peak periods, RATP (transit authority, Paris) Online (only in French): http://www.ratp.fr/.
41. Free software SIRPHYCO developed by the Laboratoire d'Automatique de Grenoble. Online: http://www.lag.ensieg.inpg.fr/sirphyco/.
42. Agarwal R.P., Meehan M., and O'Regan D. Fixed Point Theory and Applications (2001), Cambridge University Press
43. Dugundji J., and Granas A. Fixed Point Theory (2003), Springer-Verlag
44. Valette R. Analysis of Petri nets by stepwise refinement. Journal of Computer and System Sciences 18 (1979) 35-46
45. Suzuki I., and Murata T. Method for stepwise refinement and abstraction of petri nets. Journal of Computer and System Sciences 27 1 (1983) 51-76
46. Valavanis K.P. On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets. IEEE Transactions on Systems, Man and Cybernetics 20 (1990) 94-110
47. Buchholz P. Hierarchical high level petri nets for complex system analysis. Lecture Notes in Computer Science 815 (1994) 119
48. Di Febbraro A., Giglio D., and Sacco N. Modular representation of urban traffic systems based on hybrid Petri nets. IEEE International Conference on Intelligent Transportation Systems (2003) 866-871