A causal model to explore the ACAS induced collisions
Urban Transport GSPN Model of Cyber-Physical Systems
The impact of summer heatwaves on railway track geometry maintenance
Airport Surface Modelling and Simulation Based on Timed Coloured Petri Net
Railway track availability modelling with opportunistic maintenance practice
Generalized Transport Logistics Model
Railway infrastructure asset management: the whole‐system life cost analysis
Railway infrastructure asset management: the whole-system life cost analysis
Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets
Performance Evaluation of GNSS for Train Localization