Modelling railway interlocking tables using coloured petri nets. Vanit-Anunchai, S. In Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings 12, pages 137–151, 2010. Springer Berlin Heidelberg. bibtex @inproceedings{vanit2010modelling,
title={Modelling railway interlocking tables using coloured petri nets},
author={Vanit-Anunchai, Somsak},
booktitle={Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings 12},
pages={137--151},
year={2010},
organization={Springer Berlin Heidelberg}
}