On macroplaces in Petri nets

This article deals with hierarchical decomposition of Petri nets. The following question is considered: which conditions a subnet should satisfy to make possible its replacement by a macroplace? A general class of such subnets is defined. The theoretical results related to such kind of decomposition are presented. Application of the decomposition to verification of systems, which are specified by means of Petri nets, is considered.