On some issues of the practical application of modeling and validation of Petri netsстатья