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.