|
|
Production Reliability Management in a Selected Company
Bubník, Šimon ; Balgová, Zuzana (referee) ; Pospíšil, Karel (advisor)
The aim of this thesis is to assess the reliability of production in a selected company using appropriately chosen parameters and subsequently analyze whether the proposed and implemented measures contributed to a statistically significant increase in this reliability. The thesis focuses on identifying key issues, designing and implementing measures to improve reliability, and statistically evaluating their impact. The outcome of this work is a comprehensive assessment of the production reliability in the selected company, which includes the identification of key issues, the design and implementation of measures to improve reliability, and the statistical evaluation of their impact. This approach will allow for an objective assessment of the effectiveness of the implemented measures and provide a basis for further improvements in the reliability of production machinery.
|
|
|
Garbage Collector for PNtalk Objects
Štěpán, Filip ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
Tato práce představuje komplexní výzkum technik garbage collection přizpůsobených speciálně pro PNtalk se zaměřením na použití standardní automatické správy paměti. Tato práce zkoumá nutnost, principy a výhody automatické správy paměti a zdůrazňuje význam al- goritmů garbage collection pro optimalizaci využití paměti a zvýšení výkonu aplikací. Na základě těchto teoretických základů se práce zabývá návrhem, implementací, testováním a srovnávacím testováním garbage collectoru.
|
|
|
Paint shop Process Improvement through Predictive Simulation
Machačová, Simona ; Hromková, Ivana (referee) ; Videcká, Zdeňka (advisor)
This thesis focuses on the use of simulation to optimise processes in a paint shop. The aim of the thesis is to analyse the existing production processes and suggest improvements using simulation. In the analytical part of the thesis, the processes in the paint shop are described in detail and Petri nets are used to describe the logic of the processes in the paint shop. In the design part of the thesis, the problem and objectives are formulated, and the design of the simulation model is presented. The design describes the elements and methods used in the Plant Simulation software in which the model is created. Furthermore, different scenarios are simulated to optimize the painting process and the deposition areas. The simulation results are compared with the actual state of the paint shop. Finally, the results are discussed and recommendations are proposed to optimize the paint shop processes using simulation. This work presents new approaches to process optimization in industrial manufacturing.
|
|
|
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.
|
|
|
OOPN Editor
Neužil, Antonín ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis deals with Petri nets and their modeling. First of all, the thesis describes the formalism of the Petri network. It will also focus on object orientation of networks. In the second row, the thesis is specialized on the created application and it is a graphical editor of object-oriented Petri nets. Part of the thesis is the process of designing and implementing the already mentioned application. The application is created using programming language Java and is compatible only with operating system Windows. NetBeans IDE 8.0.2 development environment was used to create the application. The result of the whole bachelor thesis is an application for creation of models of object-oriented networks and their simulation with the attached server. Several examples of these models and their results are part of this thesis. These examples serve as an application manual.
|
|
| |
|
|
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.
|
|
|
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.
|
|
|
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.
|
guest ::
