Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets. - Lay G. Ding; Lin Liu 003 (Petri Nets, 2008)