@inproceedings{vanit2009verification,
  title={Verification of railway interlocking tables using coloured Petri nets},
  author={Vanit-Anunchai, Somsak},
  booktitle={the tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB},
  volume={590},
  pages={139--158},
  year={2009}
}

{"_id":"uKhmjpWcgXbeHNmAj","bibbaseid":"vanitanunchai-verificationofrailwayinterlockingtablesusingcolouredpetrinets-2009","author_short":["Vanit-Anunchai, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Verification of railway interlocking tables using coloured Petri nets","author":[{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]}],"booktitle":"the tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB","volume":"590","pages":"139–158","year":"2009","bibtex":"@inproceedings{vanit2009verification,\n title={Verification of railway interlocking tables using coloured Petri nets},\n author={Vanit-Anunchai, Somsak},\n booktitle={the tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB},\n volume={590},\n pages={139--158},\n year={2009}\n}\n\n","author_short":["Vanit-Anunchai, S."],"key":"vanit2009verification","id":"vanit2009verification","bibbaseid":"vanitanunchai-verificationofrailwayinterlockingtablesusingcolouredpetrinets-2009","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["verification","railway","interlocking","tables","using","coloured","petri","nets","vanit-anunchai"],"title":"Verification of railway interlocking tables using coloured Petri nets","year":2009}