Modeling Business Processes

Focusing on the formal modeling of business processes, this book utilizes Petri nets to capture and analyze concurrency in business information systems. It begins with an overview of these systems and progresses to classical Petri nets, incorporating data, time, and hierarchy to enhance process modeling. The analysis of Petri net models is also covered, helping to identify design flaws. Designed for a wide audience, the text minimizes technical jargon and includes numerous examples and exercises, making it suitable for both independent study and classroom settings.