A decision-making application for project management through timed coloured Petri nets