Ricardo Almeida 0003, Susmoy Das, Blair Archibald, Muffy Calder, Michele Sevegnani. Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation. In Maurice H. ter Beek, Simon Collart Dutilleul, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings. Volume 16236 of Lecture Notes in Computer Science, pages 286-302, Springer, 2025. [doi]
Abstract is missing.