Modelling the WAP Transaction Service using Coloured Petri Nets

@inproceedings{Gordon1999ModellingTW,
  title={Modelling the WAP Transaction Service using Coloured Petri Nets},
  author={Steven Gordon and Jonathan Billington},
  booktitle={MDA},
  year={1999}
}
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 speci cation… CONTINUE READING