[Beitrag zu einem Tagungsband]
Multi-Phase Mining: Aggregating Instances Graphs into EPCs and Petri Nets
In: Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, 35-58, 2005

van Dongen, B. F.
van der Aalst, Wil M. P.

[Beitrag zu einem Tagungsband]
Analyzing BPEL Processes using Petri Nets
In: Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, 59-78, 2005

Verbeek, H. M. W.
van der Aalst, Wil M. P.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Workflow Resource Patterns: Identification, Representation and Tool Support
In: Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), 216-232, 2005

Russell, N.
van der Aalst, Wil M. P.
ter Hofstede, A. H. M.
Edmond, D.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Verification of EPCs: Using Reduction Rules and Petri Nets
In: Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), 372-386, 2005

van Dongen, B. F.
van der Aalst, Wil M. P.
Verbeek, H. M. W.

[Buchbeitrag, Beitrag zu einem Tagungsband]
WofBPEL: A Tool for Automated Analysis of BPEL Processes
In: Service-Oriented Computing ? ICSOC 2005 : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings / edited by Boualem Benatallah, Fabio Casati, Paolo Traverso, 484-489, 2005
[DOI: 10.1007/11596141_37]

Ouyang, C.
Verbeek, E.
van der Aalst, Wil M. P.
Breutel, S.
Dumas, M.
et al.

[Beitrag zu einem Tagungsband]
Facilitating Flexibility and Dynamic Exception Handling in Workflows
In: Proceedings of the CAiSE'05 Forum, 45-50, 2005

Adams, M.
ter Hofstede, A. H. M.
Edmond, D.
van der Aalst, Wil M. P.

[Beitrag zu einem Tagungsband]
A Meta Model for Process Mining Data
In: Proceedings of the CAiSE'05 Workshops (EMOI-INTEROP Workshop), 309-320, 2005

van Dongen, B. F.
van der Aalst, Wil M. P.

[Beitrag zu einem Tagungsband]
Model-Driven Process Configuration of Enterprise Systems
In: Wirtschaftsinformatik 2005. eEconomy, eGovernment, eSociety, 687-706, 2005

Dreiling, A.
Rosemann, M.
van der Aalst, Wil M. P.
Sadiq, W.
Khan, S.

[Beitrag zu einem Tagungsband]
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance
In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004) : Security Issues with Petri Nets and other Computational Models 2004 (WISP 2004) : 26-26 June 2004 • Bologna, Italy / N. Busi; R. Gorrieri; F. Martinelli, 69-84, 2005

van der Aalst, Wil M. P.
Alves de Medeiros, A. K.

[Buchbeitrag, Beitrag zu einem Tagungsband]
When Are Two Workflows the Same?
In: Proceedings of Computing: The 11th Australasian Theory Symposium (CATS'2005), 3-11, 2005

Hidders, J.
Dumas, M.
van der Aalst, Wil M. P.
ter Hofstede, A. H. M.
Verelst, J.

[Beitrag zu einem Tagungsband]
On the User Perception of Configurable Reference Process Models - Initial Insights
In: Proceedings of the 16th Australasian Conference on Information Systems (ACIS'2005), 1-10, 2005

Recker, J.
Rosemann, M.
van der Aalst, Wil M. P.

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Towards a Pattern Language for Colored Petri Nets
In: DAIMI / PB, 576, 39-48, 2005

Mulyar, N.
van der Aalst, Wil M. P.

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Modelling a Product Based Workflow System in CPN tools
In: DAIMI / PBvolume=576, 99-118, 2005

Vanderfeesten, I.
van der Aalst, Wil M. P.
Reijers, H. A.

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Modeling Work Distribution Mechanisms Using Colored Petri Nets
In: DAIMI / PBvolume=576, 157-176, 2005

Pesic, M.
van der Aalst, Wil M. P.

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Modeling the Case Handling Principles with Colored Petri Nets
In: DAIMI / PBvolume=576, 211-230, 2005

Günther, C. W.
van der Aalst, Wil M. P.

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Analysis of Resource-Constrained Processes with Colored Petri Nets
In: DAIMI / PBvolume=576, 251-266, 2005

Netjes, M.
van der Aalst, Wil M. P.
Reijers, H. A.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Workflow Data Patterns: Identification, Representation and Tool Support
In: Conceptual modeling - ER 2005 : 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24 - 28, 2005 ; proceedings / Lois Delcambre ... (eds.), 353-368, 2005
[DOI: 10.1007/11568322_23]

Russell, N.
ter Hofstede, A. H. M.
Edmond, D.
van der Aalst, Wil M. P.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams
In: Conceptual modeling - ER 2005 : 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24 - 28, 2005 ; proceedings / Lois Delcambre ... (eds.), 63-78, 2005
[DOI: 10.1007/11568322_5]

Wohed, P.
van der Aalst, Wil M. P.
Dumas, M.
ter Hofstede, A. H. M.
Russell, N.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Life After BPEL?
In: Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPWE 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 ; proceedings / Mario Bravetti; Leila Kloul (eds.), 35-50, 2005
[DOI: 10.1007/11549970_4]

van der Aalst, Wil M. P.
Dumas, M.
ter Hofstede, A. H. M.
Russell, N.
Verbeek, H. M. W.
et al.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Let's Go All the Way: From Requirements via Colored Workflow Netsto a BPEL Implementation of a New Bank System Paper
In: On the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings / Robert Meersman; Zahir Tari ... (eds.). - Pt. 1, 22-39, 2005
[DOI: 10.1007/11575771_5]

van der Aalst, Wil M. P.
Jorgensen, J. B.
Lassen, K. B.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Process Mining and Verification of Properties: An Approach based on Temporal Logic
In: On the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings / Robert Meersman; Zahir Tari ... (eds.). - Pt. 2, 130-147, 2005
[DOI: 10.1007/11575771_11]

van der Aalst, Wil M. P.
de Beer, H. T.
van Dongen, B. F.

[Buchbeitrag, Beitrag zu einem Tagungsband]
On the Notion of Coupling in Communication Middleware
In: On the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings / Robert Meersman; Zahir Tari ... (eds.). - Pt. 2, 1015-1033, 2005
[DOI: 10.1007/11575801_6]

Aldred, L.
van der Aalst, Wil M. P.
Dumas, M.
ter Hofstede, A. H. M.

[Beitrag zu einem Tagungsband]
Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models
In: First International Workshop on Business Process Intelligence (BPI'05), 1-12, 2005

Rozinat, A.
van der Aalst, Wil M. P.

[Beitrag zu einem Tagungsband]
Genetic Process Mining: A Basic Approach and its Challenges
In: First International Workshop on Business Process Intelligence (BPI'05), 46-57, 2005

Alves de Medeiros, A. K.
Weijters, A. J. M. M.
van der Aalst, Wil M. P.

[Beitrag zu einem Tagungsband]
Towards a Reference Model for Work Distribution in Workflow Management Systems
In: First International Workshop on Business Process Reference Models (BPRM’05), 5 September, Nancy, France / Kindler, Ekkart & Nüttgens, Markus (Eds.)First International Workshop on Business Process Reference Models (BPRM'05), 30-44, 2005

Pesic, M.
van der Aalst, Wil M. P.

[Beitrag zu einem Tagungsband]
On the Syntax of Reference Model Configuration: Transforming the C-EPC into Lawful EPC Models
In: First International Workshop on Business Process Reference Models (BPRM’05), 5 September, Nancy, France / Kindler, Ekkart & Nüttgens, Markus (Eds.), 60-75, 2005

Recker, J.
Rosemann, M.
van der Aalst, Wil M. P.
Mendling, J.

[Beitrag zu einem Tagungsband]
Configurable Process Models as a Basis for Reference Modeling
In: First International Workshop on Business Process Reference Models (BPRM'05), 76-82, 2005

van der Aalst, Wil M. P.
Dreiling, A.
Gottschalk, F.
Rosemann, M.
Jansen-Vullers, M. H.

[Beitrag zu einem Tagungsband]
Towards an Understanding of Model-Driven Process Configuration and its Support at Large
In: Americas Conference on Information Systems (AMCIS 2005), 2084-2092, 2005

Dreiling, A.
Chiang, M.
Rosemann, M.
van der Aalst, Wil M. P.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Towards the Interchange of Configurable EPCs: An XML-based Approach for Reference Model Configuration
In: Workshop on Enterprise Modelling and Information Systems Architectures (EMISA 2005), 8-21, 2005

Mendling, J.
Recker, J.
Rosemann, M.
van der Aalst, Wil M. P.

[Beitrag zu einem Tagungsband]
Generating Correct EPCs from Configured C-EPCs
In: Proceedings of the 21th Annual ACM Symposium on Applied Computing (SAC 2006), Track on Organizational Engineering, 1505-1510, 2005

Mendling, J.
Recker, J.
Rosemann, M.
van der Aalst, Wil M. P.

[Fachzeitschriftenartikel]
Case Handling: A New Paradigm for Business Process Support
In: Data & knowledge engineering, 53 (2), 129-162, 2005
[DOI: 10.1016/j.datak.2004.07.003]

van der Aalst, Wil M. P.
Weske, M.
Grünbauer, D.

[Fachzeitschriftenartikel]
Mining of ad-hoc business processes with TeamLog
In: Data & knowledge engineering, 55 (2), 129-158, 2005
[DOI: 10.1016/j.datak.2005.02.002]

Dustdar, S.
Hoffmann, T.
van der Aalst, Wil M. P.

[Fachzeitschriftenartikel]
The Effectiveness of Workflow Management Systems: Predictions and Lessons Learned
In: International journal of information management, 25 (5), 458-472, 2005
[DOI: 10.1016/j.ijinfomgt.2005.06.008]

Reijers, H. A.
van der Aalst, Wil M. P.

[Fachzeitschriftenartikel]
Using BPMN to Model a BPEL Process
In: BPTrends, 3 (3), 1-18, 2005

White, S.

[Fachzeitschriftenartikel]
Challenges for Business Process and Task Management
In: Journal of Universal Knowledge Management, 0 (2), 77-100, 2005

Riss, U.
Rickayzen, A.
Maus, H.
van der Aalst, Wil M. P.

[Fachzeitschriftenartikel]
YAWL: Yet Another Workflow Language
In: Information systems : IS, 30 (4), 245-275, 2005
[DOI: 10.1016/j.is.2004.02.002]

van der Aalst, Wil M. P.
ter Hofstede, A. H. M.

[Fachzeitschriftenartikel]
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance
In: Electronic Notes in Theoretical Computer Science, 121, 3-21, 2005

van der Aalst, Wil M. P.
Alves de Medeiros, A. K.

[Fachzeitschriftenartikel]
Discovering Social Networks from Event Logs
In: Computer Supported Cooperative work, 14 (6), 549-593, 2005

van der Aalst, Wil M. P.
Reijers, H. A.
Song, M.

[Fachzeitschriftenartikel]
Business Alignment: Using Process Mining as a Tool for Delta Analysis and Conformance Testing
In: Requirements engineering, 10 (3), 198-211, 2005
[DOI: 10.1007/s00766-005-0001-x]

van der Aalst, Wil M. P.

[Buch]
International Conference on Business Process Management (BPM 2005)
In: Lecture notes in computer science 3649, 2005

van der Aalst, Wil M. P.
Benatallah, B.
Casati, F.
F. Curbera

[Buch]
Formal Semantics and Analysis of Control Flow in WS-BPEL (Revised Version), 2005

Ouyang, C.
van der Aalst, Wil M. P.
Breutel, S.
Dumas, M.
ter Hofstede, A. H. M.
et al.

[Buch]
Deadline-based Escalation in Process-Aware Information Systems, 2005

van der Aalst, Wil M. P.
Rosemann, M.
Dumas, M.

[Buch]
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version), 2005

van der Aalst, Wil M. P.
Dumas, M.
Ouyang, C.
Rozinat, A.
Verbeek, H. M. W.

[Buch]
Pattern-based Analysis of BPMN - An extensive evaluation of the Control-flow, the Data and the Resource Perspectives, 2005

Wohed, P.
van der Aalst, Wil M. P.
Dumas, M.
ter Hofstede, A. H. M.
Russell, N.

[Buch]
Workflow Resource Patterns, 2005

Russell, N.
ter Hofstede, A. H. M.
Edmond, D.
van der Aalst, Wil M. P.

[Buch]
Process Mining and Verification of Properties: An Approach based on Temporal Logic, 2005

van der Aalst, Wil M. P.
de Beer, H. T.
van Dongen, B. F.

[Buch]
Patterns in Colored Petri Nets, 2005

Mulyar, N.
van der Aalst, Wil M. P.

[Buch]
Process-Aware Information Systems: Bridging People and Software through Process Technology, 2005

Dumas, M.
van der Aalst, Wil M. P.
ter Hofstede, A. H. M.

[Buch]
Conformance Testing: Measuring the Alignment Between Event Logs and Process Models, 2005

Rozinat, A.
van der Aalst, Wil M. P.

[Buch]
Translating Workflow Nets to BPEL4WS, 2005

van der Aalst, Wil M. P.
Lassen, K. B.