Utilização de redes de Petri a análise formal do trabalho multifuncional em linhas de produção - Carvalho, Hilano José Rocha de; Porto, Arthur José Vieira (GEPROS : gestão da produção, operações e sistemas, 2007)