Coloured petri nets to model geographical interlocking for railway.

S. Ingram, M. Alamgir Hossain, S. Cox

Browse the full ICINCO paper archive.