On the Use of Petri Nets for the Computation of Completion Time Distributon for Short TCP Transfers