Mining and controlling of flexible manufacturing system using Petri nets

Performances of and Requirements for the flexible manufacturing system (FMS) may vary greatly due to the fluctuant production environment, i.e., variations in production, adjustment in technology. Thus the actual model of a given FMS may differ from its designed one drastically such that the workflow mining is proposed. However, traditional Petri nets in such a domain are all based on workflow nets (WF-nets), which ignore the resources perspective during the mining process. Analysis of and control upon such nets are difficult. In this paper, a novel net model with resources is proposed, which suffices to describe complex concurrent event-driven systems. Furthermore, the optimal set of elementary siphons based on matrix theory is presented to solve deadlock arising in the actual model. Computer simulation demonstrates the effectiveness and efficiency of such a research.