Verification of communication protocols with coloured Petri nets

Matej Dolenc (2015) Verification of communication protocols with coloured Petri nets. EngD thesis.

Preview

Abstract

In this thesis we point out different methods for verification of communication protocols. Each method is presented in short. In addition, several tools which support mentioned methods are also presented. Next, we primarily focus on a method called coloured Petri nets which is graphically oriented language for specification, simulation and verification of communication protocols. With the help of coloured Petri nets we can present a protocol as a net which consists of places and transitions. Places and transitions are then connected with directional arcs. Then, we take a look at a few tools for work with coloured Petri nets. We mainly focus on a tools called CPN Tools. CPN Tools is used for constructing a model of a token bucket which is a traffic shaping protocol. When the model is constructed we can verify it. During verification we check some of the most important properties of a model. On the basis of results we get, we can then upgrade and fix the erros in the model.

Item Type:

Thesis (EngD thesis)

Keywords:

verification, coloured Petri nets, CPN Tools

Number of Pages:

Language of Content:

Slovenian

Mentor / Comentors:

Name and Surname	ID	Function
prof. dr. Miha Mraz	249	Mentor

Link to COBISS:

http://www.cobiss.si/scripts/cobiss?command=search&base=51012&select=(ID=1536472771)

Institution:

University of Ljubljana

Department:

Faculty of Computer and Information Science

Item ID:

3039

Date Deposited:

03 Sep 2015 13:09

Last Modified:

17 Sep 2015 08:33

URI:

http://eprints.fri.uni-lj.si/id/eprint/3039

Actions (login required)

View Item