|
|
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.
|
|
|
Tool for Software Systems Design
Hrubý, Daniel ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The tool for software systems design is an aplication for simplification of system development. Use case diagram helps to make comunication between customer and developer better, then with the use of class diagram rewrite draft to object concept and thanks to object oriented Petri nets describe aplications behavior. First we will look on programs with similiar specialization, then describe each diagram and Object oriented Petri net. After that we will introduce application itself, testing and possible extensions.
|
|
| |
|
|
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.
|
|
|
The Tool for Object Oriented Petri Nets
Josefík, Martin ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with creation of the tool for Object Oriented Petri Nets which uses two different languages PNML and PNtalk. PNML is an XML-based interchange format for Petri nets. Its advantage is that it is possible to describe each element of Petri net by element of PNML language. PNtalk is based on the formalism of Object Oriented Petri Nets and also on Smalltalk language. The tool for OOPN will communicate with the external application PNtalk system in order to exchange models between these two applications. There will be discussed possible extensions for the tool at the end of the thesis.
|
|
| |
|
|
Simple C++ Development Environment for Android
Režňák, Pavel ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This bachelor thesis is about creation of an environment for compiling aplications which has been written in C and C++ languages. This development environment is made of an application emulating terminal window and packages containing open-source compilers and optional tools compiled for mobile devices with ARM processors and Android operating system. This process includes generation of cross-compilers for Android system from NDK tools, correct setting of parameters during configuration, fixes of the source codes of these open-source compilers and creation of an application which is installable under Android OS and which will allow us to easily use these tools.
|
|
|
Generator of Analysers of Documents Defined by RELAX NG
Šimonek, Jan ; Janoušek, Vladimír (referee) ; Martinek, David (advisor)
This bachelor's thesis deals with automatization of XML loading. This is accomplished by a generator of XML analyser. The generator (translator) takes a XML scheme in RELAX NG and it produces analyser in C++. The generated analyser is capable of unmarshalling and validating data from XML, providing access to the data and marshalling the data back to XML. Usability of this process is demonstrated on examples. Theory of the XML, XML schema languages and validation is also discussed.
|
|
|
Autonomous Formula Controlling
Harvan, Mário ; Janoušek, Vladimír (referee) ; Rozman, Jaroslav (advisor)
The aim of this paper is to analyze the problems of autonomous car system in the Formula Student competition. The paper focuses on design and implementation of a system that can identify race track, calculate the best route that car can follow, and control car to follow given route. The objective of the system is to control car so that it can go around the track in the shortest possible time. Part of the paper is a theoretical model of the vehicle, which allows an algorithm to calculate the maximum possible speed of the formula in each section of the track. Last section focuses on system testing inside simulator and comparison of different path finding algorithms.
|
|
|
Simulation and Design of Intelligent Agents
Šperka, Svatopluk ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
Conventional method of development which repeats phases of design, implementation and testing is not adequate for systems like intelligent agents for which complex behavior is required but specification is unclear at the beginning of development process. Incremental design of agent's model during simulation seems more suitable for it enables direct feedback in behavioral changes of a system. This interactivity speeds up development process and helps to uncover parts of a space of all models to designer - thanks to new knowledge acquired during simulation. This thesis aims to provide comparison of suitability of two agent architectures and respective platforms in context of SmallDEVS modeling and simulation framework for this methodology of development. First approach is reactive and decentralized subsumption architecture based on DEVS formalism and the second one is PNagent, framework realizing deliberative BDI architecture using Object Oriented Petri Nets.
|
guest ::
RSS feed.