@inproceedings{vanit2016application,
  title={Application of coloured petri nets in modelling and simulating a railway signalling system},
  author={Vanit-Anunchai, Somsak},
  booktitle={Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings 21},
  pages={214--230},
  year={2016},
  organization={Springer International Publishing}
}

{"_id":"pdG32DZKRxsHEZ2ED","bibbaseid":"vanitanunchai-applicationofcolouredpetrinetsinmodellingandsimulatingarailwaysignallingsystem-2016","author_short":["Vanit-Anunchai, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Application of coloured petri nets in modelling and simulating a railway signalling system","author":[{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]}],"booktitle":"Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings 21","pages":"214–230","year":"2016","organization":"Springer International Publishing","bibtex":"@inproceedings{vanit2016application,\n title={Application of coloured petri nets in modelling and simulating a railway signalling system},\n author={Vanit-Anunchai, Somsak},\n booktitle={Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings 21},\n pages={214--230},\n year={2016},\n organization={Springer International Publishing}\n}\n\n","author_short":["Vanit-Anunchai, S."],"key":"vanit2016application","id":"vanit2016application","bibbaseid":"vanitanunchai-applicationofcolouredpetrinetsinmodellingandsimulatingarailwaysignallingsystem-2016","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["application","coloured","petri","nets","modelling","simulating","railway","signalling","system","vanit-anunchai"],"title":"Application of coloured petri nets in modelling and simulating a railway signalling system","year":2016}