Event-Based Supervisors for the Maintenance Process of a Printing Machine

A set of event-based supervisors is developed to control the maintenance process of a printing machine. The Discrete Event System descriptions of the distinct tasks of the maintenance process are in the form of Finite State Machines. The desired behavior is expressed as four behavioral rules. The rules are translated to regular languages realized by appropriate supervisor automaton. The supervisor’s physical realizability is proved and the blocking avoidance of the controlled printing machine is satisfied.