For the most recent entries see the Petri Nets Newsletter.

A Minimal Coverability Graph for Petri Nets.

Finkel, A.

Report LRI--501. Univ. de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique, June 1989.

Abstract: The author presents the minimal coverability graph for Petri nets and for Vector Addition Systems. This graph is based on an optimization of the Karp and Miller's graph. It allows to decide the Finite Reachability Tree Problem, the Finite Reachability Set Problem, the Boundedness Problem, the Coverability Problem, the Quasi-Lifeness Problem and the Regularity Problem. The algorithm given for computing the minimal coverability graph uses as less as possible the memory.

Keywords: minimal coverability graph; vector addition system; Karp (and) Miller's graph; finite reachability tree; finite reachability set; boundedness; quasi lifeness; regularity.

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

Back to the Petri Nets Bibliography