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 (Jun. 2007), Pag. 109. DOI:https://doi.org/10.15675/gepros.v0i2.158.