Books by International Workshop on Petri Nets and Performance Models (9th 2001 Aachen, Germany)