@article{vanit2018modelling,
  title={Modelling and simulating a Thai railway signalling system using Coloured Petri Nets},
  author={Vanit-Anunchai, Somsak},
  journal={International Journal on Software Tools for Technology Transfer},
  volume={20},
  pages={243--262},
  year={2018},
  publisher={Springer Berlin Heidelberg}
}

{"_id":"9ftKx3gMndTbqE97Y","bibbaseid":"vanitanunchai-modellingandsimulatingathairailwaysignallingsystemusingcolouredpetrinets-2018","author_short":["Vanit-Anunchai, S."],"bibdata":{"bibtype":"article","type":"article","title":"Modelling and simulating a Thai railway signalling system using Coloured Petri Nets","author":[{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]}],"journal":"International Journal on Software Tools for Technology Transfer","volume":"20","pages":"243–262","year":"2018","publisher":"Springer Berlin Heidelberg","bibtex":"@article{vanit2018modelling,\n title={Modelling and simulating a Thai railway signalling system using Coloured Petri Nets},\n author={Vanit-Anunchai, Somsak},\n journal={International Journal on Software Tools for Technology Transfer},\n volume={20},\n pages={243--262},\n year={2018},\n publisher={Springer Berlin Heidelberg}\n}\n\n","author_short":["Vanit-Anunchai, S."],"key":"vanit2018modelling","id":"vanit2018modelling","bibbaseid":"vanitanunchai-modellingandsimulatingathairailwaysignallingsystemusingcolouredpetrinets-2018","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["modelling","simulating","thai","railway","signalling","system","using","coloured","petri","nets","vanit-anunchai"],"title":"Modelling and simulating a Thai railway signalling system using Coloured Petri Nets","year":2018}