@article{billington2008coloured,
  title={Coloured Petri net modelling of an evolving Internet standard: The datagram congestion control protocol},
  author={Billington, Jonathan and Vanit-Anunchai, Somsak},
  journal={Fundamenta Informaticae},
  volume={88},
  number={3},
  pages={357--385},
  year={2008},
  publisher={IOS Press}
}

{"_id":"CMQtWTSd64foR7tM9","bibbaseid":"billington-vanitanunchai-colouredpetrinetmodellingofanevolvinginternetstandardthedatagramcongestioncontrolprotocol-2008","author_short":["Billington, J.","Vanit-Anunchai, S."],"bibdata":{"bibtype":"article","type":"article","title":"Coloured Petri net modelling of an evolving Internet standard: The datagram congestion control protocol","author":[{"propositions":[],"lastnames":["Billington"],"firstnames":["Jonathan"],"suffixes":[]},{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]}],"journal":"Fundamenta Informaticae","volume":"88","number":"3","pages":"357–385","year":"2008","publisher":"IOS Press","bibtex":"@article{billington2008coloured,\n title={Coloured Petri net modelling of an evolving Internet standard: The datagram congestion control protocol},\n author={Billington, Jonathan and Vanit-Anunchai, Somsak},\n journal={Fundamenta Informaticae},\n volume={88},\n number={3},\n pages={357--385},\n year={2008},\n publisher={IOS Press}\n}\n\n","author_short":["Billington, J.","Vanit-Anunchai, S."],"key":"billington2008coloured","id":"billington2008coloured","bibbaseid":"billington-vanitanunchai-colouredpetrinetmodellingofanevolvinginternetstandardthedatagramcongestioncontrolprotocol-2008","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["coloured","petri","net","modelling","evolving","internet","standard","datagram","congestion","control","protocol","billington","vanit-anunchai"],"title":"Coloured Petri net modelling of an evolving Internet standard: The datagram congestion control protocol","year":2008}