publicações selecionadas Uma Abordagem Baseada em Redes de Petri Coloridas para o Projeto de Sistemas de Bomba de Infusão de Insulina