- 1992
-
Hierarchical Petri nets experimental implementation in Prolog and
C++, including net invocation mechanism (V.Janousek)
- 1993
-
Proposal of Object Oriented Petri nets (OOPN) and the PNtalk
language - PNtalk 94 (V.Janousek)
-
Experimental PNtalk engine implementation in Smalltalk (R.Drabant)
- 1994
-
Simplification and purification of OOPN and PNtalk concepts in
order to speedup PNtalk implementation and reach clear formal
definition (V.Janousek)
- 1995 - 1996
-
First version of formal definition of the OOPN and proposal of the
the corresponding PNtalk system - PNtalk 96 (V.Janousek)
-
Experimental PNtalk system implementation (several diploma projects)
including
PNtalk engine in Smalltalk as well as in Prolog (T.Vojnar, L.Smid),
PNtalk front-end in Smalltalk (B.Vlasinova), and
network-transparent interface between PNtalk engine and front-end (J.Slama).
- 1997
-
PNtalk System (PNtalk 96) finished and published on WWW (T.Vojnar).
-
Core of an alternative experimental Prolog implementation of PNtalk
engine, strictly reflecting notions of OOPN definition and based on
1992 version of hierarchical high-level Petri net simulator (V.Janousek)
-
First experiments with OOPN state space generation in Prolog (V.Janousek)
- 1998
-
New version of OOPN/PNtalk definition available, including
synchronous ports - PNtalk 98 (V.Janousek).
-
Modification and extension of alternative experimental Prolog
implementation of PNtalk engine (PNtalk 98), serious experiments with state
space generation for OOPN analysis and verification purposes (T.Vojnar).
- 1999
-
V. Janousek finshed his PhD thesis "Modeling Objects by Petri Nets" (in czech)
-
Development of formal verification methods for OOPN (T.Vojnar).
- 2000
-
T.Vojnar's PhD thesis on OOPN state spaces and verification.
-
New PNtalk architecture proposal - PNtalk
2000 (V.Janousek)
-
Some prototype implementations of parts of PNtalk 2000 (diploma
theses: I.Schwarz, R.Koci, B.Krena, P.Vasek, P.Goczal)
Vladimir Janousek
2001-01-15