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

DOI10.1007/978-3-662-45730-6_8zbMath1428.68050OpenAlexW2234722084MaRDI QIDQ3452478

Lin Liu, Jun-Xian Liu

Publication date: 12 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45730-6_8

zbMATH Keywords

performance analysisfunctional analysiscoloured Petri netsprotocol verificationSIP

Mathematics Subject Classification ID

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

Cites Work

• Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets
• Coloured Petri Nets
• Applications of Coloured Petri Nets for Functional Validation of Protocol Designs
• Lectures on Concurrency and Petri Nets

This page was built for publication: A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction