Abstract
It is well known that a simple closed-form formula exists for the stationary distribution of the workload in M/GI/1 queues. In this paper, we extend this to the general stationary framework. Namely, we consider a work-conserving single-server queueing system, where the sequence of customers’ arrival epochs and their service times is described as a general stationary marked point process, and we derive a closed-form formula for the stationary workload distribution. The key to our proof is two-fold: one is the Palm-martingale calculus, that is, the connection between the notion of Palm probability and that of stochastic intensity. The other is the preemptive-resume last-come, first-served discipline.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
