×

zbMATH — the first resource for mathematics

van der Aalst, Wil M. P.

Compute Distance To:
Author ID: van-der-aalst.wil-m-p Recent zbMATH articles by "van der Aalst, Wil M. P."
Published as: van der Aalst, Wil M. P.; van der Aalst, W. M. P.; van der Aalst, Wil; van der Aalst, Wil M.; van der Aalst, W.
Further Spellings: van der Aalst, Willibrordus Martinus Pancratius
Homepage: http://www.padsweb.rwth-aachen.de/wvdaalst/
External Links: MGP · ORCID · Wikidata · Google Scholar · dblp · GND · IdRef
Documents Indexed: 66 Publications since 1992, including 3 Books
10 Contributions as Editor

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 178 times in 119 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.
20
2011
Process mining. Discovery, conformance and enhancement of business processes. Zbl 1216.68016
van der Aalst, Wil M. P.
18
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
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
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
Modeling business processes. A Petri net-oriented approach. Zbl 1216.00032
van der Aalst, Wil; Stahl, Christian
6
2011
Timed coloured Petri nets and their application to logistics. Zbl 0753.68077
van der Aalst, W. M. P.
6
1992
Inheritance of behavior. Zbl 0974.68137
Basten, Twan; van der Aalst, Wil M. P.
6
2001
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.
6
2013
Fundamentals of control flow in workflows. Zbl 1060.68079
Kiepuszewski, B.; ter Hofstede, A. H. M.; van der Aalst, W. M. P.
5
2003
Analysis of discrete-time stochastic Petri nets. Zbl 0994.68091
van der Aalst, W. M. P.; van Hee, K. M.; Reijers, H. A.
5
2000
Petri net based scheduling. Zbl 0865.90077
van der Aalst, W. M. P.
4
1996
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
Inheritance of interorganizational workflows to enable business-to-business E-commerce. Zbl 1025.68054
van der Aalst, W. M. P.
4
2002
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
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
Business process management demystified: A tutorial on models, systems and standards for workflow management. Zbl 1088.68669
van der Aalst, Wil M. P.
3
2004
Liveness, fairness, and recurrence in Petri nets. Zbl 0953.68575
Kindler, E.; van der Aalst, W.
3
1999
Woflan 2. 0: A Petri-net-based workflow diagnosis tool. Zbl 0986.68781
Verbeek, Eric; van der Aalst, Wil M. P.
3
2000
Decomposing process mining problems using passages. Zbl 1357.68146
van der Aalst, Wil M. P.
3
2012
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
Inheritance of dynamic behavior. development of a groupware editor. Zbl 0976.68552
Basten, Twan; van der Aalst, Wil M. P.
2
2001
The P2P approach to interorganizational workflows. Zbl 0980.68857
van der Aalst, Wil M. P.; Weske, Mathias
2
2001
Discovering workflow performance models from timed logs. Zbl 1015.68653
van der Aalst, W. M. P.; van Dongen, B. F.
2
2002
Strategies for modeling complex processes using colored Petri nets. Zbl 1382.68157
van der Aalst, Wil M. P.; Stahl, Christian; Westergaard, Michael
2
2013
Discovering workflow nets using integer linear programming. Zbl 1395.90166
van Zelst, S. J.; van Dongen, B. F.; van der Aalst, W. M. P.; Verbeek, H. M. W.
2
2018
Discovery, verification and conformance of workflows with cancellation. Zbl 1175.68283
van der Aalst, W. M. P.
1
2008
Causal nets: a modeling language tailored towards process discovery. Zbl 1343.68180
van der Aalst, Wil; Adriansyah, Arya; van Dongen, Boudewijn
1
2011
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
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
1
2010
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
Identifying commonalities and differences in object life cycles using behavioral inheritance. Zbl 0986.68094
van der Aalst, Wil M. P.; Basten, Twan
1
2001
Making work flow: On the application of Petri nets to business process management. Zbl 1047.68613
van der Aalst, Wil M. P.
1
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
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
Process discovery using localized events. Zbl 1432.68320
van der Aalst, Wil M. P.; Kalenkova, Anna; Rubin, Vladimir; Verbeek, Eric
1
2015
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
The imprecisions of precision measures in process mining. Zbl 06856060
Tax, Niek; Lu, Xixi; Sidorova, Natalia; Fahland, Dirk; van der Aalst, Wil M. P.
1
2018
Markings in perpetual free-choice nets are fully characterized by their enabled transitions. Zbl 1427.68215
van der Aalst, Wil M. P.
1
2018
Aggregating causal runs into workflow nets. Zbl 1377.68154
van Dongen, Boudewijn F.; Desel, Jörg; van der Aalst, Wil M. P.
1
2012
Transactions on Petri Nets and Other Models of Concurrency VII. Zbl 1263.68020
1
2013
Discovering workflow nets using integer linear programming. Zbl 1395.90166
van Zelst, S. J.; van Dongen, B. F.; van der Aalst, W. M. P.; Verbeek, H. M. W.
2
2018
The imprecisions of precision measures in process mining. Zbl 06856060
Tax, Niek; Lu, Xixi; Sidorova, Natalia; Fahland, Dirk; van der Aalst, Wil M. P.
1
2018
Markings in perpetual free-choice nets are fully characterized by their enabled transitions. Zbl 1427.68215
van der Aalst, Wil M. P.
1
2018
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.
6
2013
Strategies for modeling complex processes using colored Petri nets. Zbl 1382.68157
van der Aalst, Wil M. P.; Stahl, Christian; Westergaard, Michael
2
2013
Transactions on Petri Nets and Other Models of Concurrency VII. Zbl 1263.68020
1
2013
Decomposing process mining problems using passages. Zbl 1357.68146
van der Aalst, Wil M. P.
3
2012
Aggregating causal runs into workflow nets. Zbl 1377.68154
van Dongen, Boudewijn F.; Desel, Jörg; van der Aalst, Wil M. P.
1
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.
20
2011
Process mining. Discovery, conformance and enhancement of business processes. Zbl 1216.68016
van der Aalst, Wil M. P.
18
2011
Modeling business processes. A Petri net-oriented approach. Zbl 1216.00032
van der Aalst, Wil; Stahl, Christian
6
2011
Causal nets: a modeling language tailored towards process discovery. Zbl 1343.68180
van der Aalst, Wil; Adriansyah, Arya; van Dongen, Boudewijn
1
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
1
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.
3
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
Inheritance of workflows: An approach to tackling problems related to change. Zbl 0984.68113
van der Aalst, W. M. P.; Basten, T.
9
2002
Inheritance of interorganizational workflows to enable business-to-business E-commerce. Zbl 1025.68054
van der Aalst, W. M. P.
4
2002
Discovering workflow performance models from timed logs. Zbl 1015.68653
van der Aalst, W. M. P.; van Dongen, B. F.
2
2002
Making work flow: On the application of Petri nets to business process management. Zbl 1047.68613
van der Aalst, Wil M. P.
1
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
The P2P approach to interorganizational workflows. Zbl 0980.68857
van der Aalst, Wil M. P.; Weske, Mathias
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
Analysis of discrete-time stochastic Petri nets. Zbl 0994.68091
van der Aalst, W. M. P.; van Hee, K. M.; Reijers, H. A.
5
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 2. 0: A Petri-net-based workflow diagnosis tool. Zbl 0986.68781
Verbeek, Eric; van der Aalst, Wil M. P.
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 285 Authors

17 van der Aalst, Wil M. P.
5 Sidorova, Natalia
5 ter Hofstede, Arthur H. M.
4 Tarasyuk, Igor’ Valer’evich
4 van Hee, Kees Max
4 Verbeek, H. M. W.
3 Kalenkova, Anna A.
3 Polyvyanyy, Artem
3 Tiezzi, Francesco
3 Weidlich, Matthias
3 Wynn, Moe Thandar
2 Barkaoui, Kamel
2 Basten, Twan
2 Carbone, Marco
2 Carmona, Josep
2 Chatain, Thomas
2 Chen, Lijing
2 Corradini, Flavio
2 Desel, Jörg
2 Erofeev, Evgeny
2 Esparza, Javier
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 Muzi, Chiara
2 Re, Barbara
2 Reichert, Manfred
2 Stahl, Christian
2 Su, Jianwen
2 Tredup, Ronny
2 van der Werf, Jan Martijn E. M.
2 van Dongen, Boudewijn F.
2 van Zelst, Sebastiaan J.
2 Wehrheim, Heike
2 Yoshida, Nobuko
1 Aarts, Fides
1 Abreu Júnior, João Carlos
1 Adriansyah, Arya
1 Al-Ahmari, Abdulrahman M.
1 Alaiba, Vasile
1 AlTurki, Musab A.
1 Andrei, Ştefan
1 Arbab, Farhad
1 Bădică, Amelia
1 Bădică, Costin
1 Badouel, Eric
1 Baiardi, Fabrizio
1 Baldan, Paolo
1 Bashkin, Vladimir A.
1 Ben-David, Shoham
1 Benders, L. P. M.
1 Benveniste, Albert
1 Bergenthum, Robin
1 Berti, Alessandro
1 Best, Eike
1 Bifet, Albert
1 Boltenhagen, Mathilde
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 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 Clempner, Julio B.
1 Comuzzi, Marco
1 Conforti, Raffaele
1 Corradini, Andrea
1 Cortés, Vicente
1 Cuartero, Fernando
1 Cui, Yidong
1 Dabas, Payal
1 Dadam, Peter
1 D’Andreagiovanni, Michele
1 Dang, Zhe
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 Eder, Johann
...and 185 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.