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

Authors:
Bernard Farwer
Affiliations:
Fachbereich Informatik, Universität Hamburg, Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Year:
2002

Citing 5
Cited 1

Inheritance of dynamic behavior

Concurrent object-oriented programming and petri nets
A Systematic Approach towards Object-Based Petri Net Formalisms

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Petri Nets as Token Objects: An Introduction to Elementary Object Nets

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Comparing Concepts of Object Petri Net Formalisms

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
A Linear Logic View of Object Petri Nets

Fundamenta Informaticae

A Basic Logic for Reasoning about Connector Reconfiguration

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning

Quantified Score

Hi-index	0.00

Visualization

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.