For the most recent entries see the Petri Nets Newsletter.

Compositional and parallel analysis of Petri nets.

Finkel, A.; Johnen, C.; Petrucci, L.

In: Univ. Paris-Sud, Lab. de Recherche, Orsay, rapport de recherche Nr. 0706. 1991.

Abstract: We will show how to decompose a Petri net with parallel solutions to the computation of the minimal coverability graph and invariants. We will also show how to recompose a Petri net (if necessary) to obtain the complete minimal coverability graph and all the invariants of the entire net.

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

Back to the Petri Nets Bibliography