Computer aided design of supervisory controller for discrete event systems

摘要

This paper presents a formal method of designing complied supervisors for Discrete Event systems (DES). The method is based on the concept of supervisory control theory and the enforcement of a control policy by modifying the Petri net model in a complied form. In this paper the concept of Boolean logic reduction is used to simplify the control policy. This process re-defines the control polciy as steering places which then facilitates the implementation of the control policy in the form of inhibitor and enabling arcs. The method provides a very efficient technique for the development of maximally permissive compiled supervisors for Petri nets based DES. Copyright ~direct 2000 IFAC