Projetos Projetos de Mestrado Planning Approaches using Supervisory Control Theory of Discrete Event Systems …