Darko Božić (2012) Dynamical systems modelling with CPN Tools and coloured Petri nets. EngD thesis.
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.
Actions (login required)