Return to Article Details A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance Download Download PDF