Advertisement

Netze, Systeme und ihr Verhalten

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

Zusammenfassung

In der Einleitung wurde gezeigt, wie Netzwerke aus Prozessoren und Kanälen in markierte Petrinetze übersetzt werden können. Die Struktur jedes so generierten Petrinetzes hat die extended free-choice Eigenschaft. Für die Klasse der Netze mit dieser Eigenschaft werden in späteren Teilen dieser Arbeit strukturelle Charakterisierungen dynamischer Eigenschaften angegeben, die zu effizienten Analyseverfahren führen.

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