P. Ramadge and W. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

M. Lucas and D. Tilbury, A study of current logic design practices in the automotive manufacturing industry, International Journal of Human-Computer Studies, vol.59, issue.5, pp.725-753, 2003.
DOI : 10.1016/S1071-5819(03)00115-0

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 1999.

S. Balemi, Control of Discrete Event Systems: Theory and Application, 1992.

F. Basile and P. Chiacchio, On the Implementation of Supervised Control of Discrete Event Systems, IEEE Transactions on Control Systems Technology, vol.15, issue.4, pp.725-739, 2007.
DOI : 10.1109/TCST.2006.890281

D. Gouyon, J. Petin, and A. Gouin, Pragmatic approach for modular control synthesis and implementation, International Journal of Production Research, vol.16, issue.14, pp.2839-2858, 2004.
DOI : 10.1109/9.58555
URL : https://hal.archives-ouvertes.fr/hal-00120780

P. Malik, Generating Controllers from Discrete-Event Models, Proceedings of MOVEP'2002, 2002.

P. Dietrich, R. Malik, W. Wonham, and B. Brandin, Implementation Considerations in Supervisory Control, Synthesis and Control of Discrete Event Systems, vol.185201, 2002.
DOI : 10.1007/978-1-4757-6656-1_12

J. Roussel and A. Giua, DESIGNING DEPENDABLE LOGIC CONTROLLERS USING THE SUPERVISORY CONTROL THEORY, 16th IFAC World Congress, 2005.
DOI : 10.3182/20050703-6-CZ-1902.01434
URL : https://hal.archives-ouvertes.fr/hal-00344918

S. Balemi, G. Hoffmann, P. Gyugyi, H. Wong-toi, and G. Franklin, Supervisory control of a rapid thermal multiprocessor, IEEE Transactions on Automatic Control, vol.38, issue.7, pp.1040-1059, 1993.
DOI : 10.1109/9.231459

J. Zaytoon and V. Carre-menetrier, Synthesis of control implementation for discrete manufacturing systems, International Journal of Production Research, vol.39, issue.2, pp.329-345, 2001.
DOI : 10.1080/00207540010002388

V. C. , -. B. Rohee, B. Riera, and J. Roussel, A methodology to design and check a plant model, 3rd IFAC Workshop on Discrete- Event System Design, DESDes'06, pp.246-250, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00351722

I. Tc65 and I. Wg, 61131-3: Programmable Controllers?Part 3: Programming Languages, International Electrotechnical Commission IEC Std., Rev, vol.2, 2003.

M. Fabian and A. Hellgren, PLC-based implementation of supervisory control for discrete eventsystems Decision and Control, Proceedings of the 37th IEEE Conference on, 1998.

K. Akesson, M. Fabian, H. Flordal, and A. Vahidi, Supremica: a tool for verification and synthesis of discrete event supervisors, Proc. of the 11th Mediterranean Conference on Control and Automation, 2003.