|
|
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.
|
|
|
IoT Application Deployment Platform
Hrvol, Marek ; Smrčka, Aleš (referee) ; Kočí, Radek (advisor)
The aim of this work is simplifying deployment of Internet of Things in households or smaller companies and also reducing the need of maintenance of created network. Main goal of this web application is creating platform capable of deploying applications across ARM single-board computers. Moreover, application provides intuitive preview of all registered devices including its state, shows all the necessary data and informs user about failures on devices.
|
|
|
Java EE Organizer
Černý, Petr ; Martinek, David (referee) ; Kočí, Radek (advisor)
This thesis deals with applications for organization of time and contacts. It includes analysis of existing solutions, used architectures and brief characteristics of existing applications. Thesis also deals with developing a client application for Java EE applications, and discusses the basic technologies that are used in this eld (Swing, Java EE platform and its technologies). The practical part includes design and implementation of modules for managing contacts and tasks, which are incorporated into the demo application Java EE Organizer.
|
|
|
Strategic Game Based on Multiagent Systems
Knapek, Petr ; Kočí, Radek (referee) ; Zbořil, František (advisor)
This thesis is focused on designing and implementing system, that adds learning and planning capabilities to agents designed for playing real-time strategy games like StarCraft. It will explain problems of controlling game entities and bots by computer and introduce some often used solutions. Based on analysis, a new system has been designed and implemented. It uses multi-agent systems to control the game, utilizes machine learning methods and is capable of overcoming oponents and adapting to new challenges.
|
|
|
Tool for Software Systems Design
Hala, Karel ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The Tool for software systems design is an application for visualization of application development. It's main goal is to achieve connection between developer and customer. It should be used to understand customer's needs, prepare work ow of project and behaviour of each class and method using objected oriented Petri nets. In this work we will look on other programs, that focus on similiar topic, we then pick some diagrams and describe how they were implemented. At the end we will disguss possible extension for this tool.
|
|
| |
|
|
Graphical Editor for Design Models
Hlavačka, Filip ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis is aimed at the solution of graphical editing for design models, especially Object-oriented Petri nets. There are many tools for editing Object-oriented Petri nets, but none of these support complete cooperation with simulation classes. This thesis offers created tool, which is implemented in the Pharo environment and uses the Morphic library. The created tool enables users to create or modify Object-oriented Petri net. Users can export created net to SVG or PNG format. The tool also enables the saving and loading of Object-oriented Petri net. The tool provides syntax check to the user.
|
|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
|
|
Agent-Based Monitoring of Wireless Sensor Networks
Houšť, Marek ; Kočí, Radek (referee) ; Zbořil, František (advisor)
The reader is first introduced with history and possible applications for wireless sensor networks. The thesis then describes the problems of wireless sensor networks and implementation tools for wireless sensor networks. The thesis also presents the system WSageNt and its client web interface. Practical part is based on the design of agent elements. Describes gradual implementation, testing and practical realization of these agent elements in the system WSageNt. The final part discusses the advantages and disadvantages of the project and identifies possible future expansion of the system.
|
|
| |
guest ::
