National Repository of Grey Literature 6 records found  Search took 0.01 seconds. 
High-Level Petri Nets Interpreter in Python
Grigorev, Danil ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This work is targeting a goal of implementing a high level Petri net interpret in Python. The implementation is based on SNAKES library. The final product is capable of executing and visualising Petri nets, created by user. The simulator is based on distributed systems theory and is executed in real-time. The end user is able to experience a simple and human-friendly API, made for creation and execution of High-Level Petri Nets.
High-Quality Visualization of Petri Nets for Publishing Purposes
Bednář, Drahoslav ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This work is trying to solve the problem of graphical visualization of Petri nets in text publications. The aim of the thesis is to create a tool that will simplify generating of Petri nets and at the same time provide a more aesthetic graphical output than existing tools do. A simplex algorithm was used for automatic network layout. The program has both graphical interface and text mode and can cooperate well with existing tools for working with Petri nets, which the text also mentions. The program is able to load a pnml file and produce a usable image in png, pdf, and svg formats.
Garbage Collector for PNtalk Objects
Mišák, Ján ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the designing of a garbage collector for the PNtalk virtual machine. It describes and rates the approaches and algorithms for an automatic memory management. Four algorithm families ale presented: mark-sweep, mark-compact, copying algorithms and reference counting. At first it describes sequential forms, that pauses running of the main program (mutator), then it describes parallel and concurent forms, that do not pauses the mutator. The thesis also presents generational model of garbage collecting. The following sections briefly introduces object orientated Petri nets. The result of this thesis is the design of the generational garbage collector for the PNtalk virtual machine.
Client-Server Application for DEVS-Based Modelling and Simulation
Brázdil, Martin ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
This bachelor’s thesis describes the analysis, design and implementation of an application for DEVS-based modelling and simulation. It is a client-server application, where the client is implemented as a seperate desktop Java application. Server is based on the Smalltalk language (more precisely, Squeak) and builds on existing application SmallDEVS. The reader is acquainted with the basics of discrete event systems specification (DEVS) and Petri nets used for modeling and simulation. The thesis is also dedicated to the design of user-friendly graphical interface on the client side, respectively editor.
Risks Analysis in Project Management
Paulenda, Ján ; Šuška, Boris (referee) ; Kreslíková, Jitka (advisor)
The main subject of this Master's thesis is risk management with emphasis on risk analysis stage. All important stages, definitions and techniques are introduced in the context of risk management. There are several risk analysis methods discussed in this thesis, especially the Markov analysis and the Petri net analysis. After the thorough analysis of the subject, the system to support the risk management was designed and implemented, while precisely Markov analysis was chosen.
Petri nets Visualization on Power Panel
Krechler, Michal ; Malounek, Petr (referee) ; Chomát, Luděk (advisor)
KRECHLER, M. Petri nets visualization on Power Panel. Brno: VUT in Brno,Faculty of electrical engineering and communication, 2009. 75 p. Supervisor Ing. Luděk Chomát. In bachelor's thesis is solved Petri nets problems in simulation of industrial process. Is oriented on use functions of Automation Studio 3.0 in dynamically creating Petri nets on display of Power Panel. Is created several Petri nets for controling models.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.