For one visitor, let
and define
A visitor arriving at time is in room at time exactly when its independent service-time mark satisfies . Thus it receives mark with probability ; a further mark records that it has already left the gallery.
The Independent marking theorem for Poisson point processes makes the point processes carrying the different room marks independent. Consequently are independent, and Poisson thinning gives
Equivalently,

Articles by others on the same topic (0)

There are currently no matching articles.