[Contribution to a conference proceedings]
Verification of XRL: An XML-based Workflow Language
In: Proceedings of the 6th International Conference on CSCW in Design, 427-432, 2001

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

[Contribution to a conference proceedings]
Product-driven Workflow Design
In: Proceedings of the 6th International Conference on CSCW in Design, 397-402, 2001

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

[Contribution to a conference proceedings]
XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (Best paper award)
In: Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST-2001), 30-45, 2001

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

[Contribution to a book]
Inheritance of Dynamic Behavior Development of a Groupware Editor
In: Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets / edited by Gul A. Agha, Fiorella Cindio, Grzegorz Rozenberg, 391-405, 2001
[DOI: 10.1007/3-540-45397-0_15]

Basten, T.
van der Aalst, Wil M. P.

[Abstract, Contribution to a conference proceedings]
Valkuilen bij het Selecteren van Workflow Management Systemen
In: Nederlands ICT-Kenniscongres, 46-46, 2001

van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
The P2P approach to Interorganizational Workflows
In: Proceedings of the 13th InternationalConference on Advanced Information Systems Engineering (CAiSE'01), 140-156, 2001

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

[Contribution to a book, Contribution to a conference proceedings]
Identifying Commonalities and Differences in Object Life Cycles using Behavioral Inheritance
In: Application and Theory of Petri Nets 2001, 32-52, 2001

van der Aalst, Wil M. P.
Basten, T.

[Contribution to a conference proceedings]
Process Mining: Discovering Workflow Models from Event-Based Data
In: Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001), 283-290, 2001

Weijters, A. J. M. M.
van der Aalst, Wil M. P.

[Contribution to a conference proceedings]
Automated Discovery of Workflow Models from Hospital Data
In: Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001), 183-190, 2001

Maruster, L.
van der Aalst, Wil M. P.
Weijters, A. J. M. M.
van den Bosch, A.
Daelemans, W.

[Contribution to a conference proceedings]
Automated Discovery of Workflow Models from Hospital Data
In: Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial Data, 32-36, 2001

Maruster, L.
van der Aalst, Wil M. P.
Weijters, A. J. M. M.
van den Bosch, A.
Daelemans, W.

[Contribution to a conference proceedings]
Rediscovering Workflow Models from Event-Based Data
In: Proceedings of the 11th Dutch-Belgian Conference on Machine Learning (Benelearn 2001), 93-100, 2001

Weijters, A. J. M. M.
van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
Beyond Workflow Management: Product-Driven Case Handling
In: Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work, 42-51, 2001

van der Aalst, Wil M. P.
Berens, P. J. S.

[Journal Article]
Reengineering Knock-out Processes
In: Decision support systems : DSS, 30 (4), 451-468, 2001

van der Aalst, Wil M. P.

[Journal Article]
Diagnosing Workflow Processes using Woflan
In: The computer journal, 44 (4), 246-279, 2001
[DOI: 10.1093/comjnl/44.4.246]

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

[Journal Article]
Team-Enabled Workflow Management Systems
In: Data & knowledge engineering, 38 (3), 335-363, 2001

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

[Journal Article]
How to Handle Dynamic Change and Capture Management Information? : An Approach Based on Generic Workflow Models
In: International Journal of Computer Systems Science and Engineering, 16 (5), 295-318, 2001

van der Aalst, Wil M. P.

[Journal Article]
Inheritance of Behavior
In: The journal of logic and algebraic programming, 47 (2), 47-145, 2001
[DOI: 10.1016/S1567-8326(00)00004-7]

Basten, T.
van der Aalst, Wil M. P.

[Journal Article]
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change
In: Information systems frontiers, 3 (3), 297-317, 2001
[DOI: 10.1023/A:1011409408711]

van der Aalst, Wil M. P.

[Journal Article]
Het kantoor als thuishaven (interview)
In: Computable : economisch en technisch maandblad op het gebied van computers en overige automatiseringssystemen (9), 33-35, 2001

van der Aalst, Wil M. P.

[Journal Article]
Werkstroomsoftware hapert (interview)
In: Computable : economisch en technisch maandblad op het gebied van computers en overige automatiseringssystemen (51), 1-1, 2001

van der Aalst, Wil M. P.

[Abstract, Journal Article]
Valkuilen bij het Selecteren van Workflow Management Systemen
In: VIP : vakblad voor documentmanagement, 13 (3), 25-25, 2001

van der Aalst, Wil M. P.

[Journal Article]
Workflowmanagementsystemen op de pijnbank: Patronen voor werkstroombesturing
In: VIP, Vakblad voor Documentmanagement, 13 (6), 40-44, 2001

van der Aalst, Wil M. P.

[Journal Article]
Patronen voor Werkstroombesturing
In: Management & Informatie, 9 (4), 4-12, 2001

van der Aalst, Wil M. P.

[Journal Article]
Proclets: A Framework for Lightweight InteractingWorkflow Processes
In: International journal of cooperative information systems : IJCIS, 10 (4), 443-482, 2001

van der Aalst, Wil M. P.
Barthelmess, P.
Ellis, C. A.
Wainer, J.

[Book]
XRL/Woflan: Verification of an XML/Petri-net-based Language for Interorganizational Workflow, 2001

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

[Book]
Making Work Flow: On the Design, Analysis and Enactment of Business Processes (inaugural lecture given at 30 November 2001), 2001

van der Aalst, Wil M. P.

[Book]
Workflow Management: Models, Methods, and Systems, 2001

van der Aalst, Wil M. P.
van Hee, K. M.

[Contribution to a book, Contribution to a conference proceedings]
Performance Analysis of Dataflow Architectures Using Timed Coloured Petri nets
In: Hardware Design and Petri Nets, 269-289, 2000
[DOI: 10.1007/978-1-4757-3143-9_14]

Witlox, B. R. T. M.
van der Wolf, P.
Aarts, E. H. L.
van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
Process Design by Discovery: Harvesting Workflow Knowledge from Ad-hoc Executions
In: Knowledge Management: An Interdisciplinary Approach, 9-10, 2000

van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
ExSpect 6.4: An Executable Specification Toolfor Hierarchical Colored Petri Nets
In: Application and theory of Petri nets 2000 : 21st international conference ; proceedings / ICATPN 2000, Aarhus, Denmark, June 26 - 30, 2000. Mogens Nielsen ... (eds.), 455-464, 2000
[DOI: 10.1007/3-540-44988-4_26]

van der Aalst, Wil M. P.
de Crom, Poul J. N.
Goverde, Roy R. H. M. J.
van Hee, Kees M.
Hofman, Wout J.
et al.

[Contribution to a book, Contribution to a conference proceedings]
Woflan 2.0: A Petri-net-based Workflow Diagnosis Tool
In: Application and Theory of Petri Nets 2000, 475-484, 2000

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

[Contribution to a book]
Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques
In: Business Process Management : Models, Techniques, and Empirical Studies / edited by Wil Aalst, Jörg Desel, Andreas Oberweis, 161-183, 2000
[DOI: 10.1007/3-540-45594-9_11]

van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
Advanced Workflow Patterns
In: Cooperative Information Systems : 7th International Conference, CoopIS 2000 Eilat, Israel, September 6-8, 2000. Proceedings / edited by Peter Scheuermann, Opher Etzion, 18-29, 2000
[DOI: 10.1007/10722620_2]

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

[Contribution to a book, Contribution to a conference proceedings]
Workflow Modeling using Proclets
In: Cooperative Information Systems : 7th International Conference, CoopIS 2000 Eilat, Israel, September 6-8, 2000. Proceedings / edited by Peter Scheuermann, Opher Etzion, 198-209, 2000
[DOI: 10.1007/10722620_20]

van der Aalst, Wil M. P.
Barthelmess, P.
Ellis, C. A.
Wainer, J.

[Journal Article]
Verification of Workflow Task Structures: A Petri-net-based Approach
In: Information systems : IS, 25 (1), 43-69, 2000
[DOI: 10.1016/S0306-4379(00)00008-9]

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

[Journal Article]
Process-oriented Architectures for Electronic Commerce and Interorganizational Workflow
In: Information systems : IS, 24 (8), 639-671, 2000
[DOI: 10.1016/S0306-4379(00)00003-X]

van der Aalst, Wil M. P.

[Journal Article]
Analysis of Discrete-time Stochastic Petri Nets
In: Statistica Neerlandica, 54 (2), 237-255, 2000
[DOI: 10.1111/1467-9574.00139]

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

[Journal Article]
Loosely Coupled Interorganizational Workflows:Modeling and Analyzing Workflows Crossing Organizational Boundaries
In: Information & management, 37 (2), 67-75, 2000
[DOI: 10.1016/S0378-7206(99)00038-5]

van der Aalst, Wil M. P.

[Journal Article]
Dealing with Workflow Change: Identification of Issues and Solutions
In: International journal of computer systems science & engineering, 15 (5), 267-276, 2000

van der Aalst, Wil M. P.
Jablonski, S.

[Journal Article]
Editorial: Flexible Workflow Technology Driving the Networked Economy
In: International Journal of Computer Systems Science and Engineering, 15 (5), 265-266, 2000

van der Aalst, Wil M. P.
Jablonski, S.

[Journal Article]
Gevangen in Petri-netten (interview)
In: Business process magazine, 6 (8), 35-38, 2000

van der Aalst, Wil M. P.

[Book]
Business Process Management: Models, Techniques,and Empirical Studies
In: Lecture notes in computer science 1806, 2000

van der Aalst, Wil M. P.
Desel, J.
A. Oberweis

[Book]
Flexible Workflow Technology Driving the Networked Economy
In: Special Issue of the International Journal of Computer Systems, Science, and Engineering, volume 15, number 5, 2000

van der Aalst, Wil M. P.
Jablonski, S.

[Book]
Simulation Handbook, 2000

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

[Book]
Inheritance of Interorganizational Workflows:How to Agree to Disagree Without Loosing Control?, 2000

van der Aalst, Wil M. P.

[Book]
Inheritance of Workflows: An approach to tackling problems related to change, 2000

van der Aalst, Wil M. P.
Basten, T.

[Book]
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Change, 2000

van der Aalst, Wil M. P.

[Book]
Component-Based Software Architectures:A Framework Based on Inheritance of Behavior, 2000

van der Aalst, Wil M. P.
van Hee, K. M.
van der Toorn, R. A.

[Book]
Inheritance of Interorganizational Workflows:How to Agree to Disagree Without Loosing Control?, 2000

van der Aalst, Wil M. P.

[Book]
Workflow Patterns, 2000

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