  The place invariant method is well known as an elegant way to construct a
Petri net controller. It is possible to use the constraint for preventing
forbidden states. But in general case, the number forbidden states can be very
large giving a great number of control places. In this paper is presented a
systematic method to reduce the size and the number of constraints. This method
is applicable for safe and conservative Petri nets giving a maximally
permissive controller.
