Abstract. We analyze a reduced Petri net model of a parallel distributed system as a component Petri net (CN-net) to determine the adequacy of two models (a detailed Petri model N and a component Petri model CN) of the same parallel distributed system under study. The concepts of relation χ of a component and relation areas of components are introduced. The surjective homomorphism of the χ and CN models and the isomorphism of net N/χ, factor-model N with respect to the relation χ and CN-net are determined.

Keywords: Petri net, component Petri net, equivalence class, component relation, component relation domain, homomorphism.