@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}
}

{"_id":"K52F9DawYLsxtEJiC","bibbaseid":"vanitanunchai-modellingrailwayinterlockingtablesusingcolouredpetrinets-2010","author_short":["Vanit-Anunchai, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Modelling railway interlocking tables using coloured petri nets","author":[{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]}],"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","bibtex":"@inproceedings{vanit2010modelling,\n title={Modelling railway interlocking tables using coloured petri nets},\n author={Vanit-Anunchai, Somsak},\n booktitle={Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings 12},\n pages={137--151},\n year={2010},\n organization={Springer Berlin Heidelberg}\n}\n\n","author_short":["Vanit-Anunchai, S."],"key":"vanit2010modelling","id":"vanit2010modelling","bibbaseid":"vanitanunchai-modellingrailwayinterlockingtablesusingcolouredpetrinets-2010","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["modelling","railway","interlocking","tables","using","coloured","petri","nets","vanit-anunchai"],"title":"Modelling railway interlocking tables using coloured petri nets","year":2010}