Design and control of workflow processes: business process management for the service industry

Workflow Modeling.- Workflow Design.- Performance Evaluation of Workflows.- Resource Allocation in Workflows.- Heuristic Workflow Redesign.- System and Practical Experience.- Conclusion.

[1]  Wil M.P. van der Aalst,et al.  Three good reasons for using a Petri-net-based workflow management system , 1996 .

[2]  R. Talwar.  Business re-engineering—a strategy-driven approach , 1993 .

[3]  Majed Al-Mashari,et al.  Revisiting BPR: a holistic review of practice and development , 2000, Bus. Process. Manag. J..

[4]  J. Alexander,et al.  Images of Organization , 1988 .

[5]  Giovanni Chiola,et al.  On Well-Formed Coloured Nets and Their Symbolic Reachability Graph , 1991 .

[6]  Rebecca E. Grinter.  Workflow Systems: Occasions for Success and Failure , 2000, Computer Supported Cooperative Work (CSCW).

[7]  Mark Klein,et al.  A Knowledge-Based Approach for Designing Robust Business Processes , 2000, Business Process Management.

[8]  S. Jackson,et al.  A meta-analysis and conceptual critique of research on role ambiguity and role conflict in work settings , 1985 .

[9]  A. Sohal,et al.  Business Process Reengineering A review of recent literature , 1999 .

[10]  Kees M. van Hee,et al.  Information systems engineering - a formal approach , 1994 .

[11]  Gustavo Alonso,et al.  The WISE approach to Electronic Commerce , 2000 .

[12]  J. R. Jackson.  Networks of Waiting Lines , 1957 .

[13]  van Km Kees Hee,et al.  Analysis of discrete‐time stochastic petri nets , 2000 .

[14]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[15]  William J. Kettinger,et al.  Business Process Change: A Study of Methodologies, Techniques, and Tools , 1997, MIS Q..

[16]  Marco Ajmone Marsan,et al.  A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.

[17]  Kees M. van Hee,et al.  Executable Specifications for Distributed Information Systems , 1989, International Symposium on Combinatorial Optimization.

[18]  Jan A. Bergstra,et al.  Process Algebra for Synchronous Communication , 1984, Inf. Control..

[19]  Twan Basten,et al.  Parsing Partially Ordered Multisets , 1997, Int. J. Found. Comput. Sci..

[20]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[21]  Kees M. van Hee,et al.  Using Formal Analysis Techniques in Business Process Redesign , 2000, Business Process Management.

[22]  Mohamed Zairi,et al.  Creating a Fit Between BPR and IT Infrastructure: A Proposed Framework for Effective Implementation , 2000 .

[23]  Hajo A. Reijers,et al.  Product-driven workflow design , 2001, Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design (IEEE Cat. No.01EX472).

[24]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

[25]  Marcel F. Neuts,et al.  Matrix-geometric solutions in stochastic models - an algorithmic approach , 1982 .

[26]  Arun Sundararajan,et al.  The effects of task and information asymmetry on business process redesign , 1997 .

[27]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.

[28]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[29]  Wil M. P. van der Aalst,et al.  Diagnosing Workflow Processes using Woflan , 2001, Comput. J..

[30]  Wil M.P. van der Aalst,et al.  Short-term simulation: Bridging the gap between operational control and strategic decision making , 1999 .

[31]  Richard I. Levin,et al.  Planning and control with PERT/CPM , 1977 .

[32]  Jorge Lobo,et al.  Formalizing (and Reasoning About) the Specifications of Workflows , 2000, CoopIS.

[33]  Karl Aberer,et al.  CrossFlow: Cross-Organizational Workflow Management in Dynamic Virtual Enterprises , 2000 .

[34]  Philippe Chrétienne,et al.  Timed Petri net schedules , 1987, European Workshop on Applications and Theory of Petri Nets.

[35]  Ren Asmussen,et al.  Fitting Phase-type Distributions via the EM Algorithm , 1996 .

[36]  Michael D. Zisman,et al.  Representation, specification and automation of office procedures , 1977 .

[37]  Wil M. P. van der Aalst,et al.  Re-engineering knock-out processes , 2001, Decis. Support Syst..

[38]  Mathias Weske,et al.  Extending UML with Workflow Modeling Capabilities , 2000, CoopIS.

[39]  Andrew Hutchison.  CSCW as opportunity for business process re-engineering , 1994, Business Process Re-Engineering.

[40]  Marco Ajmone Marsan,et al.  On Petri Nets with Stochastic Timing , 1985, PNPM.

[41]  Tok Wang Ling,et al.  Model-based support for business re-engineering , 1996, Inf. Softw. Technol..

[42]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[43]  Wil M. P. van der Aalst.  Interval Timed Coloured Petri Nets and their Analysis , 1993, Application and Theory of Petri Nets.

[44]  Wil M. P. van der Aalst.  Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds , 1994, Computer Performance Evaluation.

[45]  Joseph J. Moder,et al.  Project Management with CPM and PERT , 1964 .

[46]  Wil M. P. van der Aalst,et al.  Analysis of railway stations by means of interval timed coloured Petri nets , 1995, Real-Time Systems.

[47]  W.M.P. van der Aalst,et al.  Business process redesign: a Petri-net-based approach , 1996 .

[48]  Bernard Berthomieu,et al.  An Enumerative Approach for Analyzing Time Petri Nets , 1983, IFIP Congress.

[49]  Clarence A. Ellis,et al.  Modeling and Enactment of Workflow Systems , 1993, Application and Theory of Petri Nets.

[50]  Wil M. P. van der Aalst,et al.  Fundamentals of control flow in workflows , 2003, Acta Informatica.

[51]  Richard E. Barlow,et al.  Statistical Theory of Reliability and Life Testing: Probability Models , 1976 .

[52]  Ludwig Nastansky,et al.  Groupware technology for a new approach to organization design systems , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[53]  H. Harrington,et al.  Improving business processes , 1991 .

[54]  Sandro Morasca,et al.  Timed high-level nets , 1991, Real-Time Systems.

[55]  J. Peppard,et al.  The Essence of Business Process Re-Engineering , 1995 .

[56]  E. A. Hall,et al.  How to Make Reengineering Really Work , 1994 .

[57]  Enid Mumford,et al.  Reengineering the Corporation: A Manifesto for Business Revolution , 1995 .

[58]  Mark E. Nissen,et al.  An Experiment to Assess the Performance of a Redesign Knowledge System , 2000, J. Manag. Inf. Syst..

[59]  G. S. Rogers.  The Structure of Probability Theory with Applications , 1970 .

[60]  Thomas Schael,et al.  Workflow Management Systems for Process Organisations , 1998, Lecture Notes in Computer Science.

[61]  C. Petri.  Kommunikation mit Automaten , 1962 .

[62]  Wil M. P. van der Aalst,et al.  Beyond workflow management: product-driven case handling , 2001, GROUP.

[63]  MengChu Zhou,et al.  A moment generating function based approach for evaluating extended stochastic Petri Nets , 1993 .

[64]  Christoph Bussler,et al.  Workflow Management: Modeling Concepts, Architecture and Implementation , 1996 .

[65]  Gianfranco Balbo,et al.  Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques , 1998 .

[66]  Michael Zapf,et al.  Evaluation of Generic Process Design Patterns: An Experimental Study , 2000, Business Process Management.

[67]  Aldo Cumani,et al.  ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times , 1985, PNPM.

[68]  Brad Hartfield,et al.  Computer systems and the design of organizational interaction , 1988, TOIS.

[69]  Patrick Calvert.  An advanced BPR methodology with integrated, computer based tools , 1994, Business Process Re-Engineering.

[70]  Wolfgang Reisig,et al.  Lectures on Petri Nets II: Applications , 1996, Lecture Notes in Computer Science.

[71]  Bennett Fox,et al.  Discrete Optimization Via Marginal Analysis , 1966 .

[72]  Shouhong Wang,et al.  The Implementation of Business Process Reengineering , 1995, J. Manag. Inf. Syst..

[73]  W.M.P. van der Aalst,et al.  On the automatic generation of workflow processes based on product structures , 1999 .

[74]  Hajo A. Reijers,et al.  On the optimal allocation of resources in stochastic workflow nets , 2001 .

[75]  Richard Weber,et al.  Note-On the Marginal Benefit of Adding Servers to G/GI/m Queues , 1980 .

[76]  Régis Beuscart,et al.  Dynamic workflow model for complex activity in intensive care unit , 1999, Int. J. Medical Informatics.

[77]  A. Scheer.  Business Process Engineering: Reference Models for Industrial Enterprises , 1994 .

[78]  Giorgio De Michelis,et al.  Situating conversations within the language/action perspective: the Milan conversation model , 1994, CSCW '94.

[79]  A. Alan B. Pritsker,et al.  GERT - Graphical Evaluation and Review Technique , 1966 .

[80]  Jong Woo Kim,et al.  KWM: Knowledge-based Workflow Model for Agile Organization , 1999, Journal of Intelligent Information Systems.

[81]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[82]  Richard J. Murray,et al.  Getting ready for strategic change: surviving business process redesign , 1993 .

[83]  Jörg Desel,et al.  Modeling, Simulation and Analysis of Business Processes , 2000, Business Process Management.

[84]  Graeme Simsion.  A methodology for business process re-engineering? , 1994, Business Process Re-Engineering.

[85]  Terry Winograd,et al.  A language/action perspective on the design of cooperative work , 1986, CSCW '86.

[86]  Han Gerrits,et al.  Business modeling based on logistics to support business process re-engineering , 1994, Business Process Re-Engineering.

[87]  Anastasia Pagnoni Holt,et al.  Management-Oriented Models of Business Processes , 2000, Business Process Management.

[88]  Alan J. Rolfe.  A Note on Marginal Allocation in Multiple-Server Service Systems , 1971 .

[89]  Sirkka L. Jarvenpaa,et al.  Business Process Redesign: Tactics for Managing Radical Change , 1995, J. Manag. Inf. Syst..

[90]  T. C. Bond.  Systems analysis and business process mapping: a symbiosis , 1999, Bus. Process. Manag. J..

[91]  van Km Kees Hee,et al.  An analytical method for computing throughput times in stochastic workflow nets , 1999 .

[92]  W. Mason,et al.  Advanced Management Accounting , 1983 .

[93]  Kees M. van Hee,et al.  Component-based software architectures: a framework based on inheritance of behavior , 2002, Sci. Comput. Program..

[94]  Tharam S. Dillon,et al.  Timed Places Petri Nets with Stochastic Representation of Place Time , 1985, PNPM.

[95]  James Martin,et al.  Rapid Application Development , 1991 .

[96]  Gregory A. Hansen,et al.  Automating business process reengineering : using the power of visual simulation strategies to improve performance and profit , 1997 .

[97]  Ganesh D. Bhatt,et al.  Exploring the relationship between information technology, infrastructure and business process re-engineering , 2000, Bus. Process. Manag. J..

[98]  Frank Leymann,et al.  Managing Business Processes an an Information Resource , 1994, IBM Syst. J..

[99]  Rami R. Razouk,et al.  Performance Analysis Using Timed Petri Nets , 1984, PSTV.

[100]  Serge Haddad,et al.  Regular stochastic Petri nets , 1989, Applications and Theory of Petri Nets.

[101]  K. Mani Chandy,et al.  Open, Closed, and Mixed Networks of Queues with Different Classes of Customers , 1975, JACM.

[102]  Hajo A. Reijers,et al.  Using prototyping in a product-driven design of business processes , 2001 .

[103]  W.M.P. van der Aalst,et al.  Timed coloured Petri nets and their application to logistics , 1992 .

[104]  Wolfgang Deiters.  Information Gathering and Process Modeling in a Petri Net Based Approach , 2000, Business Process Management.

[105]  Ben Atkinson,et al.  Queuing Networks: Customers, Signals and Product Form Solutions , 2001, J. Oper. Res. Soc..

[106]  Thomas M. Koulopoulos.  The Workflow Imperative: Building Real World Business Solutions , 1995 .

[107]  Joseph Sifakis.  Performance Evaluation of Systems Using Nets , 1979, Advanced Course: Net Theory and Applications.

[108]  Marco Ajmone Marsan,et al.  Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.

[109]  Stef Joosten.  Why Modellers Wreck Workflow Innovations , 2000, Business Process Management.

[110]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[111]  Stéphane Natkin,et al.  Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol , 1981, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[112]  Leslie P. Willcocks,et al.  Business process re-engineering in theory and practice : business paradise regained? , 1995 .

[113]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[114]  Jetta Carol Culpepper,et al.  Academic Press Dictionary of Science and Technology , 2000 .

[115]  Raymond L. Manganelli,et al.  The Reengineering Handbook: A Step-by-Step Guide to Business Transformation , 1994 .

[116]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .

[117]  Wolffried Stucky,et al.  Income/Wf — A Petri Net Based Approach to Workflow Management , 1997 .

[118]  Suprateek Sarker,et al.  IT-enabled organizational transformation: a case study of BPR failure at TELECO , 1999, J. Strateg. Inf. Syst..

[119]  Marco Ajmone Marsan,et al.  Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.

[120]  Jan Verelst,et al.  Techniques for Modeling Workflows and Their Support of Reuse , 2000, Business Process Management.

[121]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[122]  Volker Gruhn.  Business Process Modeling and Workflow Management , 1995, Int. J. Cooperative Inf. Syst..

[123]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[124]  Daniel Moldt,et al.  Object Oriented Petri Nets in Business Process Modeling , 2000, Business Process Management.

[125]  Jan L. G. Dietz,et al.  Communicative action‐based business process and information systems modelling with DEMO , 1999, Inf. Syst. J..

[126]  Wil M. P. van der Aalst,et al.  How to handle dynamic change and capture management information? An approach based on generic workflow models , 2001, Comput. Syst. Sci. Eng..

[127]  Michael Hammer,et al.  Reengineering Work: Don’t Automate, Obliterate , 1990 .

[128]  Levent V. Orman,et al.  A Model Management Approach to Business Process Reengineering , 1998, J. Manag. Inf. Syst..

[129]  Jörg Becker,et al.  Guidelines of Business Process Modeling , 2000, Business Process Management.

[130]  M. E. Dyer,et al.  Note---On the Validity of Marginal Analysis for Allocating Servers in M/M/c Queues , 1977 .

[131]  John A. Buzacott,et al.  Commonalities in Reengineered Business Processes: Models and Issues , 1996 .

[132]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[133]  Patrick McDermott,et al.  Workflow Modeling: Tools for Process Improvement and Application Development , 2001 .

[134]  Daniel Moldt,et al.  Workflow Modelling and Execution with Coloured Petri Nets in COSM , 1995 .

[135]  Wil M. P. van der Aalst,et al.  Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool , 2000, ICATPN.

[136]  Rommert Jan Casimir.  Gaming in information systems development , 1995 .

[137]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[138]  Won Chul Kim,et al.  IBRS: Intelligent bank reengineering system , 1996, Decis. Support Syst..

[139]  Giorgio De Michelis,et al.  A Light Workflow Management System Using Simple Process Models , 2000, Computer Supported Cooperative Work (CSCW).

[140]  Rudolf Vetschera,et al.  Algorithmical approaches to business process design , 2001, Comput. Oper. Res..

[141]  Carlo Ghezzi,et al.  A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..

[142]  Dan C. Marinescu,et al.  On Stochastic High-Level Petri Nets , 1987, PNPM.

[143]  Timo Saarinen,et al.  Drivers and tracers of business process changes , 1999, J. Strateg. Inf. Syst..

[144]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[145]  Marc Voorhoeve.  Compositional Modeling and Verification of Workflow Processes , 2000, Business Process Management.