Abstract
A controllability condition of a siphon composed of three elementary ones in a class of Petri nets, namely (SPR)-P-3, is developed. Under the condition, a maximally permissive liveness-enforcing supervisor expressed by a set of monitors (control places) can be decided by an algorithm with polynomial complexity for an (SPR)-P-3 if every dependent siphon is m-composed with m <= 3.