In: Automatizace, Vol. 32, No. 6, pages 147-151. June 1989. In Slovakian.
Abstract: A formal description of Petri nets is presented with particular emphasis on the analysis of their qualitative properties. The main tool used for the qualitative analysis is a generated reachability tree of the Petri nets. Formulation of the graph of reachability, matrix representation of the problem and its software solution are dealt with.
Keywords: qualitative properties (of) net; reachability tree; matrix representation (of) net.