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

B. Gaudin and H. Marchand, Modular Supervisory Control of a Class of Concurrent Discrete Event Systems, Proceedings WODES'04, Workshop on Discrete-Event Systems, pp.181-186, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00517300

J. Komenda and J. H. Van-schuppen, Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction , Discrete Event Dynamic Systems, Theory and Applications, vol.15, issue.3, pp.257-315, 2005.

J. Komenda and J. H. Van-schuppen, Supremal Normal Sublanguages of Large Distributed Discrete-Event Systems, Proceedings WODES'04, Workshop on Discrete-Event Systems, pp.73-78, 2004.

F. Lin and W. M. Wonham, Decentralized supervisory control of discrete-event systems, Information Sciences, vol.44, issue.3, pp.199-224, 1988.
DOI : 10.1016/0020-0255(88)90002-3

R. Milner, Communication and Concurrency. Prentice Hall International Series in Computer Science, 1989.

K. Rohloff and S. Lafortune, On the computational complexity of the verification of modular discrete-event systems, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., 2002.
DOI : 10.1109/CDC.2002.1184460

J. J. Rutten, Universal coalgebra: a theory of systems, Theoretical Computer Science, vol.249, issue.1, pp.3-80, 2000.
DOI : 10.1016/S0304-3975(00)00056-6

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proc. IEEE, pp.81-98, 1989.
DOI : 10.1109/5.21072

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

K. C. Wong and S. Lee, Structural Decentralized Control of Concurrent Discrete-Event Systems, European Journal of Control, vol.8, pp.477-491, 2002.

K. C. Wong and W. M. Wonham, Modular Control and Coordination of Discrete-Event Systems, Discrete Event Dynamical Systems: Theory and Applications, pp.247-297, 1998.

W. M. Wonham and P. J. Ramadge, Modular supervisory control of discrete-event systems, Mathematics of Control, Signals, and Systems, vol.25, issue.1, pp.13-30, 1988.
DOI : 10.1007/BF02551233