Název: Výukový nástroj pro barvené Petriho sítě
Překlad názvu: Educational Tool for Coloured Petri Nets
Autoři: Navrátil, Ondřej ; Kočí, Radek (oponent) ; Rogalewicz, Adam (vedoucí práce)
Typ dokumentu: Diplomové práce
Rok: 2013
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]
Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě lze dále vkládat různé typy inskripcí. CPN vynikají svou snadnou čitelností a skvělou vyjadřovací schopností. Zároveň disponují pevnými formálními podklady, jenž usnadňují jejich počítačovou simulaci a v omezené míře umožňují verifikovat některé vlastnosti. Motivací tohoto projektu je fakt, že v současnosti je veřejně dostupný pouze jediný nástroj pro úpravu a simulaci CPN, a sice CPNTools vyvíjený na univerzitě v Aarhusu. Program je však komplikovaný a pro nezainteresovaného uživatele obtížně uchopitelný. Cílem projektu je prozkoumat možnosti a vlastnosti CPN a nástroje CPNTools a na základě získaných znalostí navrhnout a implementovat didaktickou aplikaci se svižným a intuitivním rozhraním, která umožní uživatelům bez hlubších teoretických vědomostí získat přehled o problematice CPN. Coloured Petri nets (CPN) are an extension of a standard place-transition Petri nets (P/T PN). Every token and place have its type (and eventually a value) and various inscriptions can be inserted into the net. CPN excel with great readibility and expresivity. At the same time, they carry a well-defined formal basis, which eases its computer simulation and allows limited verification of certain attributes to be performed. Motivation for doing this project is the simple fact that currently only one public software tool is available for CPN creation and simulation - CPNTools developed on the Aarhus university. The program, however, is quite complicated and hard to handle for an unexperienced user. The goal is to research capabilities and properties of both CPNs and CPNTools and on this basis design and implement a didactic application with swift and intuitive interface that helps users without deeper theoretical insight to get a grasp of the problematics.
Klíčová slova: barvené Petriho sítě; Bison; CPNTools; Flex; Petriho sítě; Qt; Bison; coloured Petri nets; CPNTools; Flex; Petri nets; Qt

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/53413

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-236170


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Diplomové práce