In: Information and Computation, Vol. 89, pages 144-179. 1990.
Abstract: The author presents a structure for transtion systems with which the main decidabibity results on Petri nets can be generalized to structured transition systems. The reduced reachability tree is defined; it allows one to decide the finite reachability tree problem and the finite reachability set problem. A general definition of the coverability set is given. It is shown that the coverability problem is a decidable problem in the framework of well-structured transition systems. Finally, it is shown that the finite reachability tree problem and the finite reachability set problem are decidable.
Keywords: reduction (and) covering (of) infinite reachability tree(s); structured transition system; decidability (of the) coverability problem; decidability (of the) reachability problem.