Modelado de compras verdes mediante redes de Petri coloreadas