Green procurement model using petri nets: A perspective developed from the models applied to the supply chain