@article{vanit2014experience,
  title={Experience using coloured petri nets to model railway interlocking tables},
  author={Vanit-Anunchai, Somsak},
  journal={arXiv preprint arXiv:1407.3891},
  year={2014}
}

{"_id":"yQokXBdATMxxL2Kmd","bibbaseid":"vanitanunchai-experienceusingcolouredpetrinetstomodelrailwayinterlockingtables-2014","author_short":["Vanit-Anunchai, S."],"bibdata":{"bibtype":"article","type":"article","title":"Experience using coloured petri nets to model railway interlocking tables","author":[{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]}],"journal":"arXiv preprint arXiv:1407.3891","year":"2014","bibtex":"@article{vanit2014experience,\n title={Experience using coloured petri nets to model railway interlocking tables},\n author={Vanit-Anunchai, Somsak},\n journal={arXiv preprint arXiv:1407.3891},\n year={2014}\n}\n\n","author_short":["Vanit-Anunchai, S."],"key":"vanit2014experience","id":"vanit2014experience","bibbaseid":"vanitanunchai-experienceusingcolouredpetrinetstomodelrailwayinterlockingtables-2014","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["experience","using","coloured","petri","nets","model","railway","interlocking","tables","vanit-anunchai"],"title":"Experience using coloured petri nets to model railway interlocking tables","year":2014}