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