For the most recent entries see the Petri Nets Newsletter.

Concurrent System Analysis Using Petri Nets: an Optimized Algorithm for Finding Net Invariants.

D'Anna, M.; Trigila, S.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography