Wil M.P. van der Aalst is Distinguished University Professor at Technische Universiteit Eindhoven. He is the coauthor of Workflow Management- Models, Methods, and Systems and Modeling Business Processes- A Petri Net-Oriented Approach (both published by the MIT Press). Christian Stahl is a postdoctoral researcher at Eindhoven University of Technology.
This book is a must-read for anybody interested in the foundations of process modeling using Petri nets; with dozens of exercises (and solutions!), it also serves as an excellent textbook. Mathias Weske , Hasso Plattner Institute, University of Potsdam This book is about using Petri nets to model business processes in their relation to information systems. But it is much more. It characterizes different types of information systems based on their capability to support complex business processes. It teaches how to translate informal requirements into explicit models and how to cope with changes and adaptation. But most importantly it provides an efficient and unambiguous way to translate dynamic complex behavior into static understandable models. Petri nets are back again and they are here to stay. John Hoogland , CEO, Pallas Athena International This book is an absolute must for everyone who wants to learn the state of the art for modeling of business processes by means of colored Petri nets. Wil van der Aalst's group at Eindhoven University of Technology is world-leading in the field -- both when it comes to the theoretical foundation, and in practical applications and tool support. The book can be read with little or no prior knowledge of Petri nets and I highly recommend it both for classes and for individuals. It is brilliant. Kurt Jensen , Aarhus University, Denmark