Petriho sítě
Petri nets
bakalářská práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/18534Identifikátory
SIS: 45792
Kolekce
- Kvalifikační práce [11266]
Autor
Vedoucí práce
Oponent práce
Richta, Karel
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Programování
Katedra / ústav / klinika
Katedra softwaru a výuky informatiky
Datum obhajoby
8. 9. 2008
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Velmi dobře
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.