scientific article; zbMATH DE number 2088667

zbMATH Open1047.68504MaRDI QIDQ3045266FDOQ3045266

Authors: Lin Liu, Jonathan Billington 

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2360/23600273.htm

Title of this publication is not available (Why is that?)

Recommendations

• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1540512
• Applications of coloured Petri nets for functional validation of protocol designs
• scientific article; zbMATH DE number 1755141
• The practitioner's guide to coloured Petri nets.

zbMATH Keywords

ParameterizationColoured Petri NetsIncremental State Space AlgorithmsMultimedia Networks and ProtocolsService Definitions

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Cited In (3)

• 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
• Automated Technology for Verification and Analysis

This page was built for publication:

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