Project Details

Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí

Project Period: 1. 1. 2000 - 31. 12. 2002

Project Type: grant

Code: GA102/00/1017

Agency: Czech Science Foundation


English title
Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets

distributed applications, modelling and prototyping, formal verification, object-oriented Petri nets


The project builds upon the original mathematical concept of object-oriented Petri nets (OOPNs) which has been proposed at the Department of Computer Science and Engineering of the Technical University in Brno and which combines advantages of high-level Petri nets and object-oriented design technologies. The project comes with two main goals. The first goal is to design and implement a tool for modelling, simulation, and prototyping distributed applications using OOPNs, including the possibility of running prototypes of applications in a truly distributed way and interconnecting them with external objects. The second goal is to allow for formal analysis and verification of OOPN-based models using especially their suitably reduced state spaces. This requires an original solution of some specific theoretical problems stemming from the dynamic instantiation of objects. Moreover, the possibility of modular and compositional analysis, as well as static analysis will be evaluated. The proposed conceptual and computer-aided tools for modelling, prototyping, and verification will be integrated by a methodology suggesting how they should be used for designing complex distributed applications in order to achieve their high maintainability, reliability, and effectiveness.

Team members
Češka Milan, Prof. RNDr., CSc. (UIVT FEI VUT) , research leader
Janoušek Vladimír, Ing., Ph.D. (UIVT FEI VUT) , team leader
Rábová Zdeňka, Doc. Ing., CSc. (UIVT FEI VUT) , team leader
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT) , team leader
Haša Luděk, Ing. (UITS FIT VUT)
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Schwarz Ivan, Ing. (UITS FIT VUT)





Back to top