Queuing Networks Formalism