Author: International Workshop on Petri Nets and Performance Models