A. Fusaoka, H. Seki, and K. Takahashi, A description and reasoning of plant controllers in temporal logic, Proc. 8 th Int. Joint Conf. on Artificial Intelligence, pp.405-408, 1983.

G. Morel, J. Petin, and P. Lamboley, Formal specification for manufacturing systems automation, CDROM Proc. IFAC Int. Conf. on Information Control Problems in Manufacturing, 2001.

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

DOI : 10.3182/20050703-6-CZ-1902.01434

URL : https://hal.archives-ouvertes.fr/hal-00344918

T. Merkte and T. Menzel, Methods and tools to the verification of safety-related control software, Proc. IEEE int. conf. on Systems Man and Cybernetics, pp.2455-2457, 2000.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, Failure diagnosis using discrete-event models, IEEE Trans. C S T, vol.4, issue.2, pp.105-124, 1996.

D. Crockett, D. , A. Desrochers, F. Dicesare, and T. Ward, Implementation of a Petri net controller for a machining workstation, Proceedings. 1987 IEEE International Conference on Robotics and Automation
DOI : 10.1109/ROBOT.1987.1087773

M. C. Zhou, F. Dicesare, and D. Rudolph, Design and implementation of a petri net based supervisor for a flexible manufacturing system, Automatica, vol.28, issue.6, pp.1199-1208, 1992.
DOI : 10.1016/0005-1098(92)90061-J

M. Fabian and A. Hellgren, PLC-based implementation of supervisory control for discrete event systems, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), pp.3305-3310, 1998.
DOI : 10.1109/CDC.1998.758209

S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-toi, and G. F. 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

L. E. Holloway, A. Callahan, J. O-'rear, and X. Guan, Spectool: Automated Synthesis of Control Code for Discrete Event Controllers, Proc. 5 th Int. Workshop on D E S, pp.383-389, 2000.
DOI : 10.1007/978-1-4615-4493-7_52

M. H. De-queiroz and J. E. Cury, Synthesis and implementation of local modular supervisory control for a manufacturing cell, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.377-382, 2002.
DOI : 10.1109/WODES.2002.1167714

A. Philippot, A. Tajer, F. Gellot, and V. Carré-ménétrier, On line synthesis approach based on a structured plant modelling, Proc. 7 th Int. Workshop on D E S, pp.397-402, 2004.

D. Gouyon, J. Petin, and G. Morel, Control synthesis for productdriven automation, Proc. 7 th Int. Workshop on Discrete Event Systems, pp.19-24, 2004.

B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit et al., Systems and software verification: model- Checking techniques and tools, 0190.
DOI : 10.1007/978-3-662-04558-9

G. Frey and L. Litz, Formal methods in PLC programming, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), pp.2431-2436, 2000.
DOI : 10.1109/ICSMC.2000.884356

G. Canet, S. Couffin, J. Lesage, A. Petit, and P. Schnoebelen, Towards the automatic verification of PLC programs written in Instruction List, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), pp.2449-2454, 2000.
DOI : 10.1109/ICSMC.2000.884359

J. Machado, B. Denis, J. Lesage, J. Faure, J. C. Ferreira et al., Increasing the efficiency of PLC program verification using a plant model, CDROM Proc.6 th Int. Conf. on Industrial Engineering and Production Management, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00424030

J. Lunze, J. Schröder, and P. Supavatanakul, Diagnosis of Discrete- Event Systems: the method and example, Proc. 12 th int. workshop on principles of diagnosis, pp.111-118, 2001.

J. Sztipaovits and A. Mistra, Diagnosis of Dicrete Event Systems using ordered binary decision diagram, Proc. 7 th International workshop on principles of diagnosis, 1996.

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, LNCS, vol.3098, 2004.
DOI : 10.1007/978-3-540-27755-2_3

R. S. Sreenivas and B. H. , Krogh On condition/event systems with discrete state realizations Discrete Event Dynamic Systems: Theory and Applications, pp.209-236, 1991.

M. Rausch and H. Hanisch, Net condition/event systems with multiple condition outputs. Symposium on Emerging Technologies and Factory Automation, pp.592-600, 1995.