Queueing systems modeling by Petri nets

The textbook "Queueing Systems Modeling by Petri Nets" offers a comprehensive analysis of the application of Petri nets for modeling queues in various business applications. It covers both simple and advanced Petri nets and their use in describing cyclic queues, including those with priorities. The authors, Petro Bazylevych and Oleh Kuzmin, develop models for time and color net systems specifically designed for the study of mass service systems. These systems can include both single-line and multi-line queues, taking into account both single and multi-channel structures. The book defines key efficiency indicators such as productivity, queue lengths, waiting times, and structural requirements that are important for optimizing business processes.