On Modelling and Analysing Rail Moving-block Signalling by Means of Hybrid Petri Nets | Synapse