D. Sidhu, A. Chung and T. P. Blumer, “Experience with Formal Methods in Protocol Development,” ACM SIGCOMM Computer Communication Review, Vol. 21, No. 2, 1991, pp. 81-101. doi:10.1145/122419.122425
 L. G. Ding and L. Liu, “Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets,” Proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Xi’an, Vol. 5062, 23-27 June 2008, pp. 132-151.
 V. Gehlot and A. Hayrapetyan, “A CPN Model of a SIP-Based Dynamic Discovery Protocol for Webservices in a Mobile Environment,” Proceedings 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, 24-26 October 2006, pp. 1-20.
 Y. Peng, Z. Yuan and J. Wang, “Petri Net Model of Session Initiation Protocol and Its Verification,” Proceedings of the IEEE International Conference on Wireless Communications, Networking and Mobile Computing, Shanghai, 21-25 September 2007, pp. 1861-1864.
 H. Wan, G. Su and H. Ma, “SIP for Mobile Networks and Security Model,” Proceedings of the IEEE International Conference on Wireless Communications, Networking and Mobile Computing, Shanghai, 21-25 September 2007, pp. 1809-1812.
 M. Bago, N. Peric and S. Marijan, “Modeling Wire Train Bus Communication Using Timed Colored Petri Nets,” Proceedings of SICE Annual Conference, Tokyo, 20-22 August 2008, pp. 2905-2910. doi:10.1109/SICE.2008.4655160
 Y.-S. Huang, T.-H. Chung and J.-H. Lin, “A Timed Coloured Petri Net Supervisor for Urban Traffic Networks,” IMACS Multiconference on Computational Engineering in Systems Applications, Beijing, Vol. 2, 4-6 October 2006, pp. 2151-2156.
 K. Jensen, L. Kristensen and L. Wells, “Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems,” International Journal on Software Tools for Technology Transfer, Vol. 9, No. 3, 2007, pp. 213-254. doi:10.1007/s10009-007-0038-x
 R. Sparks, “draft-sparks-sip-invfix-00: Correct Transaction Handling for 200 Responses to Session Initiation Protocol INVITE Requests,” Internet Engineering Task Force, 2007. http://tools.ietf.org/id/draft-sparks-sip-invfix-00.txt