Resource-aware business process management : analysis and support

• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.

[1]  G. Jonker.  Efficient and Equitable Exchange in Air Traffic Management Plan Repair using Spender-signed Currency , 2008 .

[2]  Moe Thandar Wynn,et al.  Business Process Simulation for Operational Decision Support , 2007, Business Process Management Workshops.

[3]  Wil M. P. van der Aalst,et al.  Beyond Process Mining: From the Past to Present and Future , 2010, CAiSE.

[4]  Peter A. Hancock,et al.  From the Inverted-U to the Extended-U: The Evolution of a Law of Psychology , 2003 .

[5]  Wil M. P. van der Aalst,et al.  Strategies for Modeling Complex Processes Using Colored Petri Nets , 2013, Trans. Petri Nets Other Model. Concurr..

[6]  J. W. M Bertrand,et al.  Workload based order release and productivity: a missing link , 2002 .

[7]  S. J. Karlsson.  Scalable distributed data structures for database management , 2000 .

[8]  Agnes Nakakawa,et al.  A collaboration process for enterprise architecture creation , 2012 .

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

[10]  Wil M. P. van der Aalst,et al.  Deadline-based escalation in process-aware information systems , 2007, Decis. Support Syst..

[11]  Hajo A. Reijers,et al.  The effectiveness of workflow management systems: Predictions and lessons learned , 2005, Int. J. Inf. Manag..

[12]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[13]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[14]  Stewart Robinson,et al.  Simulation: A Statistical Perspective , 1993 .

[15]  V. Onyemah.  Role Ambiguity, Role Conflict, and Performance: Empirical Evidence of an Inverted‑U Relationship , 2008 .

[16]  Boudewijn F. van Dongen,et al.  ProM 6: The Process Mining Toolkit , 2010, BPM.

[17]  Michael Rosemann,et al.  Learning from Context to Improve Business Processes , 2009 .

[18]  Wil M. P. van der Aalst,et al.  Generating Event Logs with Workload-Dependent Speeds from Simulation Models , 2012, CAiSE Workshops.

[19]  BertinoElisa,et al.  The specification and enforcement of authorization constraints in workflow management systems , 1999 .

[20]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[21]  P. T. G. Hornix.  Performance Analysis of Business Processes through Process Mining , 2007 .

[22]  J. G. Hollands,et al.  Engineering Psychology and Human Performance , 1984 .

[23]  Wil M. P. van der Aalst,et al.  Discovering simulation models , 2009, Inf. Syst..

[24]  Wil M. P. van der Aalst,et al.  Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models , 2005, Business Process Management Workshops.

[25]  Sem C. Borst,et al.  Queues with Workload-Dependent Arrival and Service Rates , 2004, Queueing Syst. Theory Appl..

[26]  L. M. Kristensen,et al.  A Prototype for Cosimulating SystemC and Coloured Petri Net Models , 2009 .

[27]  Richard,et al.  Motivation through the Design of Work: Test of a Theory. , 1976 .

[28]  Boudewijn F. van Dongen,et al.  A Meta Model for Process Mining Data , 2005, EMOI-INTEROP.

[29]  J. Verbeek.  Politie en de nieuwe internationale informatiemarkt : grensregionale politiele gegevensuitwisseling en digitale expertise , 2004 .

[30]  Kerim Tumay.  Business process simulation , 1995, WSC '95.

[31]  A Anne Rozinat,et al.  Process mining : conformance and extension , 2010 .

[32]  Wil M. P. van der Aalst,et al.  Mining Social Networks: Uncovering Interaction Patterns in Business Processes , 2004, Business Process Management.

[33]  G. Spanoudakis,et al.  A Framework for Requirements Monitoring of Service Based Systems , 2004 .

[34]  Mh Monique Jansen-Vullers,et al.  Business process simulation - tool survey , 2006 .

[35]  N. R. T. P. van Beest,et al.  Redesigning business processes: a methodology based on simulation and process mining techniques , 2009, Knowledge and Information Systems.

[36]  Peter Dadam,et al.  Correctness criteria for dynamic changes in workflow systems - a survey , 2004, Data Knowl. Eng..

[37]  S. C. Kabel,et al.  Knowledge-rich indexing of learning objects , 2004 .

[38]  Sophie Ahrens,et al.  Recommender Systems , 2012 .

[39]  Maarten Sierhuis,et al.  Modeling and Simulating Work Practice: A Method for Work Systems Design , 2002, IEEE Intell. Syst..

[40]  Hongyan Ma,et al.  Process-aware information systems: Bridging people and software through process technology , 2007, J. Assoc. Inf. Sci. Technol..

[41]  Barbara Weber,et al.  User Assistance during Process Execution - An Experimental Evaluation of Recommendation Strategies , 2010, Business Process Management Workshops.

[42]  Stefano Tonchia,et al.  Performance measurement systems - Models, characteristics and measures , 2001 .

[43]  D. Hebb.  Drives and the C.N.S. (conceptual nervous system). , 1955, Psychological review.

[44]  J. Leon Zhao,et al.  Temporal workflow management in a claim handling system , 1999, WACC '99.

[45]  Anindya Datta,et al.  Automating the Discovery of AS-IS Business Process Models: Probabilistic and Algorithmic Approaches , 1998, Inf. Syst. Res..

[46]  Olga Anatoliyivna Kulyk,et al.  Do You Know What I Know? Situational Awareness of Co-located Teams in Multidisplay Environments. , 2010 .

[47]  M. Braga,et al.  Exploratory Data Analysis , 2018, Encyclopedia of Social Network Analysis and Mining. 2nd Ed..

[48]  Wil M.P. van der Aalst,et al.  Multi-phase mining: aggregating instances graphs into EPC's and petri nets , 2005 .

[49]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[50]  Academisch Proefschrift,et al.  Exploring Computational Models for Intelligent Support of Persons with Depression , 2011 .

[51]  J. Foreyt,et al.  The application of the Yerkes-Dodson law in a childhood weight management program: examining weight dissatisfaction. , 2012, Journal of pediatric psychology.

[52]  Donald D. Chamberlin.  XQuery: An XML query language , 2002, IBM Syst. J..

[53]  van der Wmp Wil Aalst,et al.  Business process simulation : how to get it right? , 2008 .

[54]  Hajo A. Reijers,et al.  Discovering Social Networks from Event Logs , 2005, Computer Supported Cooperative Work (CSCW).

[55]  R. V. D. Pol.  Knowledge-based query formulation in information retrieval , 2000 .

[56]  Irene Barba,et al.  Supporting the Optimized Execution of Business Processes through Recommendations , 2011, Business Process Management Workshops.

[57]  Wil M. P. van der Aalst,et al.  Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management , 2003, Lectures on Concurrency and Petri Nets.

[58]  D. L. Flarey.  Reengineering the Corporation , 1994 .

[59]  Dragan Bosnacki,et al.  Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance , 2010, SPIN.

[60]  Wil M. P. van der Aalst,et al.  A Generic Import Framework for Process Event Logs , 2006, Business Process Management Workshops.

[61]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[62]  F. J. Wiesman,et al.  Information retrieval by graphically browsing meta-information , 1998 .

[63]  Stanley Wasserman,et al.  Social Network Analysis: Methods and Applications , 1994, Structural analysis in the social sciences.

[64]  Wil M. P. van der Aalst,et al.  Constraint-Based Workflow Models: Change Made Easy , 2007, OTM Conferences.

[65]  Wil M. P. van der Aalst,et al.  Discovering colored Petri nets from event logs , 2007, International Journal on Software Tools for Technology Transfer.

[66]  Boudewijn F. van Dongen,et al.  Process Discovery using Integer Linear Programming , 2009, Fundam. Informaticae.

[67]  R. P. Jagadeesh Chandra Bose,et al.  Process mining in the large : preprocessing, discovery, and diagnostics , 2012 .

[68]  Bing Yu,et al.  Software tools supporting business process analysis and modelling , 1997, Bus. Process. Manag. J..

[69]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[70]  Boudewijn F. van Dongen,et al.  Process Mining: Fuzzy Clustering and Performance Visualization , 2009, Business Process Management Workshops.

[71]  W. M. P. V. D. Aalsta,et al.  YAWL : yet another workflow language , 2015 .

[72]  Meagen M Rosenthal.  Curriculum vitae for , 2015 .

[73]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[74]  Virginia N. L. Franqueira,et al.  Finding multi-step attacks in computer networks using heuristic search and mobile ambients , 2009 .

[75]  Marco Montali,et al.  Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata , 2011, BPM.

[76]  Stacey Fusae Nagat.  User Assistance for Multitasking with Interruptions on a Mobile Device , 2006 .

[77]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

[78]  Rs Ronny Mans,et al.  Workflow support for the healthcare domain , 2011 .

[79]  Michael Westergaard,et al.  A meta-model for operational support , 2012 .

[80]  R. Yerkes,et al.  The relation of strength of stimulus to rapidity of habit‐formation , 1908 .

[81]  Boudewijn F. van Dongen,et al.  Process Mining and Verification of Properties: An Approach Based on Temporal Logic , 2005, OTM Conferences.

[82]  Wil M. P. van der Aalst,et al.  Workflow Data Patterns: Identification, Representation and Tool Support , 2005, ER.

[83]  C.M.T. Metselaar,et al.  Sociaal-organisatorische gevolgen van kennistechnologie : een procesbenadering en actorperspectief , 2000 .

[84]  J. D. Johannes,et al.  Systems Simulation: The Art and Science , 1975, IEEE Transactions on Systems, Man, and Cybernetics.

[85]  Katalin Boer-Sorban.  Agent-Based Simulation of Financial Markets: A Modular, Continuous-time Approach , 2008 .

[86]  Wil M. P. van der Aalst,et al.  Time prediction based on process mining , 2011, Inf. Syst..

[87]  F. Wetenschappen,et al.  Embodied agents from a user's perspective , 2008 .

[88]  Wil M. P. van der Aalst,et al.  Analyzing Resource Behavior Using Process Mining , 2009, Business Process Management Workshops.

[89]  Akhil Kumar,et al.  Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance , 2002, J. Manag. Inf. Syst..

[90]  Wil M. P. van der Aalst.  Business Process Simulation Revisited , 2010, EOMAS.

[91]  Nadine Gottschalk.  Design and Control of Workflow Processes: Business Process Management for the Service Industry , 2003, Lecture Notes in Computer Science.

[92]  Hajo A. Reijers,et al.  Product Based Workflow Support: Dynamic Workflow Execution , 2008, CAiSE.

[93]  Nick Russell,et al.  Foundations of Process-Aware Information Systems , 2007 .

[94]  Wil M. P. van der Aalst,et al.  Design and Implementation of the YAWL System , 2004, CAiSE.

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

[96]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[97]  M Mariska Netjes,et al.  Process improvement : the creation and evaluation of process alternatives , 2010 .

[98]  Moe Thandar Wynn,et al.  Workflow Simulation for Operational Decision Support Using Design, Historic and State Information , 2008, BPM.

[99]  Boudewijn F. van Dongen,et al.  Discovering Workflow Performance Models from Timed Logs , 2002, EDCIS.

[100]  Alexander L. Wolf,et al.  Discovering models of software processes from event-based data , 1998, TSEM.

[101]  Raquel Benbunan-Fich,et al.  Juggling on a high wire: Multitasking effects on performance , 2012, Int. J. Hum. Comput. Stud..

[102]  Song,et al.  Supporting proces mining by showing events at a glance , 2007 .

[103]  M Maja Pesic,et al.  Constraint-based workflow management systems : shifting control to users , 2008 .

[104]  Wil M. P. van der Aalst,et al.  Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.

[105]  D. Juedes,et al.  Workload Functions : A New Paradigm for Real-time Computing , 2004 .

[106]  M. H. Schonenberg,et al.  What's next? : operational support for business process execution , 2012 .

[107]  Jan Holmström.  The relationship between speed and productivity in industry networks: A study of industrial statistics , 1994 .

[108]  A. J. M. M. Weijters,et al.  Flexible Heuristics Miner (FHM) , 2011, 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM).

[109]  Ruth Breu,et al.  CBRFlow: Enabling Adaptive Workflow Management Through Conversational Case-Based Reasoning , 2004, ECCBR.

[110]  Wil M. P. van der Aalst,et al.  An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets , 2012, Petri Nets.

[111]  Wil M. P. van der Aalst,et al.  Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics , 2007, BPM.

[112]  Bela Mutschler,et al.  Modeling and simulating causal dependencies on process-aware information systems from a cost perspective , 2008 .

[113]  Michael Pidd.  Computer modelling for discrete simulation , 1989 .

[114]  Wil M. P. van der Aalst,et al.  DECLARE: Full Support for Loosely-Structured Processes , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[115]  Jacob Lenting.  Informed gambling : conception and analysis of a multi-agent mechanism for discrete reallocation , 1999 .

[116]  Boudewijn F. van Dongen,et al.  ProM 4.0: Comprehensive Support for Real Process Analysis , 2007, ICATPN.

[117]  Boudewijn F. van Dongen,et al.  Supporting Flexible Processes through Recommendations Based on History , 2008, BPM.

[118]  Hajo A. Reijers,et al.  Performance measures to evaluate the impact of best practices , 2007 .

[119]  Peter Dadam,et al.  Mining Staff Assignment Rules from Event-Based Data , 2005, Business Process Management Workshops.

[120]  Wil M. P. van der Aalst,et al.  Modeling Business Processes - A Petri Net-Oriented Approach , 2011, Cooperative Information Systems series.

[121]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[122]  Wil M. P. van der Aalst,et al.  Process-Aware Information System Development for the Healthcare Domain - Consistency, Reliability, and Effectiveness , 2009, Business Process Management Workshops.

[123]  Peter Gyngell,et al.  Process Innovation: Reengineering Work through Information Technology , 1994 .

[124]  Wil M. P. van der Aalst,et al.  Towards comprehensive support for organizational mining , 2008, Decis. Support Syst..

[125]  Vladimiro Sassone,et al.  Petri Nets and Other Models of Concurrency , 1996, Petri Nets.

[126]  Boudewijn F. van Dongen,et al.  Cost-Based Fitness in Conformance Checking , 2011, 2011 Eleventh International Conference on Application of Concurrency to System Design.

[127]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[128]  Michael zur Muehlen,et al.  Resource Modeling in Workflow Applications , 1999 .

[129]  ACADEMISCH PROEFSCHRIFT,et al.  On Computer-Aided Methods for Modeling and Analysis of Organizations , 2007 .

[130]  Wil M. P. van der Aalst,et al.  Challenges in Business Process Analysis , 2007, ICEIS.

[131]  Boudewijn F. van Dongen,et al.  The ProM Framework: A New Era in Process Mining Tool Support , 2005, ICATPN.

[132]  Maja Pesic,et al.  Analyzing the resource perspective of workflow management systems : using a meta modal and constraints , 2006 .

[133]  N. L. Vergunst.  BDI-based generation of robust task-oriented dialogues , 2011 .

[134]  Schahram Dustdar,et al.  Self-adjusting Recommendations for People-Driven Ad-Hoc Processes , 2010, BPM.

[135]  Wil M. P. van der Aalst,et al.  Intra- and Inter-Organizational Process Mining: Discovering Processes within and between Organizations , 2011, PoEM.

[136]  J.S.J.H. Penders,et al.  The practical art of moving physical objects , 1999 .

[137]  Wil M. P. van der Aalst,et al.  Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities , 2008, CAiSE.

[138]  W. J. Howe.  Organizational Management in Workflow Applications – Issues and Perspectives , 2003 .

[139]  Jan Recker,et al.  Contextualisation of business processes , 2008, Int. J. Bus. Process. Integr. Manag..

[140]  Jwm Will Bertrand,et al.  The effects of a simple arrival rate control policy on throughput and work-in-process in production systems with workload dependent processing times , 2001 .

[141]  I. Flesch,et al.  On the use of independence relations in bayesian networks , 2003 .

[142]  Wil M. P. van der Aalst,et al.  Workflow Resource Patterns: Identification, Representation and Tool Support , 2005, CAiSE.

[143]  Boudewijn F. van Dongen,et al.  Cycle Time Prediction: When Will This Case Finally Be Finished? , 2008, OTM Conferences.

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

[145]  Michael Leyer,et al.  Towards a Context-Aware Analysis of Business Process Performance , 2011, PACIS.

[146]  Cw Christian Günther,et al.  Process mining with ProM , 2007 .

[147]  Boudewijn F. van Dongen,et al.  Process mining: a two-step approach to balance between underfitting and overfitting , 2008, Software & Systems Modeling.

[148]  Dimitrios Gunopulos,et al.  Mining Process Models from Workflow Logs , 1998, EDBT.

[149]  Christoph Bussler,et al.  Policy resolution for workflow management systems , 1994, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.

[150]  Moe Thandar Wynn,et al.  Workflow simulation for operational decision support using YAWL and ProM , 2008 .

[151]  G. F. Siddiqui.  Integrative Modeling of Emotions in Virtual Agents , 2010 .

[152]  Manfred Reichert,et al.  Supporting Flexible Processes with Adaptive Work?ow and Case Handling , 2008, 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[153]  Wil M. P. van der Aalst,et al.  Rediscovering workflow models from event-based data using little thumb , 2003, Integr. Comput. Aided Eng..

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

[155]  Michael Westergaard,et al.  Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL , 2011, BPM.

[156]  Fabio Casati,et al.  Business Process Intelligence , 2018, Encyclopedia of Social Network Analysis and Mining. 2nd Ed..

[157]  Boudewijn F. van Dongen,et al.  Replaying history on process models for conformance checking and performance analysis , 2012, WIREs Data Mining Knowl. Discov..

[158]  J. Rivera.  Modeling With Extend , 1997, Winter Simulation Conference Proceedings,.

[159]  Joachim Herbst,et al.  A Machine Learning Approach to Workflow Management , 2000, ECML.

[160]  Boudewijn F. van Dongen,et al.  Business process mining: An industrial application , 2007, Inf. Syst..

[161]  Stephan Merz,et al.  Model Checking , 2000 .

[162]  Moe Thandar Wynn,et al.  Workflow simulation for operational decision support , 2009, Data Knowl. Eng..

[163]  Michael Westergaard,et al.  Efficient Implementation of Prioritized Transitions for High-level Petri Nets , 2011, PNSE.

[164]  Randall P. Sadowski,et al.  Simulation with Arena , 1998 .

[165]  Mykola Pechenizkiy,et al.  Handling Concept Drift in Process Mining , 2011, CAiSE.

[166]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[167]  Marco Aiello,et al.  Associating assertions with business processes and monitoring their execution , 2004, ICSOC '04.

[168]  Hajo A. Reijers,et al.  The Case Handling Case , 2003, Int. J. Cooperative Inf. Syst..

[169]  Cw Christian Günther.  Process mining in flexible environments , 2009 .

[170]  A. de Moor,et al.  Empowering communities: A method for the legitimate user-driven specification of network information systems , 1999 .

[171]  Wil M.P. van der Aalst,et al.  Process Mining Put into Context , 2012, IEEE Internet Computing.

[172]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[173]  Dimitra Giannakopoulou,et al.  Automata-based verification of temporal properties on running programs , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[174]  Beibei Hu,et al.  Towards Contextualized Information Delivery: A Rule-based Architecture for the Domain of Mobile Police Work , 2011 .

[175]  Moe Thandar Wynn,et al.  Modelling Complex Resource Requirements in Business Process Management Systems , 2010 .

[176]  Wil M. P. van der Aalst,et al.  Genetic process mining: an experimental evaluation , 2007, Data Mining and Knowledge Discovery.

[177]  Moe Thandar Wynn,et al.  Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets , 2005, ICATPN.

[178]  Michael Westergaard.  Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models , 2011, Petri Nets.

[179]  M. Korotkiy,et al.  From Ontology-enabled Services to Service-enabled Ontologies : Making Ontologies Work in e-Science with Onto SOA , 2009 .

[180]  Wil M. P. van der Aalst,et al.  Decision Mining in ProM , 2006, Business Process Management.

[181]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[182]  David Spelt,et al.  Verification Support for Object Database Design , 1999 .

[183]  Wil M.P. van der Aalst,et al.  Modeling work distribution mechanisms using colored petri nets , 2005 .

[184]  Wil M. P. van der Aalst,et al.  Business Process Simulation Survival Guide , 2015, Handbook on Business Process Management.

[185]  Sheldon M. Ross,et al.  A Course in Simulation , 1990 .