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

Research Output 2002 2019

Filter
Chapter
2018

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

Data Model
Process Model
Alignment
Computing
Shortest Path Problem
2016
1 Downloads (Pure)

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

2013

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

12 Citations (Scopus)
1 Downloads (Pure)

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

Petri nets
Information systems
2 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

Industry
Vector spaces
Information retrieval
Petri nets
Redundancy
2012
1 Citation (Scopus)

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

Agglomeration
Petri nets
Labels
2009
67 Citations (Scopus)
2 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

Petri nets
2008

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

Unified Modeling Language
Petri nets
Information systems
Industry
2005
181 Citations (Scopus)

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

Temporal logic
Monitoring
XML
Information systems
6 Citations (Scopus)
1 Downloads (Pure)

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

Enterprise resource planning
Industry
Information systems
2004
19 Citations (Scopus)

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

Petri nets
XML
Health care
Logistics
Industry
89 Citations (Scopus)
1 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

Visualization
Information systems