From UML activity diagrams to Stochastic Petri nets: application to software performance engineering