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