Performance analysis of cellular manufacturing systems using colored petri nets - Carvalho, Hilano José Rocha de; Porto, Arthur José Vieira (Encontro Nacional de Engenharia de Produção, 2007)