A comparison of synthesis tools for supervisory controllers. - Arturo Sanchez; J. Reza; Jaime G. Douriet; R. Gonzalez (ECC, 2003)

Synthesis of a Class of Discrete-Event Controllers for Large Manufacturing Systems. - Arturo Sanchez; Jaime G. Douriet; Eduardo Ramirez (IEEE Trans. Syst. Man Cybern. Part C, 2007)