Uma heurística para a programação da produção de sistemas flexíveis de manufatura usando modelagem em redes de Petri. Documento