Prof. RNDr. Milan Češka, CSc.
|
| Reseach 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: | GAČR |
| Code: | GA102/00/1017 |
| Start: | 2000 |
| End: | 2002 |
| Keywords: | distributed applications, modelling and prototyping, formal verification, object-oriented Petri nets |
| Annotation: |
|---|
| 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. |
Publications
| 2003 | Janoušek Vladimír, Slavíček Pavel: Heterogenní simulace na bázi DEVS, In: Proceedings of XXVth International Autumn Colloquium ASIS 2003, Ostrava, CZ, MARQ, 2003, p. 213-218, ISBN 80-58988-88-7 |
| 2002 | Češka Milan, Hruška Tomáš, 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, IT, SSGRR, 2002, p. 7, ISBN 88-85280-62-5 |
| | Češka Milan, Janoušek Vladimír, Vojnar Tomáš: Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets, In: Kybernetes: The International Journal of Systems & Cybernetics, Vol. 2002, No. 9, GB, p. 1289-1299, ISSN 0368-492X |
| | Janoušek Vladimír, Kočí Radek: PNtalk - An Open System for Prototyping and Simulation, In: Proceedings of The 28th ASU Conference, Brno, CZ, FIT VUT, 2002, p. 133-146, ISSN 1102-593X |
| | Kočí Radek, Rábová Zdeňka: The PNtalk System and Interoperability, In: Proceedings of International Conference MOSIS '02, Ostrava, CZ, MARQ, 2002, p. 73-80, ISBN 80-85988-71-2 |
| | Křena Bohuslav, Vojnar Tomáš, Češka Milan: Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets, In: Brazilian Petri Net Meeting, Natal, BR, 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, CZ, MARQ, 2002, p. 81-88, ISBN 80-85988-71-2 |
| 2001 | Češka Milan, Janoušek Vladimír, Vojnar Tomáš: Analysis and Verification Queries over Object-Oriented Petri Nets, In: Lecture Notes in Computer Science, Vol. 2001, No. 2178, DE, p. 365-384, ISSN 0302-9743 |
| | Češka Milan, Janoušek Vladimír, Vojnar Tomáš: Generating and Using State Spaces of Object-Oriented Petri Nets, In: International Journal of Computer Systems Science and Engineering, Vol. 16, No. 3, 2001, AT, p. 183-193, ISSN 0267-6192 |
| | Janoušek Vladimír, Schwarz Ivan: Interoperability of Object Oriented Petri Nets, In: Proc. of MOSIS'01, Ostrava, Czech Republic, CZ, MARQ, 2001, p. 137-144, ISBN 80-85988-57-7 |
| | Kočí Radek, 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, CZ, MARQ, 2001, p. 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, CZ, MARQ, 2001, p. 151-158, ISBN 80-85988-61-5 |
| | Křena Bohuslav, 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, CZ, MARQ, 2001, p. 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, CZ, MARQ, 2001, p. 105-110, ISBN 80-85988-61-5 |
| | Křena Bohuslav: The Graph Isomorphism Problem, In: Proceedings of 7th Conference Student FEI 2001, Brno, CZ, VUT v Brně, 2001, p. 343-347, ISBN 80-214-1860-5 |
| | Vojnar Tomáš: Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets, Brno, CZ, 2001, p. 148 |
| 2000 | Češka Milan, Janoušek Vladimír, 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, DK, neznámá, 2000, p. 35-54, ISSN 0105-8517 |
| | Češka Milan, Janoušek Vladimír, Vojnar Tomáš: PNtalk Modelling Experience, In: Proceedings of 26th ASU Conference, Object Oriented Modelling and Simulation 2000, La Valetta, MT, neznámá, 2000, p. 65-73 |
| | Holub Otakar, Kunovský Jiří, Melkes František: The examples of the TKSL/C, In: Proccedings of 4th International Scientific Conference ELECTRONIC COMPUTERS & INFORMATICS, Košice, SK, neznámá, 2000, p. 98-101, ISBN 80-88922-25-9 |
| | Kunovský Jiří, Pospíšil Pavel, Sezemský Petr: Implicit solution of kinetics in HV circuit breakers, In: Proceedings of 3rd Mathmod, Vienna, AT, neznámá, 2000, p. 11-11, ISBN 3-901608-15-X |
| | Kunovský Jiří: Real-Time Applications of the Taylor Series, In: Proceedings of ADIUS 2000, ADI, Boston, US, neznámá, 2000, p. 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, CZ, MARQ, 2000, p. 75-80, ISBN 80-85988-44-5 |
|
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)