Property Analysis of Petri Net Reduction


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)


4 Figures and Tables

Slides referencing similar topics