Stohastic time modelling analitical algorithms for serial and parallel BPEL processes