Národní úložiště šedé literatury Nalezeno 3 záznamů.  Hledání trvalo 0.01 vteřin. 
Interpreter of Petri Nets Formalism
Šajdík, Ondrej ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
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.
Sequence Diagram Generation from Object-Oriented Petri Nets
Beňo, Adam ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
The thesis focuses on the issue of sequence diagram generation from scenarios modelled by object-oriented Petri nets (OOPN). It aims on module implementation into existing OOPN editor which enables showing sequence diagrams from individual simulations and is connected with simulated model. The user thus gets complete overview of the simulation process and is able to detect errors in OOPN models.
Interpreter of Petri Nets Formalism
Šajdík, Ondrej ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
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.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.