Abstract
We introduce the notions of homogeneity of generalized Petri nets and of sufficiently marked place sets which are basic for our generalization of COMMONERs liveness theorem to a subclass of all generalized Petri nots. We show that a corresponding decision problem (the nonsufficiency problem) is equivalent with the reachabllity problem.
Get full access to this article
View all access options for this article.