Assinale a opção que contém uma regra INVÁLIDA para Redes de Petri.