{"title":"Correction to: Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets","authors":"Hela Kadri, S. Collart-Dutilleul, P. Bon","doi":"10.1007/978-3-030-72003-2_10","DOIUrl":"https://doi.org/10.1007/978-3-030-72003-2_10","url":null,"abstract":"","PeriodicalId":178229,"journal":{"name":"Operating Rules and Interoperability in Trans-National High-Speed Rail","volume":"125 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116577192","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets","authors":"Hela Kadri, S. Collart-Dutilleul, P. Bon","doi":"10.1007/978-3-030-72003-2_8","DOIUrl":"https://doi.org/10.1007/978-3-030-72003-2_8","url":null,"abstract":"","PeriodicalId":178229,"journal":{"name":"Operating Rules and Interoperability in Trans-National High-Speed Rail","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123644653","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Formal Validation of Interlocking Under Signaling Rules","authors":"Pengfei Sun, S. Collart-Dutilleul, P. Bon","doi":"10.1007/978-3-030-72003-2_7","DOIUrl":"https://doi.org/10.1007/978-3-030-72003-2_7","url":null,"abstract":"","PeriodicalId":178229,"journal":{"name":"Operating Rules and Interoperability in Trans-National High-Speed Rail","volume":"91 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122850597","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Modelling of High-Speed European Railway Systems","authors":"M. Perin","doi":"10.1007/978-3-030-72003-2_5","DOIUrl":"https://doi.org/10.1007/978-3-030-72003-2_5","url":null,"abstract":"","PeriodicalId":178229,"journal":{"name":"Operating Rules and Interoperability in Trans-National High-Speed Rail","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131678113","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Performance of International Passenger Rail Transportation: A Statistical Assessment","authors":"C. Blanquart, Thomas Zéroual","doi":"10.1007/978-3-030-72003-2_2","DOIUrl":"https://doi.org/10.1007/978-3-030-72003-2_2","url":null,"abstract":"","PeriodicalId":178229,"journal":{"name":"Operating Rules and Interoperability in Trans-National High-Speed Rail","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114369932","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Chinese Train Control System","authors":"J. Lv, T. Tang","doi":"10.1007/978-3-030-72003-2_4","DOIUrl":"https://doi.org/10.1007/978-3-030-72003-2_4","url":null,"abstract":"","PeriodicalId":178229,"journal":{"name":"Operating Rules and Interoperability in Trans-National High-Speed Rail","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130179101","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Designing Operating Rules for ERTMS Transnational Lines","authors":"S. Collart-Dutilleul, D. I. D. A. Pereira, P. Bon","doi":"10.1007/978-3-030-72003-2_6","DOIUrl":"https://doi.org/10.1007/978-3-030-72003-2_6","url":null,"abstract":"","PeriodicalId":178229,"journal":{"name":"Operating Rules and Interoperability in Trans-National High-Speed Rail","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115484592","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}