W. M. Wonham, Notes on control of discrete-event systems, 2003.

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

M. Dequeiroz and J. Cury, Modular supervisory control of large scale discrete-event systems, Discrete Event Systems: Analysis and Control. Proc. WODES'00, pp.103-110, 2000.

K. Akesson, H. Flordal, and M. Fabian, EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS, Proc. of the IFAC, 2002.
DOI : 10.3182/20020721-6-ES-1901.00517

Y. Willner and M. Heymann, Supervisory control of concurrent discrete-event systems, International Journal of Control, vol.54, issue.5, pp.1143-1169, 1991.
DOI : 10.1137/0325036

K. Rohloff and S. Lafortune, The control and verification of similar agents operating in a broadcast network environment, 42nd IEEE Conference on Decision and Control, 2003.

B. Gaudin and H. Marchand, Modular supervisory control of a class of concurrent discrete event systems, Workshop on Discrete Event Systems, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00517300

R. Minhas, Complexity reduction in discrete event systems, 2002.

A. Vahidi, B. Lennarston, and M. Fabian, Efficient supervisory synthesis of large systems, Workshop on Discrete Event Systems, 2004.
DOI : 10.1016/j.conengprac.2006.02.013

B. Gaudin and H. Marchand, EFFICIENT COMPUTATION OF SUPERVISORS FOR LOOSELY SYNCHRONOUS DISCRETE EVENT SYSTEMS: A STATE-BASED APPROACH, 6th IFAC World Congress, 2005.
DOI : 10.3182/20050703-6-CZ-1902.00309

A. Abdelwahed and W. Wonham, Blocking detection in discrete event systems, Proceedings of the 2003 American Control Conference, 2003., 2003.
DOI : 10.1109/ACC.2003.1239834

T. Ushio, On controllable predicates and languages in discrete-event systems, Proceedings of the 28th IEEE Conference on Decision and Control, pp.123-124, 1989.
DOI : 10.1109/CDC.1989.70087