History of the OOPN/PNtalk development

 

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)