Acyclic Petri Nets

By themselves, acyclic Petri nets (Definition 1.8, p. 17) form a limited class of Petri nets. So far, they received little attention in the literature (unfolding of Petri nets is an exception) because it was generally thought that their practical importance would be limited. Our motivation to study acyclic Petri nets is that Petri nets N and legal sets A with an acyclic uncontrollable part Nuc or N A uc form an important class of systems, because the number of uncontrollable transitions in a Petri net is often rather limited. In the course of the book it is made clear that a lot of important results can be deduced for supervisory control of such Petri nets.