J. Billington and S. Vanit-anunchai, Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol, Fundamenta Informaticae, vol.88, issue.3, pp.357-385, 2008.

S. Gordon, Verification of the WAP Transaction Layer uisng Coloured Petri Nets, 2001.

B. Han, Formal Specification of the TCP Service and Verification of TCP Connection Management, 2004.

K. Jensen and L. M. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 2009.
DOI : 10.1007/s10009-007-0038-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.8898

M. G. Martins, Modelagem e Análise Formal de algumas Funcionalidades de um Protocolo de Transporte Atrvés das Redes de Petri, 2003.

S. Vanit-anunchai, Toward Formal Modelling and Analysis of SCTP Connection Management In the 9th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp.163-182, 2008.

S. Vanit-anunchai, An Investigation of the Datagram Congestion Control Protocol's Connection Management and Synchronisation Procedures, 2007.

J. Wang, S. Zhang, and F. Chen, Modelling and Verification of SCTP Association Management Based on Coloured Petri Nets, ISECS International Colloquium on Computing , Communication, Control, and Management, pp.379-383, 2008.