Business Process Management: Models, Techniques, and Empirical Studies Author: Wil van der Aalst, Jörg Desel, Andreas Oberweis Published by Springer Berlin Heidelberg ISBN: 978-3-540-67454-2 DOI: 10.1007/3-540-45594-9 Table of Contents: Techniques for Modelling Workflows and their Support of Reuse Modeling Processes and Workflows by Business Rules Guidelines of Business Process Modeling A Knowledge-Based Approach for Designing Robust Business Processes The “Organized Activity” Foundation for Business Processes and Their Management Evaluation of Generic Process Design Patterns: An Experimental Study Management-Oriented Models of Business Processes Validation of Process Models by Construction of Process Nets Modeling, Simulation and Analysis of Business Processes Using Formal Analysis Techniques in Business Process Redesign Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques Compositional modeling and verification of workflow processes A Workflow Change is a Workflow Improving Flexibility of workflow Management Systems Inter-operability of Workflow Applications: Local Criteria for Global Soundness Object Oriented Petri Nets in Business Process Modeling Information Gathering and Process Modeling in a Petri Net Based Approach Why Modellers Wreck Workflow Innovations The Effects of Workflow Systems on Organizations: A Qualitative Study On the Practical Relevance of an Integrated Workflow Management System - Results of an Empirical Study