Applications of Coloured Petri Nets for Functional Validation of Protocol Designs

DOI10.1007/978-3-642-38143-0_3zbMath1382.68151OpenAlexW193265846MaRDI QIDQ4924446

Kent Inge Fagerland Simonsen, Lars Michael Kristensen

Publication date: 31 May 2013

Published in: Transactions on Petri Nets and Other Models of Concurrency VII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38143-0_3

Mathematics Subject Classification ID

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

Related Items (2)

A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction ⋮ Automated test case generation for the paxos single-decree protocol using a coloured Petri net model

This page was built for publication: Applications of Coloured Petri Nets for Functional Validation of Protocol Designs