Advertisement

Petrinetze pp 101-115 | Cite as

Lebendigkeitsuntersuchungen spezieller Netzklassen

Chapter
  • 32 Downloads

Zusammenfassung

In diesem Kapitel betrachten wir markierte Netze: spezielle, für viele Anwendungen ausreichende S/T-Netze. Lebendigkeitsuntersuchungen sind für solche Netze kaum einfacher als für S/T-Netze; es gibt jedoch Teilklassen, für die Kriterien zur Bestimmung von Lebendigkeit oder Sicherheit bekannt sind. Sie bilden den Hauptgegenstand dieses Kapitels.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  1. 1.Lehrstuhl für Informatik IIRWTH AachenAachenDeutschland

Personalised recommendations