Simulation of Processes to Protect Information of Informatization Objects Against Leakage Through Technical Channels Using an Apparatus of Petri-Markov Nets