This book is very well written and it contains what I have expected. It presents solid definitions and a comprehensive view on business process modeling. Despite the fact that petri net from my experience are difficult to be placed and argued in an industrial context, the authors motivated me to keep them in mind especially with regard to simulation and process mining techniques. Both simulation and process-mining are interesting approaches. Best argument for this book for me is that it offers many examples and solutions. References of available tools and free software package are a further asset. This book will get a special place on my bookshelf.