Project : Dynamical Objects in Petri Nets

Duration: since 06/1994

Keywords: high-level Petri nets, object-oriented Modelling

Objectives:

Objects are studied as higher-level net tokens having an individual dynamical behaviour. In the context of Petri net research it is quite natural to also model such tokens by Petri nets. To distinguish them from the system net, they are called object nets. Object nets behave like tokens, i.e. they a lying in places and are moved by transitions. In contrast to ordinary tokens, however, they may change their state (i.e. their marking) when lying in a place or when being moved by a transition. By this approach an interesting and challenging two-level system modelling technique is introduced. Similar to the object-oriented approach, complex systems are modelled close to their real appearence in a natural way to promote clear and reliable concepts. Applications in fields like workflow, agent-oriented approaches (mobile agents and/or intelligent agents as in AI reasearch) or open system networks are feasible.

Publications:

2005

Michael Köhler and Berndt Farwer.
Modelling global and local name spaces for mobile agents using object nets.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2005). University of Warsaw, 2005.

Berndt Farwer and M. Varea.
Object-based control/data-flow analysis.
Technical Report DSSE-TR-2005-1, ECS, University of Southampton, 2005.  [link]

Berndt Farwer and M. Varea.
Transforming dual flow nets into object petri nets.
In Proceedings of Concurrency, Specification, and Programming CS&P'2005, volume 1, pages 112-125. University of Warsaw, 2005.

Berndt Farwer and Simon Kohl.
Object systems with process markings.
In Farwer and Moldt (eds.), Object Petri Nets, Processes, and Object Calculi, pages 1-11.

Berndt Farwer and Daniel Moldt, editors.
Object Petri Nets, Processes, and Object Calculi, number FBI-HH-B-265/05 in Bericht des Fachbereichs Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, August 2005. Universität Hamburg, Fachbereich Informatik.

2004

Rüdiger Valk.
Object Petri Nets - Using the Nets-within-Nets Paradigm.
In Jörg Desel, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Advances in Petri Nets: Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 819-848. Springer-Verlag, Berlin, Heidelberg, New York, 2004.  [pdf]  [link]

2003

C. Girault and Rüdiger Valk, editors.
Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, Berlin, Heidelberg, New York, 2003. Springer-Verlag.

(TODO: Valk: essential features of PN)

(TODO: Valk: intuitive models)

2001

Concurrency in Communicating Object Petri Nets , to appear in G. Agha, F. de Cindio, G. Rozenberg (eds.): Advances in Petri Nets, Lecture Notes in Computer Science, 32 pages

2000

Olaf Kummer.
Undecidability in object-oriented Petri nets.
Petri Net Newsletter, 59:18-23, 2000.

Rüdiger Valk.
Relating different semantics for object Petri nets, formal proofs and examples.
Technical Report FBI-HH-B-226, University of Hamburg, Department for Computer Science Report/00, 2000.  [pdf]

1999

Rüdiger Valk.
Reference and value semantics for object Petri nets.
In Proceedings of Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 21-22, 1999, pages 169-187. Fraunhofer Gesellschaft, ISST, 1999.

1998

Rüdiger Valk.
Petri nets as token objects - an introduction to elementary object nets.
In Jörg Desel and Manuel Silva, editors, 19th International Conference on Application and Theory of Petri nets, Lisbon, Portugal, number 1420 in Lecture Notes in Computer Science, pages 1-25, Berlin, Heidelberg, New York, 1998. Springer-Verlag.  [pdf]  [link]

1996

Rüdiger Valk.
On processes of object Petri nets.
Bericht des Fachbereichs Informatik FBI-HH-B-185/96, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, June 1996.

1995

Rüdiger Valk.
Petri nets as dynamical objects.
In Agha and Cindio (eds.), Object-Oriented Programming and Models of Concurrency.
Workshop während der ,,16th International Conference on Application and Theory of Petri Nets``, Turin, Italien, 26.-30. Juni, 1995.