A New Synchronisation Model for Multi-Level Object Petri Nets

Authors:
Berndt Farwer;Manfred Kudlek
Affiliations:
University of Hamburg, Department of Computer Science, Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany;University of Hamburg, Department of Computer Science, Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Year:
2003

Citing 4
Cited 0

Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
A logical theory of concurrent objects and its realization in the Maude language

Research directions in concurrent object-oriented programming
A linear logic view of object petri nets

Fundamenta Informaticae - Special issue on Petri nets
Some considerations on higher-order Petri nets

Fundamenta Informaticae - Concurrency specification and programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The present paper continues work from [7]. One goal of this work is to find a class of (object) Petri nets of lesser power than Turing machines, such that there exists a universal Petri net within that class. Another goal is to surpass the restricted synchronisation of transitions in object and system nets in the case of value semantics. Finally, an encoding of the proposed class of object Petri nets into linear logic Petri nets (LLPNs) is given, which directly leads to a specification that can be model-checked by existing tools.