[Contribution to a book, Contribution to a conference proceedings]
Parallel Computation of Reachable Dead States in a Free-choice Petri Net
In: High Performance Computing 1998, 425-432, 1998

van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
Finding Errors in the Design of a Workflow Process: A Petri-net-based Approach
In: Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), 60-81, 1998

van der Aalst, Wil M. P.

[Contribution to a conference proceedings]
Performance Analysis of Dataflow Architectures Using Timed Coloured Petri nets
In: Proceedings of the Workshop on Hardware Design and Petri Nets (HWPN'98), 168-185, 1998

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]
Structural Analysis of Workflow Nets with Shared Resources
In: Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), 82-95, 1998

Barkaoui, K.
Petrucci, L.

[Contribution to a book, Contribution to a conference proceedings]
Modeling and Verification of Workflow Nets
In: Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), 96-108, 1998

Voorhoeve, M.

[Contribution to a book, Contribution to a conference proceedings]
Simple Workflow Models
In: Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), 146-164, 1998

Agostini, A.
Michelis, G. De

[Contribution to a book, Contribution to a conference proceedings]
Modeling and Analyzing Interorganizational Workflows
In: Proceedings of the 1998 International Conferenceon Application of Concurrency to System Design (CSD'98), 262-272, 1998
[DOI: 10.1109/CSD.1998.657557]

van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
Changing Workflows: On the interplay between flexibility and support
In: Petri Nets and Business Process Management, 5-6, 1998

van der Aalst, Wil M. P.

[Contribution to a conference proceedings]
Interorganizational Workflows
In: Proceedings of PROLAMAT'98, 2.1-43, 1998

van der Aalst, Wil M. P.

[Journal Article]
Research en Wetenschap: TUE Sectie Specificeren en Modellerenvan InformatieSystemen (SMIS)
In: Informatie, 40, 58-59, 1998

van der Aalst, Wil M. P.

[Journal Article]
The Application of Petri Nets to Workflow Management
In: The Journal of Circuits, Systems and Computers, 8 (1), 21-66, 1998
[DOI: 10.1142/S0218126698000043]

van der Aalst, Wil M. P.

[Journal Article]
Beyond Asymmetric Choice: A note on some extensions
In: Petri net newsletter, 55, 3-13, 1998

van der Aalst, Wil M. P.
Kindler, E.
Desel, J.

[Journal Article]
Toestanden vermijden met toestanden: Valkuilen bij het modelleren van bedrijfsprocessen
In: Computable : economisch en technisch maandblad op het gebied van computers en overige automatiseringssystemen (10), 52-56, 1998

van der Aalst, Wil M. P.
Rigter, J.

[Book]
Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98)
In: Computing Science Reports 1998,7, 1998

van der Aalst, Wil M. P.
De Michelis, G.
Ellis, C. A.

[Book]
Reengineering Knock-out Processes, 1998

van der Aalst, Wil M. P.

[Book]
Verification of Workflow Task Structures: A Petri-net-based Approach, 1998

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

[Book]
Formalization and Verification of Event-driven Process Chains, 1998

van der Aalst, Wil M. P.

[Contribution to a book]
Chapter 10: Three Good reasons for Using a Petri-net-based Workflow Management System
In: Information and Process Integration in Enterprises: Rethinking Documents, 161-182, 1998

van der Aalst, Wil M. P.

[Contribution to a book]
Chapter 27: Workflow Systems
In: Systems Engineering: A Petri net based approach tomodelling, verification, and implementation, 531-568, 1998

van de Graaf, M. C. A.
van der Aalst, Wil M. P.

[Contribution to a book]
Chapter 25: Application Domains: Introduction
In: Systems Engineering: A Petri net based approach tomodelling, verification, and implementation, 495-500, 1998

van der Aalst, Wil M. P.

[Contribution to a book]
Chapter 29: Application Domains: Conclusion
In: Systems Engineering: A Petri net based approach tomodelling, verification, and implementation, 597-599, 1998

van der Aalst, Wil M. P.

[Contribution to a conference proceedings]
Designing workflows based on product structures
In: Proceedings of the ninth IASTED International Conferenceon Parallel and Distributed Computing Systems, 337-342, 1997

van der Aalst, Wil M. P.

[Contribution to a conference proceedings]
Petri-net-based Workflow Management Software
In: Proceedings of the NSF Workshopon Workflow and Process Automation in Information Systems, 114-118, 1997

van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
Ad-hoc Workflow: Problems and Solutions
In: Proceedings of the 8th DEXA International Workshopon Database and Expert Systems Applications, 36-40, 1997

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

[Contribution to a book, Contribution to a conference proceedings]
Verification of Workflow Nets
In: Application and theory of Petri Nets 1997 : 18th international conference, ICATPN '97, Toulouse, France, June 23 - 27, 1997 ; proceedings / Pierre Azéma ... (eds.), 407-426, 1997
[DOI: 10.1007/3-540-63139-9_48]

van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
Life-cycle Inheritance: A Petri-net-based Approach
In: Application and Theory of Petri Nets 1997, 62-81, 1997

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

[Contribution to a conference proceedings]
A Petri-net-based Tool to Analyze Workflows
In: Proceedings of Petri Nets in System Engineering (PNSE'97), 78-90, 1997

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

[Book]
WOFLAN: a Petri-net-based Workflow Analyzer, 1997

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

[Book]
Exploring the Process Dimension of Workflow Management, 1997

van der Aalst, Wil M. P.

[Book]
On the Verification of Interorganizational Workflows, 1997

van der Aalst, Wil M. P.

[Book]
Workflow Management: Modellen, Methoden en Systemen (in Dutch), 1997

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

[Book]
Workflow Management: Models, Methods and Systems (in Dutch), 1997

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

[Contribution to a conference proceedings]
Three Good Reasons for Using a Petri-net-based Workflow Management System
In: Proceedings of the International Working Conferenceon Information and Process Integration in Enterprises (IPIC'96), 179-201, 1996

van der Aalst, Wil M. P.

[Contribution to a conference proceedings]
Conservative Adaption of Workflow
In: Proceedings of the International Conferenceon Practical Aspects of Knowledge Management (PAKM'96),Workshop on Adaptive Workflow, 1-15, 1996

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

[Journal Article]
Business Process Redesign: A Petri-net-based approach
In: Computers in industry, 29 (1/2), 15-26, 1996
[DOI: 10.1016/0166-3615(95)00051-8]

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

[Journal Article]
Petri net based scheduling
In: OR spectrum, 18, 219-229, 1996
[DOI: 10.1007/BF01540160]

van der Aalst, Wil M. P.

[Book]
A Process-Algebraic Approach to Life-Cycle Inheritance:Inheritance=Encapsulation + Abstraction, 1996

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

[Book]
Life-Cycle Inheritance: A Petri-Net-Based Approach, 1996

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

[Book]
Parallel Computation of Reachable Dead States in a Free-choice Petri Net, 1996

van der Aalst, Wil M. P.

[Book]
Structural Characterizations of Sound Workflow Nets, 1996

van der Aalst, Wil M. P.

[Book]
Conservative Adaption of Workflow, 1996

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

[Book]
Smartcard Ketenlogistiek
In: CTT publicatiereeksvolume=11, 1996

Henstra, D. A.
Verspui, L.
van der Aalst, Wil M. P.
Valstar, A.

[Book]
Informatiesystemen: Modelleren en Specificeren, 1996

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

[Contribution to a conference proceedings]
Framework for Business Process Redesign
In: Proceedings of the Fourth Workshopon Enabling Technologies: Infrastructure for CollaborativeEnterprises (WETICE 95), 36-45, 1995

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

[Contribution to a conference proceedings]
Working Group Report on Process
In: Proceedings of the Fourth Workshopon Enabling Technologies: Infrastructure for CollaborativeEnterprises (WETICE 95), 8-12, 1995

Ciancarini, P.
Jagannathan, V. J.
Klein, M.
van der Aalst, Wil M. P.

[Journal Article]
Modelleren en Analyseren van Workflow: een Aanpak op Basis van Petri-netten
In: Informatie, 37 (11), 590-599, 1995

van der Aalst, Wil M. P.
van Hee, K. M.
Houben, G. J.

[Journal Article]
Analysis of Railway Stations by means of Interval Timed Coloured Petri Nets
In: Real-time systems, 9 (3), 241-263, 1995
[DOI: 10.1007/BF01088807]

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

[Book]
Petri net based scheduling, 1995

van der Aalst, Wil M. P.

[Book]
A class of Petri net for modeling and analyzing business processes, 1995

van der Aalst, Wil M. P.

[Book]
Handboek simulatie, 1995

van der Aalst, Wil M. P.