• 9174
    Citations
20022022

Content available in repository

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

Search results

  • 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

    2 Citations (Scopus)
    1 Downloads (Pure)
  • 2016

    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)
  • 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

  • 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

    21 Citations (Scopus)
    2 Downloads (Pure)
  • Measuring similarity between business process models

    van Dongen, B., Dijkman, R. & 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-419 15 p.

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

    2 Downloads (Pure)
  • 2009

    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

    86 Citations (Scopus)
    2 Downloads (Pure)
  • 2008

    Translating message sequence charts to other process languages using process mining

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

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

  • 2005

    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

    219 Citations (Scopus)
  • 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

    7 Citations (Scopus)
    1 Downloads (Pure)
  • 2004

    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

    24 Citations (Scopus)
  • 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

    109 Citations (Scopus)
    1 Downloads (Pure)