Publications

10/08/13

Home
Recent publications
Publications 2012
Publications 2011
Publications 2010
Publications 2009
Publications 2008
Publications 2007
Publications 2006
Publications 2005
Publications 2000-2004
Publications before 2000

 

Publications Wil van der Aalst [2000-2004]

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

 

94
W.M.P. van der Aalst.
Inheritance of Interorganizational Workflows: How to agree to disagree without loosing control?
Technical Report, CU-CS-899-00, University of Colorado, Department of Computer Science, Boulder, USA, 2000.

 

95
W.M.P. van der Aalst.
Process-oriented Architectures for Electronic Commerce and Interorganizational Workflow.
Information Systems, 24(8):639-671, 2000.

 

96
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. Filipe, editor, Enterprise Information Systems, pages 63-70. Kluwer Academic Publishers, Norwell, 2000.

 

97
W.M.P. van der Aalst, J. Desel, and A. Oberweis, editors.
Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2000.

 

98
W.M.P. van der Aalst.
Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques.
In Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 161-183. Springer-Verlag, Berlin, 2000.

 

99
W.M.P. van der Aalst.
Loosely Coupled Interorganizational Workflows: Modeling and Analyzing Workflows Crossing Organizational Boundaries.
Information and Management, 37(2):67-75, March 2000.

 

100
W.M.P. van der Aalst and A.H.M. ter Hofstede.
Verification of Workflow Task Structures: A Petri-net-based Approach.
Information Systems, 25(1):43-69, 2000.

 

101
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, L. Gomes, and L. Lavagno, editors, Hardware Design and Petri Nets, pages 269-289. Kluwer Academic Publishers, Norwell, 2000.

 

102
H.M.W. Verbeek and W.M.P. van der Aalst.
Woflan 2.0: A Petri-net-based Workflow Diagnosis Tool.
In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, volume 1825 of Lecture Notes in Computer Science, pages 475-484. Springer-Verlag, Berlin, 2000.

 

103
W.M.P. van der Aalst, P. de Crom, R. Goverde, K.M. van Hee, W. Hofman, H. Reijers, and R.A. van der Toorn.
ExSpect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets.
In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, volume 1825 of Lecture Notes in Computer Science, pages 455-464. Springer-Verlag, Berlin, 2000.

 

104
W.M.P. van der Aalst, K.M. van Hee, and H.A. Reijers.
Analysis of Discrete-time Stochastic Petri Nets.
Statistica Neerlandica, 54(2):237-255, 2000.

 

105
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.
Advanced Workflow Patterns.
In O. Etzion and P. Scheuermann, editors, 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of Lecture Notes in Computer Science, pages 18-29. Springer-Verlag, Berlin, 2000.

 

106
W.M.P. van der Aalst, P. Barthelmess, C.A. Ellis, and J. Wainer.
Workflow Modeling using Proclets.
In O. Etzion and P. Scheuermann, editors, 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of Lecture Notes in Computer Science, pages 198-209. Springer-Verlag, Berlin, 2000.

 

107
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.
BETA Working Paper Series, WP 45, Eindhoven University of Technology, Eindhoven, 2000.

 

108
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.
Workflow Patterns.
BETA Working Paper Series, WP 47, Eindhoven University of Technology, Eindhoven, 2000.

 

109
W.M.P. van der Aalst.
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
BETA Working Paper Series, WP 46, Eindhoven University of Technology, Eindhoven, 2000.
 
110
H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst.
Diagnosing Workflow Processes Using Woflan.
BETA Working Paper Series, WP 48, Eindhoven University of Technology, Eindhoven, 2000.

 

111
W.M.P. van der Aalst.
Gevangen in Petri-netten (interview).
Business Process Magazine, 6(8):35-38, 2000.

 

112
W.M.P. van der Aalst and S. Jablonski.
Dealing with Workflow Change: Identification of Issues and Solutions.
International Journal of Computer Systems, Science, and Engineering, 15(5):267-276, 2000.

 

113
W.M.P. van der Aalst and S. Jablonski.
Editorial: Flexible Workflow Technology Driving the Networked Economy.
International Journal of Computer Systems, Science, and Engineering, 15(5):265-266, 2000.

 

114
W.M.P. van der Aalst and S. Jablonski, editors.
Flexible Workflow Technology Driving the Networked Economy, Special Issue of the International Journal of Computer Systems, Science, and Engineering, volume 15, number 5. CRL Publishing Ltd, 2000.

 

115
W.M.P. van der Aalst and T. Basten.
Inheritance of Workflows: An approach to tackling problems related to change.
BETA Working Paper Series, WP 50, Eindhoven University of Technology, Eindhoven, 2000.

 

116
W.M.P. van der Aalst.
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Change.
BETA Working Paper Series, WP 51, Eindhoven University of Technology, Eindhoven, 2000.

 

117
W.M.P. van der Aalst.
Process Design by Discovery: Harvesting Workflow Knowledge from Ad-hoc Executions.
In M. Jarke, D.E. O'Leary, and R. Studer, editors, Knowledge Management: An Interdisciplinary Approach, Dagstuhl, July 2000. Dagstuhl Seminar Report, 281.

 

118
W.M.P. van der Aalst.
Het kantoor als thuishaven (interview).
Computable, 34(9):33-35, 2001.

 

119
W.M.P. van der Aalst.
Reengineering Knock-out Processes.
Decision Support Systems, 30(4):451-468, 2001.

 

120
W.M.P. van der Aalst and K.M. van Hee.
Workflow Management: Models, Methods, and Systems.
BETA Working Paper Series, WP 52, Eindhoven University of Technology, Eindhoven, 2001.

 

121
B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Fundamentals of Control Flow in Workflows.
QUT Technical report, FIT-TR-2001-01, Queensland University of Technology, 2001.

 

122
W.M.P. van der Aalst.
Valkuilen bij het Selecteren van Workflow.
VIP, Vakblad voor Documentmanagement, 3(3):25-25, 2001.

 

123
T. Basten and W.M.P. van der Aalst.
Inheritance of Behavior.
Journal of Logic and Algebraic Programming, 47(2):47-145, 2001.

 

124
W.M.P. van der Aalst and T. Basten.
Identifying Commonalities and Differences in Object Life Cycles using Behavioral Inheritance.
In J.M. Colom and M. Koutny, editors, Application and Theory of Petri Nets 2001, volume 2075 of Lecture Notes in Computer Science, pages 32-52. Springer-Verlag, Berlin, 2001.

 

125
T. Basten and W.M.P. van der Aalst.
Inheritance of Dynamic Behavior: Development of a Groupware Editor.
In G. Agha, F. De Cindo, and G. Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, pages 391-405. Springer-Verlag, Berlin, 2001.

 

126
W.M.P. van der Aalst and M. Weske.
The P2P approach to Interorganizational Workflows.
In K.R. Dittrich, A. Geppert, and M.C. Norrie, editors, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of Lecture Notes in Computer Science, pages 140-156. Springer-Verlag, Berlin, 2001.

 

127
W.M.P. van der Aalst.
Valkuilen bij het Selecteren van Workflow Management Systemen.
In Nederlands ICT-Kenniscongres, pages 46-46, Den Haag, Sept 2001.

 

128
T. Weijters and W.M.P. van der Aalst.
Process Mining: Discovering Workflow Models from Event-Based Data.
In B. Kröse, M. de Rijke, G. Schreiber, and M. van Someren, editors, Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001), pages 283-290, 2001.

 

129
L. Maruster, W.M.P. van der Aalst, T. Weijters, A. van den Bosch, and W. Daelemans.
Automated Discovery of Workflow Models from Hospital Data.
In B. Kröse, M. de Rijke, G. Schreiber, and M. van Someren, editors, Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001), pages 183-190, 2001.

 

130
W.M.P. van der Aalst.
Patronen voor werkstroombesturing.
Management & Informatie, 9(4):4-12, 2001.

 

131
W.M.P. van der Aalst, H.M.W. Verbeek, and A. Kumar.
Verification of XRL: An XML-based Workflow Language.
In W. Shen, Z. Lin, J.P. Barthes, and M. Kamel, editors, Proceedings of the 6th International Conference on CSCW in Design, pages 427-432. NRC Research Press, Ottawa, Canada, 2001.

 

132
W.M.P. van der Aalst, H.A. Reijers, and S. Limam.
Product-driven Workflow Design.
In W. Shen, Z. Lin, J.P. Barthes, and M. Kamel, editors, Proceedings of the 6th International Conference on CSCW in Design, pages 397-402. NRC Research Press, Ottawa, Canada, 2001.

 

133
W.M.P. van der Aalst and P.J.S. Berens.
Beyond Workflow Management: Product-Driven Case Handling.
In S. Ellis, T. Rodden, and I. Zigurs, editors, International ACM SIGGROUP Conference on Supporting Group Work (GROUP 2001), pages 42-51. ACM Press, New York, 2001.

 

134
W.M.P. van der Aalst and A. Kumar.
Team-Enabled Workflow Management Systems.
Data and Knowledge Engineering, 38(3):335-363, 2001.

 

135
H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst.
Diagnosing Workflow Processes using Woflan.
The Computer Journal, 44(4):246-279, 2001.

 

136
W.M.P. van der Aalst.
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change.
Information Systems Frontiers, 3(3):297-317, 2001.

 

137
W.M.P. van der Aalst.
How to Handle Dynamic Change and Capture Management Information: An Approach Based on Generic Workflow Models.
International Journal of Computer Systems, Science, and Engineering, 16(5):295-318, 2001.

 

138
W.M.P. van der Aalst.
Making Work Flow: On the Design, Analysis and Enactment of Business Processes (inaugural lecture given at 30 November 2001).
Eindhoven University of Technology, Eindhoven, The Netherlands, 2001.

 

139
W.M.P. van der Aalst, H.M.W. Verbeek, and A. Kumar.
XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (Best paper award).
In K. Altinkemer and K. Chari, editors, Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST-2001), pages 30-45. Informs, Linthicum, MD, 2001.

 

140
W.M.P. van der Aalst, P. Barthelmess, C.A. Ellis, and J. Wainer.
Proclets: A Framework for Lightweight Interacting Workflow Processes.
International Journal of Cooperative Information Systems, 10(4):443-482, 2001.

 

141
W.M.P. van der Aalst.
Workflowmanagementsystemen op de pijnbank: Patronen voor werkstroombesturing.
VIP, Vakblad voor Documentmanagement, 13(6):40-44, 2001.

 

142
H.M.W. Verbeek, W.M.P. van der Aalst, and A. Kumar.
XRL/Woflan: Verification of an XML/Petri-net-based Language for Interorganizational Workflow.
BETA Working Paper Series, WP 65, Eindhoven University of Technology, Eindhoven, 2001.

 

143
T. Weijters and W.M.P. van der Aalst.
Rediscovering Workflow Models from Event-Based Data.
In V. Hoste and G. de Pauw, editors, Proceedings of the 11th Dutch-Belgian Conference on Machine Learning (Benelearn 2001), pages 93-100, 2001.

 

144
W.M.P. van der Aalst.
Werkstroomsoftware hapert (interview).
Computable, 34(51):1-1, 2001.

 

145
A. Kumar, W.M.P. van der Aalst, and H.M.W. Verbeek.
Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance?
Journal of Management Information Systems, 18(3):157-193, 2002.

 

146
W.M.P. van der Aalst and T. Basten.
Inheritance of Workflows: An Approach to Tackling Problems Related to Change.
Theoretical Computer Science, 270(1-2):125-203, 2002.

 

147
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.
Science of Computer Programming, 42(2-3):129-171, 2002. Follow link for erratum.

 

148
W.M.P. van der Aalst.
Studie effect workflow-systemen (interview).
Computable, 34(3):7-7, 2002.

 

149
W.M.P. van der Aalst and K.M. van Hee.
Workflow Management: Models, Methods, and Systems.
MIT press, Cambridge, MA, 2002.

 

150
W.M.P. van der Aalst.
Workflow Management Systemen: Doel of Middel.
VIP, Vakblad voor Documentmanagement, 14(1-2):36-38, 2002.

 

151
W.M.P. van der Aalst and H. Reijers.
Adviseurs slaan bij workflow-systemen de plank regelmatig mis.
Automatisering Gids, 36(15):15-15, 2002.

 

152
W.M.P. van der Aalst.
Inheritance and Mining of WF-nets.
In G. Engels, R. van Glabbeek, and U. Goltz, editors, Concurrency and Dynamic Behavior Modeling: Pragmatics and Semantics, Dagstuhl, March 2002. Dagstuhl Seminar Report 337.

 

153
W.M.P. van der Aalst.
Making Work Flow: On the Application of Petri nets to Business Process Management.
In J. Esparza and C. Lakos, editors, Application and Theory of Petri Nets 2002, volume 2360 of Lecture Notes in Computer Science, pages 1-22. Springer-Verlag, Berlin, 2002.

 

154
W.M.P. van der Aalst.
X-tra - Workflow Management Systemen: Doel of Middel.
Scope, 9(2):34-36, 2002.

 

155
W.M.P. van der Aalst, A. Hirnschall, and H.M.W. Verbeek.
An Alternative Way to Analyze Workflow Graphs.
In A. Banks-Pidduck, J. Mylopoulos, C.C. Woo, and M.T. Ozsu, editors, Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE'02), volume 2348 of Lecture Notes in Computer Science, pages 535-552. Springer-Verlag, Berlin, 2002.

 

156
W.M.P. van der Aalst, K.M. van Hee, and R.A. van der Toorn.
Compositionality of Projection Inheritance (Erratum).
Science of Computer Programming, 44(3):343-344, 2002.

 

157
W.M.P. van der Aalst.
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-commerce.
Electronic Commerce Research, 2(3):195-231, 2002.

 

158
B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Fundamentals of Control Flow in Workflows.
QUT Technical report, FIT-TR-2002-03, Queensland University of Technology, Brisbane, 2002.

 

159
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.
Workflow Patterns.
QUT Technical report, FIT-TR-2002-02, Queensland University of Technology, Brisbane, 2002.
(Also see http://www.tm.tue.nl/it/research/patterns.).

 

160
W.M.P. van der Aalst and A.H.M. ter Hofstede.
Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages.
In K. Jensen, editor, Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1-20, Aarhus, Denmark, August 2002. University of Aarhus.

 

161
W.M.P. van der Aalst.
Inheritance of Dynamic Behaviour in UML.
In D. Moldt, editor, Proceedings of the Second Workshop on Modelling of Objects, Components and Agents (MOCA 2002), volume 561 of DAIMI, pages 105-120, Aarhus, Denmark, August 2002. University of Aarhus.

 

162
W.M.P. van der Aalst and B.F. van Dongen.
Discovering Workflow Performance Models from Timed Logs.
In Y. Han, S. Tai, and D. Wikarski, editors, International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002), volume 2480 of Lecture Notes in Computer Science, pages 45-63. Springer-Verlag, Berlin, 2002.

 

163
L. Maruster, W.M.P. van der Aalst, A.J.M.M. Weijters, A. van den Bosch, and W. Daelemans.
Automated Discovery of Workflow Models from Hospital Data.
In C. Dousson, F. Höppner, and R. Quiniou, editors, Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial Data, pages 32-36, 2002.

 

164
A.J.M.M. Weijters and W.M.P. van der Aalst.
Workflow Mining: Discovering Workflow Models from Event-Based Data.
In C. Dousson, F. Höppner, and R. Quiniou, editors, Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial Data, pages 78-84, 2002.

 

165
L. Maruster, J.C. Wortmann, A.J.M.M. Weijters, and W.M.P. van der Aalst.
Discovering Distributed Processes in Supply Chains.
In H. Jagdev, H. Wortmann, H.J. Pels, and A. Hirnschall, editors, Proceedings of the International Conference on Advanced Production Management Systems (APMS 2002), pages 119-128, 2002.

 

166
W.M.P. van der Aalst, K.M. van Hee, and R.A. van der Toorn.
Construction Rules for Component-Based Architectures.
Computing Science Reports 02/08, Eindhoven University of Technology, Eindhoven, 2002.

 

167
H.M.W. Verbeek, A. Hirnschall, and W.M.P. van der Aalst.
XRL/Flower: Supporting Interorganizational Workflows using XRL/Petri-net Technology.
In C. Bussler, R. Hull, S. McIlraith, M. Orlowska, B. Pernici, and J. Yang, editors, Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop (WES 2002), volume 2512 of Lecture Notes in Computer Science, pages 93-108. Springer-Verlag, Berlin, 2002.

 

168
J.W.F. Wamelink, M. Stoffele, and W.M.P. van der Aalst.
Workflow Management in Construction: Opportunities for the Future.
In K. Agger, P. Christiansson, and R. Howard, editors, Proceedings of CIB W78 conference 2002: Distributing Knowledge in Building, pages 115-122, Aarhus, Denmark, 2002. International Council for Research and Innovation in Building and Construction, Rotterdam, The Netherlands.

 

169
W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster.
Workflow Mining: Which Processes can be Rediscovered?
BETA Working Paper Series, WP 74, Eindhoven University of Technology, Eindhoven, 2002.

 

170
W.M.P. van der Aalst, J. Desel, and E. Kindler.
On the Semantics of EPCs: A Vicious Circle.
In M. Nüttgens and F.J. Rump, editors, Proceedings of the EPK 2002: Business Process Management using EPCs, pages 71-80, Trier, Germany, November 2002. Gesellschaft für Informatik, Bonn.

 

171
A.J.M.M. Weijters and W.M.P. van der Aalst.
Rediscovering Workflow Models from Event-Based Data.
In Proceedings of the Third International NAISO Symposium on Engineering of Intelligent Systems (EIS 2002), pages 65-65. NAISO Academic Press, Sliedrecht, The Netherlands, 2002.
Full paper on CD-rom proceedings.

 

172
L. Maruster, A.J.M.M. Weijters, W.M.P. van der Aalst, and A. van den Bosch.
Process Mining: Discovering Direct Successors in Process Logs.
In Proceedings of the 5th International Conference on Discovery Science (Discovery Science 2002), volume 2534 of Lecture Notes in Artificial Intelligence, pages 364-373. Springer-Verlag, Berlin, 2002.

 

173
W.M.P. van der Aalst.
Piet's Razor Applied to BPR: Reengineering Knock-out Processes.
In M. Jansen-Vullers and T. Valstar, editors, Op het Grensvlak van Logistiek en ICT (Liber Amoricum Piet van der Vlist), pages 199-214. Eindhoven University of Technology, I&T, Eindhoven, The Netherlands, 2002.

 

174
W.M.P. van der Aalst and A.H.M. ter Hofstede.
YAWL: Yet Another Workflow Language.
QUT Technical report, FIT-TR-2002-06, Queensland University of Technology, Brisbane, 2002.

 

175
P. Wohed, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Pattern-Based Analysis of BPEL4WS.
QUT Technical report, FIT-TR-2002-04, Queensland University of Technology, Brisbane, 2002.

 

176
W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and P. Wohed.
Pattern-Based Analysis of BPML (and WSCI).
QUT Technical report, FIT-TR-2002-05, Queensland University of Technology, Brisbane, 2002.

 

177
W.M.P. van der Aalst and T. Weijters.
X-tra - KLeinduimpje in Workflowland: Op zoek naar procesdata.
Scope, 10(12):38-40, 2002.

 

178
W.M.P. van der Aalst.
Part V: Application Domains, Chapter 23: Introduction.
In G. Girault and R. Valk, editors, Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications, pages 473-477. Springer-Verlag, Berlin, 2003.

 

179
W.M.P. van der Aalst and M. van de Graaf.
Part V: Application Domains, Chapter 25: Workflow Systems.
In G. Girault and R. Valk, editors, Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications, pages 507-539. Springer-Verlag, Berlin, 2003.

 

180
W.M.P. van der Aalst.
Part V: Application Domains, Chapter 27: Conclusion.
In G. Girault and R. Valk, editors, Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications, pages 567-569. Springer-Verlag, Berlin, 2003.

 

181
W.M.P. van der Aalst.
Don't go with the flow: Web services composition standards exposed.
IEEE Intelligent Systems
, 18(1):72-76, 2003.

 

182
W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske, editors. International Conference on Business Process Management (BPM 2003), volume 2678 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2003.

 

183
W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske.
Business Process Management: A Survey.
In W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske, editors, International Conference on Business Process Management (BPM 2003), volume 2678 of Lecture Notes in Computer Science, pages 1-12. Springer-Verlag, Berlin, 2003.

 

184
W.M.P. van der Aalst and E. Best, editors. 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), volume 2679 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2003.

 

185
B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Fundamentals of Control Flow in Workflows.
Acta Informatica
, 39(3):143-209, 2003.

 

186
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.
Workflow Patterns.
Distributed and Parallel Databases
, 14(1):5-51, 2003.

 

187
W.M.P. van der Aalst, M. Stoffele, and J.W.F. Wamelink.
Case Handling in Construction.
Automation in Construction
, 12(3):303-320, 2003.

 

188
A.J.M.M. Weijters and W.M.P. van der Aalst.
Rediscovering Workflow Models from Event-Based Data using Little Thumb.
Integrated Computer-Aided Engineering
, 10(2):151-162, 2003.

 

189
W.M.P. van der Aalst and A. Kumar.
XML Based Schema Definition for Support of Inter-organizational Workflow.
Information Systems Research
, 14(1):23-46, 2003.

 

190
W.M.P. van der Aalst and T. Weijters.
Kleinduimpje in Workflowland.
Management & Informatie
, 11(1):4-8, 2003.

 

191
W.M.P. van der Aalst.
Inheritance of Interorganizational Workflows: How to agree to disagree without loosing control?
Information Technology and Management Journal
, 2(3):195-231, 2002.
 
192
W.M.P. van der Aalst.
Petrinet brengt processen in kaart (interview).
Network World
, 1(2):16-17, 2003.

 

193
L. Maruster, J.C. Wortmann, A.J.M.M. Weijters, and W.M.P. van der Aalst.
Discovering Distributed Processes in Supply Chains.
In H. Jagdev, J.C. Wortmann, and H.J. Pels, editors, Collaborative Systems for Production Management, pages 219-243. Elsevier Science Publishers, Amsterdam, 2003.

 

194
H.A. Reijers, S. Limam, and W.M.P. van der Aalst.
Product-based Workflow Design.
Journal of Management Information systems
, 20(1):229-262, 2003.

 

195
W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster.
Workflow Mining: Discovering Process Models from Event Logs.
QUT Technical report, FIT-TR-2003-03, Queensland University of Technology, Brisbane, 2003. 

 

196
W.M.P. van der Aalst.
Wetenschap ontmoet producenten op BPM-congres (interview).
Business Process Magazine
, 9(5):42-44, 2003.

 

197
W.M.P. van der Aalst.
Workflow mining of: Hoe werken we nu echt? (Procesmodellen destilleren uit workflow- of event- logs) (in Dutch).
Business Process Magazine
, 9(6):13-17, 2003..

 

198
W.M.P. van der Aalst and A.H.M. ter Hofstede.
YAWL: Yet Another Workflow Language (Revised Version).
QUT Technical report, FIT-TR-2003-04, Queensland University of Technology, Brisbane, 2003.

 

199
W.M.P. van der Aalst.
Business Process Management: Instrumente der Zukunft (in German).
FIN.KOM: Magazin für Banking Innovation
, 3(3):2-3, 2003.

 

200
M. Rosemann and W.M.P. van der Aalst.
A Configurable Reference Modelling Language.
QUT Technical report, FIT-TR-2003-05, Queensland University of Technology, Brisbane, 2003.

 

201
W.M.P. van der Aalst.
Patterns and XPDL: A Critical Evaluation of the XML Process Definition Language.
QUT Technical report, FIT-TR-2003-06, Queensland University of Technology, Brisbane, 2003.

 

202
W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede.
Design and Implementation of the YAWL System.
QUT Technical report, FIT-TR-2003-07, Queensland University of Technology, Brisbane, 2003.

 

203
W.M.P. van der Aalst, J-M. Colom, F. Kordon, G. Kotsis, and D. Moldt.
Petri Net Approaches for Modelling and Validation
, volume 1 of LINCOM Studies in Computer Science. Lincom, München, Germany, 2003.

 

204
W.M.P. van der Aalst.
Chapter 1: Putting Petri Nets to Work in the Workflow Arena. In W. van der Aalst, J-M. Colom, F. Kordon, G. Kotsis, and D. Moldt, editors,
Petri Net Approaches for Modelling and Validation
, volume 1 of LINCOM Studies in Computer Science, pages 1-20. Lincom, München, Germany, 2003.

 

205
W.M.P. van der Aalst, A. Kumar, and H.M.W. Verbeek.
Organizational Modeling in UML and XML in the context of Workflow Systems.
In H. Haddad and G. Papadopoulos, editors, Proceedings of the 18th Annual ACM Symposium on Applied Computing (SAC 2003), pages 603-608. ACM Press, 2003.

 

206
W.M.P. van der Aalst, B.F. van Dongen, J. Herbst, L. Maruster, G. Schimm, and A.J.M.M. Weijters.
Workflow Mining: A Survey of Issues and Approaches.
Data and Knowledge Engineering
, 47(2):237-267, 2003.

 

207
H. Reijers and W.M.P. van der Aalst.
Formele methoden in Business Process Management.
Informatie
, 45(5):50-53, 2003.

 

208
W.M.P. van der Aalst.
Congresserend de zomer door.
Computable
, 36(23):14-15, 2003.

 

209
W.M.P. van der Aalst.
Challenges in Business Process Management: Verification of business processes using Petri nets.
Bulletin of the EATCS
, 80:174-198, 2003.

 

210
P. Wohed, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Analysis of Web Services Composition Languages: The Case of BPEL4WS.
In I.Y. Song, S.W. Liddle, T.W. Ling, and P. Scheuermann, editors, 22nd International Conference on Conceptual Modeling (ER 2003), volume 2813 of Lecture Notes in Computer Science, pages 200-215. Springer-Verlag, Berlin, 2003.

 

211
W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Web Service Composition Languages: Old Wine in New Bottles?
In G. Chroust and C. Hofer, editors, Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture, pages 298-305. IEEE Computer Society, Los Alamitos, CA, 2003.

 

212
H. Reijers, J. Rigter, and W.M.P. van der Aalst.
The Case Handling Case.
International Journal of Cooperative Information Systems
, 12(3):365-391, 2003.

 

213
W.M.P. van der Aalst.
Workflow: Vijftien jaar jong en nog volop in groei (interview).
ICT in Zekerheid
, 3(5):4-7, 2003.

 

214
W.M.P. van der Aalst.
Inheritance of Business Processes: A Journey Visiting Four Notorious Problems.
In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technology for Communication Based Systems, volume 2472 of Lecture Notes in Computer Science, pages 383-408. Springer-Verlag, Berlin, 2003.

 

215
A.K.A. de Medeiros, W.M.P. van der Aalst, and A.J.M.M. Weijters.
Workflow Mining: Current Status and Future Directions.
In R. Meersman, Z. Tari, and D.C. Schmidt, editors, On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, volume 2888 of Lecture Notes in Computer Science, pages 389-406. Springer-Verlag, Berlin, 2003.

 

216
W.M.P. van der Aalst, M. Weske, and G. Wirtz.
Advanced Topics in Workflow Management: Issues, Requirements, and Solutions.
Journal of Integrated Design and Process Science
, 7(3):49-77, 2003.

 

217
H.M.W. Verbeek, W.M.P. van der Aalst, and A. Kumar.
Verification and Extensibility of an XML/Petri-net-based Language for Inter-organizational Workflows.
Information Technology and Management Journal
, 5(1):65-110, 2004.

 

218
W.M.P. van der Aalst and A.J.M.M. Weijters, editors.
Process Mining
, Special Issue of Computers in Industry, Volume 53, Number 3. Elsevier Science Publishers, Amsterdam, 2004.

 

219
W.M.P. van der Aalst and A.J.M.M. Weijters.
Process Mining: A Research Agenda.
Computers in Industry
, 53(3):231-244, 2004.

 

220
N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst.
Workflow Data Patterns.
QUT Technical report, FIT-TR-2004-01, Queensland University of Technology, Brisbane, 2004.

 

221
A.K.A. de Medeiros, B.F. van Dongen, W.M.P. van der Aalst, and A.J.M.M. Weijters.
Process Mining: Extending the a-algorithm to Mine Short Loops.
BETA Working Paper Series, WP 113, Eindhoven University of Technology, Eindhoven, 2004.
 

 

222
W.M.P. van der Aalst.
Business Alignment: Using Process Mining as a Tool for Delta Analysis.
In J. Grundspenkis and M. Kirikova, editors, Proceedings of the 5th Workshop on Business Process Modeling, Development and Support (BPMDS'04), volume 2 of Caise'04 Workshops, pages 138-145. Riga Technical University, Latvia, 2004.
223
A.K.A. de Medeiros, B.F. van Dongen, W.M.P. van der Aalst, and A.J.M.M. Weijters.
Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm.
In L. Baresi, S. Dustdar, H. Gall, and M. Matera, editors, Ubiquitous Mobile Information and Collaboration Systems (UMICS 2004), pages 156-170, 2004.

 

224
W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede.
Design and Implementation of the YAWL System.
In A. Persson and J. Stirna, editors, Advanced Information Systems Engineering, Proceedings of the 16th International Conference on Advanced Information Systems Engineering (CAiSE'04), volume 3084 of Lecture Notes in Computer Science, pages 142-159. Springer-Verlag, Berlin, 2004.

 

225
M. Song, W.M.P. van der Aalst, and I. Choi M. Song.
Mining Social Networks for Business Process Logs (in Korean).
In Spring conference on Industrial Engineering and Management Science. Chonbook University, Korea, 2004.
 
226
W.M.P. van der Aalst. Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. In J. Desel, W. Reisig, and G. Rozenberg, editors, Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 1-65. Springer-Verlag, Berlin, 2004.
 
227
W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods and Systems (in Chinese). Tsingua University Press, Beijing, China, 2004.
 
228
W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods and Systems (in Dutch, second revised print). Academic Service, Schoonhoven, 2004.
 
229
W.M.P. van der Aalst. Business Process Management: A Personal View. Business Process Management Journal, 10(2):135-139, 2004.
 
230
W.M.P. van der Aalst and M. Song. Discovering Social Networks from Event Logs. BETA Working Paper Series, WP 116, Eindhoven University of Technology, Eindhoven, 2004.
 
231
W.M.P. van der Aalst. Matching Observed Behavior and Modeled Behavior: An Approach Based on Petri nets and Integer Programming. BETA Working Paper Series, WP 117, Eindhoven University of Technology, Eindhoven, 2004.
 
232
L. Wen, J. Wang, W.M.P. van der Aalst, Z. Wang, and J. Sun. A Novel Approach for Process Mining Based on Event Types. BETA Working Paper Series, WP 118, Eindhoven University of Technology, Eindhoven, 2004.
 
233
W.M.P. van der Aalst and M. Song. Mining Social Networks: Uncovering Interaction Patterns in Business Processes. In J. Desel, B. Pernici, and M. Weske, editors, International Conference on Business Process Management (BPM 2004), volume 3080 of Lecture Notes in Computer Science, pages 244-260. Springer-Verlag, Berlin, 2004.
 
234
M. Weske, W.M.P. van der Aalst, and H.M.W. Verbeek, editors. Advances in Business Process Management, Special Issue of Data and Knowledge Engineering, Volume 50, Issue 1. Elsevier Science Publishers, Amsterdam, 2004.
 
235
M. Weske, W.M.P. van der Aalst, and H.M.W. Verbeek. Advances in Business Process Management. Data and Knowledge Engineering, 50(1):1-8, 2004.
 
236
B.F. van Dongen and W.M.P. van der Aalst. EMiT: A Process Mining Tool. In J. Cortadella and W. Reisig, editors, Application and Theory of Petri Nets 2004, volume 3099 of Lecture Notes in Computer Science, pages 454-463. Springer-Verlag, Berlin, 2004.
 
237
W.M.P. van der Aalst and A.K.A. de Medeiros. Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. In N. Busi, R. Gorrieri, and F. Martinelli, editors, Second International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), pages 69-84. STAR, Servizio Tipografico Area della Ricerca, CNR Pisa, Italy, 2004
238
W.M.P. van der Aalst. Discovering Coordination Patterns using Process Mining. In L. Bocchi and P. Ciancarini, editors, First International Workshop on Coordination and Petri Nets (PNC 2004), pages 49-64. STAR, Servizio Tipografico Area della Ricerca, CNR Pisa, Italy, 2004.
239
R. Meersman, Z. Tari, W.M.P. van der Aalst, C. Bussler, and A. Gal et al., editors. On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004 (Part I), volume 3290 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2004.
 
240
R. Meersman, Z. Tari, W.M.P. van der Aalst, C. Bussler, and A. Gal et al., editors. On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004 (Part II), volume 3291 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2004.
 
241
W.M.P. van der Aalst, C. Bussler, and A. Gal. CoopIS 2004 International Conference (International Conference on Cooperative Information Systems) PC Co-chairs Message. In R. Meersman, Z. Tari, W.M.P. van der Aalst, C. Bussler, and A. Gal et al., editors, On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, volume 3290 of Lecture Notes in Computer Science, pages 1-1, 2004.
 
242
P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and N. Russell. Pattern-based Analysis of UML Activity Diagrams. BETA Working Paper Series, WP 129, Eindhoven University of Technology, Eindhoven, 2004.
243
M.T. Wynn, D. Edmond, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. QUT Technical report, FIT-TR-2004-02, Queensland University of Technology, Brisbane, 2004.
 
244
A.K.A. de Medeiros, B.F. van Dongen, W.M.P. van der Aalst, and A.J.M.M. Weijters. Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm. In L. Baresi, S. Dustdar, H. Gall, and M. Matera, editors, Ubiquitous Mobile Information and Collaboration Systems (UMICS 2004), volume 3272 of Lecture Notes in Computer Science, pages 154-168. Springer-Verlag, Berlin, 2004.
 
245
W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster. Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering, 16(9):1128-1142, 2004.
 
246
J. Dehnert and W.M.P. van der Aalst. Bridging the Gap Between Business Models and Workflow Specifications. International Journal of Cooperative Information Systems, 13(3):289-332, 2004.
247
B.F. van Dongen and W.M.P. van der Aalst. Multi-Phase Process Mining: Building Instance Graphs. In P. Atzeni, W. Chu, H. Lu, S. Zhou, and T.W. Ling, editors, International Conference on Conceptual Modeling (ER 2004), volume 3288 of Lecture Notes in Computer Science, pages 362-376. Springer-Verlag, Berlin, 2004.
248
E. Liu, A. Kumar, and W.M.P. van der Aalst. A Formal Modeling Approach for Supply Chain Management. In A. Dutta and P. Goes, editors, Proceedings of 14th Annual Workshop on Information Technologies and Systems (WITS 2004), pages 110-115, Washington, DC, December 2004.
249
A.K.A. de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst. Using Genetic Algorithms to Mine Process Models: Representation, Operators and Results. BETA Working Paper Series, WP 124, Eindhoven University of Technology, Eindhoven, 2004.
 
250
N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Workflow Resource Patterns. BETA Working Paper Series, WP 127, Eindhoven University of Technology, Eindhoven, 2004.
 
 
 
 
Click here for full list, recent publications, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2000-2004, before 2000.

 

 

 

     

Home | Recent publications | Publications 2012 | Publications 2011 | Publications 2010 | Publications 2009 | Publications 2008 | Publications 2007 | Publications 2006 | Publications 2005 | Publications 2000-2004 | Publications before 2000

This site was last updated 10/08/13