|
|
Interpreter of Petri Nets Formalism
Blažek, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the concept of the formalism of Petri nets, which allows to investigate the dynamic behavior of parallel and nondeterministic systems. Furthermore, this deals with its variant of Object-Oriented Petri Nets (OOPN), which aims to facilitate the process of modeling systems with an object-oriented approach. The aim of this master thesis is to design an internal representation of OOPN models, which is suitable for efficient interpretation and implement compiler from PNtalk language into the internal representation. Subsequently, design and implement an OOPN model interpreter using this internal representation of models, which in addition to Petri net objects, must also be able to work with a selected subset of objects from the Java language.
|
|
|
Code Generation from Object Oriented Petri Nets
Hanák, Martin ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis describes opinions about generating code from PNtalk language into more standard object orinted languages, such as C++ or Java. Goal is to construct model of the formalism of Object Oriented Petri Nets (OOPN), represented in PNtalk languege in mentioned languages. This model should be simlpier and more effective than actual implementation in Smalltalk language. Thesis also contains ideas about abstactization the code generator to be able to generate code in various languages.
|
|
|
Graphical Editor for Design Models
Švub, Daniel ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The target of this thesis was a design and a development of an user friendly graphical editor of Object oriented Petri nets (OOPN). For description of this formalism was used PNtalk language, which combines Petri nets with the object oriented language Smalltalk. The resulting application should allow users to design object and their behaviour via OOPN and simulate directly in the editor.
|
|
|
Sequence Diagram Generation from Object-Oriented Petri Nets
Hoffmann, Michael ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This diploma thesis aims to design and implement the mechanism of transformation of Object Oriented Petri Nets (OOPN) models into the form of sequence diagrams, as they are defined in the UML language. The OOPN formalism combines object-oriented language Smalltalk and Petri nets and is described by the PNtalk language. The resulting implementation will become part of the existing editor of Object-oriented Petri nets, where it will be possible to generate a sequence diagram from edited models.
|
|
|
Sequence Diagram Generation from Object-Oriented Petri Nets
Bláha, Jiří ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The goal of this bachelor's thesis is to design and create an application that graphically represents the communication between objects during a simulation of object oriented Petri nets (OOPN) as sequence diagrams. Input to the application is the definition of OOPN classes written in PNtalk. A simulation server, implemented in SmallTalk, is used for OOPN model simulation. This thesis describes server commanding and corresponding data retrieving as well as its transformation to a form suitable for sequence diagram generation and drawing. The implemented solution allows users to save the final sequence diagram as a PNG, SVG or XML file for further result sharing and processing. The application simplifies working with the simulation server, which otherwise doesn't incorporate any form of human-readable output and, therefore, it allows users to quickly and easily determine the order of events inside the simulated model.
|
|
|
Graphical Editor for Design Models
Švub, Daniel ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The target of this thesis was a design and a development of an user friendly graphical editor of Object oriented Petri nets (OOPN). For description of this formalism was used PNtalk language, which combines Petri nets with the object oriented language Smalltalk. The resulting application should allow users to design object and their behaviour via OOPN and simulate directly in the editor.
|
|
|
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.
|
|
|
Interpreter of Petri Nets Formalism
Blažek, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the concept of the formalism of Petri nets, which allows to investigate the dynamic behavior of parallel and nondeterministic systems. Furthermore, this deals with its variant of Object-Oriented Petri Nets (OOPN), which aims to facilitate the process of modeling systems with an object-oriented approach. The aim of this master thesis is to design an internal representation of OOPN models, which is suitable for efficient interpretation and implement compiler from PNtalk language into the internal representation. Subsequently, design and implement an OOPN model interpreter using this internal representation of models, which in addition to Petri net objects, must also be able to work with a selected subset of objects from the Java language.
|
|
|
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.
|
|
|
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.
|
guest ::
