ORD HOM NBM PUR CSV SCF CON SC Ft0 tF0 Fp0 pF0 MG SM FC EFC ES
Y Y Y N N N Y N Y N N N N N N N Y
DTP SMC SMD SMA CPI CTI B SB REV DSt BSt DTr DCF L LV L&S WL CL
? N ? ? N ? N N ? ? N ? ? ? ? N ? ?
Aufgeführt werden mögliche Eigenschaften des betrachteten Netzes, dabei bedeutet das jeweils darunter stehende Symbol, ob die Eigenschaft erfüllt (Y), nicht erfüllt (N) oder noch keine Entscheidung getroffen werden konnte (?). Die erste Zeile enthält elementare Netzeigenschaften, die bei der Voranalyse durch Betrachtung der Struktur des Netzes gefunden werden, die zweite dagegen weitere dynamische, d.h. von der Anfangsmarkierung abhängige Eigenschaften, die eventuell nach weiteren Analysen geklärt werden können. Natürlich ist die Anzeige auch von den eingestellten Netzoptionen und bereits gefundenen Ergebnissen abhängig, den einige Eigenschaften haben nur unter bestimmten Bedingungen einen Sinn. Das obige Beispiel zeigt alle Möglichkeiten.
© 1996-98 Prof. Peter H. Starke (starke@informatik.hu-berlin.de) und Stephan Roch (roch@...)
INA Handbuch Version 2.1 zuletzt geändert: 1998-03-24