Verify Little's law
relating the system size and waiting time for a queue:
Verify Burke's theorem for a feedforward network with three queues in series:
Compute a probability for the steady state of the network:
Verify the result using Burke's theorem:
Verify the definition of the Erlang B loss probability for an M/M/c/c queue:
Use the built-in
ErlangB function to compute the same result:
Confirm that the two answers are indeed the same: