Javier Esparza is Professor and Chair of Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich and coauthor of Free Choice Petri Nets and Unfoldings- A Partial-Order Approach to Model Checking. Michael Blondin is Associate Professor of Computer Science at the Universite de Sherbrooke.