Prof. Ing. Tomáš Vojnar, Ph.D.

Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets

Czech title:Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí
Research leader:Češka Milan
Team leaders:Janoušek Vladimír, Rábová Zdeňka, Vojnar Tomáš
Team members:Haša Luděk, Kočí Radek, Křena Bohuslav, Schwarz Ivan
Agency:Czech Science Foundation
Keywords: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.


2003JANOUŠEK Vladimír and SLAVÍČEK Pavel. Heterogenní simulace na bázi DEVS. In: Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava, 2003, pp. 213-218. ISBN 80-58988-88-7.
2002JANOUŠEK Vladimír and KOČÍ Radek. PNtalk - An Open System for Prototyping and Simulation. In: Proceedings of The 28th ASU Conference. Brno: Faculty of Information Technology BUT, 2002, pp. 133-146. ISSN 1102-593X.
 KOČÍ Radek and RÁBOVÁ Zdeňka. The PNtalk System and Interoperability. In: Proceedings of International Conference MOSIS '02. Ostrava, 2002, pp. 73-80. ISBN 80-85988-71-2.
 KŘENA Bohuslav, VOJNAR Tomáš and ČEŠKA Milan. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In: Brazilian Petri Net Meeting. Natal, 2002, p. 6.
 SCHWARZ Ivan. Architecture of Distributed Simulator of PNtalk. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Ostrava, 2002, pp. 81-88. ISBN 80-85988-71-2.
 ČEŠKA Milan, HRUŠKA Tomáš and ZENDULKA Jaroslav. Education in Information Technology at Brno University of Technology. In: Proceedings of the International Conference - Advances in Infrastructure for e-business, e-education, e-science, and e-medicine on the Internet. L'Aquila: SSGRR Telecom Italia Learning Services, 2002, p. 7. ISBN 88-85280-62-5.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. Kybernetes: The International Journal of Systems & Cybernetics. 2002, vol. 2002, no. 9, pp. 1289-1299. ISSN 0368-492X.
2001JANOUŠEK Vladimír and SCHWARZ Ivan. Interoperability of Object Oriented Petri Nets. In: Proc. of MOSIS'01. Ostrava, Czech Republic, 2001, pp. 137-144. ISBN 80-85988-57-7.
 KOČÍ Radek and VOJNAR Tomáš. A PNtalk-based Model of a Cooperative Editor. In: Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001. Hradec nad Moravicí, Czech Republic, 2001, pp. 165-172. ISBN 80-85988-57-7.
 KOČÍ Radek. The PNtalk System - a Technique for Object Oriented Modelling. In: Proceedings of XXIIIrd International Autumn Colloquium. Ostrava, 2001, pp. 151-158. ISBN 80-85988-61-5.
 KŘENA Bohuslav and VOJNAR Tomáš. Type Analysis in Object-Oriented Petri Nets. In: Proceedings of 4th International Conference on Information System Modelling -- ISM'01. Hradec nad Moravicí, Czech Republic, 2001, pp. 173-180. ISBN 80-85988-51-8.
 KŘENA Bohuslav. First Approach to Model Checking in Object-Oriented Petri Nets. In: Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems. Ostrava, 2001, pp. 105-110. ISBN 80-85988-61-5.
 KŘENA Bohuslav. The Graph Isomorphism Problem. In: Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001, pp. 343-347. ISBN 80-214-1860-5.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science. 2001, vol. 2001, no. 2178, pp. 365-384. ISSN 0302-9743.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering. 2001, vol. 16, no. 3, pp. 183-193. ISSN 0267-6192.
2000HOLUB Otakar, KUNOVSKÝ Jiří and MELKES František. The examples of the TKSL/C. In: Proccedings of 4th International Scientific Conference ELECTRONIC COMPUTERS & INFORMATICS. Košice: unknown, 2000, pp. 98-101. ISBN 80-88922-25-9.
 KUNOVSKÝ Jiří, POSPÍŠIL Pavel and SEZEMSKÝ Petr. Implicit solution of kinetics in HV circuit breakers. In: Proceedings of 3rd Mathmod. Vienna: unknown, 2000, pp. 11-11. ISBN 3-901608-15-X.
 KUNOVSKÝ Jiří. Real-Time Applications of the Taylor Series. In: Proceedings of ADIUS 2000, ADI. Boston: unknown, 2000, pp. 67-75.
 MAREK Vladimír. Category of Markov Systems. In: Proceedings of the 34th International Conference: Modelling and Simulation of Systems - MOSIS 2000. Rožnov pod Radhoštěm, 2000, pp. 75-80. ISBN 80-85988-44-5.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. In: Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000. Aarhus: unknown, 2000, pp. 35-54. ISSN 0105-8517.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. PNtalk Modelling Experience. In: Proceedings of 26th ASU Conference, Object Oriented Modelling and Simulation 2000. La Valetta: unknown, 2000, pp. 65-73.

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]