Die Berechnung des Zustandsgraphen eines Netzes gehört zu den wirksamsten Analysemethoden, die nur dadurch eingeschränkt ist, daß unscheinbare beschränkte Netze sehr viele Zustände haben können. INA verfügt über eine Methodik, die beste Speicherausnutzung bei schnellem Zugriff verspricht.
Zuletzt geändert am: Thu Apr 10 15:08:18 MET DST 1997