TY - BOOK PY - 2001 DA - 2001// TI - Stochastic activity networks: formal definitions and concepts PB - Springer CY - Berlin, Heidelberg ID - ref1 ER - TY - STD TI - Sanders WH (1999) Integrated frameworks for multi-level and multi-formalism modeling In: Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331), 2–9. https://doi.org/10.1109/PNPM.1999.796527. ID - ref2 ER - TY - STD TI - Sanders WH, Courtney T, Deavours D, Daly D, Derisavi S, Lam V (2003) Multi-formalism and multi-solution-method modeling frameworks: The Möbius approach In: Proceedings of the Symposium on Performance Evaluation - Stories and Perspectives, 241–256. ID - ref3 ER - TY - STD TI - da Silva LD, Mongelli D, Lollini P, Bondavalli A, Mandò G (2019) Performability analysis of a tramway system with virtual tags and local positioning In: 2019 9th Latin-American Symposium on Dependable Computing (LADC), 1–10. https://doi.org/10.1109/LADC48089.2019.8995712. ID - ref4 ER - TY - STD TI - Pugi L, Grasso F, Rossi G (2018) Energy simulation of tramway systems, simplified and efficient models In: 2018 IEEE International Conference on Environment and Electrical Engineering and 2018 IEEE Industrial and Commercial Power Systems Europe (EEEIC/I&CPS Europe), 1–6. https://doi.org/10.1109/EEEIC.2018.8494431. ID - ref5 ER - TY - STD TI - Yan Z, Min Y (2018) Energy consumption prediction of trams based on grey relational analysis and regression model In: 2018 IEEE International Conference of Intelligent Robotic and Control Engineering (IRCE), 111–117. https://doi.org/10.1109/IRCE.2018.8492926. ID - ref6 ER - TY - STD TI - Kubín J, Ferková ž (2015) Influnce of driving style of a tram driver on the tram’s energy consumption In: 2015 International Conference on Electrical Drives and Power Electronics (EDPE), 417–421. https://doi.org/10.1109/EDPE.2015.7325331. ID - ref7 ER - TY - JOUR AU - Dib, O. AU - Manier, M. -. A. AU - Moalic, L. AU - Caminada, A. PY - 2017 DA - 2017// TI - A multimodal transport network model and efficient algorithms for building advanced traveler information systems JO - Transp Res Procedia VL - 22 UR - https://doi.org/10.1016/j.trpro.2017.03.020 DO - 10.1016/j.trpro.2017.03.020 ID - Dib2017 ER - TY - STD TI - Dib O, Manier M, Moalic L (2016) Advanced modeling approach for computing multicriteria shortest paths in multimodal transportation networks In: 2016 IEEE International Conference on Intelligent Transportation Engineering (ICITE), 40–44. https://doi.org/10.1109/ICITE.2016.7581304. ID - ref9 ER - TY - JOUR AU - dell’Olio, L. AU - Ibeas, A. AU - Cecin, P. PY - 2011 DA - 2011// TI - The quality of service desired by public transport users JO - Transp Policy VL - 18 UR - https://doi.org/10.1016/j.tranpol.2010.08.005 DO - 10.1016/j.tranpol.2010.08.005 ID - dell’Olio2011 ER - TY - JOUR AU - Pagliara, F. AU - Biggiero, L. PY - 2017 DA - 2017// TI - Some evidence on the relationship between social exclusion and high speed rail systems JO - HKIE Trans VL - 24 UR - https://doi.org/10.1080/1023697X.2016.1263162 DO - 10.1080/1023697X.2016.1263162 ID - Pagliara2017 ER - TY - STD TI - Consilvio A, Di Febbraro A, Sacco N (2016) Stochastic scheduling approach for predictive risk-based railway maintenance In: 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT), 197–203. https://doi.org/10.1109/ICIRT.2016.7588732. ID - ref12 ER - TY - JOUR AU - D’Acierno, L. AU - Placido, A. AU - Botte, M. AU - Montella, B. PY - 2016 DA - 2016// TI - A methodological approach for managing rail disruptions with different perspectives JO - Int J Math Models Methods Appl Sci VL - 10 ID - D’Acierno2016 ER - TY - JOUR AU - Gao, Y. AU - Kroon, L. AU - Schmidt, M. AU - Yang, L. PY - 2016 DA - 2016// TI - Rescheduling a metro line in an over-crowded situation after disruptions JO - Transp Res B Methodol VL - 93 UR - https://doi.org/10.1016/j.trb.2016.08.011 DO - 10.1016/j.trb.2016.08.011 ID - Gao2016 ER - TY - JOUR AU - Zhan, S. AU - Zhao, J. AU - Peng, Q. PY - 2016 DA - 2016// TI - Real-time train rescheduling on highspeed railway under partial segment blockages JO - J China Railw Soc VL - 38 ID - Zhan2016 ER - TY - JOUR AU - Sierra, D. AU - Montecchi, L. AU - Mura, I. PY - 2019 DA - 2019// TI - Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants JO - J Braz Comput Soc VL - 25 UR - https://doi.org/10.1186/s13173-019-0092-8 DO - 10.1186/s13173-019-0092-8 ID - Sierra2019 ER - TY - STD TI - Sierras D, Briceño J, Buitrago H, Rozo B, Montecchi L, Mura I (2018) Probabilistic modeling of failure domino effects in chemical plants In: 2018 Eighth Latin-American Symposium on Dependable Computing (LADC), 57–66. https://doi.org/10.1109/LADC.2018.00016. ID - ref17 ER - TY - STD TI - Chiaradonna S, Di Giandomenico F, Masetti G (2016) Analyzing the impact of failures in the electric power distribution grid In: 2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 99–108. https://doi.org/10.1109/LADC.2016.23. ID - ref18 ER - TY - JOUR AU - Chiaradonna, S. AU - Di Giandomenico, F. AU - Lollini, P. PY - 2011 DA - 2011// TI - Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems JO - Int J Crit Infrastruct Prot VL - 4 UR - https://doi.org/10.1016/j.ijcip.2011.03.001 DO - 10.1016/j.ijcip.2011.03.001 ID - Chiaradonna2011 ER - TY - JOUR AU - Borba, E. AU - Tavares, E. PY - 2017 DA - 2017// TI - Stochastic modeling for performance and availability evaluation of hybrid storage systems JO - J Syst Softw. VL - 134 UR - https://doi.org/10.1016/j.jss.2017.08.043 DO - 10.1016/j.jss.2017.08.043 ID - Borba2017 ER - TY - JOUR AU - Corman, F. AU - Kecman, P. PY - 2018 DA - 2018// TI - Stochastic prediction of train delays in real-time using Bayesian networks JO - Transp Res C Emerg Technol VL - 95 UR - https://doi.org/10.1016/j.trc.2018.08.003 DO - 10.1016/j.trc.2018.08.003 ID - Corman2018 ER - TY - JOUR AU - Bavafa-Toosi, Y. AU - Blendinger, C. AU - Mehrmann, V. AU - Steinbrecher, A. AU - Unger, R. PY - 2008 DA - 2008// TI - A new methodology for modeling, analysis, synthesis, and simulation of time-optimal train traffic in large networks JO - IEEE Trans Autom Sci Eng VL - 5 UR - https://doi.org/10.1109/TASE.2007.897613 DO - 10.1109/TASE.2007.897613 ID - Bavafa-Toosi2008 ER - TY - JOUR AU - Ricci, S. PY - 2009 DA - 2009// TI - The use of petri nets models in railway traffic applications JO - IFAC Proc Vol VL - 42 UR - https://doi.org/10.3182/20090610-3-IT-4004.00031 DO - 10.3182/20090610-3-IT-4004.00031 ID - Ricci2009 ER - TY - JOUR AU - Milinković, S. AU - Marković, M. AU - Vesković, S. AU - Ivić, M. AU - Pavlović, N. PY - 2013 DA - 2013// TI - A fuzzy petri net model to estimate train delays JO - Simul Model Pract Theory VL - 33 UR - https://doi.org/10.1016/j.simpat.2012.12.005 DO - 10.1016/j.simpat.2012.12.005 ID - Milinković2013 ER - TY - JOUR AU - Ahmad, F. AU - Khan, S. A. PY - 2013 DA - 2013// TI - Specification and verification of safety properties along a crossing region in a railway network control JO - Appl Math Model VL - 37 UR - https://doi.org/10.1016/j.apm.2012.10.047 DO - 10.1016/j.apm.2012.10.047 ID - Ahmad2013 ER - TY - JOUR AU - Liu, B. AU - Ghazel, M. AU - Toguyéni, A. PY - 2016 DA - 2016// TI - Model-based diagnosis of multi-track level crossing plants JO - IEEE Trans Intell Transp Syst VL - 17 UR - https://doi.org/10.1109/TITS.2015.2478910 DO - 10.1109/TITS.2015.2478910 ID - Liu2016 ER - TY - STD TI - Giglio D, Sacco N (2016) A petri net model for analysis, optimisation, and control of railway networks and train schedules In: 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), 2442–2449. https://doi.org/10.1109/ITSC.2016.7795949. ID - ref27 ER - TY - JOUR AU - HIRAI, C. AU - KUNIMATSU, T. AU - TOMII, N. AU - KONDOU, S. AU - TAKABA, M. PY - 2009 DA - 2009// TI - A train stop deployment planning algorithm using a petri-net-based modelling approach JO - Q Rep RTRI VL - 50 UR - https://doi.org/10.2219/rtriqr.50.8 DO - 10.2219/rtriqr.50.8 ID - HIRAI2009 ER - TY - JOUR AU - Wang, P. AU - Ma, L. AU - Goverde, R. M. P. AU - Wang, Q. PY - 2016 DA - 2016// TI - Rescheduling trains using petri nets and heuristic search JO - IEEE Trans Intell Transp Syst VL - 17 UR - https://doi.org/10.1109/TITS.2015.2481091 DO - 10.1109/TITS.2015.2481091 ID - Wang2016 ER - TY - STD TI - Enache MF, Letia TS (2019) Approaching the railway traffic resilience with object enhanced time petri nets In: 2019 23rd International Conference on System Theory, Control and Computing (ICSTCC), 338–343. https://doi.org/10.1109/ICSTCC.2019.8885878. ID - ref30 ER - TY - JOUR AU - Biagi, M. AU - Carnevali, L. AU - Paolieri, M. AU - Vicario, E. PY - 2017 DA - 2017// TI - Performability evaluation of the ERTMS/ETCS – Level 3 JO - Transp Res C Emerg Technol VL - 82 UR - https://doi.org/10.1016/j.trc.2017.07.002 DO - 10.1016/j.trc.2017.07.002 ID - Biagi2017 ER -