2012/07/16 by Rob van Glabbeek, van Glabbeek, Rob, Ursula Goltz +3 · 1 citation
Computer Science · #B.4.3 #Distributed systems and fault tolerance #F.1.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #cs.LO
paper · pdf · doi:10.48550/arxiv.1207.3597
arxiv created 2012/07/16 · openalex publication_date 2012/07/16 · arxiv updated 2012/07/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.