A petri-net based approach for flexible manufacturing system modeling | IET Conference Publication | IEEE Xplore