2000 character limit reached
Optimal Supervisory Control Synthesis (0904.0586v1)
Published 3 Apr 2009 in cs.IT and math.IT
Abstract: 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.