Search the dblp DataBase
Wil M. P. van der Aalst :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Wil M. P. van der Aalst Verification of Workflow Nets. [Citation Graph (2, 0)][DBLP ] ICATPN, 1997, pp:407-426 [Conf ] Amit P. Sheth , Wil M. P. van der Aalst , Ismailcem Budak Arpinar Processes Driving the Networked Economy. [Citation Graph (1, 0)][DBLP ] IEEE Concurrency, 1999, v:7, n:3, pp:18-31 [Journal ] Wil M. P. van der Aalst , Arthur H. M. ter Hofstede Verification Of Workflow Task Structures: A Petri-net-baset Approach. [Citation Graph (1, 0)][DBLP ] Inf. Syst., 2000, v:25, n:1, pp:43-69 [Journal ] Wil M. P. van der Aalst Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. [Citation Graph (0, 0)][DBLP ] Lectures on Concurrency and Petri Nets, 2003, pp:1-65 [Conf ] Wil M. P. van der Aalst Modeling and Analyzing Interorganizational Workflows. [Citation Graph (0, 0)][DBLP ] ACSD, 1998, pp:262-272 [Conf ] Nick Russell , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , Petia Wohed On the suitability of UML 2.0 activity diagrams for business process modelling. [Citation Graph (0, 0)][DBLP ] APCCM, 2006, pp:95-104 [Conf ] Wil M. P. van der Aalst Making Work Flow: On the Application of Petri Nets to Business Process Management. [Citation Graph (0, 0)][DBLP ] ICATPN, 2002, pp:1-22 [Conf ] Wil M. P. van der Aalst Interval Timed Coloured Petri Nets and their Analysis. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1993, pp:453-472 [Conf ] Wil M. P. van der Aalst , Twan Basten Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. [Citation Graph (0, 0)][DBLP ] ICATPN, 2001, pp:32-52 [Conf ] Wil M. P. van der Aalst , Twan Basten Life-Cycle Inheritance: A Petri-Net-Based Approach. [Citation Graph (0, 0)][DBLP ] ICATPN, 1997, pp:62-81 [Conf ] Wil M. P. van der Aalst , Poul J. N. de Crom , Roy R. H. M. J. Goverde , Kees M. van Hee , Wout J. Hofman , Hajo A. Reijers , Robert A. van der Toorn Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2000, pp:455-464 [Conf ] Wil M. P. van der Aalst , Ana Karla A. de Medeiros , A. J. M. M. Weijters Genetic Process Mining. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:48-69 [Conf ] Boudewijn F. van Dongen , Wil M. P. van der Aalst EMiT: A Process Mining Tool. [Citation Graph (0, 0)][DBLP ] ICATPN, 2004, pp:454-463 [Conf ] Boudewijn F. van Dongen , Ana Karla A. de Medeiros , H. M. W. Verbeek , A. J. M. M. Weijters , Wil M. P. van der Aalst The ProM Framework: A New Era in Process Mining Tool Support. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:444-454 [Conf ] H. M. W. (Eric) Verbeek , Wil M. P. van der Aalst Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. [Citation Graph (0, 0)][DBLP ] ICATPN, 2000, pp:475-484 [Conf ] Moe Thandar Wynn , David Edmond , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:423-443 [Conf ] Wil M. P. van der Aalst Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2000, pp:161-183 [Conf ] Wil M. P. van der Aalst , Alexander Dreiling , Florian Gottschalk , Michael Rosemann , Monique H. Jansen-Vullers Configurable Process Models as a Basis for Reference Modeling. [Citation Graph (0, 0)][DBLP ] Business Process Management Workshops, 2005, pp:512-518 [Conf ] Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , Mathias Weske Business Process Management: A Survey. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2003, pp:1-12 [Conf ] Wil M. P. van der Aalst , Ana Karla A. de Medeiros , A. J. M. M. Weijters Process Equivalence: Comparing Two Process Models Based on Observed Behavior. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2006, pp:129-144 [Conf ] Wil M. P. van der Aalst , Minseok Song Mining Social Networks: Uncovering Interaction Patterns in Business Processes. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2004, pp:244-260 [Conf ] Christian W. Günther , Wil M. P. van der Aalst A Generic Import Framework for Process Event Logs. [Citation Graph (0, 0)][DBLP ] Business Process Management Workshops, 2006, pp:81-92 [Conf ] Ana Karla A. de Medeiros , A. J. M. M. Weijters , Wil M. P. van der Aalst Genetic Process Mining: A Basic Approach and Its Challenges. [Citation Graph (0, 0)][DBLP ] Business Process Management Workshops, 2005, pp:203-215 [Conf ] Petia Wohed , Wil M. P. van der Aalst , Marlon Dumas , Arthur H. M. ter Hofstede , Nick Russell On the Suitability of BPMN for Business Process Modelling. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2006, pp:161-176 [Conf ] Jan Mendling , Michael Moser , Gustaf Neumann , H. M. W. Verbeek , Boudewijn F. van Dongen , Wil M. P. van der Aalst Faulty EPCs in the SAP Reference Model. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2006, pp:451-457 [Conf ] Moe Thandar Wynn , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , David Edmond Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2006, pp:389-394 [Conf ] Maja Pesic , Wil M. P. van der Aalst A Declarative Approach for Flexible Business Processes Management. [Citation Graph (0, 0)][DBLP ] Business Process Management Workshops, 2006, pp:169-180 [Conf ] Jan Recker , Michael Rosemann , Wil M. P. van der Aalst , Jan Mendling On the Syntax of Reference Model Configuration - Transforming the C-EPC into Lawful EPC Models. [Citation Graph (0, 0)][DBLP ] Business Process Management Workshops, 2005, pp:497-511 [Conf ] A. Rozinat , Wil M. P. van der Aalst Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. [Citation Graph (0, 0)][DBLP ] Business Process Management Workshops, 2005, pp:163-176 [Conf ] A. Rozinat , Wil M. P. van der Aalst Decision Mining in ProM. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2006, pp:420-425 [Conf ] Wil M. P. van der Aalst Business Alignment: Using Process Mining as a Tool for Delta Analysis. [Citation Graph (0, 0)][DBLP ] CAiSE Workshops (2), 2004, pp:138-145 [Conf ] Wil M. P. van der Aalst , Lachlan Aldred , Marlon Dumas , Arthur H. M. ter Hofstede Design and Implementation of the YAWL System. [Citation Graph (0, 0)][DBLP ] CAiSE, 2004, pp:142-159 [Conf ] Wil M. P. van der Aalst , Alexander Hirnschall , H. M. W. (Eric) Verbeek An Alternative Way to Analyze Workflow Graphs. [Citation Graph (0, 0)][DBLP ] CAiSE, 2002, pp:535-552 [Conf ] Wil M. P. van der Aalst , Mathias Weske The P2P Approach to Interorganizational Workflows. [Citation Graph (0, 0)][DBLP ] CAiSE, 2001, pp:140-156 [Conf ] Michael Adams , Arthur H. M. ter Hofstede , David Edmond , Wil M. P. van der Aalst Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets. [Citation Graph (0, 0)][DBLP ] CAiSE Short Paper Proceedings, 2005, pp:- [Conf ] Boudewijn F. van Dongen , Wil M. P. van der Aalst A Meta Model for Process Mining Data. [Citation Graph (0, 0)][DBLP ] EMOI-INTEROP, 2005, pp:- [Conf ] Boudewijn F. van Dongen , Wil M. P. van der Aalst , H. M. W. Verbeek Verification of EPCs: Using Reduction Rules and Petri Nets. [Citation Graph (0, 0)][DBLP ] CAiSE, 2005, pp:372-386 [Conf ] Ana Karla A. de Medeiros , Boudewijn F. van Dongen , Wil M. P. van der Aalst , A. J. M. M. Weijters Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm. [Citation Graph (0, 0)][DBLP ] UMICS, 2004, pp:151-165 [Conf ] Jan Recker , Jan Mendling , Wil M. P. van der Aalst , Michael Rosemann Model-Driven Enterprise Systems Configuration. [Citation Graph (0, 0)][DBLP ] CAiSE, 2006, pp:369-383 [Conf ] Nick Russell , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede Workflow Exception Patterns. [Citation Graph (0, 0)][DBLP ] CAiSE, 2006, pp:288-302 [Conf ] Nick Russell , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , David Edmond Workflow Resource Patterns: Identification, Representation and Tool Support. [Citation Graph (0, 0)][DBLP ] CAiSE, 2005, pp:216-232 [Conf ] Jan Hidders , Marlon Dumas , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , Jan Verelst When are two Workflows the Same? [Citation Graph (0, 0)][DBLP ] CATS, 2005, pp:3-11 [Conf ] Wil M. P. van der Aalst Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information? [Citation Graph (0, 0)][DBLP ] CoopIS, 1999, pp:115-126 [Conf ] Wil M. P. van der Aalst , Paulo Barthelmess , Clarence A. Ellis , Jacques Wainer Workflow Modeling Using Proclets. [Citation Graph (0, 9)][DBLP ] CoopIS, 2000, pp:198-209 [Conf ] Wil M. P. van der Aalst , Christoph Bussler , Avigdor Gal PC Co-chairs' Message. [Citation Graph (0, 0)][DBLP ] CoopIS/DOA/ODBASE (1), 2004, pp:1- [Conf ] Wil M. P. van der Aalst , Alistair P. Barros , Arthur H. M. ter Hofstede , Bartek Kiepuszewski Advanced Workflow Patterns. [Citation Graph (0, 6)][DBLP ] CoopIS, 2000, pp:18-29 [Conf ] Ana Karla A. de Medeiros , Wil M. P. van der Aalst , A. J. M. M. Weijters Workflow Mining: Current Status and Future Directions. [Citation Graph (0, 0)][DBLP ] CoopIS/DOA/ODBASE, 2003, pp:389-406 [Conf ] Twan Basten , Wil M. P. van der Aalst Inheritance of Dynamic Behavior: Development of a Groupware Editor. [Citation Graph (0, 0)][DBLP ] Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:391-405 [Conf ] Wil M. P. van der Aalst Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation, 1994, pp:425-444 [Conf ] Huixin Tan , Wil M. P. van der Aalst Implementation of a YAWL Work-List Handler based on the Resource Patterns. [Citation Graph (0, 0)][DBLP ] CSCWD, 2006, pp:1184-1189 [Conf ] Wil M. P. van der Aalst Flexible Workflow Management Systems: An Approach Based on Generic Process Models. [Citation Graph (0, 0)][DBLP ] DEXA, 1999, pp:186-195 [Conf ] Marc Voorhoeve , Wil M. P. van der Aalst Ad-hoc Workflow: Problems and Solutions. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1997, pp:36-40 [Conf ] Wil M. P. van der Aalst Inheritance of Business Processes: A Journey Visiting Four Notorious Problems. [Citation Graph (0, 0)][DBLP ] Petri Net Technology for Communication-Based Systems, 2003, pp:383-408 [Conf ] Laura Maruster , A. J. M. M. Weijters , Wil M. P. van der Aalst , Antal van den Bosch Process Mining: Discovering Direct Successors in Process Logs. [Citation Graph (0, 0)][DBLP ] Discovery Science, 2002, pp:364-373 [Conf ] Wil M. P. van der Aalst , Boudewijn F. van Dongen Discovering Workflow Performance Models from Timed Logs. [Citation Graph (0, 0)][DBLP ] EDCIS, 2002, pp:45-63 [Conf ] Jan Mendling , Jan Recker , Michael Rosemann , Wil M. P. van der Aalst Towards the Interchange of Configurable EPCs. [Citation Graph (0, 0)][DBLP ] EMISA, 2005, pp:8-21 [Conf ] Wil M. P. van der Aalst , Marlon Dumas , Arthur H. M. ter Hofstede , Nick Russell , H. M. W. (Eric) Verbeek , Petia Wohed Life After BPEL? [Citation Graph (0, 0)][DBLP ] EPEW/WS-FM, 2005, pp:35-50 [Conf ] Wil M. P. van der Aalst , Jörg Desel , Ekkart Kindler On the semantics of EPCs: A vicious circle. [Citation Graph (0, 0)][DBLP ] EPK, 2002, pp:71-79 [Conf ] Boudewijn F. van Dongen , Wil M. P. van der Aalst Multi-phase Process Mining: Building Instance Graphs. [Citation Graph (0, 0)][DBLP ] ER, 2004, pp:362-376 [Conf ] Nick Russell , Arthur H. M. ter Hofstede , David Edmond , Wil M. P. van der Aalst Workflow Data Patterns: Identification, Representation and Tool Support. [Citation Graph (0, 0)][DBLP ] ER, 2005, pp:353-368 [Conf ] Petia Wohed , Wil M. P. van der Aalst , Marlon Dumas , Arthur H. M. ter Hofstede Analysis of Web Services Composition Languages: The Case of BPEL4WS. [Citation Graph (0, 0)][DBLP ] ER, 2003, pp:200-215 [Conf ] Petia Wohed , Wil M. P. van der Aalst , Marlon Dumas , Arthur H. M. ter Hofstede , Nick Russell Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams. [Citation Graph (0, 0)][DBLP ] ER, 2005, pp:63-78 [Conf ] Wil M. P. van der Aalst , Marlon Dumas , Arthur H. M. ter Hofstede Web Service Composition Languages: Old Wine in New Bottles?. [Citation Graph (0, 0)][DBLP ] EUROMICRO, 2003, pp:298-307 [Conf ] Wil M. P. van der Aalst , P. J. S. Berens Beyond workflow management: product-driven case handling. [Citation Graph (0, 0)][DBLP ] GROUP, 2001, pp:42-51 [Conf ] Wil M. P. van der Aalst , Twan Basten , H. M. W. (Eric) Verbeek , Peter A. C. Verkoulen , Marc Voorhoeve Adaptive Workflow-On the Interplay between Flexibility and Support. [Citation Graph (0, 0)][DBLP ] ICEIS, 1999, pp:353-360 [Conf ] Chun Ouyang , Eric Verbeek , Wil M. P. van der Aalst , Stephan Breutel , Marlon Dumas , Arthur H. M. ter Hofstede WofBPEL: A Tool for Automated Analysis of BPEL Processes. [Citation Graph (0, 0)][DBLP ] ICSOC, 2005, pp:484-489 [Conf ] Chun Ouyang , Marlon Dumas , Arthur H. M. ter Hofstede , Wil M. P. van der Aalst From BPMN Process Models to BPEL Web Services. [Citation Graph (0, 0)][DBLP ] ICWS, 2006, pp:285-292 [Conf ] Wil M. P. van der Aalst Modelling and Analysis of Complex Logistic Systems. [Citation Graph (0, 0)][DBLP ] Integration in Production Management Systems, 1992, pp:277-292 [Conf ] Laura Maruster , J. C. Wortmann , A. J. M. M. Weijters , Wil M. P. van der Aalst Discovering Distributed Processes in Supply Chains. [Citation Graph (0, 0)][DBLP ] APMS, 2002, pp:219-230 [Conf ] Wil M. P. van der Aalst , H. T. de Beer , Boudewijn F. van Dongen Process Mining and Verification of Properties: An Approach Based on Temporal Logic. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2005, pp:130-147 [Conf ] Wil M. P. van der Aalst , Jens Bæk Jørgensen , Kristian Bisgaard Lassen Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2005, pp:22-39 [Conf ] Lachlan Aldred , Wil M. P. van der Aalst , Marlon Dumas , Arthur H. M. ter Hofstede On the Notion of Coupling in Communication Middleware. [Citation Graph (0, 0)][DBLP ] OTM Conferences (2), 2005, pp:1015-1033 [Conf ] Christian W. Günther , Stefanie Rinderle , Manfred Reichert , Wil M. P. van der Aalst Change Mining in Adaptive Process Management Systems. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2006, pp:309-326 [Conf ] Kristian Bisgaard Lassen , Wil M. P. van der Aalst WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2006, pp:127-144 [Conf ] Mohsen Rouached , Walid Gaaloul , Wil M. P. van der Aalst , Sami Bhiri , Claude Godart Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2006, pp:408-425 [Conf ] Michael Adams , Arthur H. M. ter Hofstede , David Edmond , Wil M. P. van der Aalst Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2006, pp:291-308 [Conf ] Wil M. P. van der Aalst , Akhil Kumar , H. M. W. (Eric) Verbeek Organizational Modeling in UML and XML in the Context of Workflow Systems. [Citation Graph (0, 0)][DBLP ] SAC, 2003, pp:603-608 [Conf ] Jan Mendling , Jan Recker , Michael Rosemann , Wil M. P. van der Aalst Generating correct EPCs from configured C-EPCs. [Citation Graph (0, 0)][DBLP ] SAC, 2006, pp:1505-1510 [Conf ] H. M. W. (Eric) Verbeek , Alexander Hirnschall , Wil M. P. van der Aalst XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. [Citation Graph (0, 0)][DBLP ] WES, 2002, pp:93-108 [Conf ] Wil M. P. van der Aalst , Kees M. van Hee Framework for business process redesign. [Citation Graph (0, 0)][DBLP ] WETICE, 1995, pp:36-45 [Conf ] Paolo Ciancarini , V. Juggy Jagannathan , Mark Klein , Wil M. P. van der Aalst Working group report on process [production process workflow in cooperative virtual enterprises]. [Citation Graph (0, 0)][DBLP ] WETICE, 1995, pp:8-0 [Conf ] Alexander Dreiling , Michael Rosemann , Wil M. P. van der Aalst , Wasim Sadiq , Sana Khan Model-Driven Process Configuration of Enterprise Systems. [Citation Graph (0, 0)][DBLP ] Wirtschaftsinformatik, 2005, pp:687-706 [Conf ] Wil M. P. van der Aalst , Maja Pesic DecSerFlow: Towards a Truly Declarative Service Flow Language. [Citation Graph (0, 0)][DBLP ] WS-FM, 2006, pp:1-23 [Conf ] Bartek Kiepuszewski , Arthur H. M. ter Hofstede , Wil M. P. van der Aalst Fundamentals of control flow in workflows. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2003, v:39, n:3, pp:143-209 [Journal ] H. M. W. (Eric) Verbeek , Twan Basten , Wil M. P. van der Aalst Diagnosing Workflow Processes using Woflan. [Citation Graph (0, 0)][DBLP ] Comput. J., 2001, v:44, n:4, pp:246-279 [Journal ] Wil M. P. van der Aalst , Hajo A. Reijers , Minseok Song Discovering Social Networks from Event Logs. [Citation Graph (0, 0)][DBLP ] Computer Supported Cooperative Work, 2005, v:14, n:6, pp:549-593 [Journal ] Wil M. P. van der Aalst How to handle dynamic change and capture management information? An approach based on generic workflow models. [Citation Graph (0, 0)][DBLP ] Comput. Syst. Sci. Eng., 2001, v:16, n:5, pp:295-318 [Journal ] Laura Maruster , A. J. M. M. Weijters , Wil M. P. van der Aalst , Antal van den Bosch A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs. [Citation Graph (0, 0)][DBLP ] Data Min. Knowl. Discov., 2006, v:13, n:1, pp:67-87 [Journal ] Wil M. P. van der Aalst , Boudewijn F. van Dongen , Joachim Herbst , Laura Maruster , Guido Schimm , A. J. M. M. Weijters Workflow mining: A survey of issues and approaches. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 2003, v:47, n:2, pp:237-267 [Journal ] Wil M. P. van der Aalst , Akhil Kumar A reference model for team-enabled workflow management systems. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 2001, v:38, n:3, pp:335-363 [Journal ] Wil M. P. van der Aalst , Mathias Weske , Dolf Grünbauer Case handling: a new paradigm for business process support. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 2005, v:53, n:2, pp:129-162 [Journal ] Schahram Dustdar , Thomas Hoffmann , Wil M. P. van der Aalst Mining of ad-hoc business processes with TeamLog. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 2005, v:55, n:2, pp:129-158 [Journal ] Monique H. Jansen-Vullers , Wil M. P. van der Aalst , Michael Rosemann Mining configurable enterprise information systems. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 2006, v:56, n:3, pp:195-244 [Journal ] Mathias Weske , Wil M. P. van der Aalst , H. M. W. (Eric) Verbeek Advances in business process management. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 2004, v:50, n:1, pp:1-8 [Journal ] Wil M. P. van der Aalst , Boualem Benatallah , Fabio Casati , Francisco Curbera , Eric Verbeek Business process management: Where business processes and web services meet. [Citation Graph (0, 0)][DBLP ] Data Knowl. Eng., 2007, v:61, n:1, pp:1-5 [Journal ] Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , Bartek Kiepuszewski , Alistair P. Barros Workflow Patterns. [Citation Graph (0, 0)][DBLP ] Distributed and Parallel Databases, 2003, v:14, n:1, pp:5-51 [Journal ] Wil M. P. van der Aalst Re-engineering knock-out processes. [Citation Graph (0, 0)][DBLP ] Decision Support Systems, 2001, v:30, n:4, pp:451-468 [Journal ] Wil M. P. van der Aalst Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming. [Citation Graph (0, 0)][DBLP ] Decision Support Systems, 2006, v:42, n:3, pp:1843-1859 [Journal ] Wil M. P. van der Aalst , Michael Rosemann , Marlon Dumas Deadline-based escalation in process-aware information systems. [Citation Graph (0, 0)][DBLP ] Decision Support Systems, 2007, v:43, n:2, pp:492-511 [Journal ] Wil M. P. van der Aalst Challenges in Business Process Management: Verification of Business Processing Using Petri Nets. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 2003, v:80, n:, pp:174-199 [Journal ] Wil M. P. van der Aalst Inheritance of Interorganizational Workflows to Enable Business-to-Business. [Citation Graph (0, 0)][DBLP ] Electronic Commerce Research, 2002, v:2, n:3, pp:195-231 [Journal ] Wil M. P. van der Aalst , Ana Karla A. de Medeiros Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:3-21 [Journal ] Steffen Staab , Wil M. P. van der Aalst , V. Richard Benjamins , Amit P. Sheth , John A. Miller , Christoph Bussler , Alexander Maedche , Dieter Fensel , Dennis Gannon Web Services: Been There, Done That? [Citation Graph (0, 0)][DBLP ] IEEE Intelligent Systems, 2003, v:18, n:1, pp:72-85 [Journal ] Wil M. P. van der Aalst , Paulo Barthelmess , Clarence A. Ellis , Jacques Wainer Proclets: A Framework for Lightweight Interacting Workflow Processes. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 2001, v:10, n:4, pp:443-481 [Journal ] Juliane Dehnert , Wil M. P. van der Aalst Bridging The Gap Between Business Models And Workflow Specifications. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 2004, v:13, n:3, pp:289-332 [Journal ] Hajo A. Reijers , J. H. M. Rigter , Wil M. P. van der Aalst The Case Handling Case. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 2003, v:12, n:3, pp:365-391 [Journal ] Wil M. P. van der Aalst Formalization and verification of event-driven process chains. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1999, v:41, n:10, pp:639-650 [Journal ] Ekkart Kindler , Wil M. P. van der Aalst Liveness, Fairness, and Recurrence in Petri Nets. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1999, v:70, n:6, pp:269-27 [Journal ] Wil M. P. van der Aalst , Arthur H. M. ter Hofstede YAWL: yet another workflow language. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 2005, v:30, n:4, pp:245-275 [Journal ] Michael Rosemann , Wil M. P. van der Aalst A configurable reference modelling language. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 2007, v:32, n:1, pp:1-23 [Journal ] Wil M. P. van der Aalst , Hajo A. Reijers , A. J. M. M. Weijters , Boudewijn F. van Dongen , Ana Karla Alves de Medeiros , Minseok Song , H. M. W. (Eric) Verbeek Business process mining: An industrial application. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 2007, v:32, n:5, pp:713-732 [Journal ] Wil M. P. van der Aalst Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change. [Citation Graph (0, 0)][DBLP ] Information Systems Frontiers, 2001, v:3, n:3, pp:297-317 [Journal ] Wil M. P. van der Aalst The Application of Petri Nets to Workflow Management. [Citation Graph (0, 0)][DBLP ] Journal of Circuits, Systems, and Computers, 1998, v:8, n:1, pp:21-66 [Journal ] Twan Basten , Wil M. P. van der Aalst Inheritance of behavior. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2001, v:47, n:2, pp:47-145 [Journal ] Wil M. P. van der Aalst Business alignment: using process mining as a tool for Delta analysis and conformance testing. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 2005, v:10, n:3, pp:198-211 [Journal ] Wil M. P. van der Aalst , Michiel A. Odijk Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 1995, v:9, n:3, pp:241-263 [Journal ] Wil M. P. van der Aalst , Kees M. van Hee , Robert A. van der Toorn Component-based software architectures: a framework based on inheritance of behavior. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2002, v:42, n:2-3, pp:129-171 [Journal ] Wil M. P. van der Aalst , Kees M. van Hee , Robert A. van der Toorn "Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171]. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2002, v:44, n:3, pp:343-344 [Journal ] Wil M. P. van der Aalst , Twan Basten Inheritance of workflows: an approach to tackling problems related to change. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:270, n:1-2, pp:125-203 [Journal ] Wil M. P. van der Aalst , Ton Weijters , Laura Maruster Workflow Mining: Discovering Process Models from Event Logs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 2004, v:16, n:9, pp:1128-1142 [Journal ] Wil M. P. van der Aalst , Christian W. Günther Finding Structure in Unstructured Processes: The Case for Process Mining. [Citation Graph (0, 0)][DBLP ] ACSD, 2007, pp:3-12 [Conf ] Wil M. P. van der Aalst , Boudewijn F. van Dongen , Christian W. Günther , R. S. Mans , Ana Karla Alves de Medeiros , A. Rozinat , Vladimir Rubin , Minseok Song , H. M. W. (Eric) Verbeek , A. J. M. M. Weijters ProM 4.0: Comprehensive Support for Real Process Analysis. [Citation Graph (0, 0)][DBLP ] ICATPN, 2007, pp:484-494 [Conf ] Kees M. van Hee , Alexander Serebrenik , Natalia Sidorova , Wil M. P. van der Aalst History-Dependent Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2007, pp:164-183 [Conf ] Florian Gottschalk , Wil M. P. van der Aalst , Monique H. Jansen-Vullers SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model. [Citation Graph (0, 0)][DBLP ] BPM, 2007, pp:262-270 [Conf ] Christian W. Günther , Wil M. P. van der Aalst Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics. [Citation Graph (0, 0)][DBLP ] BPM, 2007, pp:328-343 [Conf ] H. M. W. Verbeek , Boudewijn F. van Dongen , Jan Mendling , Wil M. P. van der Aalst Interoperability in the ProM Framework. [Citation Graph (0, 0)][DBLP ] EMOI-INTEROP, 2006, pp:- [Conf ] Lachlan Aldred , Wil M. P. van der Aalst , Marlon Dumas , Arthur H. M. ter Hofstede Communication Abstractions for Distributed Business Processes. [Citation Graph (0, 0)][DBLP ] CAiSE, 2007, pp:409-423 [Conf ] Jan Mendling , Wil M. P. van der Aalst Formalization and Verification of EPCs with OR-Joins Based on State and Context. [Citation Graph (0, 0)][DBLP ] CAiSE, 2007, pp:439-453 [Conf ] Boudewijn F. van Dongen , Jan Mendling , Wil M. P. van der Aalst Structural Patterns for Soundness of Business Process Models. [Citation Graph (0, 0)][DBLP ] EDOC, 2006, pp:116-128 [Conf ] Wil M. P. van der Aalst Trends in business process analysis - from verification to process mining. [Citation Graph (0, 0)][DBLP ] ICEIS (1), 2007, pp:5-9 [Conf ] Vladimir Rubin , Christian W. Günther , Wil M. P. van der Aalst , Ekkart Kindler , Boudewijn F. van Dongen , Wilhelm Schäfer Process Mining Framework for Software Processes. [Citation Graph (0, 0)][DBLP ] ICSP, 2007, pp:169-181 [Conf ] Nataliya Mulyar , Lachlan Aldred , Wil M. P. van der Aalst The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2007, pp:735-753 [Conf ] Michael Adams , Arthur H. M. ter Hofstede , Wil M. P. van der Aalst , David Edmond Dynamic, Extensible and Context-Aware Exception Handling for Workflows. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2007, pp:95-112 [Conf ] Maja Pesic , M. H. Schonenberg , Natalia Sidorova , Wil M. P. van der Aalst Constraint-Based Workflow Models: Change Made Easy. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2007, pp:77-94 [Conf ] Jan Mendling , Gustaf Neumann , Wil M. P. van der Aalst Understanding the Occurrence of Errors in Process Models Based on Metrics. [Citation Graph (0, 0)][DBLP ] OTM Conferences (1), 2007, pp:113-130 [Conf ] Wil M. P. van der Aalst Exploring the CSCW spectrum using process mining. [Citation Graph (0, 0)][DBLP ] Advanced Engineering Informatics, 2007, v:21, n:2, pp:191-199 [Journal ] H. M. W. Verbeek , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. [Citation Graph (0, 0)][DBLP ] Comput. J., 2007, v:50, n:3, pp:294-314 [Journal ] Ana Karla A. de Medeiros , A. J. M. M. Weijters , Wil M. P. van der Aalst Genetic process mining: an experimental evaluation. [Citation Graph (0, 0)][DBLP ] Data Min. Knowl. Discov., 2007, v:14, n:2, pp:245-304 [Journal ] Lijie Wen , Wil M. P. van der Aalst , Jianmin Wang , Jiaguang Sun Mining process models with non-free-choice constructs. [Citation Graph (0, 0)][DBLP ] Data Min. Knowl. Discov., 2007, v:15, n:2, pp:145-180 [Journal ] Rong Liu , Akhil Kumar , Wil M. P. van der Aalst A formal modeling approach for supply chain event management. [Citation Graph (0, 0)][DBLP ] Decision Support Systems, 2007, v:43, n:3, pp:761-778 [Journal ] Giorgio Leonardi , Silvia Panzarasa , Silvana Quaglini , Mario Stefanelli , Wil M. P. van der Aalst Interacting agents through a web-based health serviceflow management system. [Citation Graph (0, 0)][DBLP ] Journal of Biomedical Informatics, 2007, v:40, n:5, pp:486-499 [Journal ] Chun Ouyang , Eric Verbeek , Wil M. P. van der Aalst , Stephan Breutel , Marlon Dumas , Arthur H. M. ter Hofstede Formal semantics and analysis of control flow in WS-BPEL. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2007, v:67, n:2-3, pp:162-198 [Journal ] Maja Pesic , Wil M. P. van der Aalst Modelling work distribution mechanisms using Colored Petri Nets. [Citation Graph (0, 0)][DBLP ] STTT, 2007, v:9, n:3-4, pp:327-352 [Journal ] Compositional Service Trees. [Citation Graph (, )][DBLP ] Using Process Mining to Generate Accurate and Interactive Business Process Maps. [Citation Graph (, )][DBLP ] Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. [Citation Graph (, )][DBLP ] The Need for a Process Mining Evaluation Framework in Research and Practice. [Citation Graph (, )][DBLP ] Linking Domain Models and Process Models for Reference Model Configuration. [Citation Graph (, )][DBLP ] Business Process Simulation for Operational Decision Support. [Citation Graph (, )][DBLP ] Process Mining Based on Clustering: A Quest for Precision. [Citation Graph (, )][DBLP ] On the Formal Generation of Process Redesigns. [Citation Graph (, )][DBLP ] Visual Support for Work Assignment in Process-Aware Information Systems. [Citation Graph (, )][DBLP ] Supporting Flexible Processes through Recommendations Based on History. [Citation Graph (, )][DBLP ] Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. [Citation Graph (, )][DBLP ] Trace Clustering in Process Mining. [Citation Graph (, )][DBLP ] Flexibility Schemes for Workflow Management Systems. [Citation Graph (, )][DBLP ] Abstractions in Process Mining: A Taxonomy of Patterns. [Citation Graph (, )][DBLP ] BPR Best Practices for the Healthcare Domain. [Citation Graph (, )][DBLP ] Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models. [Citation Graph (, )][DBLP ] Process-Aware Information System Development for the Healthcare Domain - Consistency, Reliability, and Effectiveness. [Citation Graph (, )][DBLP ] Activity Mining by Global Trace Segmentation. [Citation Graph (, )][DBLP ] Analyzing Resource Behavior Using Process Mining. [Citation Graph (, )][DBLP ] Visual Support for Work Assignment in YAWL. [Citation Graph (, )][DBLP ] DECLARE Demo: A Constraint-based Workflow Management System. [Citation Graph (, )][DBLP ] ProM: The Process Mining Toolkit. [Citation Graph (, )][DBLP ] Trace Alignment in Process Mining: Opportunities for Process Diagnostics. [Citation Graph (, )][DBLP ] Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. [Citation Graph (, )][DBLP ] Using Process Mining to Analyze and Improve Process Flexibility. [Citation Graph (, )][DBLP ] Product Based Workflow Support: Dynamic Workflow Execution. [Citation Graph (, )][DBLP ] Open Source Workflow: A Viable Direction for BPM?. [Citation Graph (, )][DBLP ] On a Quest for Good Process Models: The Cross-Connectivity Metric. [Citation Graph (, )][DBLP ] Towards a Taxonomy of Process Flexibility. [Citation Graph (, )][DBLP ] Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities. [Citation Graph (, )][DBLP ] Business Trend Analysis by Simulation. [Citation Graph (, )][DBLP ] Beyond Process Mining: From the Past to Present and Future. [Citation Graph (, )][DBLP ] Process Flexibility: A Survey of Contemporary Approaches. [Citation Graph (, )][DBLP ] Configurable Process Models: Experiences from a Municipality Case Study. [Citation Graph (, )][DBLP ] Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. [Citation Graph (, )][DBLP ] TomTom for Business Process Management (TomTom4BPM). [Citation Graph (, )][DBLP ] Anomaly Detection Using Process Mining. [Citation Graph (, )][DBLP ] Verification of XRL: An XML-based Workflow Language. [Citation Graph (, )][DBLP ] Product-driven Workflow Design. [Citation Graph (, )][DBLP ] Process mining in CSCW systems. [Citation Graph (, )][DBLP ] A SOA-Based Architecture Framework. [Citation Graph (, )][DBLP ] Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. [Citation Graph (, )][DBLP ] 06291 Workshop Report: Process Mining, Monitoring Processes and Services. [Citation Graph (, )][DBLP ] 06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures. [Citation Graph (, )][DBLP ] DecSerFlow: Towards a Truly Declarative Service Flow Language. [Citation Graph (, )][DBLP ] Flexibility as a Service. [Citation Graph (, )][DBLP ] An Analysis of Windows Workflow's Control-Flow Expressiveness. [Citation Graph (, )][DBLP ] Getting Rid of the OR-Join in Business Process Models. [Citation Graph (, )][DBLP ] DECLARE: Full Support for Loosely-Structured Processes. [Citation Graph (, )][DBLP ] Towards EPC Semantics based on State and Context. [Citation Graph (, )][DBLP ] Integration of EPC-related Tools with ProM. [Citation Graph (, )][DBLP ] On the Degree of Behavioral Similarity between Business Process Models. [Citation Graph (, )][DBLP ] On the Correlation between Process Model Metrics and Errors. [Citation Graph (, )][DBLP ] History-Dependent Stochastic Petri Nets. [Citation Graph (, )][DBLP ] Correctness-Preserving Configuration of Business Process Models. [Citation Graph (, )][DBLP ] Discovery, Verification and Conformance of Workflows with Cancellation. [Citation Graph (, )][DBLP ] An Evaluation of Case Handling Systems for Product Based Workflow Design. [Citation Graph (, )][DBLP ] An Evolutionary Approach for Business Process Redesign - Towards an Intelligent System. [Citation Graph (, )][DBLP ] Inter-enterprise System and Application Integration: A Reality Check. [Citation Graph (, )][DBLP ] Challenges in Business Process Analysis. [Citation Graph (, )][DBLP ] Performing Business Process Redesign with Best Practices: An Evolutionary Approach. [Citation Graph (, )][DBLP ] Case Handling Systems as Product Based Workflow Design Support. [Citation Graph (, )][DBLP ] Improving Product Usage Monitoring and Analysis with Semantic Concepts. [Citation Graph (, )][DBLP ] Business Process Compliance Checking: Current State and Future Challenges. [Citation Graph (, )][DBLP ] Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. [Citation Graph (, )][DBLP ] Cycle Time Prediction: When Will This Case Finally Be Finished?. [Citation Graph (, )][DBLP ] An Outlook on Semantic Business Process Mining and Monitoring. [Citation Graph (, )][DBLP ] A Reference Model for Grid Architectures and Its Analysis. [Citation Graph (, )][DBLP ] Merging Event-Driven Process Chains. [Citation Graph (, )][DBLP ] Mining Reference Process Models and Their Configurations. [Citation Graph (, )][DBLP ] Context Aware Trace Clustering: Towards Improving Process Mining Results. [Citation Graph (, )][DBLP ] Service Interaction: Patterns, Formalization, and Analysis. [Citation Graph (, )][DBLP ] Supporting Flexible Processes with Adaptive Workflow and Case Handling. [Citation Graph (, )][DBLP ] From Public Views to Private Views - Correctness-by-Design for Services. [Citation Graph (, )][DBLP ] Process Mining in Healthcare - A Case Study. [Citation Graph (, )][DBLP ] Application of Process Mining in Healthcare - A Case Study in a Dutch Hospital. [Citation Graph (, )][DBLP ] Advanced Reduction Rules for the Verification of EPC Business Process Models. [Citation Graph (, )][DBLP ] Process Mining Techniques: an Application to Stroke Care. [Citation Graph (, )][DBLP ] Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. [Citation Graph (, )][DBLP ] Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. [Citation Graph (, )][DBLP ] Dimensions of coupling in middleware. [Citation Graph (, )][DBLP ] Process Mining in Web Services: The WebSphere Case. [Citation Graph (, )][DBLP ] Workflow Support Using Proclets: Divide, Interact, and Conquer. [Citation Graph (, )][DBLP ] Detection and prediction of errors in EPCs of the SAP reference model. [Citation Graph (, )][DBLP ] Quantifying process equivalence based on observed behavior. [Citation Graph (, )][DBLP ] Workflow simulation for operational decision support. [Citation Graph (, )][DBLP ] Mining process models with prime invisible tasks. [Citation Graph (, )][DBLP ] From conceptual process models to running systems: A holistic approach for the configuration of enterprise system processes. [Citation Graph (, )][DBLP ] Towards comprehensive support for organizational mining. [Citation Graph (, )][DBLP ] Search in 0.263secs, Finished in 0.271secs