A Petri net model for the design and performance evaluation of flexible production system | IET Conference Publication | IEEE Xplore