In the field of design and analysis of manufacturing systems, models are sometimes built with the help of analytical methods. However, the verification of these models is often addressed by simulation. To check the performance of a manufacturing system, formal methods of design are needed. In this work, the selected modelling and verification tool is a high level Petri net. Based on properties of the generic concept called the Production Processing System (PPS) and developed for modelling and simulation of production resources, this article deals with analysing the PPS by high-level Petri nets (HLPN) formalisms.