de Carvalho HJR, Porto AJV. 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 [Internet]. 2007 Jun. 1 [cited 2025 Oct. 15];(2):Pag. 109. Available from: https://gepros.emnuvens.com.br/gepros/article/view/158