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

[Contribution to a book, Contribution to a conference proceedings]
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.

[Contribution to a conference proceedings]
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.

[Contribution to a book, Contribution to a conference proceedings]
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.

[Contribution to a book, Contribution to a conference proceedings]
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.

[Contribution to a conference proceedings]
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.

[Contribution to a conference proceedings]
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.

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

van der Aalst, Wil M. P.

[Journal Article]
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.

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

van der Aalst, Wil M. P.

[Contribution to a book, Contribution to a conference proceedings]
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.

[Book]
Multi-dimensional Petri Nets, 1993

van der Aalst, Wil M. P.

[Book]
Browsing Semantics in the Tower Model, 1993

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

[Book]
PROOFS: formalisms and methods, 1993

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

[Contribution to a book, Contribution to a conference proceedings]
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.

[Contribution to a book, Contribution to a conference proceedings]
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.

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

van der Aalst, Wil M. P.

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

van der Aalst, Wil M. P.

[Contribution to a book]
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.

[Contribution to a conference proceedings]
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.

[Contribution to a conference proceedings]
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.