Název:
Demonstrace vlastností značených grafů
Překlad názvu:
Demonstration of Marked Graphs Features
Autoři:
Horák, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2014
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Tato práce prezentuje problematiku Petriho sítí jakožto modelovacího prostředku. Probrány jsou jejich vlastnosti a dělení na podtřídy, jejichž součástí jsou značené grafy. Cílem práce je analýza stavového prostoru Petriho sítí za účelem zkoumání jejich vlastností. Výsledkem práce je nástroj, který umožní tuto analýzu a případně rozšíří využití Petriho sítí.
This thesis presents Petri nets as a modelling tool, defines their features and subclasses, including marked graphs. The goal of this paper is to inspect the features of Petri nets by analyzing their state space. As the output of this thesis, a tool for analyzing the features will be designed and implemented, with potential to extend the usability of Petri nets.
Klíčová slova:
modelování systémů; Petriho sítě; PIPE2.; PNC; PNML; strom dosažitelných značení; značené grafy; marked graphs; Petri nets; PIPE2.; PNC; PNML; reachability tree; systems modelling
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/56637