On Distributability of Petri Nets
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2012
- DOI:
- 10.48550/arXiv.1207.3597
- arXiv:
- arXiv:1207.3597
- Bibcode:
- 2012arXiv1207.3597V
- Keywords:
-
- Computer Science - Logic in Computer Science;
- F.1.2;
- B.4.3