Modelling the WAP Transaction Service using Coloured Petri Nets

Steven Gordon, Jonathan Billington. Modelling the WAP Transaction Service using Coloured Petri Nets. In Hong Va Leong, Wang-Chien Lee, Bo Li, Li Yin, editors, Mobile Data Access, First International Conference, MDA 99, Hong Kong, China, December 16-17, 1999, Proceedings. Volume 1748 of Lecture Notes in Computer Science, pages 109-118, Springer, 1999. [doi]

@inproceedings{GordonB99,
  title = {Modelling the WAP Transaction Service using Coloured Petri Nets},
  author = {Steven Gordon and Jonathan Billington},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1748/17480109.htm},
  researchr = {https://researchr.org/publication/GordonB99},
  cites = {0},
  citedby = {0},
  pages = {109-118},
  booktitle = {Mobile Data Access, First International Conference, MDA 99, Hong Kong, China, December 16-17, 1999, Proceedings},
  editor = {Hong Va Leong and Wang-Chien Lee and Bo Li and Li Yin},
  volume = {1748},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66878-0},
}