Projeto de Lógica phsm-ehms