A virtual resource-based method for formulating the safety headway of opposing trains arriving at the same station on a single-track railway line
Macro modelling of traffic flow using continuous timed Petri nets