@article{article60b870fa, title = {Utilização de redes de Petri a análise formal do trabalho multifuncional em linhas de produção}, author = {Carvalho, Hilano José Rocha de and Porto, Arthur José Vieira}, year = {2007}, journal = {GEPROS : gestão da produção, operações e sistemas} }