Modelling Railway Interlocking Tables Using Coloured Petri Nets Somsak Vanit-Anunchai To cite this version: Somsak Vanit-Anunchai. Modelling Railway Interlocking Tables Using…