Modeling business processes: a Petri net-oriented approach - Aalst, Wil van der (Cooperative Information Systems, 2011)