Embedded product-form queueing networks and the improvement of performance bounds for Petri net systems | Publicación