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 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.

Team members
Publications

2006

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

Back to top