Applications of petri net based models in the modelling and analysis of flexible manufacturing systems | IEEE Conference Publication | IEEE Xplore