de Carvalho, Hilano José Rocha, and Arthur José Vieira Porto. 2007. “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):Pag. 109. https://doi.org/10.15675/gepros.v0i2.158.