Behavior description for complex flexible manufacturing system based on decomposition of petri net

摘要

Flexible Manufacture System (FMS) is one typical kind of discrete event systems, and the behavior description, analysis and control for an FMS are important. In this paper, we focus on the modeling and analysis methods for structure-complex FMS based on Petri net. With a decomposition method of Petri net based on an index function on the place set, a structure-complex Petri net can be decomposed into a set of S-Nets. The behaviors of the original system can be expressed by the synchronization shuffle of the behaviors of these S-Nets. With the language expression, we can decide and control the liveness, fairness, deadlock and trap for the FMS, which provides a solution for the analysis of the complex FMS based on Petri net.