La mayoría de los problemas sobre redes de Petri son decidibles, tales como el carácter acotado y la cobertura.