Controller Design to Enforce Boundedness, Liveness, and Reversibility in Petri Nets

Abstract

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.