Skip to main content

TS

On distributability of petri nets (extended abstract)

Authors

Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke-Uffmann

NICTA

UNSW

TU Braunschweig

Abstract

We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and precisely characterise those system specifications which can be implemented as LSGA nets up to branching ST-bisimilarity with explicit divergence.

BibTeX Entry

  @inproceedings{vanGlabbeek_GS_12,
    publisher        = {Springer},
    author           = {van Glabbeek, Robert and Goltz, Ursula and Schicke-Uffmann, Jens-Wolfhard},
    issn             = {0302-9743},
    month            = mar,
    editor           = {{Lars Birkedal}},
    year             = {2012},
    keywords         = {reactive systems, petri nets, distributed systems, asynchronous interaction, equivalence notions},
    title            = {On Distributability of Petri Nets (extended abstract)},
    booktitle        = {15th International Conference on Foundations of Software Science and Computation Structures
                        (FoSSaCS)},
    pages            = {331--345},
    address          = {Tallinn, Estonia}
  }

Download

Served by Apache on Linux on seL4.