The computation of the state graph of a net is one of the most powerful
analysis methods, limited only by the fact that even a small bounded net
can have very many states. INA 's methodology promises
very efficient memory usage whilst allowing fast access.