palavras-chave Controle de Sistemas de Produção Lógica Temporal Verificação de Modelos redes de petri