Trustworthy Systems

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

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