Next: 6.2 Analysestatus
Up: 6. Analyse
Previous: 6. Analyse
6.1 Grundlagen
In den Analyseteil ist ein Expertsystem
integriert, das in der Theorie nachgewiesene Zusammenhänge
zwischen Netzeigenschaften berücksichtigt und aus den für das
aktuelle Netz bereits festgestellten Resultaten Schlußfolgerungen
zieht. Auf diese Weise kann unter Umständen aus einer elementaren
Eigenschaft wie der, daß keine Transition beim Schalten die Gesamtzahl
der Marken im Netz verändert (das Netz ist dann konservativ,
bzw. subkonservativ, wenn sich die Markenzahl höchstens
verringern kann) auf eine solche dynamische Eigenschaft wie
Beschränktheit geschlossen werden. Andererseits werden durch das
Expertsystem überflüssige Analysen vermieden, denn es hat z.B.
nicht viel Sinn ein inhomogenes Netz daraufhin zu untersuchen, ob es die
Deadlock-Falle-Eigenschaft hat.
Bitte beachten Sie, daß INA nach dem Ende einer Berechnung
benutzten Speicher zurückgibt. Angekündigt wird dies mit der Meldung
returning heap. Es kann vorkommen, daß dies nach speicherintensiven
Prozeduren einige Sekunden dauert. Bitte warten Sie deshalb, bis
der Speicher wieder freigegeben ist und die Analyse fortgesetzt werden kann.
Next: 6.2 Analysestatus
Up: 6. Analyse
Previous: 6. Analyse
© 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