In: Computer Communications, Vol. 11, No. 4, pages 215-220. August 1988.
Abstract: Analysis of net invariants has proved to be a powerful technique for investigating properties of concurrent systems modelled by generalized Petri nets. Unfortunately, the best known algorithms for invariant search have an exponential cost. An algorithm is presented here which, although still exponentially complex, introduces significant optimizations that are meant to considerably extend the practical feasibility of invariant analysis.