de Carvalho HJR, Porto AJV. Utilization of Petri nets in the formal analysis of the multifunctional work in production lines. GEPROS [Internet]. 2007 Jun. 1 [cited 2024 Nov. 18];(2):Pag. 109. Available from: https://revista.feb.unesp.br/gepros/article/view/158