Petriho sítě
Petri nets
bachelor thesis (DEFENDED)
![Document thumbnail](/bitstream/handle/20.500.11956/18534/thumbnail.png?sequence=7&isAllowed=y)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/18534Identifiers
Study Information System: 45792
Collections
- Kvalifikační práce [11266]
Author
Advisor
Referee
Richta, Karel
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Programming
Department
Department of Software and Computer Science Education
Date of defense
8. 9. 2008
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
Czech
Grade
Very good
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.