Modelling the WAP Transaction Service Using Coloured Petri Nets

  • Steven Gordon
  • Jonathan Billington
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1748)


The Wireless Application Protocol (WAP) is an architecture designed to support the provision of wireless Internet services to mobile users with hand-held devices. The Wireless Transaction Protocol is a layer of WAP that provides a reliable request/response service suited for Web applications. In this paper Coloured Petri nets are used to model and generate the possible primitive sequences of the request/response Transaction Service. From the results we conclude that the service specification lacks an adequate description of what constitutes the end of a transaction. No other deficiencies were found in the Transaction Service.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    W. A. Barret and J. D. Couch. Compiler Construction: Theory and Practice. Science Research Associates, 1979.Google Scholar
  2. 2.
    J. Billington. Abstract specification of the ISO Transport service definition using labelled Numerical Petri nets. In H. Rudin and C. H. West, editors, Protocol Specification, Testing, and Verification, III, pages 173–185. Elsevier Science Publishers, Amsterdam, New York, Oxford, 1983.Google Scholar
  3. 3.
    J. Billington, M. Diaz, and G. Rozenberg, editors. Application of Petri Nets to Communication Networks: Advances in Petri Nets. LNCS 1605. Springer-Verlag, Berlin Heidelberg New York, 1999.Google Scholar
  4. 4.
    Meta Software. Design/CPN Reference Manual, Version 2.0. 1993.Google Scholar
  5. 5.
    WAP Forum. Wireless application protocol architecture specification. Available via:, Apr. 1998.
  6. 6.
    WAP Forum. Wireless application protocol wireless transaction protocol specification. Available via:, Apr. 1998.
  7. 7.
    ISO/IEC. Information Technology–Open Systems Interconnection–Basic Reference Model–Conventions for the Definition of OSI Services. 10731. 1994.Google Scholar
  8. 8.
    K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1-3. Springer-Verlag, Berlin, 1997.zbMATHGoogle Scholar
  9. 9.
    K. Jensen, S. Christensen, and L. M. Kristensen. Design/CPN Occurrence Graph Manual, Version 3.0. Department of Computer Science, Aarhus University, Aarhus, Denmark, 1996.Google Scholar
  10. 10.
    L. M. Kristensen, S. Christensen, and K. Jensen. The practitioner’s guide to Coloured Petri nets. Int J Software Tools for Technology Transfer, 2(2):98–132, 1998.zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Steven Gordon
    • 1
  • Jonathan Billington
    • 1
  1. 1.Cooperative Research Centre for Satellite SystemsUniversity of South AustraliaMawson LakesAustralia

Personalised recommendations