Formal Modeling of Priority Queue using Generalized Stochastic Petri Nets

Queueing System is an activity that happens in everyday life. Whether it is a waiting line for hospital treatment, queue to buy movie tickets, queue to get car wash service, etc. Therefore, queueing system management is important. It is concerned about time, cost, opportunity in business and appreciation of customers. Due to most of queues analysis are first-come, first-served, and analyzed by finding the average service time of the server. In this paper, we propose formal modeling of Priority Queue which is another kind of queue and including the introduction of the Generalized Stochastic Petri Nets (GSPN). It is used to quantify analyzes to create diversity that in line with the real situation and support for complexity queue systems.