A sufficient condition for reachability in a general Petri net (Q702167)

A transformation procedure for converting a given Petri net into an acyclic Petri net with a given number of stages is considered. Next, using the results taken directly from the theory of Petri nets and algebraic methods, sufficient conditions for a suitably defined reachability property are formulated and proved. Simple illustrative examples are also presented. The utility of the transformed acyclic net in reachability investigations is also mentioned. Moreover, the paper contains many remarks and comments concerning reachability problems for discrete-time systems. Finally, it should be pointed out, that similar problems have been discussed in the reviewer's monograph [\textit{J. Klamka}, Controllability of dynamical systems (Mathematics and its Applications: East European Series 48, Kluwer Academic Publishers, Dordrecht) (1991; Zbl 0732.93008)].