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

[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 .., 277-292, 1992

van der Aalst, Wil M. P.

[Buch]
Interval Timed Petri Nets and their analysis, 1991

van der Aalst, Wil M. P.

[Buch]
The modelling and analysis of queueing systems with QNM-ExSpect, 1991

van der Aalst, Wil M. P.

[Buchbeitrag]
Modelling logistic systems with EXSPECT
In: Dynamic modelling of information systems / edited by H.G. Sol, K.M. van Hee, 269-288, 1991
[DOI: 10.1016/B978-0-444-88923-2.50014-8]

van der Aalst, Wil M. P.
Waltmans, A. W.

[Beitrag zu einem Tagungsband]
Modelling Flexible Manufacturing Systems with EXSPECT
In: Proceedings of the 1990 European Simulation Multiconference, 330-338, 1990

van der Aalst, Wil M. P.
Waltmans, A. W.

[Beitrag zu einem Tagungsband]
The TASTE project
In: Proceedings of the 10th InternationalConference on Applications and Theory of Petri Nets, 371-372, 1989

van der Aalst, Wil M. P.
Voorhoeve, M.
Waltmans, A. W.