van der Aalst, W.M.P.

• Pesic, Maja; van der Aalst, Wil M. P.:
  Modelling work distribution mechanisms using Colored Petri Nets. 2007.

• Wen, Lijie; van der Aalst, Wil M. P.; Wang, Jianmin; Sun, Jiaguang:
  Mining process models with non-free-choice constructs. 2007.

• de Medeiros, A. K. A.; Weijters, A. J. M. M.; van der Aalst, W. M. P.:
  Genetic process mining: an experimental evaluation. 2007.

• Lassen, Kristian Bisgaard; van der Aalst, Wil M. P.:
  WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. 2006.

• Mendling, J.; Moser, M.; Neumann, G.; Verbeek, H. M. W.; van Dongen, B. F.; van der Aalst, W. M. P.:
  Faulty EPCs in the SAP Reference Model. 2006.

• Mendling, J.; Moser, M.; Neumann, G.; Verbeek, H. M. W.; van Dongen, B. F.; van der Aalst, W. M. P.:
  Faulty EPCs in the SAP Reference Model. 2006.

• Rozinat, A.; van der Aalst, W. M. P.:
  Decision Mining in ProM. 2006.

• Rozinat, A.; van der Aalst, W. M. P.:
  Decision Mining in ProM. 2006.

• van der Aalst, W. M. P.; de Medeiros, A. K. Alves; Weijters, A. J. M. M.:
  Process Equivalence: Comparing Two Process Models Based on Observed Behavior. 2006.

• van der Aalst, W. M. P.; de Medeiros, A. K. Alves; Weijters, A. J. M. M.:
  Process Equivalence: Comparing Two Process Models Based on Observed Behavior. 2006.

• van der Aalst, W. M. P.; Pesic, M.:
  DecSerFlow: Towards a Truly Declarative Service Flow Language. 2006.

• van Dongen, B.F.; Mendling, J.; van der Aalst, W.M.P.:
  Structural Patterns for Soundness of Business Process Models. 2006.

• Maruster, Laura; Weijters, A. J. M. M.; van der Aalst, Wil M. P.; van den Bosch, Antal:
  A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs. 2006.

• de Medeiros, A.K.; Weijters, A.J.M.M.; van der Aalst, W.M.P.:
  Genetic Process Mining: A Basic Approach and Its Challenges. 2006.

• Wynn, Moe Thandar; Edmond, David; van der Aalst, W.M.P.; ter Hofstede, A.H.M.:
  Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. 2005.

• Ouyang, Chun; Verbeek, Eric; van der Aalst, Wil M. P.; Breutel, Stephan; Dumas, Marlon; ter Hofstede, Arthur:
  WofBPEL: A Tool for Automated Analysis of BPEL Processes. 2005.

• van der Aalst, W.M.P.; de Beer, H.T.; van Dongen, B.F.:
  Process Mining and Verification of Properties: An Approach Based on Temporal Logic. 2005.

• van der Aalst, W.M.P.; Jørgensen, J.B.; Lassen, K.B.:
  Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. 2005.

• van der Aalst, W.M.P.; de Medeiros, A.K. Alves; Weijters, A.J.M.M.:
  Genetic Process Mining. 2005.

• van Dongen, B.F.; de Medeiros, A.K.A.; Verbeek, H.M.W.; Weijters, A.J.M.M.; van der Aalst, W.M.P.:
  The ProM Framework: A New Era in Process Mining Tool Support. 2005.

• van Dongen, Boudewijn F.; van der Aalst, Wil M.P.:
  EMiT: A Process Mining Tool. 2004.

• van der Aalst, Wil M.P.; Aldred, Lachlan; Dumas, Marlon; ter Hofstede, Arthur H.M.:
  Design and Implementation of the YAWL System. 2004.

• van der Aalst, Wil M.P.:
  Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. 2004.

• van der Aalst, W.M.P.:
  Discovering Coordination Patterns using Process Mining. 2004.

• van der Aalst, W.M.P.:
  Putting Petri Nets to Work in the Workflow Arena. 2003.

• van der Aalst, Wil M.P.:
  Inheritance of Business Processes: A Journey Visiting Four Notorious Problems. 2003.

• van der Aalst, W. M. P.; van Dongena, B. F.; Herbst, J.; Marustera, L.; Schimm, G.; Weijters, A. J. M. M.:
  Workflow mining: A survey of issues and approaches. 2003.

• van der Aalst, Wil M.P.; Dumas, Marlon; ter Hofstede, Arthur H.M.:
  Web Service Composition Languages: Old Wine in New Bottles?. 2003.

• van der Aalst, Wil M.P.; ter Hofstede, Arthur H.M.; Weske, Mathias:
  Business Process Management: A Survey. 2003.

• Kiepuszewski, B.; ter Hofstede, A.H.M.; van der Aalst, W.M.P.:
  Fundamentals of Control Flow in Workflows. 2002.

• Kumar, A.; van der Aalst, W.M.P.; Verbeek, H.M.W.:
  Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance?. 2002.

• Maruster, L.; van der Aalst, W.M.P.; Weijters, A.J.M.M.; van den Bosch, A.; Daelemans, W.:
  Automated Discovery of Workflow Models from Hospital Data. 2002.

• Maruster, L.; Weijters, A.J.M.M.; van der Aalst, W.M.P.; van den Bosch, A.:
  Process Mining: Discovering Direct Successors in Process Logs. 2002.

• Maruster, L.; Wortmann, J.C.; Weijters, A.J.M.M.; van der Aalst, W.M.P.:
  Discovering Distributed Processes in Supply Chains. 2002.

• van der Aalst, W.M.P.:
  Inheritance of Interorganizational Workflows to Enable Business-to-Business E-commerce. 2002.

• van der Aalst, W.M.P.; Basten, T.:
  Inheritance of Workflows: An Approach to Tackling Problems Related to Change. 2002.

• van der Aalst, W.M.P.; Dumas, M.; ter Hofstede, A.H.M.; Wohed, P.:
  Pattern-Based Analysis of BPML (and WSCI). 2002.

• van der Aalst, W.M.P.; Hirnschall, A.; Verbeek, H.M.W.:
  An Alternative Way to Analyze Workflow Graphs. 2002.

• van der Aalst, W.M.P.; ter Hofstede, A.H.M.; Kiepuszewski, B.; Barros, A.P.:
  Workflow Patterns. 2002.

• van der Aalst, W.M.P.; ter Hofstede, A.H.M. ter:
  YAWL: Yet Another Workflow Language. 2002.

• van der Aalst, W.M.P.; van de Graaf, M.:
  Workflow Systems. 2002.

• van der Aalst, Wil M.P.; van Hee, Kees:
  Workflow Management: Models, Methods, and Systems. 2002.

• van der Aalst, W.M.P.; van Hee, K.M.:
  Workflow Management: Models, Methods, and Systems. 2002.

• van der Aalst, W.M.P.; van Hee, K.M.; van der Toorn, R.A.:
  Component-Based Software Architectures: A Framework Based on Inheritance of Behavior. 2002.

• van der Aalst, W.M.P.; van Hee, K.M.; van der Toorn, R.A.:
  Compositionality of Projection Inheritance (Erratum). 2002.

• van der Aalst, W.M.P.; van Hee, K.M.; van der Toorn, R.A.:
  Construction Rules for Component-Based Architectures. 2002.

• van der Aalst, W.M.P.; Weijters, A.J.M.M.; Maruster, L.:
  Workflow Mining: Which Processes can be Rediscovered?. 2002.

• Verbeek, H.M.W.; Hirnschall, A.; van der Aalst, W.M.P.:
  XRL/Flower: Supporting Interorganizational Workflows using XRL/Petri-net Technology. 2002.

• Wamelink, J.W.F.; Stoffele, M.; van der Aalst, W.M.P.:
  Workflow Management in Construction: Opportunities for the Future. 2002.

• Weijters, A.J.M.M.; van der Aalst, W.M.P.:
  Rediscovering Workflow Models from Event-Based Data. 2002.

• Weijters, A.J.M.M.; van der Aalst, W.M.P.:
  Workflow Mining: Discovering Workflow Models from Event-Based Data. 2002.

• Wohed, P.; van der Aalst, W.M.P.; Dumas, M.; ter Hofstede, A.H.M.:
  Pattern-Based Analysis of BPEL4WS. 2002.

• van der Aalst, W.M.P.; Desel, J.; Kindler, E.:
  On the Semantics of EPCs: A Vicious Circle. 2002.

• van der Aalst, W.M.P.; van Dongen, B.F.:
  Discovering Workflow Performance Models from Timed Logs. 2002.

• van der Aalst, W.M.P:
  Inheritance of Dynamic Behaviour in UML. 2002.

• van der Aalst, W.M.P.; ter Hofstede, A.H.M.:
  Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. 2002.

• van der Aalst, Wil M. P.:
  Making Work Flow: On the Application of Petri Nets to Business Process Management. 2002.

• van der Aalst, W. M. P.; Hirnschall, A.; Verbeek, H. M. W.:
  An Alternative Way to Analyze Workflow Graphs. 2002.

• van der Aalst, W.M.P.:
  Inheritance and Mining of WF-nets. 2002.

• Basten, T.; van der Aalst, W.M.P.:
  Inheritance of Dynamic Behavior: Development of a Groupware Editor. 2001.

• Kiepuszewski, B.; ter Hofstede, A.H.M.; van der Aalst, W.M.P.:
  Fundamentals of Control Flow in Workflows. 2001.

• Maruster, L.; van der Aalst, W.M.P.; Weijters, T.; van den Bosch, A.; Daelemans, W.:
  Automated Discovery of Workflow Models from Hospital Data. 2001.

• van der Aalst, W.M.P.:
  Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change. 2001.

• van der Aalst, W.M.P.:
  Het kantoor als thuishaven (interview). 2001.

• van der Aalst, W.M.P.:
  Making Work Flow: On the Design, Analysis and Enactment of Business Processes (inaugural lecture given at 30 November 2001). 2001.

• van der Aalst, W.M.P.:
  Patronen voor Werkstroombesturing. 2001.

• van der Aalst, W.M.P.:
  Workflowmanagementsystemen op de pijnbank: Patronen voor werkstroombesturing. 2001.

• van der Aalst, W.M.P.; Barthelmess, P.; Ellis, C.A.; Wainer, J.:
  Proclets: A Framework for Lightweight Interacting Workflow Processes. 2001.

• van der Aalst, W.M.P.; Berens, P.J.S.:
  Beyond Workflow Management: Product-Driven Case Handling. 2001.

• van der Aalst, W.M.P.; Kumar, A.:
  Team-Enabled Workflow Management Systems. 2001.

• van der Aalst, W.M.P.; Reijers, H.A.; Limam, S.:
  Product-driven Workflow Design. 2001.

• van der Aalst, W.M.P.; van Hee, K.M.:
  Workflow Management: Models, Methods, and Systems. 2001.

• van der Aalst, W.M.P.; Verbeek, H.M.W.; Kumar, A.:
  Verification of XRL: An XML-based Workflow Language. 2001.

• van der Aalst, W.M.P.; Verbeek, H.M.W.; Kumar, A.:
  XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (Best paper award). 2001.

• van der Aalst, W.M.P.; Weske, M.:
  The P2P approach to Interorganizational Workflows. 2001.

• Weijters, T.; van der Aalst, W.M.P.:
  Process Mining: Discovering Workflow Models from Event-Based Data. 2001.

• Weijters, T.; van der Aalst, W.M.P.:
  Rediscovering Workflow Models from Event-Based Data. 2001.

• van der Aalst, W.M.P.:
  Valkuilen bij het Selecteren van Workflow Management Systemen. 2001.

• van der Aalst, Wil M.P.; Basten, Twan:
  Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. 2001.

• van der Aalst, W.M.P.:
  Verification of workflow task structures: a Petri net based approach. 2000.

• van der Aalst, W.M.P.:
  Workflow Verifications: Finding Control-Flow Errors Using Petri-Net based Techniques. 2000.

• van der Aalst, Wil M.P.; de Crom, Poul J.N.; Goverde, Roy R.H.M.J.; van Hee, Kees M.; Hofman, Wout J.; Reijers, Hajo A.; van der Toorn, Robert A.:
  ExSpect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. 2000.

• Verbeek, Eric; van der Aalst, Wil M.P.:
  Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. 2000.

• Basten, T.; van der Aalst, W.M.P.:
  Inheritance of Behavior. 1999.

• Kindler, E.; van der Aalst, W.M.P.:
  Liveness, Fairness, and Recurrence. 1999.

• Reijers, H.A.; van der Aalst, W.M.P.:
  Short-Term Simulation: Bridging the Gap between Operational Control and Strategic Decision Making. 1999.

• Sheth, A.P.; van der Aalst, W.M.P.; Arpinar, I.B.:
  Processes Driving the Networked Economy: ProcessPortals, ProcessVortex, and Dynamically Trading Processes. 1999.

• van der Aalst, W.M.P.:
  Flexible Workflow Management Systems: An Approach Based on Generic Process Models. 1999.

• van der Aalst, W.M.P.:
  How to Handle Dynamic Change and Capture Management Information? An Approach Based on Generic Workflow Models. 1999.

• van der Aalst, W.M.P.:
  Interorganizational Workflows: An Approach based on Message Sequence Charts and Petri Nets. 1999.

• van der Aalst, W.M.P.:
  On the automatic generation of workflow processes based on product structures. 1999.

• van der Aalst, W.M.P.:
  V.3.1 Workflow Management. 1999.

• van der Aalst, W.M.P.:
  Woflan: A Petri-net-based Workflow Analyzer. 1999.

• van der Aalst, W.M.P.; Basten, T.:
  Inheritance of Workflows: An approach to tackling problems related to change. 1999.

• van der Aalst, W.M.P.; van Hee, K.M.; van der Toorn, R.A.:
  Component-Based Software Architectures: A Framework Based on Inheritance of Behavior. 1999.

• Verbeek, H.M.W.; Basten, T.; van der Aalst, W.M.P.:
  Diagnosing Workflow Processes using Woflan. 1999.

• van der Aalst, W.M.P.; Moldt, Daniel; Valk, Rüdiger; Wienberg, Frank:
  Enacting Interorganizational Workflows using Nets in Nets. 1999.

• van der Aalst, W.M.P.:
  Inheritance of Business Processes: Four Problems - One Solution. 1999.

• van der Aalst, W.M.P.; Anyanwu, K.:
  Inheritance of Interorganizational Workflows to Enable Business-to-Business E-commerce. 1999.

• van der Aalst, W.M.P.:
  Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information. 1999.

• van der Aalst, W.M.P.; Bussler, C.:
  Tutorial T4 - Workflow Management: Concepts, Models, Methods, and Tools. 1999.

• van der Aalst, W.M.P.; Basten, T.; Verbeek, H.M.W.; Verkoulen, P.A.C.; Voorhoeve, M.:
  Adaptive Workflow: An Approach Based on Inheritance. 1999.

• van der Aalst, W.M.P.; Desel, J.; Kaschek, R.:
  Software Architectures for Business Process Management (SABPM'99), Heidelberg, Germany. 1999.

• van der Aalst, W.M.P.; Basten, T.; Verbeek, H.M.W.; Verkoulen, P.A.C.; Voorhoeve, M.:
  Adaptive Workflow: On the Interplay between Flexibility and Support. 1999.

• van der Aalst, W.M.P.:
  Finding Errors in the Design of a Workflow Process: A Petri-net-based Approach. 1998.

• van der Aalst, W.M.P.:
  Formalization and Verification of Event-driven Process Chains. 1998.

• van der Aalst, W.M.P.:
  Reengineering Knock-out Processes. 1998.

• van der Aalst, W.M.P.:
  The application of Petri nets to workflow management. 1998.

• van der Aalst, W.M.P.; Kindler, E.; Desel, J.:
  Beyond Asymmetric Choice: A note on some extensions. 1998.

• van der Aalst, W.M.P.; Rigter, J.:
  Toestanden vermijden met toestanden: Valkuilen bij het modelleren van bedrijfsprocessen. 1998.

• van der Aalst, W.M.P.; ter Hofstede, A.H.M.:
  Verification of Workflow Task Structures: A Petri-net-based Approach. 1998.

• Witlox, B.R.T.M.; van der Wolf, P.; Aarts, E.H.L.; van der Aalst, W.M.P.:
  Performance Analysis of Dataflow Architectures Using Timed Coloured Petri Nets. 1998.

• van der Aalst, W.M.P.:
  Research en Wetenschap: TUE Sectie Specificeren en Modelleren van InformatieSystemen (SMIS). 1998.

• van de Graaf, M.C.A.; van der Aalst, W.M.P.:
  Chapter 27: Workflow Systems. 1998.

• van der Aalst, W.M.P.:
  Chapter 25: Application Domains: Introduction. 1998.

• van der Aalst, W.M.P.:
  Chapter 29: Application Domains: Conclusion. 1998.

• van der Aalst, W.M.P.:
  Interorganizational Workflows. 1998.

• van der Aalst, W.M.P.:
  Changing Workflows: On the interplay between flexibility and support. 1998.

• van der Aalst, W.M.P.; De Michelis, G.; Ellis, C.A.:
  Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98). 1998.

• van der Aalst, W.M.P.:
  Modeling and Analyzing Interorganizational Workflows. 1998.

• van der Aalst, W.M.P.:
  Workflow Management: Modellen, Methoden en Systemen. 1997.

• van der Aalst, W.M.P.; Verbeek, H.M.W.; Hauschildt, D.:
  A Petri-net-based Tool to Analyze Workflows. 1997.

• van der Aalst, W.M.P.:
  Verification of Workflow Nets. 1997.

• van der Aalst, W.M.P.; Basten, T.:
  Life-Cycle Inheritance - A Petri-Net-Based Approach. 1997.

• Basten, T.; van der Aalst, W.M.P.:
  A Process-Algebraic Approach to Life-Cycle Inheritance: Inheritance = Encapsulation + Abstraction. 1996.

• Henstra, D.A.; Verspui, L.; van der Aalst, W.M.P.; Valstar, A.:
  Smartcard Kentenlogistiek. 1996.

• van der Aalst, W.M.P.:
  Parallel Computation of Reachable Dead States in a Free-choice Petri Net. 1996.

• van der Aalst, W.M.P.:
  Structural Characterizations of Sound Workflow Nets. 1996.

• van der Aalst, W.M.P.:
  Three Good Reasons for Using a Petri-net-based Workflow Management System. 1996.

• van der Aalst, W.M.P.:
  Three Good reasons for Using a Petri-net-based Workflow Management System. 1996.

• van der Aalst, W.M.P.; Aarts, A.; Koppelman, H.; Schuwer, R.V.; al., et:
  Informatiesystemen: Modelleren en Specificeren. 1996.

• van der Aalst, W.M.P.; Basten, T.:
  Life-Cycle Inheritance: A Petri-Net-Based Approach. 1996.

• van der Aalst, W.M.P.; van Hee, K.M.:
  Business Process Redesign: A Petri-net-based approach. 1996.

• Voorhoeve, M.; van der Aalst, W.M.P.:
  Conservative Adaption of Workflow. 1996.

• van der Aalst, W.M.P.:
  Petri-net-based Workflow Management Software. 1996.

• van der Aalst, W.M.P.:
  A class of Petri net for modeling and analyzing business processes. 1995.

• van der Aalst, W.M.P.:
  Handboek simulatie. 1995.

• van der Aalst, W.M.P.:
  Petri net based scheduling. 1995.

• van der Aalst, W.M.P.; Odijk, M.A.:
  Analysis of railway stations by means of interval timed colored Petri nets. 1995.

• van der Aalst, W.M.P.; van Hee, K.M.; Houben, G.J.:
  Modelleren en Analyseren van Workflow: een Aanpak op Basis van Petri-netten. 1995.

• Ciancarini, P.; Jagannathan, V.J.; Klein, M.; van der Aalst, W.M.P.:
  Working Group Report on Process. 1995.

• van der Aalst, W.M.P.; van Hee, K.M.:
  Framework for Business Process Redesign. 1995.

• van der Aalst, W.M.P.:
  Modelling and analysis of production systems using a Petri net based approach. 1994.

• van der Aalst, W.M.P.:
  Procesmodelleren met behulp van Petri-netten. 1994.

• van der Aalst, W.M.P.:
  Putting high-level Petri nets to work in industry. 1994.

• van der Aalst, W.M.P.:
  Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds. 1994.

• van der Aalst, W.M.P.; Houben, G.J.; van der Toorn, P.; van de Vlist, P.:
  Formele specificatie en simulatie: de RODOS-case. 1994.

• van der Aalst, W.M.P.; van Hee, K.M.:
  Integrated systems modelling: an object oriented approach. 1994.

• van der Aalst, W.M.P.; van Hee, K.M.; Houben, G.J.:
  Modelling workflow management systems with high-level Petri nets. 1994.

• van der Aalst, W.M.P.; van Hee, K.M.; Voorhoeve, M.:
  The DONS Rail Scheduling System. 1994.

• van der Aalst, W.M.P.:
  Interval Timed Coloured Petri Nets and their Analysis. 1993.

• van der Aalst, W.M.P.; van Hee, K.M.; Verkoulen, P.A.C.:
  Interval Timed Coloured Petri Nets and their Analysis. 1993.

• van der Aalst, W.M.P.:
  Modelling and Analysis of Complex Logistic Systems. 1992.

• van der Aalst, W.M.P.:
  Timed coloured Petri nets and their application to logistics. 1992.

• van der Aalst, W.M.P.:
  Logistics: a Systems Oriented Approach. 1992.

• van der Aalst, W.M.P.; Waltmans, A.W.:
  Modelling logistic systems with EXSPECT. 1991.

• van der Aalst, W.M.P.; Waltmans, A.W.:
  Modelling Flexible Manufacturing Systems with EXSPECT. 1990.

• van der Aalst, W.M.P.; Voorhoeve, M.; Waltmans, A.W.:
  The Taste Project. 1989.

Back to the Petri Nets Bibliography