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.

Description in English
PNtalk is a long-term project started by Vladimir Janousek in 1993 (in the early phase of his Ph.D. study which was supervised by Milan Ceska) as an original attempt to bring high-level Petri nets closer to programming languages. Main goal of this experiment was to prove that formal models such as Petri nets can be used similarly to traditional programming languages during systems development. Moreover, the rigorous mathematical nature of such a language offers a potential to solve analysis and verification problems.
Originally, the project started as a consistent combination of high-level Petri nets and objects in Smalltalk. The resulting language and system is called PNtalk and its theoretical background is represented by Object Oriented Petri Nets. Later on, more people got involved in the project - namely Tomas Vojnar who developed basics of FAV methods for PNtalk.
Now the project leads towards a vision of wider openness and reflectivity. Apart from Object oriented Petri nets and the PNtalk language, the project now comprises also DEVS, MAS and other paradigms.

The current target of this project is model-based (and simulation-based) systems design and prototyping. The applicaton areas comprise intelligent systems, namely multiagent systems, control systems and robotics.

Keywords
Objeková orientace, Petriho sítě.

Key words in English
Object orientation, Petri nets

UIVT-PNtalk

Czech

Janoušek Vladimír, doc. Ing., Ph.D. - principal person responsible
Kočí Radek, Ing., Ph.D. - fellow researcher
Křena Bohuslav, Ing., Ph.D. - fellow researcher
Vojnar Tomáš, prof. Ing., Ph.D. - fellow researcher

Department of Intelligent Systems
- co-beneficiary (1.1.1994 - 31.12.2010)
Faculty of Information Technology
- co-beneficiary (1.1.1994 - 31.12.2010)

SCHWARZ, I. Distribuovaný simulátor OOPN. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000. s. 234-236. ISBN: 80-7204-155-X.
Detail

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. Proceedings of the 5th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'97. Las Palmas de Gran Canaria: unknown, 1997. p. 229-231. ISBN: 84-88912-04-8.
Detail

ČEŠKA, M.; DRABANT, R.; JANOUŠEK, V. An Integrated Environment for System Specification and Prototyping. Proc. of the 12th International Conference on Systems Science. Wroclav: unknown, 1994. p. 53-60.
Detail

JANOUŠEK, V. PNtalk: Object Orientation in Petri nets. Proc. of European Simulation Multiconference ESM'95. Prague: unknown, 1995. p. 196-200.
Detail

JANOUŠEK, V. Functional and Object Oriented Structuring of Petri Nets. Proceesdings of Computer Science. Ostrava: unknown, 1995. p. 44-47.
Detail

JANOUŠEK, V.; ŠMÍD, L.; VOJNAR, T. PNtalk - systém pro objektově orientované modelování Petriho sítěmi. 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

JANOUŠEK, V. Reflective Approach to Petri Net Simulation. Proc. of MOSIS'97. Ostrava: 1997. p. 209-304. ISBN: 80-85988-16-X.
Detail

JANOUŠEK, V.; VOJNAR, T. State Spaces of Object-Oriented Petri Nets. Proceedings of MFCS'98 Workshop on Concurrency. Brno: unknown, 1998. p. 87-96.
Detail

JANOUŠEK, V. Modelování objektů Petriho sítěmi. Brno: Ústav informatiky a výpočetní techniky FEI VUT, 1998. s. 0-0.
Detail

JANOUŠEK, V. Synchronous Interactions of Objects in Object Oriented Petri Nets. Proc. of MOSIS'99. Ostrava, Czech Republic: 1999. p. 73-80. ISBN: 80-85988-32-1.
Detail

KOČÍ, R. Rozšiřitelný simulátor objektově orientovaných Petriho sítí. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000. s. 186-188. ISBN: 80-7204-155-X.
Detail

JANOUŠEK, V. Merging Petri Nets and Objects. SOFSEM'94. Brno: unknown, 1994. p. 45-50.
Detail

VOJNAR, T. Hierarchical and Time Extensions of Pure Object Oriented Petri Nets. Proceedings of 19th International Workshop on Advanced Simulation of Systems ASIS'97. Krnov: 1997. p. 321-326. ISBN: 80-85988-20-8.
Detail

JANOUŠEK, V.; VOJNAR, T. Modelling a Flexible Manufacturing System. Proceedings of 32nd Spring International Conference on Modelling and Simulation of Systems MOSIS'98. Sv. Hostýn: 1998. p. 195-200. ISBN: 80-85988-23-2.
Detail

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Object-Oriented Petri Nets, Their Simulation, and Analysis. Proceedings of the IEEE SMC'98 Conference. Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics. San Diego, California: unknown, 1998. p. 256-261. ISBN: 0-7803-4781-1. ISSN: 1062-922X.
Detail

VOJNAR, T. An Overview of Some Automated Tools for Formal Analysis and Verification. Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98. Krnov: 1998. p. 223-228. ISBN: 80-85988-26-7.
Detail

VOJNAR, T. Towards Using State Spaces of Object-Oriented Petri Nets. Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99. Rožnov pod Radhoštěm: 1999. p. 141-148. ISBN: 80-85988-32-1.
Detail

VOJNAR, T. Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models. Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99. Krnov: 1999. p. 219-224. ISBN: 80-85988-41-0.
Detail

VOJNAR, T. The First Steps Towards Using State Spaces of Object-Oriented Petri Nets. Proceedings of International Workshop on Control and Information Technology - IWCIT'99. Ostrava: unknown, 1999. p. 165-170. ISBN: 80-7078-679-5.
Detail

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets. Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99. Vienna: unknown, 1999. p. 229-232.
Detail

Responsibility: Janoušek Vladimír, doc. Ing., Ph.D.