Advertisement

Anästhesie Simulation auf einem Parallelrechner mit SystemSpecs

  • Jacques E. Boillat
  • Peter G. Kröpf
  • Peter Schwab
Conference paper
Part of the Informatik aktuell book series (INFORMAT)

Zusammenfassung

SystemSpecs[2, 1] ist ein Programm — Entwicklungswerkzeug, das sich besonders zur Spezifikation von komplexen Systemen eignet. Die formale Basis von SystemSpecs bilden dabei Petri Netze höherer Ordnung, Petri Netze sind Graphen, auf denen sogenannte Marken bewegt werden, und so die zeitliche Abfolge der Zustände des Systems beschreiben. Die mathematische Grundlage dieser Netze gestattet es, mit analytischen Methoden mögliche Probleme, z.B deadlocks, zu erkennen und gewünschte Eigenschaften nachzuweisen. Die grundlegenden Konstrukte eines parallelen Systems, wie Sie in occam etwa durch die SEQ, PAR und ALT Anweisungen gegeben sind, haben dabei einfache intuitive Darstellungen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. 1.
    TnTech and Landis & Gyr. SystemSpecs Reference Manual. 1992.Google Scholar
  2. 2.
    B. Bütler, R. Esser, and R. Mattmann. A Distributed Simulator for High Order Petri Nets. In LNCS 483, Advances in Petri Nets 1990 Berlin, 1991. Springer.Google Scholar
  3. 3.
    W. Reisig. Petrinetze, Eine Einführung LNCS. Springer, Berlin, second edition, 1986.Google Scholar
  4. 4.
    N. Yasuda, S.H. Lockhart, E.I. Eger, R.D. Weiskopf, B.H. Johnson, B.A. Freire, and A. Feissoulaki. Kinetics of Desflurcine, Isoflurane, and Hadothane in Humans. Anaesthesiology 74:489–498, 1991.CrossRefGoogle Scholar
  5. 5.
    N.T. Smith, A. Zwart, and J.E.W Beneken. Interaction between the Circulatory Effects ond the Uptake and Distribution of Halothane: Use of a Multiple Model. Anaesthesiology 37(l):47–58, July 1972.CrossRefGoogle Scholar
  6. 6.
    A. Zwart, N.T. Smith, and J.E.W. Beneken. Multiple Model Approach to Uptake and Distribution of Halothane: The Use of an Analog Computer. Computers and Biomedical Reasearch 5:228–238, 1972.CrossRefGoogle Scholar
  7. 7.
    J.E. Boillat, R. Esser, P.G. Kropf, A. Murbach, and A. Zbinden. ComputermodeU der Aufnahme volatiler Anästhesika. Technical Report IAM-PR-90299, Institut für Informatik und angewandte Mathematik, Universität Bern, 1991.Google Scholar
  8. 8.
    C.A.R. Ho2U-e. Communicating Sequential Processes Prentice-Hall, Englewood Cliffs, 1985.zbMATHGoogle Scholar
  9. 9.
    INMOS. Transputer Reference Manual Prentice-Hall, Englewood Cliffs, 1988.Google Scholar
  10. 10.
    J.E. Boillat and P.G. Kropf. A fast distributed mapping algorithm. In H. Burkhart, editor, CONPAR 90 — VAPP IV Springer, 1990Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Jacques E. Boillat
    • 1
  • Peter G. Kröpf
    • 1
  • Peter Schwab
    • 2
  1. 1.Institut für Informatik und angewandte MathematikUniversität BernBernSwitzerland
  2. 2.TnTech Parallel Computing Support AGBernSwitzerland

Personalised recommendations