On Distributability of Petri Nets

Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationFoundations of Software Science and Computational Structures
EditorsLars Birkedal
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages331-345
Number of pages15
ISBN (Electronic)978-3-642-28729-9
ISBN (Print)978-3-642-28728-2
DOIs
Publication statusPublished - 1 Apr 2012
EventThe 15th International Conference on Foundations of Software Science and Computation Structures, 2012
- Tallinn, Estonia
Duration: 28 Mar 201230 Mar 2012
Conference number: 15

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin, Heidelberg
Volume7213
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceThe 15th International Conference on Foundations of Software Science and Computation Structures, 2012
Abbreviated titleFoSSaCS 2012
Country/TerritoryEstonia
CityTallinn
Period28/03/1230/03/12

Fingerprint

Dive into the research topics of 'On Distributability of Petri Nets'. Together they form a unique fingerprint.

Cite this