|
|
Educational Tool for Coloured Petri Nets
Navrátil, Ondřej ; Kočí, Radek (referee) ; Rogalewicz, Adam (advisor)
Coloured Petri nets (CPN) are an extension of a standard place-transition Petri nets (P/T PN). Every token and place have its type (and eventually a value) and various inscriptions can be inserted into the net. CPN excel with great readibility and expresivity. At the same time, they carry a well-defined formal basis, which eases its computer simulation and allows limited verification of certain attributes to be performed. Motivation for doing this project is the simple fact that currently only one public software tool is available for CPN creation and simulation - CPNTools developed on the Aarhus university. The program, however, is quite complicated and hard to handle for an unexperienced user. The goal is to research capabilities and properties of both CPNs and CPNTools and on this basis design and implement a didactic application with swift and intuitive interface that helps users without deeper theoretical insight to get a grasp of the problematics.
|
|
|
Comparison of Tools for Modeling and Development of Process Oriented Applications
Spišák, Samuel ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
Thesis deals with the comparison of tools for modeling, development and deployment of process-oriented applications. Three tools with a similar approach to the design and development of these applications were selected for comparison. The tools I chose are developed in companies Netgrif, Camunda and Bonitasoft. Main goal of this thesis was to separately develop an application with identical functionality and to describe the development process. Based on acquired experience, thesis summarizes strengths and weaknesses in the approach chosen compared tools. After reading this thesis, the reader should be able to get an idea of the development methods specific to each tool and to choose from compared tools, if interested in creating a process oriented application himself, the one most suitable for his needs.
|
|
| |
|
|
Process Control with Dynamic Resource Scheduling
Šinkora, Jan ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This project pursues issues on the border of information technologies and process optimization. Previously published concepts of~modeling projects and shared resources with object-oriented Petri nets are presented and further expanded. The possibilites of~the use of~genetic algorithms for dynamic realtime optimization of the resource schedules are explored. The resource constrained project sheduling problem is presented and it is shown, how instances of the problem can be implemented. A more complex model that is inspired by real production systems is then created. Next, a control agent, which monitors a running production system and allows for it's dynamic optimization is designed. The whole system is implemented in the Squeak Smalltalk environment with the use of the tool PNtalk, which is an experimental implementation of the object oriented Petri nets paradigm.
|
|
|
Interpreter of Petri Nets Formalism
Šajdík, Ondrej ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The goal of bachelor thesis was to create tool which would be able to interpret Object-oriented Petri nets. In theoretical part was researched Petri nets, its simple extensions, Object-oriented Petri nets and modeling in language PNtalk. In practical part of thesis was designed and implemented tool for loading model defined in language PNtalk into inner representation and executing its dynamics. In the end was created set of automated tests for quality assurance and group of models for demonstration of interpret features.
|
|
|
Simulation and traffic control using Petri nets
Zbranek, Matyáš ; Holoubek, Tomáš (referee) ; Dobrovský, Ladislav (advisor)
This bachelor thesis deals with the modelling, simulation and control of a real traffic light intersection using Petri nets. Nowadays, when many people own a car, road traffic and time spent on the road becomes an important part of life. Intersections are often critical places where traffic slows down or even stops. The theoretical part introduces Petri nets, some traffic management systems and studies that have solved traffic situations using Petri nets. The practical part relies on traffic measurements at the intersection. The traffic light model, car clearance and the model of the whole intersection are described. In order to make the traffic in the simulation as close as possible to the real behaviour, stochastically timed Petri nets are used. Furthermore, possible control sequences are proposed and simulated with different traffic volumes. Finally, all data are evaluated and the designs are compared. The PetNetSim library editor was used to generate the models.
|
|
|
Coverability for Parallel Programs
Turoňová, Lenka ; Vojnar, Tomáš (referee) ; Holík, Lukáš (advisor)
This work is focusing on automatic verification of systems with parallel running processes. We discuss the existing methods and certain possibilities of optimizing them. Existing techniques are essentially based on finding an inductive invariant (for instance using a variant of counterexample-guided abstract refinement (CEGAR)). The effectiveness of these methods depends on the size of the invariant. In this thesis, we explored the possibility of improving the methods by focusing on finding invariants of minimal size. We implemented a tool that facilitates exploring the space of invariants of the system under scrutiny. Our experimental results show that many practical existing systems indeed have invariants that are much smaller than what can be found by the existing methods. The conjectures and the results of the work will serve as a basis of future research of an efficient method for finding small invariants of parallel systems.
|
|
|
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.
|
|
|
Framework for Creation and Verification of Specification Models
Matalík, Štěpán ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis deals with Object Oriented Petri Nets (OOPN) and with developing of tool for creation and verification of specification models. In the first part of the thesis are described formalisms of existing Petri net types, including OOPN. Next part involves in creation of editing tool, that also allows triggering of simulation models on a remote server. Editor output is a graphic diagram of Petri net and also a simulation model described in PNtalk language, which is the implementation of OOPN based on Smalltalk language. Simulation models runs on the server in Pharo Smalltalk enviroment. At the end of the thesis are shown examples of appropriate simulations and possible tool extensions.
|
|
|
Petri nets for expert systems
Million, Pavel ; Pohl, Jan (referee) ; Jirsík, Václav (advisor)
Purpose of this master thesis is description of base parts of expert system with using Petri nets. Attention is mainly concentrate to knowledge base, way of storing knowledge. Next parts are describing main different between production base knowledge for planning or diagnostic expert system from Petri nets view. In this thesis conditions of using Petri nets and way of interpretation knowledge for inference mechanism in planning and diagnostic expert system are described. Using of high level Petri nets and language describing Petri nets structure and behaviour are demonstrated in next part of this thesis.
|
guest ::
