ePrints.FRI - University of Ljubljana, Faculty of Computer and Information Science

Verification of communication protocols with coloured Petri nets

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

Download (2903Kb)


    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: 53
    Language of Content: Slovenian
    Mentor / Comentors:
    Name and SurnameIDFunction
    prof. dr. Miha Mraz249Mentor
    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