Skip to main content
SpringerLink
Log in

Modelling Interrupt Based Interprocessor Communication by Time Petri Nets

  • Conference paper
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems

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

  • 60 Accesses

Abstract

In this paper the attempt is made to show the power and the limits of Time Petri Nets when modelling the interprocessor communication in distributed systems. The presentation is guided by the example of the communication between the local operating system instances of the experimental fault tolerant multi micro computer system ATTEMPTO.

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. Ammann, E., Brause, R., Dal Cin, M., Dilger, E., Lutz, J., Risse, Th.: AT-TEMPTO: a Fault-Tolerant Multiprocessor Working Station; Design and Concepts; FTCS-13, Milano, IEEE New York 1983, pp 10–13.

    Google Scholar 

  2. Berthomieu, B., Menasche, M.: A State Enumeration Approach for Analyzing Time Petri Nets; 3rd European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September 27–30, 1982.

    Google Scholar 

  3. Bolognesi, T., Rudin, H.: On the Analysis of Time-dependent Protocols by Network-Flow Algorithms; Proc. 4nd Int. Workshop on Protocol Specification, Testing and Verification, North Holland, 1984.

    Google Scholar 

  4. Brause, R., Ammann, E., Dal Cin, M., Dilger, E., Lutz, J., Risse, Th.: Software-Konzepte des fehlertoleranten Arbeitsplatzrechners ATTEMPTO; in W. Remmele, H. Schecher (Hrsg.): Microcomputing II, Tagung III/83 des german chapter of the ACM, Teubner Stuttgart 1983, pp 328–341.

    Google Scholar 

  5. Brinksma, E.: LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour; ISO/TC97/SC21 N, July 1986.

    Google Scholar 

  6. Barthelot, G., Terrat, R.: Petri Nets Theory for the Correctness of Protocols; IEEE Trans. on Communications, Vol. COM-30, No. 12, Dec. 1982, pp 2497–2505.

    Article  Google Scholar 

  7. Dal Cin, M., Florian, F.H.: Analysis of a Fault-Tolerant Distributed Diagnosis Algorithm; FTCS-15, Ann Arbor 1985, pp 159-164.

    Google Scholar 

  8. Diaz, M.: Modeling and Analysis of Communication and Cooperation Protocols using Petri Net based Models; Proc. 2nd Int. Workshop on Protocol Specification, Testing and Verification, North Holland, 1982.

    Google Scholar 

  9. Frison, S.G., Wensley, J.H.: Interactive Consistency and its Impact on the Design of TMR Systems; FTCS-12, IEEE 82CH1760-8, 1982.

    Google Scholar 

  10. International Workshop on Timed Petri Nets, Torino, July 1985, IEEE Order Number 674.

    Google Scholar 

  11. Janssens, M.D., Annot, J.K., van de Goor, A.J.: Adapting UNIX for a Multiprocessor Environment; CACM, Sept 1986, Vol 29, No 9, pp 895–901.

    Google Scholar 

  12. Menasche, M.: PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets; in /IWTPN/ pp 162-169.

    Google Scholar 

  13. Merlin, P.: A Study of the Recoverability of Computer Systems; PhD. Thesis, Computer Science University of CA, Irvine 1974.

    Google Scholar 

  14. Merlin, P.M.: Specification and Validation of Protocols; IEEE Trans, on Communications, Vol. COM-27, No.11, Nov. 1979, pp 1671–1680.

    Article  MathSciNet  Google Scholar 

  15. Milner, R.: A Calculus of Communicating Systems; SLNCS 92, Springer 1980.

    Google Scholar 

  16. Natkin, S.: Timed and Stochastic Petri Nets: from the Validation to the Performance of Synchronizing Schemes; in /IWTPN/ pp 2-3.

    Google Scholar 

  17. Peterson, J.L.: Petri Nets and the Modeling of Systems; Prentice-Hall, 1981.

    Google Scholar 

  18. Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Petri Nets; PhD. Thesis, MIT, July 1973.

    Google Scholar 

  19. Risse, Th., Brause, R., Dal Cin, M., Dilger, E., Lutz, J.: Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz; in Großpietsch, Dal Cin (Hrsg.): Fehlertolerierende Rechensysteme; Informatik Fachberichte Bd. 84, Springer 1984, pp 66-76.

    Google Scholar 

  20. Risse, Th.: Zur Bedeutung der Bearbeitung von Interrupts für die Konsistenz der globalen Daten-Strukturen in ATTEMPTO; Institutsbericht 4/85, Tübingen 1985.

    Google Scholar 

  21. Risse, Th.: Zur Petri-Netz Modellierung der Interprozessor Kommunikation in ATTEMPTO; Institutsbericht 4/85, Tübingen 1985.

    Google Scholar 

  22. Razouk, R.R., Phelps, C.V.: Performance Analysis Using Timed Petri Nets; in Y. Yemini, R. Strom, S. Yemini (Eds): Protocol Specification, Testing, and Verification IV, North-Holland 1985, pp 561-576.

    Google Scholar 

  23. Rudin, H.: Time in Formal Protocol Specification; in Heger et al (Hrsg.): Kommunikation in verteilten Systemen I, Informatik Fachberichte Bd. 95, Springer 1985, pp 575-586.

    Google Scholar 

  24. Sifakis, J.: Use of Petri Nets for Performance Evaluation in Measuring, Modelling and Evaluating Computer Systems; North Holland, 1977, pp 75-93.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Information Sciences, University of Tübingen, Köstlinstr. 6, D-7400, Tübingen, Germany

    Thomas Risse

Authors
  1. Thomas Risse
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich 2, Hochschule Bremerhaven, Bürgermeister-Smidt-Straße 20, D-2850, Bremerhaven, Germany

    F. Belli

  2. Institut für Rechnerentwurf und Fehlertoleranz Fakultät für Informatik, Universität Karlsruhe, Postfach 6980, D-7500, Karlsruhe 1, Germany

    W. Görke

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Risse, T. (1987). Modelling Interrupt Based Interprocessor Communication by Time Petri Nets. In: Belli, F., Görke, W. (eds) Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems. Informatik-Fachberichte, vol 147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45628-2_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-45628-2_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18294-8

  • Online ISBN: 978-3-642-45628-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation