Аннотация:The article explores some modeling issues for eliminating deadlock situations using Petri nets. An illustration of a model of the famous lunching philosophers problem using Petri nets is given. The Petri net model constructed by the author has the property of the idea of priority, which ensures synchronous regulation of the actions of lunching philosophers, which allows avoiding possible deadlocks in the system.