NICTA
UNSW
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.
@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} }