H. J. R. de Carvalho e A. J. V. Porto, “Utilização de redes de Petri na análise formal do trabalho multifuncional em linhas de produção”, GEPROS, nº 2, p. Pag. 109, jun. 2007.