12/12/11

Publications Wil van der Aalst [before 2000]

Click here for full list, recent publications, 2008,  2007, 2006, 2005, 2000-2004, before 2000.

1

W.M.P. van der Aalst.
Specificatie en Simulatie met behulp van ExSpect (in Dutch).
Master's thesis, Eindhoven University of Technology, Eindhoven, 1988.

 

2

W.M.P. van der Aalst, M. Voorhoeve, and A.W. Waltmans.
The TASTE project.
In Proceedings of the 10th International Conference on Applications and Theory of Petri Nets, pages 371-372, Bonn, June 1989.

 

3

W.M.P. van der Aalst and A.W. Waltmans.
Modelling Flexible Manufacturing Systems with EXSPECT.
In B. Schmidt, editor, Proceedings of the 1990 European Simulation Multiconference, pages 330-338, Nürnberg, June 1990. Simulation Councils Inc.

 

4

W.M.P. van der Aalst and A.W. Waltmans.
Modelling logistic systems with EXSPECT.
In H.G. Sol and K.M. van Hee, editors, Dynamic Modelling of Information Systems, pages 269-288. Elsevier Science Publishers, Amsterdam, 1991.

 

5

W.M.P. van der Aalst.
Interval Timed Petri Nets and their analysis.
Computing Science Notes 91/09, Eindhoven University of Technology, Eindhoven, 1991.

 

6

W.M.P. van der Aalst.
The modelling and analysis of queueing systems with QNM-ExSpect.
Computing Science Notes 91/33, Eindhoven University of Technology, Eindhoven, 1991.

 

7

W.M.P. van der Aalst.
Timed coloured Petri nets and their application to logistics.
PhD thesis, Eindhoven University of Technology, Eindhoven, 1992.

 

8

W.M.P. van der Aalst.
Modelling and Analysis of Complex Logistic Systems.
In H.J. Pels and J.C. Wortmann, editors, Integration in Production Management Systems, volume B-7 of IFIP Transactions, pages 277-292. Elsevier Science Publishers, Amsterdam, 1992.

 

9

W.M.P. van der Aalst.
Modelling and Analysis of Complex Logistic Systems.
In Proceedings of the IFIP WG 5.7 Working Conference on Integration in Production Management Systems, pages 203-218, Eindhoven, the Netherlands, 1992.

 

10

W.M.P. van der Aalst.
Logistics: a Systems Oriented Approach.
In Proceedings of the third International Working Conference on Dynamic Modelling of Information Systems, pages 169-189, Noordwijkerhout, the Netherlands, June 1992.

 

11

W.M.P. van der Aalst.
Multi-dimensional Petri Nets.
Computing Science Notes 93/26, Eindhoven University of Technology, Eindhoven, 1993.

 

12

W.M.P. van der Aalst, P. de Bra, G.J. Houben, and Y. Kornatzky.
Browsing Semantics in the Tower Model.
Computing Science Notes 93/47, Eindhoven University of Technology, Eindhoven, 1993.

 

13

W.M.P. van der Aalst.
Interval Timed Coloured Petri Nets and their Analysis.
In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 453-472. Springer-Verlag, Berlin, 1993.

 

14

W.M.P. van der Aalst, K.M. van Hee, N. Tréves, and R. di Giovanni.
PROOFS: formalisms and methods.
TUE-TR-0035-V4.0-WP1, 1993.

 

15

W.M.P. van der Aalst.
Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds.
In G. Haring and G. Kotsis, editors, Proceedings of the 7th International Conference of Modelling Techniques and Tools for Computer Performance Evaluation, volume 794 of Lecture Notes in Computer Science, pages 425-444. Springer-Verlag, Berlin, 1994.

 

16

M.A. Odijk and W.M.P. van der Aalst.
A Petri net based simulation tool to evaluate the performance of railway stations.
In A. Guasch and M. Huber, editors, Proceedings of the 1994 European Simulation Multiconference, pages 207-211, Barcelona, June 1994. Society of Computer Simulation (SCS).

 

17

W.M.P. van der Aalst, K.M. van Hee, and G.J. Houben.
Modelling workflow management systems with high-level Petri nets.
In G. De Michelis, C. Ellis, and G. Memmi, editors, Proceedings of the second Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, pages 31-50, 1994.

 

18

W.M.P. van der Aalst.
Procesmodelleren met behulp van Petri-netten.
Informatie, 36(4):244-252, 1994.

 

19

W.M.P. van der Aalst, G.J. Houben, P. van der Toorn, and P van de Vlist.
Formele specificatie en simulatie: de RODOS-case.
Informatie, 36(10):609-615, 1994.

 

20

W.M.P. van der Aalst.
Putting Petri nets to work in industry.
Computers in Industry, 25(1):45-54, 1994.

 

21

W.M.P. van der Aalst and K.M. van Hee.
Integrated systems modelling: an object oriented approach.
In E. Dubois, P. Hartel, and G. Saake, editors, Proceedings of the workshop on Formal Methods for Information System Dynamics, volume 94-33 of Memoranda Informatica, pages 1-12, University of Twente, the Netherlands, 1994.

 

22

W.M.P. van der Aalst, K.M. van Hee, and M. Voorhoeve.
The DONS Rail Scheduling System.
In Case Studies Tutorial, International Conference on Application and Theory of Petri Nets, pages 1-12, 1994.

 

23

W.M.P. van der Aalst.
Modelling and analysis of production systems using a Petri net based approach.
In T.O. Boucher, M.A. Jafari, and E.A. Elsayed, editors, Proceedings of the conference on Computer Integrated Manufacturing in the Process Industries, pages 179-193, East Brunswick, USA, 1994.

 

24

W.M.P. van der Aalst and M.A. Odijk.
Analysis of Railway Stations by means of Interval Timed Coloured Petri Nets.
Real-Time Systems, 9(3):241-263, 1995.

 

25

W.M.P. van der Aalst, K.M. van Hee, and G.J. Houben.
Modelleren en Analyseren van Workflow: een Aanpak op Basis van Petri-netten.
Informatie, 37(11):590-599 (in Dutch), 1995.

 

26

W.M.P. van der Aalst and K.M. van Hee.
Framework for Business Process Redesign.
In J.R. Callahan, editor, Proceedings of the Fourth Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 95), pages 36-45, Berkeley Springs, April 1995. IEEE Computer Society Press.

 

27

P. Ciancarini, V.J. Jagannathan, M. Klein, and W.M.P. van der Aalst.
Working Group Report on Process.
In J.R. Callahan, editor, Proceedings of the Fourth Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 95), pages 8-12, Berkeley Springs, April 1995. IEEE Computer Society Press.

 

28

W.M.P. van der Aalst.
Petri net based scheduling.
Computing Science Reports 95/23, Eindhoven University of Technology, Eindhoven, 1995.

 

29

W.M.P. van der Aalst.
A class of Petri net for modeling and analyzing business processes.
Computing Science Reports 95/26, Eindhoven University of Technology, Eindhoven, 1995.

 

30

W.M.P. van der Aalst.
Handboek simulatie.
Computing Science Reports 95/32, Eindhoven University of Technology, Eindhoven, 1995.
Also an English version is available: Simulation Handbook (in cooperation with M. Voorhoeve).

 

31

W.M.P. van der Aalst and K.M. van Hee.
Business Process Redesign: A Petri-net-based approach.
Computers in Industry, 29(1-2):15-26, 1996.

 

32

W.M.P. van der Aalst.
Petri-net-based Workflow Management Software.
In A. Sheth, editor, Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, pages 114-118, Athens, Georgia, May 1996.

 

33

W.M.P. van der Aalst.
Petri net based scheduling.
OR Spectrum, 18:219-229, 1996.

 

34

T. Basten and W.M.P. van der Aalst.
A Process-Algebraic Approach to Life-Cycle Inheritance: Inheritance = Encapsulation + Abstraction.
Computing Science Reports 96/05, Eindhoven University of Technology, Eindhoven, 1996.

 

35

W.M.P. van der Aalst and T. Basten.
Life-Cycle Inheritance: A Petri-Net-Based Approach.
Computing Science Reports 96/06, Eindhoven University of Technology, Eindhoven, 1996.

 

36

W.M.P. van der Aalst.
Parallel Computation of Reachable Dead States in a Free-choice Petri Net.
Computing Science Reports 96/03, Eindhoven University of Technology, Eindhoven, 1996.

 

37

W.M.P. van der Aalst.
Three Good Reasons for Using a Petri-net-based Workflow Management System.
In S. Navathe and T. Wakayama, editors, Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC'96), pages 179-201, Camebridge, Massachusetts, Nov 1996.

 

38

M. Voorhoeve and W.M.P. van der Aalst.
Conservative Adaption of Workflow.
In M. Wolf and U. Reimer, editors, Proceedings of the International Conference on Practical Aspects of Knowledge Management (PAKM'96), Workshop on Adaptive Workflow, pages 1-15, Basel, Switzerland, October 1996.

 

39

W.M.P. van der Aalst.
Structural Characterizations of Sound Workflow Nets.
Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven, 1996.

 

40

M. Voorhoeve and W.M.P. van der Aalst.
Conservative Adaption of Workflow.
Computing Science Reports 96/24, Eindhoven University of Technology, Eindhoven, 1996.

 

41

D.A. Henstra, L. Verspui, W.M.P. van der Aalst, and A. Valstar.
Smartcard Ketenlogistiek, volume 11 of CTT publicatiereeks.
Centrum Transport Technologie, Rotterdam, 1996.

 

42

W.M.P. van der Aalst, A. Aarts, H. Koppelman, and R.V. Schuwer et al.
Informatiesystemen: Modelleren en Specificeren.
Open Universiteit, Heerlen, 1996.

 

43

D. Hauschildt, H.M.W. Verbeek, and W.M.P. van der Aalst.
WOFLAN: a Petri-net-based Workflow Analyzer.
Computing Science Reports 97/12, Eindhoven University of Technology, Eindhoven, 1997.

 

44

W.M.P. van der Aalst.
Verification of Workflow Nets.
In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407-426. Springer-Verlag, Berlin, 1997.

 

45

W.M.P. van der Aalst and T. Basten.
Life-cycle Inheritance: A Petri-net-based Approach.
In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 62-81. Springer-Verlag, Berlin, 1997.

 

46

W.M.P. van der Aalst and K.M. van Hee.
Workflow Management: Modellen, Methoden en Systemen (in Dutch).
Academic Service, Schoonhoven, 1997.

 

47

W.M.P. van der Aalst.
Designing workflows based on product structures.
In K. Li, S. Olariu, Y. Pan, and I. Stojmenovic, editors, Proceedings of the ninth IASTED International Conference on Parallel and Distributed Computing Systems, pages 337-342. IASTED/Acta Press, Anaheim, 1997.

 

48

M. Voorhoeve and W.M.P. van der Aalst.
Ad-hoc Workflow: Problems and Solutions.
In R. Wagner, editor, Proceedings of the 8th DEXA International Workshop on Database and Expert Systems Applications, pages 36-40, Toulouse, France, September 1997. IEEE Computer Society Press, Los Alamitos, California, 1997.

 

49

W.M.P. van der Aalst, D. Hauschildt, and H.M.W. Verbeek.
A Petri-net-based Tool to Analyze Workflows.
In B. Farwer, D. Moldt, and M.O. Stehr, editors, Proceedings of Petri Nets in System Engineering (PNSE'97), pages 78-90, Hamburg, Germany, September 1997. University of Hamburg (FBI-HH-B-205/97).

 

50

W.M.P. van der Aalst.
Exploring the Process Dimension of Workflow Management.
Computing Science Reports 97/13, Eindhoven University of Technology, Eindhoven, 1997.

 

51

W.M.P. van der Aalst.
On the Verification of Interorganizational Workflows.
Computing Science Reports 97/16, Eindhoven University of Technology, Eindhoven, 1997.

 

52

W.M.P. van der Aalst.
Chapter 10: Three Good reasons for Using a Petri-net-based Workflow Management System.
In T. Wakayama, S. Kannapan, C.M. Khoong, S. Navathe, and J. Yates, editors, Information and Process Integration in Enterprises: Rethinking Documents, volume 428 of The Kluwer International Series in Engineering and Computer Science, pages 161-182. Kluwer Academic Publishers, Boston, Massachusetts, 1998.

 

53

W.M.P. van der Aalst.
The Application of Petri Nets to Workflow Management.
The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.

 

54

W.M.P. van der Aalst.
Formalization and Verification of Event-driven Process Chains.
Computing Science Reports 98/01, Eindhoven University of Technology, Eindhoven, 1998.

 

55

W.M.P. van der Aalst and J. Rigter.
Toestanden vermijden met toestanden: Valkuilen bij het modelleren van bedrijfsprocessen.
Computable, 31(10):52-56, 1998.

 

56

W.M.P. van der Aalst.
Modeling and Analyzing Interorganizational Workflows.
In L. Lavagno and W. Reisig, editors, Proceedings of the 1998 International Conference on Application of Concurrency to System Design (CSD'98), pages 262-272, Fukushima, Japan, March 1998. IEEE Computer Society Press.

 

57

W.M.P. van der Aalst, G. De Michelis, and C.A. Ellis, editors.
Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), Lisbon, Portugal, June 1998. UNINOVA, Lisbon.

 

58

W.M.P. van der Aalst.
Finding Errors in the Design of a Workflow Process: A Petri-net-based Approach.
In W.M.P. van der Aalst, G. De Michelis, and C.A. Ellis, editors, Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), volume 98/7 of Computing Science Reports, pages 60-81, Lisbon, Portugal, 1998. Eindhoven University of Technology, Eindhoven.

 

59

W.M.P. van der Aalst.
Parallel Computation of Reachable Dead States in a Free-choice Petri Net.
In A. Tentner, editor, High Performance Computing 1998, pages 425-432, Boston, June 1998. Society of Computer Simulation (SCS).

 

60

W.M.P. van der Aalst.
Interorganizational Workflows.
In G. Jacucci, editor, Proceedings of PROLAMAT'98, pages 2.1-43, Trento, Sept 1998. IFIP Transactions.

 

61

M.C.A. van de Graaf and W.M.P. van der Aalst.
Chapter 27: Workflow Systems.
In C. Girault and R. Valk, editors, Systems Engineering: A Petri net based approach to modelling, verification, and implementation, pages 531-568. Kronos, Zaragoza, Sept 1998.

 

62

W.M.P. van der Aalst.
Chapter 25: Application Domains: Introduction.
In C. Girault and R. Valk, editors, Systems Engineering: A Petri net based approach to modelling, verification, and implementation, pages 495-500. Kronos, Zaragoza, Sept 1998.

 

63

W.M.P. van der Aalst.
Chapter 29: Application Domains: Conclusion.
In C. Girault and R. Valk, editors, Systems Engineering: A Petri net based approach to modelling, verification, and implementation, pages 597-599. Kronos, Zaragoza, Sept 1998.

 

64

W.M.P. van der Aalst, E. Kindler, and J. Desel.
Beyond Asymmetric Choice: A note on some extensions.
Petri Net Newsletter, 55:3-13, 1998.

 

65

W.M.P. van der Aalst.
Reengineering Knock-out Processes.
Forschungsbericht Nr. 381, Universität Karlsruhe, Institut AIFB, Karlsruhe, 1998.

 

66

W.M.P. van der Aalst and A.H.M. ter Hofstede.
Verification of Workflow Task Structures: A Petri-net-based Approach.
Forschungsbericht Nr. 380, Universität Karlsruhe, Institut AIFB, Karlsruhe, 1998.

 

67

W.M.P. van der Aalst.
Changing Workflows: On the interplay between flexibility and support.
In J. Desel, A. Oberweis, W. Reisig, and G. Rozenberg, editors, Petri Nets and Business Process Management, pages 5-6, Dagstuhl, July 1998. Dagstuhl Seminar Report, 217.

 

68

W.M.P. van der Aalst.
Research en Wetenschap: TUE Sectie Specificeren en Modelleren van InformatieSystemen (SMIS).
Informatie, 40:58-59, Nov. 1998.

 

69

B.R.T.M. Witlox, P. van der Wolf, E.H.L. Aarts, and W.M.P. van der Aalst.
Performance Analysis of Dataflow Architectures Using Timed Coloured Petri nets.
In A. Yakovlev and L. Gomes, editors, Proceedings of the Workshop on Hardware Design and Petri Nets (HWPN'98), pages 168-185, Lisbon, Portugal, 1998.

 

70

W.M.P. van der Aalst.
Interorganizational Workflows: An Approach based on Message Sequence Charts and Petri Nets.
Systems Analysis - Modelling - Simulation, 34(3):335-367, 1999.

 

71

W.M.P. van der Aalst.
Woflan: A Petri-net-based Workflow Analyzer.
Systems Analysis - Modelling - Simulation, 35(3):345-357, 1999.

 

72

E. Kindler and W.M.P. van der Aalst.
Liveness, fairness, and recurrence.
Technical Report, UGA-CS-TR-99-02, University of Georgia, Department of Computer Science, Athens, USA, 1999.

 

73

W.M.P. van der Aalst.
On the automatic generation of workflow processes based on product structures.
Computers in Industry, 39:97-111, 1999.

 

74

W.M.P. van der Aalst.
Formalization and Verification of Event-driven Process Chains.
Information and Software Technology, 41(10):639-650, 1999.

 

75

W.M.P. van der Aalst, T. Basten, H.M.W. Verbeek, P.A.C. Verkoulen, and M. Voorhoeve.
Adaptive Workflow: On the Interplay between Flexibility and Support.
In J. 3 and J. Cordeiro, editors, Proceedings of the first International Conference on Enterprise Information Systems, volume 2, pages 353-360, Setúbal, Portugal, March 1999.

 

76

H.A. Reijers and W.M.P. van der Aalst.
Short-Term Simulation: Bridging the Gap between Operational Control and Strategic Decision Making.
In M.H. Hamza, editor, Proceedings of the IASTED International Conference on Modelling and Simulation, pages 417-421. IASTED/Acta Press, Anaheim, USA, 1999.

 

77

W.M.P. van der Aalst.
How to Handle Dynamic Change and Capture Management Information? An Approach Based on Generic Workflow Models.
Technical Report, UGA-CS-TR-99-01, University of Georgia, Department of Computer Science, Athens, USA, 1999.

 

78

W.M.P. van der Aalst, J. Desel, and R. Kaschek, editors.
Software Architectures for Business Process Management (SABPM'99), Heidelberg, Germany, June 1999. Forschungsbericht Nr. 390, University of Karlsruhe, Institut AIFB, Karlsruhe, Germany.

 

79

W.M.P. van der Aalst.
Flexible Workflow Management Systems: An Approach Based on Generic Process Models.
In T. Bench-Capon, G. Soda, and A. Min-Tjoa, editors, Proceedings of the 10th International Conference on Database and Expert Systems Applications (DEXA'99), volume 1677 of Lecture Notes in Computer Science, pages 186-195. Springer-Verlag, Berlin, 1999.

 

80

W.M.P. van der Aalst, T. Basten, H.M.W. Verbeek, P.A.C. Verkoulen, and M. Voorhoeve.
Adaptive Workflow: An Approach Based on Inheritance.
In M. Ibrahim and B. Drabble, editors, Proceedings of the IJCAI'99 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business, pages 36-45, Stockholm, Sweden, August 1999.

 

81

W.M.P. van der Aalst.
Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information.
In M. Lenzerini and U. Dayal, editors, Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems (CoopIS'99), pages 115-126, Edinburgh, Scotland, September 1999. IEEE Computer Society Press.

 

82

A.P. Sheth, W.M.P. van der Aalst, and I.B. Arpinar.
Processes Driving the Networked Economy: ProcessPortals, ProcessVortex, and Dynamically Trading Processes.
IEEE Concurrency, 7(3):18-31, 1999.

 

83

E. Kindler and W.M.P. van der Aalst.
Liveness, Fairness, and Recurrence.
Information Processing Letters, 70(6):269-274, June 1999.

 

84

H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst.
Diagnosing Workflow Processes using Woflan.
Computing Science Report 99/02, Eindhoven University of Technology, Eindhoven, 1999.

 

85

W.M.P. van der Aalst and T. Basten.
Inheritance of Workflows: An approach to tackling problems related to change.
Computing Science Reports 99/06, Eindhoven University of Technology, Eindhoven, 1999.

 

86

W.M.P. van der Aalst and K. Anyanwu.
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-commerce.
In Proceedings of the Second International Conference on Telecommunications and Electronic Commerce (ICTEC'99), pages 141-157, Nashville, Tennessee, October 1999.

 

87

W.M.P. van der Aalst.
V.3.1 Workflow Management.
In ICT-Zakboekje, pages 1042-1061. PBNA, Arnhem, The Netherlands, 1999.

 

88

W.M.P. van der Aalst and C. Bussler.
Tutorial T4 - Workflow Management: Concepts, Models, Methods, and Tools.
In S. Bodker, M. Kyng, and K. Schmidt, editors, Proceedings of the 6th European Conference on Computer Supported Cooperative Work ECSCW'99 (supplement), pages 41-42, Copenhagen, Denmark, September 1999.

 

89

W.M.P. van der Aalst, D. Moldt, and F. Wienberg.
Enacting Interorganizational Workflows using Nets in Nets.
In Proceedings of the 1999 Workflow Management Conference, volume 70 of Working Paper Series of the Department of Information systems, pages 117-136, Muenster, Germany, November 1999. University of Muenster.

 

90

W.M.P. van der Aalst.
Inheritance of Business Processes: Four Problems - One Solution.
In H. Weber, H. Ehrig, and W. Reisig, editors, Proceedings of the Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 1-28, Berlin, Germany, October 1999. Fraunhofer-Institute for Software and Systems Engineering (ISST).

 

91

W.M.P. van der Aalst.
Inheritance of Workflow Processes: Four Problems-One Solution?
In F. Cummins, editor, Proceedings of the Second OOPSLA Workshop on the Implementation and Application of Object-Oriented Workflow Management Systems, pages 1-22, Denver, Colorado, 1999. (Electronic proceedings, see http://st.cs.uiuc.edu/OOPSLA99/).

 

92

W.M.P. van der Aalst, K.M. van Hee, and R.A. van der Toorn.
Component-Based Software Architectures: A Framework Based on Inheritance of Behavior.
Technical Report, CU-CS-892-99, University of Colorado, Department of Computer Science, Boulder, USA, 1999.

 

93

T. Basten and W.M.P. van der Aalst.
Inheritance of Behavior.
Computing Science Report 99/17, Eindhoven University of Technology, Eindhoven, 1999.

 

Click here for full list, recent publications, 2008, 2007, 2006, 2005, 2000-2004, before 2000.