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.
This work was partially supported by the DFG (German Research Foundation).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Badouel, E., Caillaud, B., Darondeau, P.: Distributing Finite Automata Through Petri Net Synthesis. Formal Aspects of Computing 13(6), 447–470 (2002)
Best, E., Darondeau, P.: Petri Net Distributability. In: Voronkov, A. (ed.) PSI 2011. LNCS, vol. 7162, pp. 1–18. Springer, Heidelberg (2012)
El Hog Benzina, D., Haddad, S., Hennicker, R.: Process Refinement and Asynchronous Composition with Modalities. In: Sidorova, N., Serebrenik, A. (eds.) Proceedings of the 2nd International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC 2010), Braga, Portugal (2010), http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/EHH-apnoc10.pdf
van Glabbeek, R.J., Goltz, U., Schicke, J.-W.: Abstract Processes of Place/Transition Systems. Information Processing Letters 111(13), 626–633 (2011), doi:10.1016/j.ipl.2011.03.013
van Glabbeek, R.J., Goltz, U., Schicke, J.-W.: On Synchronous and Asynchronous Interaction in Distributed Systems. In: Ochmański, E., Tyszkiewicz, J. (eds.) MFCS 2008. LNCS, vol. 5162, pp. 16–35. Springer, Heidelberg (2008)
van Glabbeek, R.J.: Goltz U J.-W. Schicke-Uffmann On Distributability of Petri Nets. Technical Report 2011-10, TU Braunschweig (2011) Full version of this paper (to appear), http://theory.stanford.edu/~rvg/abstracts.html#95
van Glabbeek, R.J., Vaandrager, F.W.: Petri Net Models for Algebraic Theories of Concurrency (Extended Abstract). In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE 1987. LNCS, vol. 259, pp. 224–242. Springer, Heidelberg (1987)
van Glabbeek, R.J., Weijland, W.P.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM 43(3), 555–600 (1996), doi:10.1145/233551.233556
Hopkins, R.P.: Distributable Nets. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol. 524, pp. 161–187. Springer, Heidelberg (1991), doi:10.1007/BFb0019974
Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)
Olderog, E.-R., Hoare, C.A.R.: Specification-oriented semantics for communicating processes. Acta Informatica 23, 9–66 (1986), doi:10.1007/BF00268075
Peters, K., Schicke, J.-W., Nestmann, U.: Synchrony vs Causality in the Asynchronous Pi-Calculus. In: Luttik, B., Valencia, F. (eds.) Proceedings 18th International Workshop on Expressiveness in Concurrency, Aachen, Germany, September 5. Electronic Proceedings in Theoretical Computer Science, vol. 64, pp. 89–103 (2011), doi:10.4204/EPTCS.64.7
Reisig, W.: Deterministic Buffer Synchronization of Sequential Processes. Acta Informatica 18, 115–134 (1982), doi:10.1007/BF00264434
Schicke, J.-W., Peters, K., Goltz, U.: Synchrony vs. Causality in Asynchronous Petri Nets. In: Luttik, B., Valencia, F. (eds.) Proceedings 18th International Workshop on Expressiveness in Concurrency, Aachen, Germany, September 5. Electronic Proceedings in Theoretical Computer Science, vol. 64, pp. 119–131 (2011), doi:10.4204/EPTCS.64.9
Vogler, W.: Bisimulation and Action Refinement. Theor. Comput. Sci. 114(1), 173–200 (1993), doi:10.1016/0304-3975(93)90157-O
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Glabbeek, R., Goltz, U., Schicke-Uffmann, JW. (2012). On Distributability of Petri Nets. In: Birkedal, L. (eds) Foundations of Software Science and Computational Structures. FoSSaCS 2012. Lecture Notes in Computer Science, vol 7213. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28729-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-28729-9_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28728-2
Online ISBN: 978-3-642-28729-9
eBook Packages: Computer ScienceComputer Science (R0)