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]

Abstract

Abstract is missing.