Detail projektu
Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí
Období řešení: 1. 1. 2000 - 31. 12. 2002
Typ projektu: grant
Kód: GA102/00/1017
Agentura: Grantová agentura České republiky
Program:
distribuované aplikace, modelování a prototypování, formální verifikace, objektově orientované Petriho sítě
Projekt vychází z původního matematického modelu objektově orientovaných Petriho sítí (OOPN), který byl vytvořen na ÚIVT FEI VUT a který spojuje výhody vysokoúrovňových Petriho sítí s výhodami objektově orientovaných návrhových technologií. Projekt sleduje dva hlavní cíle. Prvním cílem je návrh a implementace systému pro modelování, simulaci a prototypování distribuovaných aplikací s využitím OOPN, včetně možnosti distribuovaného běhu vytvořených prototypů a propojení s objekty implementovanými jiným způsobem. Druhým cílem je umožnit formální analýzu a verifikaci modelů popsaných OOPN, a to zejména s využitím jejich vhodně redukovaných stavových prostorů. To si vyžádá originální řešení některých specifických teoretických problémů plynoucích z dynamické instanciace objektů. Dále bude posouzena možnost aplikace metod modulární či kompozitní analýzy a také metod statické analýzy OOPN. Navržené nástroje pro modelování, prototypování a verifikaci budou zastřešeny metodologií doporučující způsob jejich použití při návrhu distribuovaných aplikací tak, aby se dosáhlo dobré udržovatelnosti, spolehlivosti a výkonnosti.
Janoušek Vladimír, Ing., Ph.D. (UIVT FEI VUT) , spoluřešitel
Rábová Zdeňka, Doc. Ing., CSc. (UIVT FEI VUT) , spoluřešitel
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT) , spoluřešitel
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)
2003
- JANOUŠEK Vladimír a SLAVÍČEK Pavel. Heterogenní simulace na bázi DEVS. In: Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: MARQ, 2003, s. 213-218. ISBN 80-58988-88-7. Detail
2002
- SCHWARZ Ivan. Architecture of Distributed Simulator of PNtalk. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I.. Ostrava: MARQ, 2002, s. 81-88. ISBN 80-85988-71-2. Detail
- ČEŠKA Milan, HRUŠKA Tomáš a 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, s. 7. ISBN 88-85280-62-5. Detail
- KŘENA Bohuslav, VOJNAR Tomáš a ČEŠKA Milan. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In: Brazilian Petri Net Meeting. Natal, 2002, s. 6. Detail
- ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. Kybernetes: The International Journal of Systems & Cybernetics, roč. 2002, č. 9, s. 1289-1299. ISSN 0368-492X. Detail
- JANOUŠEK Vladimír a KOČÍ Radek. PNtalk - An Open System for Prototyping and Simulation. In: Proceedings of The 28th ASU Conference. Brno: Fakulta informačních technologií VUT v Brně, 2002, s. 133-146. ISSN 1102-593X. Detail
- KOČÍ Radek a RÁBOVÁ Zdeňka. The PNtalk System and Interoperability. In: Proceedings of International Conference MOSIS '02. Vol. 1. Ostrava: MARQ, 2002, s. 73-80. ISBN 80-85988-71-2. Detail
2001
- KOČÍ Radek a 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: MARQ, 2001, s. 165-172. ISBN 80-85988-57-7. Detail
- ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, roč. 2001, č. 2178, s. 365-384. ISSN 0302-9743. Detail
- 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: MARQ, 2001, s. 105-110. ISBN 80-85988-61-5. Detail
- ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering, roč. 16, č. 3, 2001, s. 183-193. ISSN 0267-6192. Detail
- JANOUŠEK Vladimír a SCHWARZ Ivan. Interoperability of Object Oriented Petri Nets. In: Proc. of MOSIS'01. Ostrava, Czech Republic: MARQ, 2001, s. 137-144. ISBN 80-85988-57-7. Detail
- KŘENA Bohuslav. The Graph Isomorphism Problem. In: Proceedings of 7th Conference Student FEI 2001. Brno: Vysoké učení technické v Brně, 2001, s. 343-347. ISBN 80-214-1860-5. Detail
- KOČÍ Radek. The PNtalk System - a Technique for Object Oriented Modelling. In: Proceedings of XXIIIrd International Autumn Colloquium. Ostrava: MARQ, 2001, s. 151-158. ISBN 80-85988-61-5. Detail
- KŘENA Bohuslav a 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: MARQ, 2001, s. 173-180. ISBN 80-85988-51-8. Detail
2000
- 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: MARQ, 2000, s. 75-80. ISBN 80-85988-44-5. Detail
- ČEŠKA Milan, JANOUŠEK Vladimír a 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: neznámá, 2000, s. 35-54. ISSN 0105-8517. Detail
- KUNOVSKÝ Jiří, POSPÍŠIL Pavel a SEZEMSKÝ Petr. Implicit solution of kinetics in HV circuit breakers. In: Proceedings of 3rd Mathmod. Vienna: neznámá, 2000, s. 11-11. ISBN 3-901608-15-X. Detail
- ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. PNtalk Modelling Experience. In: Proceedings of 26th ASU Conference, Object Oriented Modelling and Simulation 2000. La Valetta: neznámá, 2000, s. 65-73. Detail
- KUNOVSKÝ Jiří. Real-Time Applications of the Taylor Series. In: Proceedings of ADIUS 2000, ADI. Boston: neznámá, 2000, s. 67-75. Detail
- HOLUB Otakar, KUNOVSKÝ Jiří a MELKES František. The examples of the TKSL/C. In: Proccedings of 4th International Scientific Conference ELECTRONIC COMPUTERS & INFORMATICS. Košice: neznámá, 2000, s. 98-101. ISBN 80-88922-25-9. Detail