Stochastic Petri Nets models for the performance analysis of TCP connections supporting finite data transfer