Analysis and Application of Petri Subnet Reduction

Abstract

We motivate and study the subnet reduction of Petri nets. Subnet reduction can avoid the state exploration problem by guaranteeing the correctness in the Petri net. For systems specified in Petri nets, this paper proposes two subnet reduction methods. One major advantage of these reduction methods is that the resultant ordinary Petri net is guaranteed to be live, bounded and reversible. A group of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation and reversibility preservation are proposed. A flexible manufacturing system has been verified. These results are useful for studying the static and dynamic properties of Petri nets, analyzing properties for large complex system

A Fast Method for Extracting all Minimal Siphons from Maximal Unmarked Siphons of a Petri Net

“…Compared with other formal tools, Petri nets are characterized of graphical presentation, solid theoretical foundation in mathematics and various analysis methods [3]- [5]. On become the most important tools to deal with deadlock problems in FMS [6]- [8].…”