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