Original title:
Petriho sítě
Translated title:
Petri nets
Authors:
Kozák, Michal ; Richta, Karel (referee) ; Kryl, Rudolf (advisor) Document type: Bachelor's theses
Year:
2008
Language:
cze Abstract:
[cze][eng] Cílem této práce je vytvořit grafický nástroj pro návrh a simulaci Petriho sítě. Pro praktické využití sítě si uživatel nadefinuje vlastní vzory, které umožní snazší návrh sítě. Tyto vzory lze opětovně použít při návrhu dalších sítí. Průběh simulace sítě lze sledovat a ladit pomocí podmíněných breakpointů. Pro řízení běhu simulace se využívá skriptovacího jazyka. Aplikace do skriptovacího jazyka zavádí rozhraní pro ovládání sítě. Uživatel si vytvoří procedury, na něž se dá v průběhu simulace odkazovat. Program je určen pro operační systém MS Windows.The aim of this work is to create a graphic tool for development and simulation of Petri nets. For practical and easier use of a Petri net the user defines a template for elements of the Petri net. These templates can be used in development of future Petri nets. The process of simulation can be watched and debugged via conditioned breakpoints. The flow of the simulation is controlled by scripts. The application implements script interface to give the user a way to control components of the Petri net. The user can write scripts procedures and can call them in the script.
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/18534