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.
Back to the Petri Nets Bibliography