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

DOI10.1007/978-3-540-68746-7_12MaRDI QIDQ3510862zbMATH OpenOpenAlexFDO

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

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)

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; zbMATH DE number 5772347
• scientific article; zbMATH DE number 2088667

Cites work

• scientific article; zbMATH DE number 1973982 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Lectures on Concurrency and Petri Nets

Cited in

(2)

• scientific article; zbMATH DE number 2043477 (Why is no real title available?)
• 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)