A modular petri net based architecture to model manufacturing systems exhibiting resource and timing uncertainties | IEEE Conference Publication | IEEE Xplore