zbMATH — the first resource for mathematics

Applications of coloured Petri nets for functional validation of protocol designs. (English) Zbl 1382.68151
Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency VII. Berlin: Springer (ISBN 978-3-642-38142-3/pbk). Lecture Notes in Computer Science 7480. Journal Subline, 56-115 (2013).
Summary: Communication protocols constitute central building blocks in most modern IT systems as they define components, rules, and languages that make data communication possible. The development of correct protocols is a challenging engineering discipline, making modelling and validation of protocol design an important application domain for Coloured Petri Nets (CPNs). We illustrate the practical application of CPNs for protocol validation by focusing on selected aspects of four recent projects involving industrial-sized protocols. These projects demonstrate how CPNs can be used to model protocol elements and improve protocol specifications, how state space exploration can be used to verify protocol properties, and how behavioural visualisation in combination with a CPN model provides an effective way of rapidly constructing an executable prototype of a protocol design.
For the entire collection see [Zbl 1263.68020].

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