H. J. R. de Carvalho and A. J. V. Porto, “Utilization of Petri nets in the formal analysis of the multifunctional work in production lines”, Revista Gestão da Produção Operações e Sistemas, no. 2, p. Pag. 109, Jun. 2007.