Prof. Ing. Tomáš Vojnar, Ph.D.

PNtalk - tools based on object-oriented Petri nets

Czech title:PNtalk - nástroje založené na objektově orientovaných Petriho sítích
Reseach leader:Janoušek Vladimír
Team leaders:Drabant Radek (UIVT FEI VUT), Kočí Radek, Křena Bohuslav, Vojnar Tomáš
Agency:Brno University of Technology
Code:UIVT-PNtalk
Start:1994-01-01
End:2010-12-31
Keywords:Object orientation, Petri nets
Annotation:
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.

Project description:
http://www.fit.vutbr.cz/~janousek/pntalk/

Products

2008PNtalk, software, 2008
Authors: Kočí Radek
2003PNtalk system (v. 96), testing, 2003
Authors: Janoušek Vladimír, Vojnar Tomáš

Publications

2006JANOUŠEK Vladimír. On the Prototype-Based Object Orientation in Modeling and Simulation. In: Proceedings of of Advanced Simulation of Systems 2006. Ostrava, 2006, p. 6. ISBN 80-86840-26-3.
2004JANOUŠEK Vladimír and KOČÍ Radek. Towards an Open Implementation of the PNtalk System. In: Proceedings of the 5th EUROSIM Congress on Modeling and Simulation. Paris: EUROSIM-FRANCOSIM-ARGESIM, 2004, pp. 31-36. ISBN 3-901608-28-1.
2003HRUBÝ Martin and KOČÍ Radek. Modern Simulation Techniques and Tools. In: Proceedings of the International Workshop MOSMIC'2003. Žilina: Faculty of management science and Informatics of Zilina University, 2003, pp. 7-15. ISBN 80-8070-139-3.
 JANOUŠEK Vladimír and KOČÍ Radek. PNtalk: Concurrent Language with MOP. In: Proceedings of the CS&P'2003 Workshop. Warsawa: Warsaw University, 2003, pp. 271-282. ISBN 83-88374-71-0.
 KOČÍ Radek and RÁBOVÁ Zdeňka. Purposes of the PNtalk System. In: Proceedings of International Conference MOSIS '03. Ostrava, 2003, pp. 149-156. ISBN 80-85988-86-0.
 KŘENA Bohuslav. Object-oriented Petri Nets and their Application and Type Analysis. Information Technologies and Control. Sofia: 2003, vol. 1, no. 1, pp. 27-31. ISSN 1312-2622.
2002JANOUŠEK Vladimír and KOČÍ Radek. PNtalk - An Open System for Prototyping and Simulation. In: Proceedings of The 28th ASU Conference. Brno: Faculty of Information Technology BUT, 2002, pp. 133-146. ISSN 1102-593X.
 KOČÍ Radek and RÁBOVÁ Zdeňka. The PNtalk System and Interoperability. In: Proceedings of International Conference MOSIS '02. Ostrava, 2002, pp. 73-80. ISBN 80-85988-71-2.
 KŘENA Bohuslav, VOJNAR Tomáš and ČEŠKA Milan. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In: Brazilian Petri Net Meeting. Natal, 2002, p. 6.
 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. Ostrava, 2002, pp. 65-72. ISBN 80-85988-71-2.
 SCHWARZ Ivan. Architecture of Distributed Simulator of PNtalk. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Ostrava, 2002, pp. 81-88. ISBN 80-85988-71-2.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. 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, pp. 1289-1299. ISSN 0368-492X.
2001JANOUŠEK Vladimír and SCHWARZ Ivan. Interoperability of Object Oriented Petri Nets. In: Proc. of MOSIS'01. Ostrava, Czech Republic, 2001, pp. 137-144. ISBN 80-85988-57-7.
 KOČÍ Radek and 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, 2001, pp. 165-172. ISBN 80-85988-57-7.
 KOČÍ Radek. Prospects of the PNtalk system in the Smalltalk environment. In: Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001, pp. 338-342. ISBN 80-214-1860-5.
 KOČÍ Radek. The PNtalk System - a Technique for Object Oriented Modelling. In: Proceedings of XXIIIrd International Autumn Colloquium. Ostrava, 2001, pp. 151-158. ISBN 80-85988-61-5.
 KŘENA Bohuslav and 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, 2001, pp. 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, 2001, pp. 105-110. ISBN 80-85988-61-5.
 KŘENA Bohuslav. The Graph Isomorphism Problem. In: Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001, pp. 343-347. ISBN 80-214-1860-5.
 ČEŠKA Milan, JANOUŠEK Vladimír and 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: University of Las Palmas, 2001, pp. 115-118. ISBN 84-699-3971-8.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science. 2001, vol. 2001, no. 2178, pp. 365-384. ISSN 0302-9743.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering. 2001, vol. 16, no. 3, pp. 183-193. ISSN 0267-6192.
2000KOČÍ Radek. Rozšiřitelný simulátor objektově orientovaných Petriho sítí. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000, pp. 186-188. ISBN 80-7204-155-X.
 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, 2000, pp. 192-194. ISBN 80-7204-155-X.
 SCHWARZ Ivan. Distribuovaný simulátor OOPN. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000, pp. 234-236. ISBN 80-7204-155-X.
 ČEŠKA Milan, JANOUŠEK Vladimír and 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: unknown, 2000, pp. 35-54. ISSN 0105-8517.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. PNtalk Modelling Experience. In: Proceedings of 26th ASU Conference, Object Oriented Modelling and Simulation 2000. La Valetta: unknown, 2000, pp. 65-73.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science. 2000, vol. 2000, no. 1798, pp. 90-104. ISSN 0302-9743.
1999JANOUŠEK Vladimír. Synchronous Interactions of Objects in Object Oriented Petri Nets. In: Proc. of MOSIS'99. Ostrava, Czech Republic, 1999, pp. 73-80. ISBN 80-85988-32-1.
 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, 1999, pp. 219-224. ISBN 80-85988-41-0.
 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: unknown, 1999, pp. 165-170. ISBN 80-7078-679-5.
 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, 1999, pp. 141-148. ISBN 80-85988-32-1.
 ČEŠKA Milan, JANOUŠEK Vladimír and 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: unknown, 1999, pp. 229-232.
1998JANOUŠEK Vladimír and 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, 1998, pp. 195-200. ISBN 80-85988-23-2.
 JANOUŠEK Vladimír and VOJNAR Tomáš. State Spaces of Object-Oriented Petri Nets. In: Proceedings of MFCS'98 Workshop on Concurrency. Brno: unknown, 1998, pp. 87-96.
 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, 1998, pp. 223-228. ISBN 80-85988-26-7.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Object-Oriented Petri Nets, Their Simulation, and Analysis. In: Proceedings of the IEEE SMC'98 Conference. San Diego, California: unknown, 1998, pp. 256-261. ISBN 0-7803-4781-1. ISSN 1062-922X.
1997JANOUŠEK Vladimír. Reflective Approach to Petri Net Simulation. In: Proc. of MOSIS'97. Ostrava, 1997, pp. 209-304. ISBN 80-85988-16-X.
 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, 1997, pp. 321-326. ISBN 80-85988-20-8.
 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í, 1997, pp. 227-232. ISBN 80-85988-16-X.
 ČEŠKA Milan and JANOUŠEK Vladimír. Formal Model for Object Oriented Petri Nets Modelling. Advances in System Science and Applications. 1997, vol. Spetial Issue, no. 1-6, pp. 119-124. ISSN 1078-6236.
 ČEŠKA Milan, JANOUŠEK Vladimír and 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: unknown, 1997, pp. 229-231. ISBN 84-88912-04-8.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. Lecture Notes in Computer Science. 1997, vol. 1333, pp. 591-610. ISBN 3-540-63811-3. ISSN 0302-9743.
1996JANOUŠEK Vladimír, ŠMÍD Luděk and 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ě, 1996, pp. 247-252. ISBN 80-85988-10-0.
 ČEŠKA Milan and JANOUŠEK Vladimír. Object Orientation in Petri Nets. ASU Newsletter: a publication of the Association of SIMULA Users.. Stockholm: 1996, vol. 1996, no. spec.iss, pp. 69-80. ISSN 1102-593X.
1995JANOUŠEK Vladimír. Functional and Object Oriented Structuring of Petri Nets. In: Proceesdings of Computer Science. Ostrava: unknown, 1995, pp. 44-47.
 JANOUŠEK Vladimír. PNtalk: Object Orientation in Petri nets. In: Proc. of European Simulation Multiconference ESM'95. Prague: unknown, 1995, pp. 196-200.
1994JANOUŠEK Vladimír. Merging Petri Nets and Objects. In: SOFSEM'94. Brno: unknown, 1994, pp. 45-50.
 ČEŠKA Milan, DRABANT Radek and JANOUŠEK Vladimír. An Integrated Environment for System Specification and Prototyping. In: Proc. of the 12th International Conference on Systems Science. Wroclav: unknown, 1994, pp. 53-60.

Your IPv4 address: 54.163.209.109
Switch to IPv6 connection

DNSSEC [dnssec]