Business Process Management 2000
Part 1:
Design of Business Processes
Anatol W. Holt:
The "Organized Activity" Foundation for Business Processes and Their Management. 66-82
Part 2:
Formalisms and Analysis
Jörg Desel:
Validation of Process Models by Construction of Process Nets. 110-128
Wil M. P. van der Aalst:
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. 161-183
Marc Voorhoeve:
Compositional Modeling and Verification of Workflow Processes. 184-200
Part 3:
Systems and Applications
Wolfgang Deiters:
Information Gathering and Process Modeling in a Petri Net Based Approach. 274-288
Stef Joosten:
Why Modellers Wreck Workflow Innovations. 289-300
Peter Kueng:
The Effects of Workflow Systems on Organizations: A Qualitative Study. 301-316
Martin Meyer:
On the Practical Relevance of an Integrated Workflow Management System - Results of an Empirical Study. 317-327
Stefan Jablonski:
Workflow Management Between Formal Theory and Pragmatic Approaches. 345-358
Ronald M. Lee:
Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures. 359-375