The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets. Wheeler, G. R. In Billington, J., Diaz, M., & Rozenberg, G., editors, Application of Petri Nets to Communication Networks, volume 1605, of Lecture Notes in Computer Science, pages 69-92, 1999. Springer.
The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets. [link]Link  The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets. [link]Paper  bibtex   
@inproceedings{conf/apn/Wheeler99,
  added-at = {2011-06-17T00:00:00.000+0200},
  author = {Wheeler, Geoffrey R.},
  biburl = {https://www.bibsonomy.org/bibtex/2a08e5e42bdddd63ff1c666a5c4d057a7/dblp},
  booktitle = {Application of Petri Nets to Communication Networks},
  crossref = {conf/apn/1999cn},
  editor = {Billington, Jonathan and Diaz, Michel and Rozenberg, Grzegorz},
  ee = {http://dx.doi.org/10.1007/BFb0097773},
  interhash = {58d66b54f6af8b8ff7ad33df1f352985},
  intrahash = {a08e5e42bdddd63ff1c666a5c4d057a7},
  isbn = {3-540-65870-X},
  keywords = {dblp},
  pages = {69-92},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2011-06-18T11:46:54.000+0200},
  title = {The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets.},
  url = {http://dblp.uni-trier.de/db/conf/apn/lncs1605.html#Wheeler99},
  volume = 1605,
  year = 1999
}

Downloads: 0