Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures

Issue title: Concurrency Specification and Programming Workshop (CS&P'2001)

Article type: Research Article

Authors: Farwer, Bernard

Affiliations: Fachbereich Informatik, Universität Hamburg, Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany

Abstract: In this paper we discuss possibilities of modelling protocols by objects in object-based high-level Petri nets. Some advantages of dynamically modifying the structure of token objects are discussed and the need for further investigations into mathematically rigorous foundations of object net formalisms incorporating facilities for such operations on its token nets is emphasised.

Keywords:

Journal: Fundamenta Informaticae, vol. 51, no. 1-2, pp. 91-101, 2002