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.
Zuletzt geändert am: Thu Apr 10 15:08:18 MET DST 1997