de Carvalho, Hilano José Rocha, e Arthur José Vieira Porto. 2007. “Utilização De Redes De Petri Na análise Formal Do Trabalho Multifuncional Em Linhas De produção”. Revista Gestão Da Produção Operações E Sistemas, nº 2 (junho):Pag. 109. https://doi.org/10.15675/gepros.v0i2.158.