A Petri net tool for software performance estimation based on upper throughput bounds | Publicación