9th Petri Nets and Performance Models Proceedings of the International Workshop 2001: Aachen, Germany - German, Reinhard (IEEE Computer Society Press)