Detail projektu

PNtalk - nástroje založené na objektově orientovaných Petriho sítích

Období řešení: 1. 1. 1994 – 31. 12. 2010

Typ projektu: grant

Kód: UIVT-PNtalk

Agentura: Vysoké učení technické v Brně

Program: Institucionální podpora na rozvoj výzkumné organizace

Název anglicky
PNtalk - tools based on object-oriented Petri nets
Typ
grant
Klíčová slova

Objeková orientace, Petriho sítě.

Abstrakt

PNtalk je jazyk a systém založený na Petriho sítích a Smalltalku, kombinující vizuální paralelní programování s ortodoxní objektovou orientací s cílem využít výhody obou přístupů k programování a modelování. Původní idea V. Janouška z přelomu let 1993 a 1994 byla několikrát pokusně implementována v rámci několika diplomových prací, rozvíjena v rámci několika disertací a aplikována v rámci několika výzkumných projektů. Výzkum spojený s jazykem a systémem PNtalk nadále pokračuje.

Řešitelé
Janoušek Vladimír, doc. Ing., Ph.D. (UITS) – hlavní řešitel
Kočí Radek, Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Publikace

2004

  • JANOUŠEK, V., KOČÍ, R. Towards an Open Implementation of the PNtalk System. In Proceedings of the 5th EUROSIM Congress on Modeling and Simulation. Proceedings of the 5th Eurosim Congress on Modelling and Simulation. Paris: EUROSIM-FRANCOSIM-ARGESIM, 2004. p. 31-36. ISBN: 3-901608-28-1. Detail

2003

  • HRUBÝ, M.; KOČÍ, R. Modern Simulation Techniques and Tools. Proceedings of the International Workshop MOSMIC'2003. Žilina: Fakulta riadenia a informatiky Žilinskej Univerzity v Žiline, 2003. s. 7-15. ISBN: 80-8070-139-3. Detail
  • JANOUŠEK, V.; KOČÍ, R. PNtalk: Concurrent Language with MOP. Proceedings of the CS&P'2003 Workshop. Warsawa: Warsaw University, 2003. p. 271-282. ISBN: 83-88374-71-0. Detail
  • KOČÍ, R.; RÁBOVÁ, Z. Purposes of the PNtalk System. Proceedings of International Conference MOSIS '03. Ostrava: 2003. p. 149-156. ISBN: 80-85988-86-0. Detail
  • KŘENA, B. Object-oriented Petri Nets and their Application and Type Analysis. Information Technologies and Control, 2003, vol. 1, no. 1, p. 27-31. ISSN: 1312-2622. Detail

2002

  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. 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, p. 1289-1299. ISSN: 0368-492X. Detail
  • JANOUŠEK, V.; KOČÍ, R. PNtalk - An Open System for Prototyping and Simulation. Proceedings of The 28th ASU Conference. ASU Newsletter. Brno: Faculty of Information Technology BUT, 2002. p. 133-146. ISSN: 1102-593X. Detail
  • KOČÍ, R.; RÁBOVÁ, Z. The PNtalk System and Interoperability. Proceedings of International Conference MOSIS '02. Vol. 1. Ostrava: 2002. p. 73-80. ISBN: 80-85988-71-2. Detail
  • KŘENA, B. A Case Study: Modelling Alternating Bit Protocol by PNtalk. Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I. Ostrava: 2002. p. 65-72. ISBN: 80-85988-71-2. Detail
  • SCHWARZ, I. Architecture of Distributed Simulator of PNtalk. Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I. Ostrava: 2002. p. 81-88. ISBN: 80-85988-71-2. Detail

2001

  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Analysis and Verification Queries over Object-Oriented Petri Nets. Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: University of Las Palmas, 2001. p. 115-118. ISBN: 84-699-3971-8. Detail
  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, 2001, vol. 2001, no. 2178, p. 365-384. ISSN: 0302-9743. Detail
  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering, 2001, vol. 16, no. 3, p. 183-193. ISSN: 0267-6192. Detail
  • JANOUŠEK, V.; SCHWARZ, I. Interoperability of Object Oriented Petri Nets. Proc. of MOSIS'01. Ostrava, Czech Republic: 2001. p. 137-144. ISBN: 80-85988-57-7. Detail
  • KOČÍ, R. Prospects of the PNtalk system in the Smalltalk environment. Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001. p. 338-342. ISBN: 80-214-1860-5. Detail
  • KOČÍ, R. The PNtalk System - a Technique for Object Oriented Modelling. Proceedings of XXIIIrd International Autumn Colloquium. Ostrava: 2001. p. 151-158. ISBN: 80-85988-61-5. Detail
  • KOČÍ, R.; VOJNAR, T. A PNtalk-based Model of a Cooperative Editor. Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001. Hradec nad Moravicí, Czech Republic: 2001. p. 165-172. ISBN: 80-85988-57-7. Detail
  • KŘENA, B. First Approach to Model Checking in Object-Oriented Petri Nets. Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems. Ostrava: 2001. p. 105-110. ISBN: 80-85988-61-5. Detail
  • KŘENA, B. The Graph Isomorphism Problem. Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001. p. 343-347. ISBN: 80-214-1860-5. Detail
  • KŘENA, B.; VOJNAR, T. Type Analysis in Object-Oriented Petri Nets. Proceedings of 4th International Conference on Information System Modelling -- ISM'01. Hradec nad Moravicí, Czech Republic: 2001. p. 173-180. ISBN: 80-85988-51-8. Detail

1997

  • VOJNAR, T. Various Kinds of Petri Nets in Simulation and Modelling. Proceedings of 31st Spring International Conference on Modelling and Simulation of Systems MOSIS'97. Hradec nad Moravicí: 1997. p. 227-232. ISBN: 80-85988-16-X. Detail
Nahoru