Petri Nets and Performance Models (IEEE Computer Society Press)