Thierry Jéron, Hervé Marchand, Vlad Rusu, Valérie Tschaen. Ensuring the conformance of reactive discrete-event systems by means of supervisory control.
International Journal of Production Research, Taylor & Francis, 2004, 42 (14), pp.2809 - 2826.
⟨10.1080/00207540410001705202⟩.
⟨inria-00517265⟩