de Carvalho, H. J. R.; Porto, A. J. V. Utilização De Redes De Petri Na análise Formal Do Trabalho Multifuncional Em Linhas De produção. GEPROS 2007, Pag. 109.