• 7260 Citations
20022020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Chapter
Chapter

Aggregating causal runs into workflow nets

Dongen, van, B. F., Desel, J. & Aalst, van der, W. M. P., 2012, Transactions on Petri Nets and Other Models of Concurrency VI. Jensen, K., Aalst, van der, W. M. P., Ajmone Marsan, M., Franceschinis, G., Kleijn, J. & Kristensen, L. M. (eds.). Berlin: Springer, p. 334-363 (Lecture Notes in Computer Science; vol. 7400).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)

A short survey on process model similarity

Dijkman, R. M., Dongen, van, B. F., Dumas, M., García-Bañuelos, L., Kunze, M., Leopold, H., Mendling, J., Uba, R., Weidlich, M., Weske, M. H. & Yan, Z., 2013, Seminal Contributions to Information Systems Engineering : 25 Years of CAiSE. Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C. & Sølvberg, A. (eds.). Berlin: Springer, p. 421-428

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Computing alignments of event data and process models

van Zelst, S. J., Bolt, A. & van Dongen, B. F., 1 Jan 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). Berlin: Springer, p. 1-26 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11090 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Citation (Scopus)

Discovering Petri nets from event logs

Aalst, van der, W. M. P. & Dongen, van, B. F., 2013, Transactions on Petri Nets and Other Models of Concurrency VII. Jensen, K., Aalst, van der, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin: Springer, p. 372-422 (Lecture Notes in Computer Science; vol. 7480).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

13 Citations (Scopus)
1 Downloads (Pure)

EMiT: a process mining tool

Dongen, van, B. F. & Aalst, van der, W. M. P., 2004, Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21¿25. Cortadella, J. & Reisig, W. (eds.). Berlin: Springer, p. 454-463 (Lecture Notes in Computer Science; vol. 3099).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

21 Citations (Scopus)

Introduction to the 11th International Workshop on Business Process Intelligence (BPI 2015)

van Dongen, B. F., Ferreira, D. R., De Weerdt, J. & Burattin, A., 2016, Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31 - September 3, 2015, Revised Papers . Dordrecht: Springer, p. 110-111 (Lecture Notes in Business Information Processing; vol. 256).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)

Measuring similarity between business process models

Dongen, van, B. F., Dijkman, R. M. & Mendling, J., 2013, Seminal Contributions to Information Systems Engineering : 25 years of CAiSE. Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C. & Sølvberg, A. (eds.). Berlin: Springer, p. 405-420

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Downloads (Pure)

Multi-phase process mining : building instance graphs

Dongen, van, B. F. & Aalst, van der, W. M. P., 2004, Conceptual Modeling ¿ ER 2004: 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12. Atzeni, P., Chu, W., Lu, H., Zhou, S. & Ling, T. W. (eds.). Berlin: Springer, p. 362-376 (Lecture Notes in Computer Science; vol. 3288).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

91 Citations (Scopus)
1 Downloads (Pure)

Process mining : overview and outlook of Petri net discovery algorithms

Dongen, van, B. F., Alves De Medeiros, A. K. & Wen, L., 2009, Transactions on Petri Nets and Other Models of Concurrency II. Jensen, K. & Aalst, van der, W. M. P. (eds.). Berlin: Springer, p. 225-242 (Lecture Notes in Computer Science; vol. 5460).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

69 Citations (Scopus)
2 Downloads (Pure)

Process mining and verification of properties : an approach based on temporal logic

Aalst, van der, W. M. P., Beer, de, H. T. & Dongen, van, B. F., 2005, On the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings : part 1. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 130-147 (Lecture Notes in Computer Science; vol. 3760).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

187 Citations (Scopus)

Translating message sequence charts to other process languages using process mining

Lassen, K. B. & Dongen, van, B. F., 2008, Transactions on Petri Nets and Other Models of Concurrency I. Jensen, K., Aalst, van der, W. M. P. & Billington, J. (eds.). Berlin: Springer, p. 71-85 (Lecture Notes in Computer Science; vol. 5100).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Verification of SAP reference models

Dongen, van, B. F. & Jansen-Vullers, M. H., 2005, Business Process Management : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings. Aalst, van der, W. M. P., Benatallah, B. & Casati, F. (eds.). Berlin: Springer, p. 464-469 (Lecture Notes in Computer Science; vol. 3649).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)