Petri net approaches for modelling and validation - Aalst, Wil van der (LINCOM Europa, 2002)