Modeling dynamic objects in distributed systems with nested Petri nets
Fundamenta Informaticae
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Concurrency in mobile object net systems
Fundamenta Informaticae - Concurrency specification and programming
Modelling with hierarchical object Petri nets
Fundamenta Informaticae - Concurrency specification and programming
Model checking object petri nets in prolog
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Nested Petri Nets: Multi-level and Recursive Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Concurrency in Mobile Object Net Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Modelling with Hierarchical Object Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Comparing Concepts of Object Petri Net Formalisms
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Nested Petri Nets: Multi-level and Recursive Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
| Hi-index | 0.00 |
Object Nets belong to a class of Petri nets allowing for a two-level way of modeling by giving tokens of a Petri net the structure of a Petri net again. The usefulness of this approach has been shown in numerous case studies, ranging from modeling distributed algorithms to workflow and flexible manufacturing systems. It allows for the modeling of real world objects by tokens having their own dynamical behavior. As it is well-known from the field of distributed systems in general, (alt least) two different ways of object management are of interest when implementing remote access: either by referencing to a single representation or by creating copies which are treated in a consistent way. In analogy to programming language constructs, this is denoted by reference and value semantics, respectively. In this contribution value and reference semantics of object nets are formally defined. Conditions are presented that allow the transfer from one of these semantics to the other. While the proof techniques strongly rely on partial orders (causal nets), the comparison is made on the basis of occurrence sequences, which serve as a common description language.