Analiza in zgled uporabe programskega orodja "CPN Tools" za postavljanje modelov dinamičnih sistemov

diplomsko delo

Darko Božić (Author), Miha Mraz (Mentor)

Abstract

Keywords

Petrijeve mreže;barvne Petrijeve mreže;modeliranje;CPN Tools;računalništvo;univerzitetni študij;diplomske naloge;

Data

Language:	Slovenian
Year of publishing:	2012
Typology:	2.11 - Undergraduate Thesis
Organization:	UL FRI - Faculty of Computer and Information Science
Publisher:	[D. Božić]
UDC:	004(043.2)
COBISS:	9495380
Views:	47
Downloads:	48
Average score:	0 (0 votes)
Metadata:

Other data

Secondary language:	English
Secondary title:	Dynamical systems modelling with CPN Tools and coloured Petri nets
Secondary abstract:	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.
Secondary keywords:	Petri nets;coloured Petri nets;modelling;CPN Tools;computer science;diploma;
File type:	application/pdf
Type (COBISS):	Undergraduate thesis
Thesis comment:	Univ. v Ljubljani, Fak. za računalništvo in informatiko
Pages:	63 str.
ID:	24093599