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, Ing., Ph.D. (UIVT FEI VUT) , hlavní řešitel
Drabant Radek, Ing. (UIVT FEI VUT) , spoluřešitel
Kočí Radek, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Publikace

2006

  • JANOUŠEK Vladimír. On the Prototype-Based Object Orientation in Modeling and Simulation. In: Proceedings of of Advanced Simulation of Systems 2006. Ostrava: MARQ, 2006, s. 6. ISBN 80-86840-26-3. Detail

2004

  • JANOUŠEK Vladimír a KOČÍ Radek. 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, s. 31-36. ISBN 3-901608-28-1. Detail

2003

  • HRUBÝ Martin a KOČÍ Radek. Modern Simulation Techniques and Tools. In: 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
  • KŘENA Bohuslav. Object-oriented Petri Nets and their Application and Type Analysis. Information Technologies and Control, roč. 1, č. 1, 2003, s. 27-31. ISSN 1312-2622. Detail
  • JANOUŠEK Vladimír a KOČÍ Radek. PNtalk: Concurrent Language with MOP. In: Proceedings of the CS&P'2003 Workshop. Warsawa: Uniwersytet Warszawski, 2003, s. 271-282. ISBN 83-88374-71-0. Detail
  • KOČÍ Radek a RÁBOVÁ Zdeňka. Purposes of the PNtalk System. In: Proceedings of International Conference MOSIS '03. Ostrava: MARQ, 2003, s. 149-156. ISBN 80-85988-86-0. Detail

2002

  • KŘENA Bohuslav. A Case Study: Modelling Alternating Bit Protocol by PNtalk. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I.. Ostrava: MARQ, 2002, s. 65-72. ISBN 80-85988-71-2. Detail
  • 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
  • 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. In: Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: Universidad de Las Palmas de Gran Canaria, 2001, s. 115-118. ISBN 84-699-3971-8. 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
  • KOČÍ Radek. Prospects of the PNtalk system in the Smalltalk environment. In: Proceedings of 7th Conference Student FEI 2001. Brno: Vysoké učení technické v Brně, 2001, s. 338-342. ISBN 80-214-1860-5. 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

  • SCHWARZ Ivan. Distribuovaný simulátor OOPN. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000, s. 234-236. ISBN 80-7204-155-X. 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
  • Č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
  • KŘENA Bohuslav. Podpora pro analýzu stavových prostorů objektově orientovaných Petriho sítí. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000, s. 192-194. ISBN 80-7204-155-X. Detail
  • KOČÍ Radek. Rozšiřitelný simulátor objektově orientovaných Petriho sítí. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000, s. 186-188. ISBN 80-7204-155-X. Detail
  • ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science, roč. 2000, č. 1798, s. 90-104. ISSN 0302-9743. Detail

1999

  • VOJNAR Tomáš. Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models. In: Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99. Krnov: MARQ, 1999, s. 219-224. ISBN 80-85988-41-0. Detail
  • JANOUŠEK Vladimír. Synchronous Interactions of Objects in Object Oriented Petri Nets. In: Proc. of MOSIS'99. Ostrava, Czech Republic: MARQ, 1999, s. 73-80. ISBN 80-85988-32-1. Detail
  • VOJNAR Tomáš. The First Steps Towards Using State Spaces of Object-Oriented Petri Nets. In: Proceedings of International Workshop on Control and Information Technology - IWCIT'99. Ostrava: neznámá, 1999, s. 165-170. ISBN 80-7078-679-5. Detail
  • VOJNAR Tomáš. Towards Using State Spaces of Object-Oriented Petri Nets. In: Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99. Rožnov pod Radhoštěm: MARQ, 1999, s. 141-148. ISBN 80-85988-32-1. Detail
  • ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets. In: Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99. Vienna: neznámá, 1999, s. 229-232. Detail

1998

  • VOJNAR Tomáš. An Overview of Some Automated Tools for Formal Analysis and Verification. In: Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98. Krnov: MARQ, 1998, s. 223-228. ISBN 80-85988-26-7. Detail
  • JANOUŠEK Vladimír a VOJNAR Tomáš. Modelling a Flexible Manufacturing System. In: Proceedings of 32nd Spring International Conference on Modelling and Simulation of Systems MOSIS'98. Sv. Hostýn: MARQ, 1998, s. 195-200. ISBN 80-85988-23-2. Detail
  • ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Object-Oriented Petri Nets, Their Simulation, and Analysis. In: Proceedings of the IEEE SMC'98 Conference. San Diego, California: neznámá, 1998, s. 256-261. ISBN 0-7803-4781-1. ISSN 1062-922X. Detail
  • JANOUŠEK Vladimír a VOJNAR Tomáš. State Spaces of Object-Oriented Petri Nets. In: Proceedings of MFCS'98 Workshop on Concurrency. Brno: neznámá, 1998, s. 87-96. Detail

1997

  • ČEŠKA Milan a JANOUŠEK Vladimír. Formal Model for Object Oriented Petri Nets Modelling. Advances in System Science and Applications, roč. Spetial Issue, č. 1-6, 1997, s. 119-124. ISSN 1078-6236. Detail
  • VOJNAR Tomáš. Hierarchical and Time Extensions of Pure Object Oriented Petri Nets. In: Proceedings of 19th International Workshop on Advanced Simulation of Systems ASIS'97. Krnov: MARQ, 1997, s. 321-326. ISBN 80-85988-20-8. Detail
  • ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. In: Proceedings of the 5th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'97. Las Palmas de Gran Canaria: neznámá, 1997, s. 229-231. ISBN 84-88912-04-8. Detail
  • ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. Lecture Notes in Computer Science, roč. 1333, 1997, s. 591-610. ISBN 3-540-63811-3. ISSN 0302-9743. Detail
  • JANOUŠEK Vladimír. Reflective Approach to Petri Net Simulation. In: Proc. of MOSIS'97. Ostrava: MARQ, 1997, s. 209-304. ISBN 80-85988-16-X. Detail
  • VOJNAR Tomáš. Various Kinds of Petri Nets in Simulation and Modelling. In: Proceedings of 31st Spring International Conference on Modelling and Simulation of Systems MOSIS'97. Hradec nad Moravicí: MARQ, 1997, s. 227-232. ISBN 80-85988-16-X. Detail

1996

  • ČEŠKA Milan a JANOUŠEK Vladimír. Object Orientation in Petri Nets. ASU Newsletter: a publication of the Association of SIMULA Users., roč. 1996, č. spec.iss, s. 69-80. ISSN 1102-593X. Detail
  • JANOUŠEK Vladimír, ŠMÍD Luděk a VOJNAR Tomáš. PNtalk - systém pro objektově orientované modelování Petriho sítěmi. In: Proceedings of 18th International Workshop on Advanced Simulation of Systems ASS'96. Zábřeh na Moravě: MARQ, 1996, s. 247-252. ISBN 80-85988-10-0. Detail

1995

  • JANOUŠEK Vladimír. Functional and Object Oriented Structuring of Petri Nets. In: Proceesdings of Computer Science. Ostrava: neznámá, 1995, s. 44-47. Detail
  • JANOUŠEK Vladimír. PNtalk: Object Orientation in Petri nets. In: Proc. of European Simulation Multiconference ESM'95. Prague: neznámá, 1995, s. 196-200. Detail

1994

  • ČEŠKA Milan, DRABANT Radek a JANOUŠEK Vladimír. An Integrated Environment for System Specification and Prototyping. In: Proc. of the 12th International Conference on Systems Science. Wroclav: neznámá, 1994, s. 53-60. Detail
  • JANOUŠEK Vladimír. Merging Petri Nets and Objects. In: SOFSEM'94. Brno: neznámá, 1994, s. 45-50. Detail
Produkty

2008

  • PNtalk, software, 2008
    Autoři: Kočí Radek Detail

2003

  • PNtalk systém (v. 96), vyvíjený produkt, 2003
    Autoři: Janoušek Vladimír, Vojnar Tomáš Detail
Nahoru