(Enter summary)
Abstract: 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, (at least) two ... (Update)
Active bibliography (related documents): More All
0.2: Branching processes of Petri nets in the context of the "nets in.. - Köhler (2000)
(Correct)
0.2: Distribution References and Undecided Markings - Köhler (2000)
(Correct)
0.2: Distribution References - a New View on Objects in Reference Nets - Köhler (2000)
(Correct)
Similar documents based on text: More All
0.2: Concurrency in Communicating Object Petri Nets - Valk (1999)
(Correct)
0.1: Polynomial-time Many-one Reductions for Petri Nets - Dufourd, Finkel (1997)
(Correct)
0.1: Wide-Address Spaces - Exploring the DesignSpace - Bartoli, Mullender, van der Valk (1993)
(Correct)
BibTeX entry: (Update)
@misc{ valk-relating,
author = "Rüdiger Valk",
title = "Relating Different Semantics for Object Petri Nets - Formal Proofs and
Examples",
url = "citeseer.ist.psu.edu/306012.html" }
Citations (may not include all citations):
20
Elementary Net System (context) - Thiagarajan - 1987
16
Petri Nets as Token Objects - An Introduction to Elementary .. (context) - Valk - 1998
4
Concurrency in Communicating Object Petri Nets
- Valk - 1999
1
Modelling of task flow in systems of functional units (context) - Valk - 1987
1
Nets in computer organisation (context) - Valk - 1987
1
Reference and Value Semantics for Object Petri Nets (context) - Valk - 1999
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC