An Approach for Flow Net Subgraph to Analysis of The Model of Flexible Manufacturing Systems

This paper deals with methodology for analyzing of a flexible manufacturing system (FMS) by using flow net subgraphs. A Petri net is a mathematical method that can express and analyze discrete event systems. Although structural liveness and safety in ordinary free choice (FC) nets has already been researched, analysis methods for weighted Petri nets have not yet been established. In this study, we propose a method for determining the structural liveness and safety of the strongly connected FC nets. The flow rate of tokens for the strongly connected marked graphs (MGs) is defined as the circuit flow value. Further, the circuit flow value of a strongly connected FC net is obtained by calculating the superposition of the circuit flow value.