Sustainable procurement with Coloured Petri Nets. Application and extension of the proposed model