de Carvalho, H. J. R., e A. J. V. Porto. “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 de 2007, p. Pag. 109, doi:10.15675/gepros.v0i2.158.