next up previous contents index
Next: 6.2.1 Elementare Netzeigenschaften Up: 6. Analyse Previous: 6.1 Grundlagen

6.2 Analysestatus

Der Fortschritt der Analyse wird in zwei Statuszeilen angezeigt.

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.




next up previous contents index
Next: 6.2.1 Elementare Netzeigenschaften Up: 6. Analyse Previous: 6.1 Grundlagen

© 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