Submissions for team PEDRO REGES DA SILVA PALMA on problem FSM Elevador Predial Inteligente