For the most recent entries see the Petri Nets Newsletter.

Algorithms for the Analysis of Petri Nets and Time Petri Nets.

Olej, V.; Mokris, I.; Durny, M.

In: Elektrotech. Cas. (CSSR), Vol. 38, No. 11, pages 863-870. 1987. In Slovakian.

Abstract: The paper describes algorithms for the generation of a reachability tree, for the analysis of the properties of this tree and for searching minimal and maximal paths within the tree. The algorithms enable one to analyse various properties of the Petri nets.

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

Back to the Petri Nets Bibliography