National Repository of Grey Literature 8 records found  Search took 0.00 seconds. 
Object Oriented Petri Net Tool
Neužil, Antonín ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.
Research in Fingerprint Damage Simulations
Kanich, Ondřej ; Matyáš, Václav (referee) ; Champod, Christophe (referee) ; Drahanský, Martin (advisor)
Cílem této práce je vyvinout metody simulací poškozování otisků prstů. V první části je kladen důraz na shrnutí stávajících znalostí v oblasti generování syntetických otisků prstů a jejich poškozování. Dále jsou uvedeny informace o otiscích prstů obecně, jejich rozpoznávání a vlivy, které otisky poškozují, včetně onemocnění kůže. Práce obsahuje návrh a implementaci aplikace SyFDaS pro generování a modulární poškozování otisků prstů. Další částí je popis metod pro poškozování vlivem průtahového režimu, zúženého snímače, poškozeného snímače, přítlaku a vlhkosti, zkreslení pokožky, bradavic, atopického ekzému a lupénky. Dále je analyzováno několik dalších typů poškození včetně falzifikátů otisků prstů. Celkově je uvedeno 43 základních poškození, která jsou vizuálně verifikována. Díky kombinování poškození je využito 1 171 typů poškození a vygenerováno 348 300 obrázků otisků prstů, které jsou vyhodnoceny čtyřmi různými metodami posuzování kvality.
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.