Jackson's theorem is the first significant development in the theory of networks of queues. It assumes an open queueing
network of single-server queues with the following characteristics:
M = # of queues in the system, not counting queue 0 which represents the outside world
= service rate at queue
= total rate at which jobs arrive at queue
utilization of the service at queue
=# of jobs in queue i at time t
= the system state at time t
Arrivals from the outside world are Poisson. All queues have exponential service time distributions.