Abstract:Two kinds of composition Petri nets are proposed in order to analyze the properties of a complicated nets. The condition for reserving structural properties of Petri net after composition are discussed. These results provide new methods for synthesis and analysis of P/T nets.