@article{billington2009parameterised,
  title={Parameterised coloured Petri net channel models},
  author={Billington, Jonathan and Vanit-Anunchai, Somsak and Gallasch, Guy E},
  journal={Transactions on Petri Nets and Other Models of Concurrency III},
  pages={71--97},
  year={2009},
  publisher={Springer Berlin Heidelberg}
}

{"_id":"rkHncr3T97jF3kBXg","bibbaseid":"billington-vanitanunchai-gallasch-parameterisedcolouredpetrinetchannelmodels-2009","author_short":["Billington, J.","Vanit-Anunchai, S.","Gallasch, G. E"],"bibdata":{"bibtype":"article","type":"article","title":"Parameterised coloured Petri net channel models","author":[{"propositions":[],"lastnames":["Billington"],"firstnames":["Jonathan"],"suffixes":[]},{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]},{"propositions":[],"lastnames":["Gallasch"],"firstnames":["Guy","E"],"suffixes":[]}],"journal":"Transactions on Petri Nets and Other Models of Concurrency III","pages":"71–97","year":"2009","publisher":"Springer Berlin Heidelberg","bibtex":"@article{billington2009parameterised,\n title={Parameterised coloured Petri net channel models},\n author={Billington, Jonathan and Vanit-Anunchai, Somsak and Gallasch, Guy E},\n journal={Transactions on Petri Nets and Other Models of Concurrency III},\n pages={71--97},\n year={2009},\n publisher={Springer Berlin Heidelberg}\n}\n\n","author_short":["Billington, J.","Vanit-Anunchai, S.","Gallasch, G. E"],"key":"billington2009parameterised","id":"billington2009parameterised","bibbaseid":"billington-vanitanunchai-gallasch-parameterisedcolouredpetrinetchannelmodels-2009","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["parameterised","coloured","petri","net","channel","models","billington","vanit-anunchai","gallasch"],"title":"Parameterised coloured Petri net channel models","year":2009}