Project Details

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

Project Period: 1. 1. 1994 – 31. 12. 2010

Project Type: grant

Code: UIVT-PNtalk

Agency: Brno University of Technology

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

English title
PNtalk - tools based on object-oriented Petri nets
Type
grant
Keywords

Object orientation, Petri nets

Abstract

PNtalk is a long-term project started by href="http://www.fit.vutbr.cz/~janousek/">Vladimir Janousek in 1993 (in the
early phase of his Ph.D. study which was supervised by href="http://www.fit.vutbr.cz/~ceska/">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.

Team members
Janoušek Vladimír, doc. Ing., Ph.D. (DITS) – research leader
Drabant Radek
Kočí Radek, Ing., Ph.D. (DITS)
Křena Bohuslav, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Publication Results

2006

  • JANOUŠEK, V. On the Prototype-Based Object Orientation in Modeling and Simulation. Proceedings of of Advanced Simulation of Systems 2006. Ostrava: Marq software s.r.o., 2006. p. 1-6. ISBN: 80-86840-26-3. Detail

2004

  • JANOUŠEK, V.; KOČÍ, R. Towards an Open Implementation of the PNtalk System. 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: Marq software s.r.o., 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, 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. no. 9, 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: Marq software s.r.o., 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: Marq software s.r.o., 2002. p. 65-72. ISBN: 80-85988-71-2. Detail
  • KŘENA, B.; VOJNAR, T.; ČEŠKA, M. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. Brazilian Petri Net Meeting. Natal: 2002. 6 p. Detail
  • SCHWARZ, I. Architecture of Distributed Simulator of PNtalk. Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I. Ostrava: Marq software s.r.o., 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. 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: Marq software s.r.o., 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: Marq software s.r.o., 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: Marq software s.r.o., 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: Marq software s.r.o., 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: Marq software s.r.o., 2001. p. 173-180. ISBN: 80-85988-51-8. Detail

2000

  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000. DAIMI PB. Aarhus: unknown, 2000. no. DAIMI PB, p. 35-54. ISSN: 0105-8517. Detail
  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. PNtalk Modelling Experience. Proceedings of 26th ASU Conference, Object Oriented Modelling and Simulation 2000. La Valetta: unknown, 2000. p. 65-73. Detail
  • ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science, 2000, vol. 2000, no. 1798, p. 90-104. ISSN: 0302-9743. 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
  • KŘENA, B. Podpora pro analýzu stavových prostorů objektově orientovaných Petriho sítí. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000. s. 192-194. ISBN: 80-7204-155-X. Detail
  • 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

1999

  • Č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
  • JANOUŠEK, V. Synchronous Interactions of Objects in Object Oriented Petri Nets. Proc. of MOSIS'99. Ostrava, Czech Republic: Marq software s.r.o., 1999. p. 73-80. 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: Marq software s.r.o., 1999. no. Acta MOS, 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
  • 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: Marq software s.r.o., 1999. p. 141-148. ISBN: 80-85988-32-1. Detail

1998

  • Č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. no. IEEE Cat, p. 256-261. ISBN: 0-7803-4781-1. ISSN: 1062-922X. 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: Marq software s.r.o., 1998. p. 195-200. ISBN: 80-85988-23-2. Detail
  • JANOUŠEK, V.; VOJNAR, T. State Spaces of Object-Oriented Petri Nets. Proceedings of MFCS'98 Workshop on Concurrency. Brno: unknown, 1998. no. FIMU-RS-, p. 87-96. 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: Marq software s.r.o., 1998. no. Acta MOS, p. 223-228. ISBN: 80-85988-26-7. Detail

1997

  • Č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
  • JANOUŠEK, V. Reflective Approach to Petri Net Simulation. Proc. of MOSIS'97. Ostrava: Marq software s.r.o., 1997. p. 209-304. ISBN: 80-85988-16-X. 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: Marq software s.r.o., 1997. p. 321-326. ISBN: 80-85988-20-8. Detail
  • 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í: Marq software s.r.o., 1997. p. 227-232. ISBN: 80-85988-16-X. Detail

1996

  • 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 software s.r.o., 1996. s. 247-252. ISBN: 80-85988-10-0. Detail

1995

  • 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. PNtalk: Object Orientation in Petri nets. Proc. of European Simulation Multiconference ESM'95. Prague: unknown, 1995. p. 196-200. Detail

1994

  • Č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. Merging Petri Nets and Objects. SOFSEM'94. Brno: unknown, 1994. p. 45-50. Detail

  • ČEŠKA, M., JANOUŠEK, V. Formal Model for Object Oriented Petri Nets Modelling. Advances in System Science and Applications, vol. Spetial Is, no. 1-6, 1 p. ISSN: 1078-6236. Detail
  • ČEŠKA, M., JANOUŠEK, V. Object Orientation in Petri Nets. ASU Newsletter, vol. 1996, no. spec.issue, 1 p. ISSN: 1102-593X. Detail
Applied Results

2008

  • PNtalk, software, 2008
    Authors: KOČÍ, R.

2005

2004

Other Results

2003

Back to top