Vorlesung Modellierung WS 2001/2002 - Folie Nr. 617

Ziele:
Begriffe zur Lebendigkeit von Netzen verstehen

in der Vorlesung:
Erläuterungen zu

• nicht-terminierenden Systemen,
• Lebendigkeitsbegriffen,
• Verklemmungen

nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 2.5