Modeling and online scheduling of flexible manufacturing systems using stochastic Petri nets | IEEE Journals & Magazine | IEEE Xplore