After a brief introduction to the topic of business process modeling, the book offers a quick-start into model-based business process engineering. After that, the foundations of the modeling languages used are conveyed. Meaningful examples are in the foreground - each of the underlying formalisms is treated only as far as needed....