National Repository of Grey Literature 3 records found  Search took 0.01 seconds. 
Interpreter of Petri Nets Formalism
Šajdík, Ondrej ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
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 (referee) ; Kočí, Radek (advisor)
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 (referee) ; Kočí, Radek (advisor)
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.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.