×

zbMATH — the first resource for mathematics

van der Aalst, Wil M. P.

Compute Distance To:
Author ID: van-der-aalst.wil-m-p.1 Recent zbMATH articles by "van der Aalst, Wil M. P."
Published as: van der Aalst, W.; van der Aalst, W. M. P.; van der Aalst, Wil; van der Aalst, Wil M.; van der Aalst, Wil M. P.
Documents Indexed: 72 Publications since 1992, including 12 Books

Publications by Year

Citations contained in zbMATH

42 Publications have been cited 169 times in 116 Documents Cited by Year
Soundness of workflow nets: classification, decidability, and analysis. Zbl 1225.68129
van der Aalst, W. M. P.; van Hee, K. M.; ter Hofstede, A. H. M.; Sidorova, N.; Verbeek, H. M. W.; Voorhoeve, M.; Wynn, M. T.
16
2011
Process mining. Discovery, conformance and enhancement of business processes. Zbl 1216.68016
van der Aalst, Wil M. P.
16
2011
Formal semantics and analysis of control flow in WS-BPEL. Zbl 1122.68073
Ouyang, Chun; Verbeek, Eric; van der Aalst, Wil M. P.; Breutel, Stephan; Dumas, Marlon; ter Hofstede, Arthur H. M.
10
2007
Inheritance of workflows: An approach to tackling problems related to change. Zbl 0984.68113
van der Aalst, W. M. P.; Basten, T.
9
2002
Diagnosing workflow processes using Woflan. Zbl 0993.68141
Verbeek, H. M. W.; Basten, T.; van der Aalst, W. M. P.
8
2001
Discovering workflow performance models from timed logs. Zbl 1015.68653
van der Aalst, W. M. P.; van Dongen, B. F.
7
2002
Woflan: A Petri-net-based workflow analyzer. Zbl 1030.68877
van der Aalst, W. M. P.
7
1999
Soundness-preserving reduction rules for reset workflow nets. Zbl 1162.68488
Wynn, M. T.; Verbeek, H. M. W.; van der Aalst, W. M. P.; ter Hofstede, A. H. M.; Edmond, D.
6
2009
Inheritance of behavior. Zbl 0974.68137
Basten, Twan; van der Aalst, Wil M. P.
6
2001
Interorganizational workflows. An approach based on massage sequence charts and petri nets. Zbl 0958.68541
van der Aalst, W. M. P.
6
1999
Timed coloured Petri nets and their application to logistics. Zbl 0753.68077
van der Aalst, W. M. P.
6
1992
Fundamentals of control flow in workflows. Zbl 1060.68079
Kiepuszewski, B.; ter Hofstede, A. H. M.; van der Aalst, W. M. P.
5
2003
Modeling business processes. A Petri net-oriented approach. Zbl 1216.00032
van der Aalst, Wil; Stahl, Christian
4
2011
The ProM framework: A new era in process mining tool support. Zbl 1128.68390
van Dongen, B. F.; de Medeiros, A. K. A.; Verbeek, H. M. W.; Weijters, A. J. M. M.; van der Aalst, W. M. P.
4
2005
Business process management demystified: A tutorial on models, systems and standards for workflow management. Zbl 1088.68669
van der Aalst, Wil M. P.
4
2004
Inheritance of interorganizational workflows to enable business-to-business E-commerce. Zbl 1025.68054
van der Aalst, W. M. P.
4
2002
Analysis of discrete-time stochastic Petri nets. Zbl 0994.68091
van der Aalst, W. M. P.; van Hee, K. M.; Reijers, H. A.
4
2000
Petri net based scheduling. Zbl 0865.90077
van der Aalst, W. M. P.
4
1996
Discovering block-structured process models from event logs – a constructive approach. Zbl 1381.68211
Leemans, Sander J. J.; Fahland, Dirk; van der Aalst, Wil M. P.
3
2013
Decomposing process mining problems using passages. Zbl 1357.68146
van der Aalst, Wil M. P.
3
2012
Reduction rules for reset/inhibitor nets. Zbl 1187.68330
Verbeek, H. M. W.; Wynn, M. T.; van der Aalst, W. M. P.; ter Hofstede, A. H. M.
3
2010
Inheritance of business processes: a journey visiting four notorious problems. Zbl 1283.90025
van der Aalst, W. M. P.
3
2003
Woflan 2. 0: A Petri-net-based workflow diagnosis tool. Zbl 0986.68781
Verbeek, Eric; van der Aalst, Wil M. P.
3
2000
Verification of workflow task structures: A Petri-net-based approach. Zbl 0956.68521
van der Aalst, Wil M. P.; ter Hofstede, Arthur H. M.
3
2000
Liveness, fairness, and recurrence in Petri nets. Zbl 0953.68575
Kindler, E.; van der Aalst, W.
3
1999
Causal nets: a modeling language tailored towards process discovery. Zbl 1343.68180
van der Aalst, Wil; Adriansyah, Arya; van Dongen, Boudewijn
2
2011
Preserving correctness during business process model configuration. Zbl 1213.68413
van der Aalst, Wil M. P.; Dumas, Marlon; Gottschalk, Florian; ter Hofstede, Arthur H. M.; La Rosa, Marcello; Mendling, Jan
2
2010
Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets. Zbl 1128.68389
Wynn, Moe Thandar; Edmond, David; van der Aalst, W. M. P.; ter Hofstede, A. H. M.
2
2005
Making work flow: On the application of Petri nets to business process management. Zbl 1047.68613
van der Aalst, Wil M. P.
2
2002
Inheritance of dynamic behavior. development of a groupware editor. Zbl 0976.68552
Basten, Twan; van der Aalst, Wil M. P.
2
2001
Balanced multi-perspective checking of process conformance. Zbl 1352.68186
Mannhardt, Felix; de Leoni, Massimiliano; Reijers, Hajo A.; van der Aalst, Wil M. P.
1
2016
Process discovery using localized events. Zbl 1432.68320
van der Aalst, Wil M. P.; Kalenkova, Anna; Rubin, Vladimir; Verbeek, Eric
1
2015
Strategies for modeling complex processes using colored Petri nets. Zbl 1382.68157
van der Aalst, Wil M. P.; Stahl, Christian; Westergaard, Michael
1
2013
Transactions on Petri Nets and Other Models of Concurrency VII. Zbl 1263.68020
Jensen, Kurt (ed.); van der Aalst, Wil M. P. (ed.); Balbo, Gianfranco (ed.); Koutny, Maciej (ed.); Wolf, Karsten (ed.)
1
2013
Soundness of workflow nets with reset ARCS. Zbl 1266.68140
van der Aalst, Wil M. P.; van Hee, Kees M.; ter Hofstede, Arthur H. M.; Sidorova, Natalia; Verbeek, H. M. W.; Voorhoeve, Marc; Wynn, Moe T.
1
2009
Compositional service trees. Zbl 1242.68190
van der Aalst, Wil M. P.; van Hee, Kees M.; Massuthe, Peter; Sidorova, Natalia; van der Werf, Jan Martijn
1
2009
Discovery, verification and conformance of workflows with cancellation. Zbl 1175.68283
van der Aalst, W. M. P.
1
2008
Process mining and security: detecting anomalous process executions and checking process conformance. Zbl 1272.68348
van der Aalst, W. M. P.; de Medeiros, A. K. A
1
2005
Business process management. International conference, BPM 2003, Eindhoven, The Netherlands, June 26–27, 2003. Proceedings. Zbl 1045.68980
van der Aalst, Wil (ed.); ter Hofstede, Arthur (ed.); Weske, Mathias (ed.)
1
2003
An alternative way to analyze workflow graphs. Zbl 1046.68975
van der Aalst, W. M. P.; Hirnschall, A.; Verbeek, H. M. W.
1
2002
Identifying commonalities and differences in object life cycles using behavioral inheritance. Zbl 0986.68094
van der Aalst, Wil M. P.; Basten, Twan
1
2001
The P2P approach to interorganizational workflows. Zbl 0980.68857
van der Aalst, Wil M. P.; Weske, Mathias
1
2001
Balanced multi-perspective checking of process conformance. Zbl 1352.68186
Mannhardt, Felix; de Leoni, Massimiliano; Reijers, Hajo A.; van der Aalst, Wil M. P.
1
2016
Process discovery using localized events. Zbl 1432.68320
van der Aalst, Wil M. P.; Kalenkova, Anna; Rubin, Vladimir; Verbeek, Eric
1
2015
Discovering block-structured process models from event logs – a constructive approach. Zbl 1381.68211
Leemans, Sander J. J.; Fahland, Dirk; van der Aalst, Wil M. P.
3
2013
Strategies for modeling complex processes using colored Petri nets. Zbl 1382.68157
van der Aalst, Wil M. P.; Stahl, Christian; Westergaard, Michael
1
2013
Transactions on Petri Nets and Other Models of Concurrency VII. Zbl 1263.68020
Jensen, Kurt (ed.); van der Aalst, Wil M. P. (ed.); Balbo, Gianfranco (ed.); Koutny, Maciej (ed.); Wolf, Karsten (ed.)
1
2013
Decomposing process mining problems using passages. Zbl 1357.68146
van der Aalst, Wil M. P.
3
2012
Soundness of workflow nets: classification, decidability, and analysis. Zbl 1225.68129
van der Aalst, W. M. P.; van Hee, K. M.; ter Hofstede, A. H. M.; Sidorova, N.; Verbeek, H. M. W.; Voorhoeve, M.; Wynn, M. T.
16
2011
Process mining. Discovery, conformance and enhancement of business processes. Zbl 1216.68016
van der Aalst, Wil M. P.
16
2011
Modeling business processes. A Petri net-oriented approach. Zbl 1216.00032
van der Aalst, Wil; Stahl, Christian
4
2011
Causal nets: a modeling language tailored towards process discovery. Zbl 1343.68180
van der Aalst, Wil; Adriansyah, Arya; van Dongen, Boudewijn
2
2011
Reduction rules for reset/inhibitor nets. Zbl 1187.68330
Verbeek, H. M. W.; Wynn, M. T.; van der Aalst, W. M. P.; ter Hofstede, A. H. M.
3
2010
Preserving correctness during business process model configuration. Zbl 1213.68413
van der Aalst, Wil M. P.; Dumas, Marlon; Gottschalk, Florian; ter Hofstede, Arthur H. M.; La Rosa, Marcello; Mendling, Jan
2
2010
Soundness-preserving reduction rules for reset workflow nets. Zbl 1162.68488
Wynn, M. T.; Verbeek, H. M. W.; van der Aalst, W. M. P.; ter Hofstede, A. H. M.; Edmond, D.
6
2009
Soundness of workflow nets with reset ARCS. Zbl 1266.68140
van der Aalst, Wil M. P.; van Hee, Kees M.; ter Hofstede, Arthur H. M.; Sidorova, Natalia; Verbeek, H. M. W.; Voorhoeve, Marc; Wynn, Moe T.
1
2009
Compositional service trees. Zbl 1242.68190
van der Aalst, Wil M. P.; van Hee, Kees M.; Massuthe, Peter; Sidorova, Natalia; van der Werf, Jan Martijn
1
2009
Discovery, verification and conformance of workflows with cancellation. Zbl 1175.68283
van der Aalst, W. M. P.
1
2008
Formal semantics and analysis of control flow in WS-BPEL. Zbl 1122.68073
Ouyang, Chun; Verbeek, Eric; van der Aalst, Wil M. P.; Breutel, Stephan; Dumas, Marlon; ter Hofstede, Arthur H. M.
10
2007
The ProM framework: A new era in process mining tool support. Zbl 1128.68390
van Dongen, B. F.; de Medeiros, A. K. A.; Verbeek, H. M. W.; Weijters, A. J. M. M.; van der Aalst, W. M. P.
4
2005
Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets. Zbl 1128.68389
Wynn, Moe Thandar; Edmond, David; van der Aalst, W. M. P.; ter Hofstede, A. H. M.
2
2005
Process mining and security: detecting anomalous process executions and checking process conformance. Zbl 1272.68348
van der Aalst, W. M. P.; de Medeiros, A. K. A
1
2005
Business process management demystified: A tutorial on models, systems and standards for workflow management. Zbl 1088.68669
van der Aalst, Wil M. P.
4
2004
Fundamentals of control flow in workflows. Zbl 1060.68079
Kiepuszewski, B.; ter Hofstede, A. H. M.; van der Aalst, W. M. P.
5
2003
Inheritance of business processes: a journey visiting four notorious problems. Zbl 1283.90025
van der Aalst, W. M. P.
3
2003
Business process management. International conference, BPM 2003, Eindhoven, The Netherlands, June 26–27, 2003. Proceedings. Zbl 1045.68980
van der Aalst, Wil (ed.); ter Hofstede, Arthur (ed.); Weske, Mathias (ed.)
1
2003
Inheritance of workflows: An approach to tackling problems related to change. Zbl 0984.68113
van der Aalst, W. M. P.; Basten, T.
9
2002
Discovering workflow performance models from timed logs. Zbl 1015.68653
van der Aalst, W. M. P.; van Dongen, B. F.
7
2002
Inheritance of interorganizational workflows to enable business-to-business E-commerce. Zbl 1025.68054
van der Aalst, W. M. P.
4
2002
Making work flow: On the application of Petri nets to business process management. Zbl 1047.68613
van der Aalst, Wil M. P.
2
2002
An alternative way to analyze workflow graphs. Zbl 1046.68975
van der Aalst, W. M. P.; Hirnschall, A.; Verbeek, H. M. W.
1
2002
Diagnosing workflow processes using Woflan. Zbl 0993.68141
Verbeek, H. M. W.; Basten, T.; van der Aalst, W. M. P.
8
2001
Inheritance of behavior. Zbl 0974.68137
Basten, Twan; van der Aalst, Wil M. P.
6
2001
Inheritance of dynamic behavior. development of a groupware editor. Zbl 0976.68552
Basten, Twan; van der Aalst, Wil M. P.
2
2001
Identifying commonalities and differences in object life cycles using behavioral inheritance. Zbl 0986.68094
van der Aalst, Wil M. P.; Basten, Twan
1
2001
The P2P approach to interorganizational workflows. Zbl 0980.68857
van der Aalst, Wil M. P.; Weske, Mathias
1
2001
Analysis of discrete-time stochastic Petri nets. Zbl 0994.68091
van der Aalst, W. M. P.; van Hee, K. M.; Reijers, H. A.
4
2000
Woflan 2. 0: A Petri-net-based workflow diagnosis tool. Zbl 0986.68781
Verbeek, Eric; van der Aalst, Wil M. P.
3
2000
Verification of workflow task structures: A Petri-net-based approach. Zbl 0956.68521
van der Aalst, Wil M. P.; ter Hofstede, Arthur H. M.
3
2000
Woflan: A Petri-net-based workflow analyzer. Zbl 1030.68877
van der Aalst, W. M. P.
7
1999
Interorganizational workflows. An approach based on massage sequence charts and petri nets. Zbl 0958.68541
van der Aalst, W. M. P.
6
1999
Liveness, fairness, and recurrence in Petri nets. Zbl 0953.68575
Kindler, E.; van der Aalst, W.
3
1999
Petri net based scheduling. Zbl 0865.90077
van der Aalst, W. M. P.
4
1996
Timed coloured Petri nets and their application to logistics. Zbl 0753.68077
van der Aalst, W. M. P.
6
1992
all top 5

Cited by 297 Authors

14 van der Aalst, Wil M. P.
5 Sidorova, Natalia
5 ter Hofstede, Arthur H. M.
4 van Hee, Kees Max
4 Verbeek, H. M. W.
3 Kalenkova, Anna A.
3 Polyvyanyy, Artem
3 Tarasyuk, Igor’ Valer’evich
3 Weidlich, Matthias
3 Wynn, Moe Thandar
2 Barkaoui, Kamel
2 Basten, Twan
2 Benveniste, Albert
2 Carbone, Marco
2 Chen, Lijing
2 Desel, Jörg
2 Fahland, Dirk
2 Honda, Kohei
2 Ibarra, Oscar H.
2 La Rosa, Marcello
2 Li, Zhiwu
2 Liu, GuanJun
2 Lomazova, Irina A.
2 Massuthe, Peter
2 Meseguer Guaita, José
2 Reichert, Manfred
2 Stahl, Christian
2 Su, Jianwen
2 Tiezzi, Francesco
2 van der Werf, Jan Martijn E. M.
2 van Dongen, Boudewijn F.
2 Wehrheim, Heike
2 Yoshida, Nobuko
1 Aarts, Fides
1 Abbes, Samy
1 Abreu Júnior, João Carlos
1 Adriansyah, Arya
1 Al-Ahmari, Abdulrahman M.
1 Alaiba, Vasile
1 AlTurki, Musab A.
1 Álvarez, Pedro
1 Andrei, Ştefan
1 Arbab, Farhad
1 Badouel, Eric
1 Baiardi, Fabrizio
1 Baldan, Paolo
1 Bañares, José Ángel
1 Bashkin, Vladimir A.
1 Ben-David, Shoham
1 Benders, L. P. M.
1 Bergenthum, Robin
1 Best, Eike
1 Bifet, Albert
1 Bouchachia, Abdelhamid
1 Boucheneb, Hanifa
1 Bouguettaya, Athman
1 Bouillard, Anne
1 Bretschneider, Jan
1 Bride, Hadrien
1 Brogi, Antonio
1 Bruni, Roberto
1 Bueno, Antonio
1 Bueno, Marcos L. P.
1 Čapek, R.
1 Carlier, Mijke
1 Carmona, Josep
1 Chatain, Thomas
1 Chechik, Marsha
1 Chen, Xiaoliang
1 Chen, Zhenyu
1 Chin, Wei-Ngan
1 Choi, Injun
1 Chopornyak, A. D.
1 Chung, Lawrence M. L.
1 Cicekli, Ilyas
1 Clempner, Julio B.
1 Comuzzi, Marco
1 Conforti, Raffaele
1 Corradini, Andrea
1 Corradini, Flavio
1 Cortés, Vicente
1 Cuartero, Fernando
1 Cui, Yidong
1 Dadam, Peter
1 D’Andreagiovanni, Michele
1 Dang, Zhe
1 de Frutos-Escrig, David
1 De Giacomo, Giuseppe
1 de Leoni, Massimiliano
1 de Vink, Erik P.
1 De Weerdt, J.
1 Dörner, Karl F.
1 Du, Yuyue
1 Dumas, Marlon
1 Edmond, David
1 El-Tamimi, Abdulaziz Mohammed
1 Engels, Gregor
1 Esparza, Javier
1 Essani, Furqan Hussain
1 Ezpeleta, Joaquín
...and 197 more Authors

Citations by Year