{"id":"https://openalex.org/W1501784215","doi":"https://doi.org/10.1007/978-1-4020-8157-6_61","title":"From Railway Resource Planning to Train Operation","display_name":"From Railway Resource Planning to Train Operation","publication_year":2008,"publication_date":"2008-04-07","ids":{"openalex":"https://openalex.org/W1501784215","doi":"https://doi.org/10.1007/978-1-4020-8157-6_61","mag":"1501784215"},"language":"en","primary_location":{"id":"doi:10.1007/978-1-4020-8157-6_61","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-1-4020-8157-6_61","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-1-4020-8157-6_61.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-1-4020-8157-6_61.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077892878","display_name":"Martin P\u011bni\u010dka","orcid":null},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Martin Penicka","raw_affiliation_strings":["Department of Applied Mathematics, Faculty of Transportation Sciences, Czech Technical University, Prague","Czech Technical University"],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics, Faculty of Transportation Sciences, Czech Technical University, Prague","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Czech Technical University","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038481049","display_name":"Dines Bj\u00f8rner","orcid":"https://orcid.org/0000-0002-6225-6808"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Dines Bj\u00f8rner","raw_affiliation_strings":["Department of Computer Science, School of Computing, National University of Singapore, Singapore","National University of Singapore"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]},{"raw_affiliation_string":"National University of Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5077892878"],"corresponding_institution_ids":["https://openalex.org/I44504214"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.10190616,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"629","last_page":"636"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11568","display_name":"Railway Systems and Energy Efficiency","score":0.984499990940094,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11568","display_name":"Railway Systems and Energy Efficiency","score":0.984499990940094,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10470","display_name":"Usability and User Interface Design","score":0.9783999919891357,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12490","display_name":"Software Engineering and Design Patterns","score":0.9715999960899353,"subfield":{"id":"https://openalex.org/subfields/3303","display_name":"Development"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/train","display_name":"Train","score":0.8332213759422302},{"id":"https://openalex.org/keywords/sketch","display_name":"Sketch","score":0.7427380084991455},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6615217328071594},{"id":"https://openalex.org/keywords/interlocking","display_name":"Interlocking","score":0.5509055852890015},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5500078797340393},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.48898184299468994},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4873958230018616},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4721275269985199},{"id":"https://openalex.org/keywords/line","display_name":"Line (geometry)","score":0.47039517760276794},{"id":"https://openalex.org/keywords/transport-engineering","display_name":"Transport engineering","score":0.4694706201553345},{"id":"https://openalex.org/keywords/railway-line","display_name":"Railway line","score":0.44815975427627563},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4324200749397278},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43080902099609375},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.338203489780426},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.32678380608558655},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14289918541908264},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.1109275221824646}],"concepts":[{"id":"https://openalex.org/C190839683","wikidata":"https://www.wikidata.org/wiki/Q2448197","display_name":"Train","level":2,"score":0.8332213759422302},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.7427380084991455},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6615217328071594},{"id":"https://openalex.org/C2778844933","wikidata":"https://www.wikidata.org/wiki/Q630950","display_name":"Interlocking","level":2,"score":0.5509055852890015},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5500078797340393},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.48898184299468994},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4873958230018616},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4721275269985199},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.47039517760276794},{"id":"https://openalex.org/C22212356","wikidata":"https://www.wikidata.org/wiki/Q775325","display_name":"Transport engineering","level":1,"score":0.4694706201553345},{"id":"https://openalex.org/C2992377917","wikidata":"https://www.wikidata.org/wiki/Q2341962","display_name":"Railway line","level":2,"score":0.44815975427627563},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4324200749397278},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43080902099609375},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.338203489780426},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.32678380608558655},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14289918541908264},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.1109275221824646},{"id":"https://openalex.org/C58640448","wikidata":"https://www.wikidata.org/wiki/Q42515","display_name":"Cartography","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-1-4020-8157-6_61","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-1-4020-8157-6_61","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-1-4020-8157-6_61.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-1-4020-8157-6_61","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-1-4020-8157-6_61","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-1-4020-8157-6_61.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.6100000143051147}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1501784215.pdf","grobid_xml":"https://content.openalex.org/works/W1501784215.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W2744371527","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4394755138","https://openalex.org/W4327519841","https://openalex.org/W2044192465","https://openalex.org/W2763818727","https://openalex.org/W2767412934","https://openalex.org/W2245492688","https://openalex.org/W2381531166","https://openalex.org/W2767993066","https://openalex.org/W2019870937","https://openalex.org/W2381630100"],"abstract_inverted_index":{"From":[0],"seasonal":[1],"planning":[2],"via":[3],"day-to-day":[4],"train":[5,22,28],"operation":[6],"to":[7],"real-time":[8],"monitoring":[9],"and":[10,27,36,60,82],"control":[11],"of":[12,49],"trains,":[13],"software":[14],"applications":[15],"are":[16,31,69,88],"becoming":[17],"increasingly":[18],"integrated.":[19],"Timetabling":[20],"implies":[21],"traffic.":[23],"Train":[24],"staff":[25],"rosters":[26],"car":[29],"maintenance":[30],"initially":[32],"derived":[33],"from":[34],"timetables":[35],"influences":[37],"future":[38],"timetables.In":[39],"this":[40],"extended":[41],"abstract":[42],"we":[43],"shall":[44],"sketch":[45],"a":[46,93,96],"formal":[47,67,74,86],"model":[48],"Railway":[50],"Nets,":[51,78],"Timetables,":[52],"Rosters,":[53],"Maintenance,":[54],"Station":[55],"Interlocking,":[56],"Line":[57,62],"Direction":[58],"Agreement":[59],"Automatic":[61],"Signaling.":[63],"The":[64,85],"last":[65],"three":[66],"models":[68],"based":[70],"on":[71],"four":[72],"integrated":[73],"techniques":[75],"(RAISE,":[76],"Petri":[77],"Live":[79],"Sequence":[80],"Charts":[81],"State":[83],"Charts).":[84],"sketches":[87],"all":[89],"\u201cbacked-up\u201d":[90],"by":[91],"either":[92],"publication":[94],"or":[95],"research":[97],"report.":[98]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}