Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets

DOI10.1007/3-540-44988-4_13MaRDI QIDQ2766564zbMATH OpenFDO

Authors Jonathan Billington, Steven C. Gordon

Publication date 17 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44988-4_13

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2088662
• Applications of coloured Petri nets for functional validation of protocol designs
• Lectures on Concurrency and Petri Nets
• The practitioner's guide to coloured Petri nets.
• scientific article; zbMATH DE number 4028914

Cited in

(5)

• scientific article; zbMATH DE number 2088662 (Why is no real title available?)
• A coloured Petri net approach to the functional and performance analysis of SIP non-INVITE transaction
• Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets
• Coloured Petri net modelling of an evolving internet standard: the datagram congestion control protocol
• Applications of coloured Petri nets for functional validation of protocol designs

This page was built for publication: Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets

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