摘要：Abstract This paper studies the design of supervisory controllers with a minimum number of monitor places for safe Petri Nets using a class of specification modeled as Behavioral Constraints. A logic equivalence is established between the set of linear inequalities induced by the Behavioral Constraint and a single inequality which, using the Invariant Based Control Design method, leads to a Petri Net supervisor with a single monitor place. The approach is illustrated with the synthesis of a supervisory controller for a section of a manufacturing system.
关键词：KeywordsSupervisory Control TheoryManufacturing Execution SystemsPetri Nets
