Construccion del grafo de marcado para determinar las propiedades de las redes de petri