QoS Assessment of WS-BPEL Processes through non-Markovian Stochastic Petri Nets