The following publications are possibly variants of this publication:
- Modelling the WAP Transaction Service using Coloured Petri NetsSteven Gordon, Jonathan Billington. massdata 1999: 109-118 [doi]
- Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri NetsJonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch. forte 2008: 169-184 [doi]
- Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri NetsJonathan Billington, Guy Edward Gallasch, Laure Petrucci. njc, 12(3):251-274, 2005.
- Verification of a Revised WAP Wireless Transaction ProtocolSteven Gordon, Lars Michael Kristensen, Jonathan Billington. apn 2002: 182-202 [doi]
- Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri NetsJonathan Billington. ac 1998: 293-330