On the issue of studyng and eliminating deadlock situations using Petri netsтезисы доклада