Performance comparison between coloured and stochastic Petri Net models: application to a flexible manufacturing system