Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets

DOI10.1007/978-3-540-68746-7_12zbMath1143.68483OpenAlexW1562236607MaRDI QIDQ3510862

Lin Liu, Lay G. Ding

Publication date: 3 July 2008

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68746-7_12

zbMATH Keywords

protocol verificationColoured Petri NetsSession Initiation Protocol

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction

Cites Work

• Unnamed Item
• Lectures on Concurrency and Petri Nets
• Lectures on Concurrency and Petri Nets

This page was built for publication: Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets