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

DOI10.1007/978-3-540-68746-7_12zbMATH Open1143.68483OpenAlexW1562236607MaRDI QIDQ3510862FDOQ3510862

Authors: Lay G. Ding, Lin Liu 

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

Recommendations

• A coloured Petri net approach to the functional and performance analysis of SIP non-INVITE transaction
• scientific article; zbMATH DE number 2043477
• scientific article; zbMATH DE number 1696457
• scientific article
• scientific article; zbMATH DE number 2088667

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)

Cites Work

• Lectures on Concurrency and Petri Nets
• Lectures on Concurrency and Petri Nets
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• A coloured Petri net approach to the functional and performance analysis of SIP non-INVITE transaction

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3510862)