Advertisement

Abschließende Bemerkungen

  • Jörg Desel
Chapter
  • 17 Downloads
Part of the DUV: Datenverarbeitung book series (DUVD)

Zusammenfassung

Die wesentlichen Resultate dieser Arbeit sind strukturelle Charakterisierungen verschiedener dynamischer Eigenschaften von EFC-Systemen. Damit können diese Eigenschaften mit polynomiellem Zeitaufwand (in der Netzgröße) entschieden werden. Die in Abbildung 6.1 gezeigte Tabelle faßt die struktuellen Charakterisierungen und die entsprechenden polynomiellen Analysemethoden zusammen. Die betrachteten Eigenschaften — Lebendigkeit, Verklemmungs-freiheit, Beschränktheit und Sicherheit — sind die in der Literatur am häufigsten verwendeten Systemeigenschaften. Darüberhinaus haben wir die Eigenschaften Zyklizität und Blockierungsfreiheit untersucht. Andere manchmal betrachteten Systemeigenschaften sind z.B. Konfliktfreiheit oder Persistem, sie lassen sich aber für EFC-Systeme nicht sinnvoll definieren.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden 1992

Authors and Affiliations

  • Jörg Desel

There are no affiliations available

Personalised recommendations