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

• Autorzy: Farwer B.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

Linear Logic Petri; modelling protocols

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 51, nr 1,2
• Strony: 91--101
• Opis fizyczny: bibliogr. 9 poz.

Twórcy

autor

Farwer B.

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