[Buch]
Reengineering Knock-out Processes, 1998

van der Aalst, Wil M. P.

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

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

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

van der Aalst, Wil M. P.

[Buchbeitrag]
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.

[Buchbeitrag]
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.

[Buchbeitrag]
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.

[Buchbeitrag]
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.

[Beitrag zu einem Tagungsband]
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.

[Beitrag zu einem Tagungsband]
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.

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.

[Beitrag zu einem Tagungsband]
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.

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

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

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

van der Aalst, Wil M. P.

[Buch]
On the Verification of Interorganizational Workflows, 1997

van der Aalst, Wil M. P.

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

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

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

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

[Beitrag zu einem Tagungsband]
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.

[Beitrag zu einem Tagungsband]
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.

[Fachzeitschriftenartikel]
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.

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

van der Aalst, Wil M. P.

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

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

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

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

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

van der Aalst, Wil M. P.

[Buch]
Structural Characterizations of Sound Workflow Nets, 1996

van der Aalst, Wil M. P.

[Buch]
Conservative Adaption of Workflow, 1996

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

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

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

[Buch]
Informatiesystemen: Modelleren en Specificeren, 1996

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

[Beitrag zu einem Tagungsband]
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.

[Beitrag zu einem Tagungsband]
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.

[Fachzeitschriftenartikel]
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.

[Fachzeitschriftenartikel]
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.

[Buch]
Petri net based scheduling, 1995

van der Aalst, Wil M. P.

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

van der Aalst, Wil M. P.

[Buch]
Handboek simulatie, 1995

van der Aalst, Wil M. P.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Integrated systems modelling: an object oriented approach
In: Proceedings of the workshop onFormal Methods for Information System Dynamics, 1-12, 1994

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

[Beitrag zu einem Tagungsband]
Modelling and analysis of production systems using a Petri netbased approach
In: Proceedings of the conference onComputer Integrated Manufacturing in the Process Industries, 179-193, 1994

van der Aalst, Wil M. P.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds
In: Proceedings of the 7th International Conference of ModellingTechniques and Tools for Computer Performance Evaluation, 425-444, 1994

van der Aalst, Wil M. P.

[Buchbeitrag, Beitrag zu einem Tagungsband]
A Petri net based simulation tool to evaluate the performance of railway stations
In: Modelling and simulation 1994 : June 1 - 3, 1994 Universitat Politecnica de Catalunya, Barcelona, Spain / ESM '94, [European Simulation Multiconference 1994. Organised by: SCS, the Society for Computer Simulation International]. Ed. by Antoni Guasch ..., 207-211, 1994

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

[Beitrag zu einem Tagungsband]
Modelling workflow management systems with high-level Petri nets
In: Proceedings of the secondWorkshop on Computer-Supported Cooperative Work, Petri netsand related formalisms, 31-50, 1994

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

[Beitrag zu einem Tagungsband]
The DONS Rail Scheduling System
In: Case Studies Tutorial : 15th International Conference on Application and Theory of Petri Nets, 1-12, 1994

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

[Fachzeitschriftenartikel]
Procesmodelleren met behulp van Petri-netten
In: Informatie, 36 (4), 244-252, 1994

van der Aalst, Wil M. P.

[Fachzeitschriftenartikel]
Formele specificatie en simulatie: de RODOS-case
In: Informatie, 36 (10), 609-615, 1994

van der Aalst, Wil M. P.
Houben, G. J.
van der Toorn, P.
van de Vlist, P.

[Fachzeitschriftenartikel]
Putting Petri nets to work in industry
In: Computers in industry, 25 (1), 45-54, 1994

van der Aalst, Wil M. P.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Interval Timed Coloured Petri Nets and their Analysis
In: Application and Theory of Petri Nets 1993, 453-472, 1993

van der Aalst, Wil M. P.

[Buch]
Multi-dimensional Petri Nets, 1993

van der Aalst, Wil M. P.

[Buch]
Browsing Semantics in the Tower Model, 1993

van der Aalst, Wil M. P.
de Bra, P.
Kornatzky, G. J. Houben andY.

[Buch]
PROOFS: formalisms and methods, 1993

van der Aalst, Wil M. P.
van Hee, K. M.
Trèves, N.
Giovanni, R. di

[Buchbeitrag, Beitrag zu einem Tagungsband]
Modelling and Analysis of Complex Logistic Systems
In: Integration in production management systems : proceedings of the IFIP WG 5.7 Working Conference on Integration in Production Management Systems, Eindhoven, The Netherlands, 24 - 27 August 1992 / ed. by H. J. Pels .., 203-218, 1992

van der Aalst, Wil M. P.