Modeling Business Processes: A Petri Net-Oriented Approach by Wil M. P. van der Aalst | Menrva Books | MenrvaBooks