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

Program: Standardní projekty

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

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

Abstract

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. – research leader
Haša Luděk, Ing.
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Kočí Radek, Ing., Ph.D. (DITS)
Křena Bohuslav, Ing., Ph.D. (DITS)
Rábová Zdeňka, doc. Ing., CSc.
Schwarz Ivan, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Publications

2003

2002

2001

2000

Back to top