Somsak Vanit-Anunchai. Modelling Railway Interlocking Tables Using Coloured Petri Nets. In Dave Clarke, Gul A. Agha, editors, Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Volume 6116 of Lecture Notes in Computer Science, pages 137-151, Springer, 2010. [doi]
Abstract is missing.