de Carvalho, Hilano José Rocha, and Arthur José Vieira Porto. “Utilization of Petri Nets in the Formal Analysis of the Multifunctional Work in Production Lines”. Revista Gestão da Produção Operações e Sistemas, no. 2 (June 1, 2007): Pag. 109. Accessed October 15, 2025. https://gepros.emnuvens.com.br/gepros/article/view/158.