See this document in CiteSeerX!

Relating Different Semantics for Object Petri Nets Formal Proofs and Examples  (Make Corrections)  
Rüdiger Valk



  Home/Search   Context   Related

 
View or download:
informatik.uniham...Bericht226valk.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  informatik.unihamb...biblio_valk (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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