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

Dynamical systems modelling with CPN Tools and coloured Petri nets

Darko Božić (2012) Dynamical systems modelling with CPN Tools and coloured Petri nets. EngD thesis.

Download (2286Kb)


    The purpose of this thesis is to show how we can create a model that represents a planned system using the software tool ''CPN Tools'' and the graphical language of coloured Petri nets. Coloured Petri nets are updated Petri nets, in the sense that the functionality of the programming language ''CPN ML'' has been added to them. Since the coloured Petri nets are mainly a graphical language with a touch of programming, creating models mainly depends on the software ''CPN Tools''. ''CPN Tools'' thus allows us to make a model of the planned system where we can simulate and check its properties. While designing the system, we can detect errors, correct them and check the capacities of our planned system by performing simulations. In order to verify the actual usability of the tool and its capacity, we used a well known communication protocol sliding window as an example. That way we can check if the tool could detect typical errors in the model which were protocol-specific and eventually find a way to detect errors in the model. We can also check the performance of the simulator which gives us information about the performance of the model that we have developed. Acquired results can then be compared, as we already know the expected results for the modeled protocol.

    Item Type: Thesis (EngD thesis)
    Keywords: Petri nets, coloured Petri nets, modelling, CPN Tools
    Number of Pages: 63
    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=50070&select=(ID=00009495380)
    Institution: University of Ljubljana
    Department: Faculty of Computer and Information Science
    Item ID: 1863
    Date Deposited: 25 Sep 2012 08:58
    Last Modified: 08 Nov 2012 13:58
    URI: http://eprints.fri.uni-lj.si/id/eprint/1863

    Actions (login required)

    View Item