Skip to main content


On distributability of petri nets (extended abstract)


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



TU Braunschweig


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

    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
    pages            = {331--345},
    address          = {Tallinn, Estonia}


Served by Apache on Linux on seL4.
Served by Apache on Linux on seL4.