Work in process (WIP) analysis of the flexible manufacturing system using time Petri nets unfolding | IEEE Conference Publication | IEEE Xplore