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