A Petri nets based object oriented tool for the scheduling of stochastic flexible manufacturing systems | Publicación