Skip to main content
SpringerLink
Log in

Petri Nets Specification of Virtual Ring Protocols

  • Conference paper
Applications and Theory of Petri Nets

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 66))

Abstract

Distributed processing requires the design of reliable and fault tolerent networks. Such mechanisms are difficult to build due to the asynchronous failures detections (sites crashes, logical or physical partings) at each implied site.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H.J. Genrich, K. Lautenbach, “The analysis of distributed systems by means of Predicate-Transition nets” in sementics of concurrent computation, Lec.Notes In comp. Sc., N° 70, Kahn G. ed. Springer 1978

    Google Scholar 

  2. P. Rolin; “using petri nets in measurement of a distributed system”, E.W on applications and theoryof Petri Nets, Strasbourg, Sept 1980, P. 24

    Google Scholar 

  3. P. Azema, P. Rolin, S. Sedillot,“Virtual ring protection in distributed systems” Proc. of FTCS, June 1981

    Google Scholar 

  4. P. Estraillier, C.Girault,“Petri nets specification of a new protocol for controlling a distributed system organization,” 3rd Int. conf. on distributed computing systems, Miami, Florida, Oct 18–22, 1982

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut de programmation / CNRS - ERA 592, Université P. et M. Curie, Paris VI, France

    P. Estraillier & C. Girault

Authors
  1. P. Estraillier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Girault
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Istituto di Metodi Quantitativi, Università “Luigi Bocconi”, Via Sarfatti, 25, 20136, Milano, Italy

    Anastasia Pagnoni

  2. Institut of Applied Mathematics and Computer Science, University of Leiden, Wassenaarseweg 80, P.O. Box 9512, 2300 RA, Leiden, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Estraillier, P., Girault, C. (1983). Petri Nets Specification of Virtual Ring Protocols. In: Pagnoni, A., Rozenberg, G. (eds) Applications and Theory of Petri Nets. Informatik-Fachberichte, vol 66. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69028-0_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69028-0_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12309-5

  • Online ISBN: 978-3-642-69028-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation