Trustworthy Systems

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},
    booktitle        = {Proceedings of the  15th International Conference on Foundations of Software Science and
                        Computational Structures},
    month            = mar,
    issn             = {0302-9743},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1959.pdf},
    year             = {2012},
    editor           = {{Lars Birkedal}},
    keywords         = {reactive systems, petri nets, distributed systems, asynchronous interaction, equivalence notions},
    title            = {On Distributability of Petri Nets (extended abstract)},
    pages            = {331--345},
    author           = {van Glabbeek, Robert and Goltz, Ursula and Schicke-Uffmann, Jens-Wolfhard},
    address          = {Tallinn, Estonia}
  }

Download