7th IFAC Workshop on Intelligent Manufacturing Systems, Budapest, Hungary, 6 - 08 April 2003, pp.181-186
Supervisory controller design to enforce boundedness, reversibility, and liveness in ordinary Petri nets with weighted arcs is considered. Algorithms are presented to design a controller to enforce these properties simultaneously. It is shown that the proposed approach always finds a controller to enforce these properties whenever it is possible. Furthermore, the controller obtained is the least restrictive controller among all controllers which enforce these properties simultaneously. Copyright (C) 2003 IFAC