Property Analysis of Petri Net Reduction

Abstract

Petri net reduction can avoid the state exploration problem by guaranteeing the correctness. For system specified in Petri nets, this paper proposes reduction methods. A group of sufficient conditions or sufficient and necessary conditions of boundedness preservation and liveness preservation are proposed. These results are useful for studying dynamic… (More)

Topics

4 Figures and Tables

Slides referencing similar topics