The paper presents the concepts and steps required to synthesize a correct
control implementation for discrete manufacturing systems, starting from Gr
afcet specifications. A formal framework implementing the synthesis steps i
s also presented and illustrated with an example of a drilling system.