On Distributability of Petri Nets
Logic in Computer Science
2012-07-17 v1
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.
Keywords
Cite
@article{arxiv.1207.3597,
title = {On Distributability of Petri Nets},
author = {Rob van Glabbeek and Ursula Goltz and Jens-Wolfhard Schicke-Uffmann},
journal= {arXiv preprint arXiv:1207.3597},
year = {2012}
}