Generalized Petri Net Reduction Method

Abstract

A reduction method of generalized Petri nets is proposed. This method is a generalization of the reduction method which was previously given by Lee-Kwang and Favrel. The proposed method is defined not on the basis of the dynamic behavior but of the structure of the net, and thus the test of reducible subnet can be done by a deterministic approach. The reduction preserves the properties such as liveness, boundedness, and proper termination, and allows easy analysis of generalized Petri nets.