BibTeX records: H. M. W. Verbeek

download as .bib file

@article{DBLP:journals/cim/WynnAVS24,
  author       = {Moe Thandar Wynn and
                  Wil M. P. van der Aalst and
                  Eric Verbeek and
                  Bruno N. Di Stefano},
  title        = {The {IEEE} {XES} Standard for Process Mining: Experiences, Adoption,
                  and Revision [Society Briefs]},
  journal      = {{IEEE} Comput. Intell. Mag.},
  volume       = {19},
  number       = {1},
  pages        = {20--23},
  year         = {2024},
  url          = {https://doi.org/10.1109/MCI.2023.3333141},
  doi          = {10.1109/MCI.2023.3333141},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cim/WynnAVS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Verbeek22,
  author       = {H. M. W. Verbeek},
  title        = {The Log Skeleton Visualizer in ProM 6.9},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {24},
  number       = {4},
  pages        = {549--561},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10009-021-00618-y},
  doi          = {10.1007/S10009-021-00618-Y},
  timestamp    = {Thu, 04 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/Verbeek22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/Verbeek22,
  author       = {Eric Verbeek},
  editor       = {Andrea Burattin and
                  Artem Polyvyanyy and
                  Barbara Weber},
  title        = {Discovering an S-Coverable WF-net using DiSCover},
  booktitle    = {4th International Conference on Process Mining, {ICPM} 2022, Bolzano,
                  Italy, October 23-28, 2022},
  pages        = {64--71},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICPM57379.2022.9980723},
  doi          = {10.1109/ICPM57379.2022.9980723},
  timestamp    = {Tue, 03 Jan 2023 07:35:57 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/Verbeek22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/BruningsF022,
  author       = {Mitchel Brunings and
                  Dirk Fahland and
                  Eric Verbeek},
  editor       = {Marwan Hassani and
                  Agnes Koschmider and
                  Marco Comuzzi and
                  Fabrizio Maria Maggi and
                  Luise Pufahl},
  title        = {Discover Context-Rich Local Process Models (Extended Abstract)},
  booktitle    = {Proceedings of the {ICPM} Doctoral Consortium and Demo Track 2022
                  co-located with 4th International Conference on Process Mining {(ICPM}
                  2022), Bolzano, Italy, October, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3299},
  pages        = {100--103},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3299/Paper21.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:44 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/BruningsF022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/Augusto0022,
  author       = {Adriano Augusto and
                  Josep Carmona and
                  Eric Verbeek},
  editor       = {Wil M. P. van der Aalst and
                  Josep Carmona},
  title        = {Advanced Process Discovery Techniques},
  booktitle    = {Process Mining Handbook},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {448},
  pages        = {76--107},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08848-3\_3},
  doi          = {10.1007/978-3-031-08848-3\_3},
  timestamp    = {Wed, 27 Jul 2022 22:15:55 +0200},
  biburl       = {https://dblp.org/rec/books/sp/22/Augusto0022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/WynnLAACJV21,
  author       = {Moe Thandar Wynn and
                  Julian Lebherz and
                  Wil M. P. van der Aalst and
                  Rafael Accorsi and
                  Claudio Di Ciccio and
                  Lakmali Jayarathna and
                  H. M. W. Verbeek},
  editor       = {Jorge Munoz{-}Gama and
                  Xixi Lu},
  title        = {Rethinking the Input for Process Mining: Insights from the {XES} Survey
                  and Workshop},
  booktitle    = {Process Mining Workshops - {ICPM} 2021 International Workshops, Eindhoven,
                  The Netherlands, October 31 - November 4, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {433},
  pages        = {3--16},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-98581-3\_1},
  doi          = {10.1007/978-3-030-98581-3\_1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpm/WynnLAACJV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/ZelstDAV18,
  author       = {Sebastiaan J. van Zelst and
                  Boudewijn F. van Dongen and
                  Wil M. P. van der Aalst and
                  H. M. W. Verbeek},
  title        = {Discovering workflow nets using integer linear programming},
  journal      = {Computing},
  volume       = {100},
  number       = {5},
  pages        = {529--556},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00607-017-0582-5},
  doi          = {10.1007/S00607-017-0582-5},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computing/ZelstDAV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LeeVMAS18,
  author       = {Wai Lam Jonathan Lee and
                  H. M. W. Verbeek and
                  Jorge Munoz{-}Gama and
                  Wil M. P. van der Aalst and
                  Marcos Sep{\'{u}}lveda},
  title        = {Recomposing conformance: Closing the circle on decomposed alignment-based
                  conformance checking in process mining},
  journal      = {Inf. Sci.},
  volume       = {466},
  pages        = {55--91},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ins.2018.07.026},
  doi          = {10.1016/J.INS.2018.07.026},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/LeeVMAS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apvis/SonkeVMVS18,
  author       = {Willem Sonke and
                  Kevin Verbeek and
                  Wouter Meulemans and
                  Eric Verbeek and
                  Bettina Speckmann},
  title        = {Optimal Algorithms for Compact Linear Layouts},
  booktitle    = {{IEEE} Pacific Visualization Symposium, PacificVis 2018, Kobe, Japan,
                  April 10-13, 2018},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/PacificVis.2018.00010},
  doi          = {10.1109/PACIFICVIS.2018.00010},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apvis/SonkeVMVS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/DixitBVA18,
  author       = {Prabhakar M. Dixit and
                  Joos C. A. M. Buijs and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Witold Abramowicz and
                  Adrian Paschke},
  title        = {Fast Incremental Conformance Analysis for Interactive Process Discovery},
  booktitle    = {Business Information Systems - 21st International Conference, {BIS}
                  2018, Berlin, Germany, July 18-20, 2018, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {320},
  pages        = {163--175},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-93931-5\_12},
  doi          = {10.1007/978-3-319-93931-5\_12},
  timestamp    = {Sat, 19 Oct 2019 20:06:48 +0200},
  biburl       = {https://dblp.org/rec/conf/bis/DixitBVA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LeeMVAS18,
  author       = {Wai Lam Jonathan Lee and
                  Jorge Munoz{-}Gama and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst and
                  Marcos Sep{\'{u}}lveda},
  editor       = {Florian Daniel and
                  Quan Z. Sheng and
                  Hamid Motahari},
  title        = {Improving Merging Conditions for Recomposing Conformance Checking},
  booktitle    = {Business Process Management Workshops - {BPM} 2018 International Workshops,
                  Sydney, NSW, Australia, September 9-14, 2018, Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {342},
  pages        = {31--43},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-11641-5\_3},
  doi          = {10.1007/978-3-030-11641-5\_3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/LeeMVAS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/DixitVA18,
  author       = {Prabhakar M. Dixit and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst},
  title        = {Fast Conformance Analysis Based on Activity Log Abstraction},
  booktitle    = {22nd {IEEE} International Enterprise Distributed Object Computing
                  Conference, {EDOC} 2018, Stockholm, Sweden, October 16-19, 2018},
  pages        = {135--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/EDOC.2018.00026},
  doi          = {10.1109/EDOC.2018.00026},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/DixitVA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/DixitVBA18,
  author       = {Prabhakar M. Dixit and
                  H. M. W. Verbeek and
                  Joos C. A. M. Buijs and
                  Wil M. P. van der Aalst},
  editor       = {Juan Trujillo and
                  Karen C. Davis and
                  Xiaoyong Du and
                  Zhanhuai Li and
                  Tok Wang Ling and
                  Guoliang Li and
                  Mong{-}Li Lee},
  title        = {Interactive Data-Driven Process Model Construction},
  booktitle    = {Conceptual Modeling - 37th International Conference, {ER} 2018, Xi'an,
                  China, October 22-25, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11157},
  pages        = {251--265},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00847-5\_19},
  doi          = {10.1007/978-3-030-00847-5\_19},
  timestamp    = {Wed, 09 Jun 2021 08:38:38 +0200},
  biburl       = {https://dblp.org/rec/conf/er/DixitVBA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/DixitVA18,
  author       = {Prabhakar M. Dixit and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Kyungmin Bae and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Incremental Computation of Synthesis Rules for Free-Choice Petri Nets},
  booktitle    = {Formal Aspects of Component Software - 15th International Conference,
                  {FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11222},
  pages        = {97--117},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02146-7\_5},
  doi          = {10.1007/978-3-030-02146-7\_5},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/facs2/DixitVA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-08247,
  author       = {H. M. W. Verbeek and
                  Renata Medeiros de Carvalho},
  title        = {Log Skeletons: {A} Classification Approach to Process Discovery},
  journal      = {CoRR},
  volume       = {abs/1806.08247},
  year         = {2018},
  url          = {http://arxiv.org/abs/1806.08247},
  eprinttype    = {arXiv},
  eprint       = {1806.08247},
  timestamp    = {Wed, 25 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-08247.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-11793,
  author       = {Dennis M. M. Schunselaar and
                  H. M. W. Verbeek},
  title        = {Task Elimination may Actually Increase Throughput Time},
  journal      = {CoRR},
  volume       = {abs/1812.11793},
  year         = {2018},
  url          = {http://arxiv.org/abs/1812.11793},
  eprinttype    = {arXiv},
  eprint       = {1812.11793},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1812-11793.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cim/AcamporaVSAGV17,
  author       = {Giovanni Acampora and
                  Autilia Vitiello and
                  Bruno N. Di Stefano and
                  Wil M. P. van der Aalst and
                  Christian W. G{\"{u}}nther and
                  Eric Verbeek},
  title        = {{IEEE} 1849: The {XES} Standard: The Second {IEEE} Standard Sponsored
                  by {IEEE} Computational Intelligence Society [Society Briefs]},
  journal      = {{IEEE} Comput. Intell. Mag.},
  volume       = {12},
  number       = {2},
  pages        = {4--8},
  year         = {2017},
  url          = {https://doi.org/10.1109/MCI.2017.2670420},
  doi          = {10.1109/MCI.2017.2670420},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cim/AcamporaVSAGV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/VerbeekAM17,
  author       = {H. M. W. Verbeek and
                  Wil M. P. van der Aalst and
                  Jorge Munoz{-}Gama},
  title        = {Divide and Conquer: {A} Tool Framework for Supporting Decomposed Discovery
                  in Process Mining},
  journal      = {Comput. J.},
  volume       = {60},
  number       = {11},
  pages        = {1649--1674},
  year         = {2017},
  url          = {https://doi.org/10.1093/comjnl/bxx040},
  doi          = {10.1093/COMJNL/BXX040},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/VerbeekAM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/RaichelsonSV17,
  author       = {Lihi Raichelson and
                  Pnina Soffer and
                  Eric Verbeek},
  title        = {Merging event logs: Combining granularity levels for process flow
                  analysis},
  journal      = {Inf. Syst.},
  volume       = {71},
  pages        = {211--227},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.is.2017.08.010},
  doi          = {10.1016/J.IS.2017.08.010},
  timestamp    = {Wed, 31 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/RaichelsonSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Verbeek17,
  author       = {H. M. W. Verbeek},
  title        = {Decomposed Replay Using Hiding and Reduction as Abstraction},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {12},
  pages        = {166--186},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-55862-1\_8},
  doi          = {10.1007/978-3-662-55862-1\_8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/Verbeek17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CaballeroWVA17,
  author       = {Humberto S. Garcia Caballero and
                  Michel A. Westenberg and
                  Henricus M. W. (Eric) Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Ernest Teniente and
                  Matthias Weidlich},
  title        = {Visual Analytics for Soundness Verification of Process Models},
  booktitle    = {Business Process Management Workshops - {BPM} 2017 International Workshops,
                  Barcelona, Spain, September 10-11, 2017, Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {308},
  pages        = {744--756},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-74030-0\_59},
  doi          = {10.1007/978-3-319-74030-0\_59},
  timestamp    = {Fri, 26 May 2023 07:40:34 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/CaballeroWVA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LeeVMAS17,
  author       = {Wai Lam Jonathan Lee and
                  H. M. W. Verbeek and
                  Jorge Munoz{-}Gama and
                  Wil M. P. van der Aalst and
                  Marcos Sep{\'{u}}lveda},
  editor       = {Robert Claris{\'{o}} and
                  Henrik Leopold and
                  Jan Mendling and
                  Wil M. P. van der Aalst and
                  Akhil Kumar and
                  Brian T. Pentland and
                  Mathias Weske},
  title        = {Replay using Recomposition: Alignment-Based Conformance Checking in
                  the Large},
  booktitle    = {Proceedings of the {BPM} Demo Track and {BPM} Dissertation Award co-located
                  with 15th International Conference on Business Process Modeling {(BPM}
                  2017), Barcelona, Spain, September 13, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1920},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1920/BPM\_2017\_paper\_157.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/LeeVMAS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZelstDAV17,
  author       = {Sebastiaan J. van Zelst and
                  Boudewijn F. van Dongen and
                  Wil M. P. van der Aalst and
                  H. M. W. Verbeek},
  title        = {Discovering Relaxed Sound Workflow Nets using Integer Linear Programming},
  journal      = {CoRR},
  volume       = {abs/1703.06733},
  year         = {2017},
  url          = {http://arxiv.org/abs/1703.06733},
  eprinttype    = {arXiv},
  eprint       = {1703.06733},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ZelstDAV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VerbeekA16,
  author       = {H. M. W. Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Fabrice Kordon and
                  Daniel Moldt},
  title        = {Merging Alignments for Decomposed Replay},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 37th International
                  Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
                  2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9698},
  pages        = {219--239},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39086-4\_14},
  doi          = {10.1007/978-3-319-39086-4\_14},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/VerbeekA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Verbeek16,
  author       = {H. M. W. Verbeek},
  editor       = {Lawrence Cabac and
                  Lars Michael Kristensen and
                  Heiko R{\"{o}}lke},
  title        = {Decomposed Replay Using Hiding and Reduction},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering 2016, including the International Workshop on Biological
                  Processes {\&} Petri Nets 2016 co-located with the 37th International
                  Conference on Application and Theory of Petri Nets and Concurrency
                  Petri Nets 2016 and the 16th International Conference on Application
                  of Concurrency to System Design {ACSD} 2016, Toru{\'{n}}, Poland,
                  June 20-21, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1591},
  pages        = {233--252},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1591/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/Verbeek16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AalstKRV15,
  author       = {Wil M. P. van der Aalst and
                  Anna A. Kalenkova and
                  Vladimir A. Rubin and
                  Eric Verbeek},
  editor       = {Raymond R. Devillers and
                  Antti Valmari},
  title        = {Process Discovery Using Localized Events},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 36th International
                  Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9115},
  pages        = {287--308},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19488-2\_15},
  doi          = {10.1007/978-3-319-19488-2\_15},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AalstKRV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/SchunselaarVRA15,
  author       = {Dennis M. M. Schunselaar and
                  H. M. W. Verbeek and
                  Hajo A. Reijers and
                  Wil M. P. van der Aalst},
  editor       = {Hamid Reza Motahari{-}Nezhad and
                  Jan Recker and
                  Matthias Weidlich},
  title        = {A Structural Model Comparison for Finding the Best Performing Models
                  in a Collection},
  booktitle    = {Business Process Management - 13th International Conference, {BPM}
                  2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9253},
  pages        = {180--188},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23063-4\_12},
  doi          = {10.1007/978-3-319-23063-4\_12},
  timestamp    = {Fri, 26 May 2023 07:40:34 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/SchunselaarVRA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AalstV14,
  author       = {Wil M. P. van der Aalst and
                  H. M. W. Verbeek},
  title        = {Process Discovery and Conformance Checking Using Passages},
  journal      = {Fundam. Informaticae},
  volume       = {131},
  number       = {1},
  pages        = {103--138},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1006},
  doi          = {10.3233/FI-2014-1006},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AalstV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SchunselaarVAR14,
  author       = {Dennis M. M. Schunselaar and
                  Eric Verbeek and
                  Wil M. P. van der Aalst and
                  Hajo A. Reijers},
  editor       = {Daniel Moldt and
                  Heiko R{\"{o}}lke},
  title        = {Petra: {A} Tool for Analysing a Process Family},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, co-located with 35th International Conference on Application
                  and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
                  International Conference on Application of Concurrency to System Design
                  {(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1160},
  pages        = {269--288},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1160/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:39 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/SchunselaarVAR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MansAV14,
  author       = {Ronny Mans and
                  Wil M. P. van der Aalst and
                  H. M. W. Verbeek},
  editor       = {Lior Limonad and
                  Barbara Weber},
  title        = {Supporting Process Mining Workflows with RapidProM},
  booktitle    = {Proceedings of the {BPM} Demo Sessions 2014 Co-located with the 12th
                  International Conference on Business Process Management {(BPM} 2014),
                  Eindhoven, The Netherlands, September 10, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1295},
  pages        = {56},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1295/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/MansAV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ZelstBDV14,
  author       = {Sebastiaan J. van Zelst and
                  Andrea Burattin and
                  Boudewijn F. van Dongen and
                  H. M. W. Verbeek},
  editor       = {Lior Limonad and
                  Barbara Weber},
  title        = {Data Streams in ProM 6: {A} Single-node Architecture},
  booktitle    = {Proceedings of the {BPM} Demo Sessions 2014 Co-located with the 12th
                  International Conference on Business Process Management {(BPM} 2014),
                  Eindhoven, The Netherlands, September 10, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1295},
  pages        = {81},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1295/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/ZelstBDV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Verbeek14,
  author       = {Eric Verbeek},
  editor       = {Lior Limonad and
                  Barbara Weber},
  title        = {Decomposed Process Mining with DivideAndConquer},
  booktitle    = {Proceedings of the {BPM} Demo Sessions 2014 Co-located with the 12th
                  International Conference on Business Process Management {(BPM} 2014),
                  Eindhoven, The Netherlands, September 10, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1295},
  pages        = {86},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1295/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/Verbeek14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/WerfV14,
  author       = {Jan Martijn E. M. van der Werf and
                  H. M. W. Verbeek},
  editor       = {Fabiana Fournier and
                  Jan Mendling},
  title        = {Online Compliance Monitoring of Service Landscapes},
  booktitle    = {Business Process Management Workshops - {BPM} 2014 International Workshops,
                  Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {202},
  pages        = {89--95},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-15895-2\_8},
  doi          = {10.1007/978-3-319-15895-2\_8},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/WerfV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/SchunselaarLVAR14,
  author       = {Dennis M. M. Schunselaar and
                  Henrik Leopold and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst and
                  Hajo A. Reijers},
  editor       = {Fabiana Fournier and
                  Jan Mendling},
  title        = {Configuring Configurable Process Models Made Easier: An Automated
                  Approach},
  booktitle    = {Business Process Management Workshops - {BPM} 2014 International Workshops,
                  Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {202},
  pages        = {105--117},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-15895-2\_10},
  doi          = {10.1007/978-3-319-15895-2\_10},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/SchunselaarLVAR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/VerbeekA14,
  author       = {H. M. W. Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Fabiana Fournier and
                  Jan Mendling},
  title        = {Decomposed Process Mining: The {ILP} Case},
  booktitle    = {Business Process Management Workshops - {BPM} 2014 International Workshops,
                  Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {202},
  pages        = {264--276},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-15895-2\_23},
  doi          = {10.1007/978-3-319-15895-2\_23},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/VerbeekA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/SchunselaarVRA14,
  author       = {Dennis M. M. Schunselaar and
                  H. M. W. Verbeek and
                  Hajo A. Reijers and
                  Wil M. P. van der Aalst},
  editor       = {Fabiana Fournier and
                  Jan Mendling},
  title        = {{YAWL} in the Cloud: Supporting Process Sharing and Variability},
  booktitle    = {Business Process Management Workshops - {BPM} 2014 International Workshops,
                  Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {202},
  pages        = {367--379},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-15895-2\_31},
  doi          = {10.1007/978-3-319-15895-2\_31},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/SchunselaarVRA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpda/HompesVA14,
  author       = {Bart Hompes and
                  Eric Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Rafael Accorsi and
                  Paolo Ceravolo and
                  Barbara Russo},
  title        = {Finding Suitable Activity Clusters for Decomposed Process Discovery},
  booktitle    = {Proceedings of the 4th International Symposium on Data-driven Process
                  Discovery and Analysis {(SIMPDA} 2014), Milan, Italy, November 19-21,
                  2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1293},
  pages        = {16--30},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1293/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:35 +0100},
  biburl       = {https://dblp.org/rec/conf/simpda/HompesVA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpda/HompesVA14a,
  author       = {B. F. A. Hompes and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Paolo Ceravolo and
                  Barbara Russo and
                  Rafael Accorsi},
  title        = {Finding Suitable Activity Clusters for Decomposed Process Discovery},
  booktitle    = {Data-Driven Process Discovery and Analysis - 4th International Symposium,
                  {SIMPDA} 2014, Milan, Italy, November 19-21, 2014, Revised Selected
                  Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {237},
  pages        = {32--57},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-27243-6\_2},
  doi          = {10.1007/978-3-319-27243-6\_2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/simpda/HompesVA14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpda/SchunselaarVRA14,
  author       = {Dennis M. M. Schunselaar and
                  Eric Verbeek and
                  Hajo A. Reijers and
                  Wil M. P. van der Aalst},
  editor       = {Rafael Accorsi and
                  Paolo Ceravolo and
                  Barbara Russo},
  title        = {Using Monotonicity to Find Optimal Process Configurations Faster},
  booktitle    = {Proceedings of the 4th International Symposium on Data-driven Process
                  Discovery and Analysis {(SIMPDA} 2014), Milan, Italy, November 19-21,
                  2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1293},
  pages        = {123--137},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1293/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/simpda/SchunselaarVRA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SchunselaarVAR13,
  author       = {Dennis M. M. Schunselaar and
                  Eric Verbeek and
                  Wil M. P. van der Aalst and
                  Hajo A. Reijers},
  editor       = {Daniel Moldt},
  title        = {A Framework for Efficiently Deciding Language Inclusion for Sound
                  Unlabelled WF-Nets},
  booktitle    = {Joint Proceedings of the International Workshop on Petri Nets and
                  Software Engineering (PNSE'13) and the International Workshop on Modeling
                  and Business Environments (ModBE'13), Milano, Italy, June 24 - 25,
                  2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {989},
  pages        = {135--154},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-989/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/SchunselaarVAR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VerbeekA13,
  author       = {Eric Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Daniel Moldt},
  title        = {Decomposing Replay Problems: {A} Case Study},
  booktitle    = {Joint Proceedings of the International Workshop on Petri Nets and
                  Software Engineering (PNSE'13) and the International Workshop on Modeling
                  and Business Environments (ModBE'13), Milano, Italy, June 24 - 25,
                  2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {989},
  pages        = {219--235},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-989/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/VerbeekA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/yawl/SchunselaarAVA13,
  author       = {Dennis M. M. Schunselaar and
                  Tim van der Avoort and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Thomas Freytag and
                  Andreas V. Hense and
                  Arthur H. M. ter Hofstede and
                  Jan Mendling},
  title        = {{YAWL} in the Cloud},
  booktitle    = {Proceedings of the First {YAWL} Symposium, Sankt Augustin, Germany,
                  June 7, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {982},
  pages        = {41--48},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-982/YAWL2013-Paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/yawl/SchunselaarAVA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/SchunselaarVAR12,
  author       = {Dennis M. M. Schunselaar and
                  Eric Verbeek and
                  Wil M. P. van der Aalst and
                  Hajo A. Reijers},
  editor       = {Witold Abramowicz and
                  Dalia Kriksciuniene and
                  Virgilijus Sakalauskas},
  title        = {Creating Sound and Reversible Configurable Process Models Using CoSeNets},
  booktitle    = {Business Information Systems - 15th International Conference, {BIS}
                  2012, Vilnius, Lithuania, May 21-23, 2012. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {117},
  pages        = {24--35},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30359-3\_3},
  doi          = {10.1007/978-3-642-30359-3\_3},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bis/SchunselaarVAR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/WerfVA12,
  author       = {Jan Martijn E. M. van der Werf and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Alistair Barros and
                  Avigdor Gal and
                  Ekkart Kindler},
  title        = {Context-Aware Compliance Checking},
  booktitle    = {Business Process Management - 10th International Conference, {BPM}
                  2012, Tallinn, Estonia, September 3-6, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7481},
  pages        = {98--113},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32885-5\_7},
  doi          = {10.1007/978-3-642-32885-5\_7},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/WerfVA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/VerbeekA12,
  author       = {Henricus M. W. (Eric) Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Marcello La Rosa and
                  Pnina Soffer},
  title        = {An Experimental Evaluation of Passage-Based Process Discovery},
  booktitle    = {Business Process Management Workshops - {BPM} 2012 International Workshops,
                  Tallinn, Estonia, September 3, 2012. Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {132},
  pages        = {205--210},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-36285-9\_21},
  doi          = {10.1007/978-3-642-36285-9\_21},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/VerbeekA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Verbeek12,
  author       = {Henricus M. W. (Eric) Verbeek},
  editor       = {Marcello La Rosa and
                  Pnina Soffer},
  title        = {{BPI} Challenge 2012: The Transition System Case},
  booktitle    = {Business Process Management Workshops - {BPM} 2012 International Workshops,
                  Tallinn, Estonia, September 3, 2012. Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {132},
  pages        = {225--226},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-36285-9\_27},
  doi          = {10.1007/978-3-642-36285-9\_27},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/Verbeek12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AalstHHSVVW11,
  author       = {Wil M. P. van der Aalst and
                  Kees M. van Hee and
                  Arthur H. M. ter Hofstede and
                  Natalia Sidorova and
                  H. M. W. Verbeek and
                  Marc Voorhoeve and
                  Moe Thandar Wynn},
  title        = {Soundness of workflow nets: classification, decidability, and analysis},
  journal      = {Formal Aspects Comput.},
  volume       = {23},
  number       = {3},
  pages        = {333--363},
  year         = {2011},
  url          = {https://doi.org/10.1007/s00165-010-0161-4},
  doi          = {10.1007/S00165-010-0161-4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/AalstHHSVVW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardV11,
  author       = {Michael Westergaard and
                  Henricus M. W. (Eric) Verbeek},
  editor       = {Michael Duvigneau and
                  Daniel Moldt and
                  Kunihiko Hiraishi},
  title        = {Efficient Implementation of Prioritized Transitions for High-level
                  Petri Nets},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, Newcastle upon Tyne, UK, June 20-21, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {723},
  pages        = {27--41},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-723/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/WestergaardV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/VogelaarVLA11,
  author       = {Jan Vogelaar and
                  H. M. W. Verbeek and
                  B. Luka and
                  Wil M. P. van der Aalst},
  editor       = {Florian Daniel and
                  Kamel Barkaoui and
                  Schahram Dustdar},
  title        = {Comparing Business Processes to Determine the Feasibility of Configurable
                  Models: {A} Case Study},
  booktitle    = {Business Process Management Workshops - {BPM} 2011 International Workshops,
                  Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers,
                  Part {II}},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {100},
  pages        = {50--61},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-28115-0\_6},
  doi          = {10.1007/978-3-642-28115-0\_6},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/VogelaarVLA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AalstAM11,
  author       = {Wil M. P. van der Aalst and
                  Arya Adriansyah and
                  Ana Karla Alves de Medeiros and
                  Franco Arcieri and
                  Thomas Baier and
                  Tobias Blickle and
                  R. P. Jagadeesh Chandra Bose and
                  Peter van den Brand and
                  Ronald Brandtjen and
                  Joos C. A. M. Buijs and
                  Andrea Burattin and
                  Josep Carmona and
                  Mal{\'{u}} Castellanos and
                  Jan Claes and
                  Jonathan E. Cook and
                  Nicola Costantini and
                  Francisco Curbera and
                  Ernesto Damiani and
                  Massimiliano de Leoni and
                  Pavlos Delias and
                  Boudewijn F. van Dongen and
                  Marlon Dumas and
                  Schahram Dustdar and
                  Dirk Fahland and
                  Diogo R. Ferreira and
                  Walid Gaaloul and
                  Frank van Geffen and
                  Sukriti Goel and
                  Christian W. G{\"{u}}nther and
                  Antonella Guzzo and
                  Paul Harmon and
                  Arthur H. M. ter Hofstede and
                  John Hoogland and
                  Jon Espen Ingvaldsen and
                  Koki Kato and
                  Rudolf Kuhn and
                  Akhil Kumar and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Donato Malerba and
                  R. S. Mans and
                  Alberto Manuel and
                  Martin McCreesh and
                  Paola Mello and
                  Jan Mendling and
                  Marco Montali and
                  Hamid R. Motahari Nezhad and
                  Michael zur Muehlen and
                  Jorge Munoz{-}Gama and
                  Luigi Pontieri and
                  Joel Ribeiro and
                  Anne Rozinat and
                  Hugo Seguel P{\'{e}}rez and
                  Ricardo Seguel P{\'{e}}rez and
                  Marcos Sep{\'{u}}lveda and
                  Jim Sinur and
                  Pnina Soffer and
                  Minseok Song and
                  Alessandro Sperduti and
                  Giovanni Stilo and
                  Casper Stoel and
                  Keith D. Swenson and
                  Maurizio Talamo and
                  Wei Tan and
                  Chris Turner and
                  Jan Vanthienen and
                  George Varvaressos and
                  Eric Verbeek and
                  Marc Verdonk and
                  Roberto Vigo and
                  Jianmin Wang and
                  Barbara Weber and
                  Matthias Weidlich and
                  Ton Weijters and
                  Lijie Wen and
                  Michael Westergaard and
                  Moe Thandar Wynn},
  editor       = {Florian Daniel and
                  Kamel Barkaoui and
                  Schahram Dustdar},
  title        = {Process Mining Manifesto},
  booktitle    = {Business Process Management Workshops - {BPM} 2011 International Workshops,
                  Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers,
                  Part {I}},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {99},
  pages        = {169--194},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-28108-2\_19},
  doi          = {10.1007/978-3-642-28108-2\_19},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/AalstAM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BoseVA11,
  author       = {R. P. Jagadeesh Chandra Bose and
                  Henricus M. W. (Eric) Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Selmin Nurcan},
  title        = {Discovering Hierarchical Process Models Using ProM},
  booktitle    = {Proceedings of the CAiSE Forum 2011, London, UK, June 22-24, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {734},
  pages        = {33--40},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-734/PaperDemo05.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:34 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/BoseVA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BoseVA11a,
  author       = {R. P. Jagadeesh Chandra Bose and
                  Henricus M. W. (Eric) Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Selmin Nurcan},
  title        = {Discovering Hierarchical Process Models Using ProM},
  booktitle    = {{IS} Olympics: Information Systems in a Diverse World - CAiSE Forum
                  2011, London, UK, June 20-24, 2011, Selected Extended Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {107},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29749-6\_3},
  doi          = {10.1007/978-3-642-29749-6\_3},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/BoseVA11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/VerbeekWAH10,
  author       = {H. M. W. Verbeek and
                  Moe Thandar Wynn and
                  Wil M. P. van der Aalst and
                  Arthur H. M. ter Hofstede},
  title        = {Reduction rules for reset/inhibitor nets},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {76},
  number       = {2},
  pages        = {125--143},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jcss.2009.06.003},
  doi          = {10.1016/J.JCSS.2009.06.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/VerbeekWAH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AalstRVDKG10,
  author       = {Wil M. P. van der Aalst and
                  Vladimir A. Rubin and
                  H. M. W. Verbeek and
                  Boudewijn F. van Dongen and
                  Ekkart Kindler and
                  Christian W. G{\"{u}}nther},
  title        = {Process mining: a two-step approach to balance between underfitting
                  and overfitting},
  journal      = {Softw. Syst. Model.},
  volume       = {9},
  number       = {1},
  pages        = {87--111},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10270-008-0106-z},
  doi          = {10.1007/S10270-008-0106-Z},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/AalstRVDKG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/VerbeekBDA10,
  author       = {Eric Verbeek and
                  Joos C. A. M. Buijs and
                  Boudewijn F. van Dongen and
                  Wil M. P. van der Aalst},
  editor       = {Marcello La Rosa},
  title        = {ProM 6: The Process Mining Toolkit},
  booktitle    = {Proceedings of the Business Process Management 2010 Demonstration
                  Track, Hoboken, NJ, USA, September 14-16, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {615},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-615/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/VerbeekBDA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/VerbeekBDA10,
  author       = {H. M. W. Verbeek and
                  Joos C. A. M. Buijs and
                  Boudewijn F. van Dongen and
                  Wil M. P. van der Aalst},
  editor       = {Pnina Soffer and
                  Erik Proper},
  title        = {XES, XESame, and ProM 6},
  booktitle    = {Information Systems Evolution - CAiSE Forum 2010, Hammamet, Tunisia,
                  June 7-9, 2010, Selected Extended Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {72},
  pages        = {60--75},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17722-4\_5},
  doi          = {10.1007/978-3-642-17722-4\_5},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/VerbeekBDA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/VerbeekBDA10a,
  author       = {Eric Verbeek and
                  Joos C. A. M. Buijs and
                  Boudewijn F. van Dongen and
                  Wil M. P. van der Aalst},
  editor       = {Pnina Soffer and
                  Erik Proper},
  title        = {{XES} Tools},
  booktitle    = {Proceedings of the CAiSE Forum 2010, Hammamet, Tunisia, June 9-11,
                  2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {592},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-592/PaperDemo07.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:35 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/VerbeekBDA10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/yawl2010/VerbeekW10,
  author       = {Eric Verbeek and
                  Moe Thandar Wynn},
  editor       = {Arthur H. M. ter Hofstede and
                  Wil M. P. van der Aalst and
                  Michael Adams and
                  Nick Russell},
  title        = {Verification},
  booktitle    = {Modern Business Process Automation - {YAWL} and its Support Environment},
  pages        = {513--539},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-03121-2\_20},
  doi          = {10.1007/978-3-642-03121-2\_20},
  timestamp    = {Mon, 18 Jan 2021 13:55:27 +0100},
  biburl       = {https://dblp.org/rec/books/sp/yawl2010/VerbeekW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bpmj/WynnVAHE09,
  author       = {Moe Thandar Wynn and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst and
                  Arthur H. M. ter Hofstede and
                  David Edmond},
  title        = {Business process verification - finally a reality!},
  journal      = {Bus. Process. Manag. J.},
  volume       = {15},
  number       = {1},
  pages        = {74--92},
  year         = {2009},
  url          = {https://doi.org/10.1108/14637150910931479},
  doi          = {10.1108/14637150910931479},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bpmj/WynnVAHE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/LohmannVOS09,
  author       = {Niels Lohmann and
                  Eric Verbeek and
                  Chun Ouyang and
                  Christian Stahl},
  title        = {Comparing and evaluating Petri net semantics for {BPEL}},
  journal      = {Int. J. Bus. Process. Integr. Manag.},
  volume       = {4},
  number       = {1},
  pages        = {60--73},
  year         = {2009},
  url          = {https://doi.org/10.1504/IJBPIM.2009.026986},
  doi          = {10.1504/IJBPIM.2009.026986},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijbpim/LohmannVOS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/WynnVAHE09,
  author       = {Moe Thandar Wynn and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst and
                  Arthur H. M. ter Hofstede and
                  David Edmond},
  title        = {Reduction rules for {YAWL} workflows with cancellation regions and
                  OR-joins},
  journal      = {Inf. Softw. Technol.},
  volume       = {51},
  number       = {6},
  pages        = {1010--1020},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.infsof.2008.12.002},
  doi          = {10.1016/J.INFSOF.2008.12.002},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/WynnVAHE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/WynnVAHE09,
  author       = {Moe Thandar Wynn and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst and
                  Arthur H. M. ter Hofstede and
                  David Edmond},
  title        = {Soundness-preserving reduction rules for reset workflow nets},
  journal      = {Inf. Sci.},
  volume       = {179},
  number       = {6},
  pages        = {769--790},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.ins.2008.10.033},
  doi          = {10.1016/J.INS.2008.10.033},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/WynnVAHE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/LohmannVD09,
  author       = {Niels Lohmann and
                  Eric Verbeek and
                  Remco M. Dijkman},
  title        = {Petri Net Transformations for Business Processes - {A} Survey},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {2},
  pages        = {46--63},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00899-3\_3},
  doi          = {10.1007/978-3-642-00899-3\_3},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/LohmannVD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeeVSS09,
  author       = {Kees M. van Hee and
                  H. M. W. Verbeek and
                  Christian Stahl and
                  Natalia Sidorova},
  title        = {A Framework for Linking and Pricing No-Cure-No-Pay Services},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {2},
  pages        = {192--207},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00899-3\_11},
  doi          = {10.1007/978-3-642-00899-3\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/HeeVSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AalstHHSVVW09,
  author       = {Wil M. P. van der Aalst and
                  Kees M. van Hee and
                  Arthur H. M. ter Hofstede and
                  Natalia Sidorova and
                  H. M. W. Verbeek and
                  Marc Voorhoeve and
                  Moe Thandar Wynn},
  title        = {Soundness of Workflow Nets with Reset Arcs},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {3},
  pages        = {50--70},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04856-2\_3},
  doi          = {10.1007/978-3-642-04856-2\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/AalstHHSVVW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AalstDGRVW09,
  author       = {Wil M. P. van der Aalst and
                  Boudewijn F. van Dongen and
                  Christian W. G{\"{u}}nther and
                  Anne Rozinat and
                  Eric Verbeek and
                  Ton Weijters},
  editor       = {Ana Karla A. de Medeiros and
                  Barbara Weber},
  title        = {ProM: The Process Mining Toolkit},
  booktitle    = {Proceedings of the Business Process Management Demonstration Track
                  (BPMDemos 2009), Ulm, Germany, September 8, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {489},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-489/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/AalstDGRVW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/AalstV08,
  author       = {Wil M. P. van der Aalst and
                  H. M. W. Verbeek},
  title        = {Process Mining in Web Services: The WebSphere Case},
  journal      = {{IEEE} Data Eng. Bull.},
  volume       = {31},
  number       = {3},
  pages        = {45--48},
  year         = {2008},
  url          = {http://sites.computer.org/debull/A08Sept/aalst.pdf},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/debu/AalstV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/MendlingVDAN08,
  author       = {Jan Mendling and
                  H. M. W. Verbeek and
                  Boudewijn F. van Dongen and
                  Wil M. P. van der Aalst and
                  Gustaf Neumann},
  title        = {Detection and prediction of errors in EPCs of the {SAP} reference
                  model},
  journal      = {Data Knowl. Eng.},
  volume       = {64},
  number       = {1},
  pages        = {312--329},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.datak.2007.06.019},
  doi          = {10.1016/J.DATAK.2007.06.019},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/MendlingVDAN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GottschalkAJV08,
  author       = {Florian Gottschalk and
                  Wil M. P. van der Aalst and
                  Monique H. Jansen{-}Vullers and
                  H. M. W. Verbeek},
  title        = {Protos2CPN: using colored Petri nets for configuring and testing business
                  processes},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {10},
  number       = {1},
  pages        = {95--110},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10009-007-0055-9},
  doi          = {10.1007/S10009-007-0055-9},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/GottschalkAJV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/AalstDORV08,
  author       = {Wil M. P. van der Aalst and
                  Marlon Dumas and
                  Chun Ouyang and
                  Anne Rozinat and
                  Eric Verbeek},
  title        = {Conformance checking of service behavior},
  journal      = {{ACM} Trans. Internet Techn.},
  volume       = {8},
  number       = {3},
  pages        = {13:1--13:30},
  year         = {2008},
  url          = {https://doi.org/10.1145/1361186.1361189},
  doi          = {10.1145/1361186.1361189},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toit/AalstDORV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/VerbeekPAW08,
  author       = {Henricus M. W. (Eric) Verbeek and
                  A. Johannes Pretorius and
                  Wil M. P. van der Aalst and
                  Jarke J. van Wijk},
  title        = {Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based
                  Visualization},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {152--171},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_10},
  doi          = {10.1007/978-3-540-89287-8\_10},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/VerbeekPAW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/DongenJVA07,
  author       = {Boudewijn F. van Dongen and
                  Monique H. Jansen{-}Vullers and
                  H. M. W. Verbeek and
                  Wil M. P. van der Aalst},
  title        = {Verification of the {SAP} reference models using {EPC} reduction,
                  state-space analysis, and invariants},
  journal      = {Comput. Ind.},
  volume       = {58},
  number       = {6},
  pages        = {578--601},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.compind.2007.01.001},
  doi          = {10.1016/J.COMPIND.2007.01.001},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cii/DongenJVA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/VerbeekAH07,
  author       = {H. M. W. Verbeek and
                  Wil M. P. van der Aalst and
                  Arthur H. M. ter Hofstede},
  title        = {Verifying Workflows with Cancellation Regions and OR-joins: An Approach
                  Based on Relaxed Soundness and Invariants},
  journal      = {Comput. J.},
  volume       = {50},
  number       = {3},
  pages        = {294--314},
  year         = {2007},
  url          = {https://doi.org/10.1093/comjnl/bxl074},
  doi          = {10.1093/COMJNL/BXL074},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/VerbeekAH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/AalstBCCV07,
  author       = {Wil M. P. van der Aalst and
                  Boualem Benatallah and
                  Fabio Casati and
                  Francisco Curbera and
                  Eric Verbeek},
  title        = {Business process management: Where business processes and web services
                  meet},
  journal      = {Data Knowl. Eng.},
  volume       = {61},
  number       = {1},
  pages        = {1--5},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.datak.2006.04.005},
  doi          = {10.1016/J.DATAK.2006.04.005},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/AalstBCCV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/AalstRWDMSV07,
  author       = {Wil M. P. van der Aalst and
                  Hajo A. Reijers and
                  A. J. M. M. Weijters and
                  Boudewijn F. van Dongen and
                  Ana Karla Alves de Medeiros and
                  Minseok Song and
                  H. M. W. Verbeek},
  title        = {Business process mining: An industrial application},
  journal      = {Inf. Syst.},
  volume       = {32},
  number       = {5},
  pages        = {713--732},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.is.2006.05.003},
  doi          = {10.1016/J.IS.2006.05.003},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/AalstRWDMSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OuyangVABDH07,
  author       = {Chun Ouyang and
                  Eric Verbeek and
                  Wil M. P. van der Aalst and
                  Stephan Breutel and
                  Marlon Dumas and
                  Arthur H. M. ter Hofstede},
  title        = {Formal semantics and analysis of control flow in {WS-BPEL}},
  journal      = {Sci. Comput. Program.},
  volume       = {67},
  number       = {2-3},
  pages        = {162--198},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2007.03.002},
  doi          = {10.1016/J.SCICO.2007.03.002},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/OuyangVABDH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AalstDGMMRRSVW07,
  author       = {Wil M. P. van der Aalst and
                  Boudewijn F. van Dongen and
                  Christian W. G{\"{u}}nther and
                  R. S. Mans and
                  Ana Karla Alves de Medeiros and
                  Anne Rozinat and
                  Vladimir A. Rubin and
                  Minseok Song and
                  H. M. W. Verbeek and
                  A. J. M. M. Weijters},
  editor       = {Jetty Kleijn and
                  Alexandre Yakovlev},
  title        = {ProM 4.0: Comprehensive Support for \emph{Real} Process Analysis},
  booktitle    = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
                  Conference on Applications and Theory of Petri Nets and Other Models
                  of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4546},
  pages        = {484--494},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73094-1\_28},
  doi          = {10.1007/978-3-540-73094-1\_28},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AalstDGMMRRSVW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MendlingMNVDA06,
  author       = {Jan Mendling and
                  Michael Moser and
                  Gustaf Neumann and
                  H. M. W. Verbeek and
                  Boudewijn F. van Dongen and
                  Wil M. P. van der Aalst},
  editor       = {Schahram Dustdar and
                  Jos{\'{e}} Luiz Fiadeiro and
                  Amit P. Sheth},
  title        = {Faulty EPCs in the {SAP} Reference Model},
  booktitle    = {Business Process Management, 4th International Conference, {BPM} 2006,
                  Vienna, Austria, September 5-7, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4102},
  pages        = {451--457},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11841760\_38},
  doi          = {10.1007/11841760\_38},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/MendlingMNVDA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/VerbeekDMA06,
  author       = {H. M. W. Verbeek and
                  Boudewijn F. van Dongen and
                  Jan Mendling and
                  Wil M. P. van der Aalst},
  editor       = {Michele Missikoff and
                  Antonio De Nicola and
                  Fulvio D'Antonio},
  title        = {Interoperability in the ProM Framework},
  booktitle    = {{EMOI} - INTEROP'06, Enterprise Modelling and Ontologies for Interoperability,
                  Proceedings of the Open Interop Workshop on Enterprise Modelling and
                  Ontologies for Interoperability, Co-located with CAiSE'06 Conference,
                  Luxembourg, 5th-6th June 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {200},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-200/08.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:34 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/VerbeekDMA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epk/BarborkaHKMNDVA06,
  author       = {Paul Barborka and
                  Lukas Helm and
                  Georg K{\"{o}}ldorfer and
                  Jan Mendling and
                  Gustaf Neumann and
                  Boudewijn F. van Dongen and
                  Eric Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Markus N{\"{u}}ttgens and
                  Frank J. Rump and
                  Jan Mendling},
  title        = {Integration of EPC-related Tools with ProM},
  booktitle    = {5. Workshop der Gesellschaft f{\"{u}}r Informatik e.V. {(GI)}
                  und Treffen ihres Arbeitskreises "Gesch{\"{a}}ftsprozessmanagement
                  mit Ereignisgesteuerten Prozessketten (WI-EPK)", Wien, 30. November
                  - 01. Dezember 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {224},
  pages        = {105--120},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-224/epk2006-paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/epk/BarborkaHKMNDVA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AalstDORV06,
  author       = {Wil M. P. van der Aalst and
                  Marlon Dumas and
                  Chun Ouyang and
                  Anne Rozinat and
                  H. M. W. Verbeek},
  editor       = {Frank Leymann and
                  Wolfgang Reisig and
                  Satish R. Thatte and
                  Wil M. P. van der Aalst},
  title        = {Choreography Conformance Checking: An Approach based on {BPEL} and
                  Petri Nets},
  booktitle    = {The Role of Business Processes in Service Oriented Architectures,
                  16.07. - 21.07.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06291},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/830},
  timestamp    = {Thu, 10 Jun 2021 13:02:07 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/AalstDORV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DongenMVWA05,
  author       = {Boudewijn F. van Dongen and
                  Ana Karla A. de Medeiros and
                  H. M. W. Verbeek and
                  A. J. M. M. Weijters and
                  Wil M. P. van der Aalst},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {The ProM Framework: {A} New Era in Process Mining Tool Support},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {444--454},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_25},
  doi          = {10.1007/11494744\_25},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/DongenMVWA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VerbeekHRM05,
  author       = {Eric Verbeek and
                  Maarte van Hattem and
                  Hajo A. Reijers and
                  Wendy de Munk},
  editor       = {Gianfranco Ciardo and
                  Philippe Darondeau},
  title        = {Protos 7.0: Simulation Made Accessible},
  booktitle    = {Applications and Theory of Petri Nets 2005, 26th International Conference,
                  {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3536},
  pages        = {465--474},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494744\_27},
  doi          = {10.1007/11494744\_27},
  timestamp    = {Wed, 31 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/VerbeekHRM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/DongenAV05,
  author       = {Boudewijn F. van Dongen and
                  Wil M. P. van der Aalst and
                  H. M. W. Verbeek},
  editor       = {Oscar Pastor and
                  Jo{\~{a}}o Falc{\~{a}}o e Cunha},
  title        = {Verification of EPCs: Using Reduction Rules and Petri Nets},
  booktitle    = {Advanced Information Systems Engineering, 17th International Conference,
                  CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3520},
  pages        = {372--386},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11431855\_26},
  doi          = {10.1007/11431855\_26},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/DongenAV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AalstDHRVW05,
  author       = {Wil M. P. van der Aalst and
                  Marlon Dumas and
                  Arthur H. M. ter Hofstede and
                  Nick Russell and
                  H. M. W. Verbeek and
                  Petia Wohed},
  editor       = {Mario Bravetti and
                  Le{\"{\i}}la Kloul and
                  Gianluigi Zavattaro},
  title        = {Life After BPEL?},
  booktitle    = {Formal Techniques for Computer Systems and Business Processes, European
                  Performance Engineering Workshop, {EPEW} 2005 and International Workshop
                  on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France,
                  September 1-3, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3670},
  pages        = {35--50},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549970\_4},
  doi          = {10.1007/11549970\_4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/AalstDHRVW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/OuyangVABDH05,
  author       = {Chun Ouyang and
                  Eric Verbeek and
                  Wil M. P. van der Aalst and
                  Stephan Breutel and
                  Marlon Dumas and
                  Arthur H. M. ter Hofstede},
  editor       = {Boualem Benatallah and
                  Fabio Casati and
                  Paolo Traverso},
  title        = {WofBPEL: {A} Tool for Automated Analysis of {BPEL} Processes},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference,
                  Amsterdam, The Netherlands, December 12-15, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3826},
  pages        = {484--489},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11596141\_37},
  doi          = {10.1007/11596141\_37},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoc/OuyangVABDH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/WeskeAV04,
  author       = {Mathias Weske and
                  Wil M. P. van der Aalst and
                  H. M. W. Verbeek},
  title        = {Advances in business process management},
  journal      = {Data Knowl. Eng.},
  volume       = {50},
  number       = {1},
  pages        = {1--8},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.datak.2004.01.001},
  doi          = {10.1016/J.DATAK.2004.01.001},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/WeskeAV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itm/VerbeekAK04,
  author       = {H. M. W. Verbeek and
                  Wil M. P. van der Aalst and
                  Akhil Kumar},
  title        = {XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based
                  Language for Inter-Organizational Workflows},
  journal      = {Inf. Technol. Manag.},
  volume       = {5},
  number       = {1-2},
  pages        = {65--110},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:ITEM.0000008077.91413.86},
  doi          = {10.1023/B:ITEM.0000008077.91413.86},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/itm/VerbeekAK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VerbeekT04,
  author       = {Eric Verbeek and
                  Robert A. van der Toorn},
  editor       = {Jordi Cortadella and
                  Wolfgang Reisig},
  title        = {Transit Case Study},
  booktitle    = {Applications and Theory of Petri Nets 2004, 25th International Conference,
                  {ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3099},
  pages        = {391--410},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27793-4\_22},
  doi          = {10.1007/978-3-540-27793-4\_22},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/VerbeekT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VerbeekB03,
  author       = {H. M. W. Verbeek and
                  Twan Basten},
  editor       = {Wil M. P. van der Aalst and
                  Eike Best},
  title        = {Deciding Life-Cycle Inheritance on Petri Nets},
  booktitle    = {Applications and Theory of Petri Nets 2003, 24th International Conference,
                  {ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2679},
  pages        = {44--63},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44919-1\_7},
  doi          = {10.1007/3-540-44919-1\_7},
  timestamp    = {Sat, 19 Oct 2019 20:09:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/VerbeekB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AalstKV03,
  author       = {Wil M. P. van der Aalst and
                  Akhil Kumar and
                  H. M. W. Verbeek},
  editor       = {Gary B. Lamont and
                  Hisham Haddad and
                  George A. Papadopoulos and
                  Brajendra Panda},
  title        = {Organizational Modeling in {UML} and {XML} in the Context of Workflow
                  Systems},
  booktitle    = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
                  March 9-12, 2003, Melbourne, FL, {USA}},
  pages        = {603--608},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/952532.952652},
  doi          = {10.1145/952532.952652},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/AalstKV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmis/KumarAV02,
  author       = {Akhil Kumar and
                  Wil M. P. van der Aalst and
                  Henricus M. W. (Eric) Verbeek},
  title        = {Dynamic Work Distribution in Workflow Management Systems: How to Balance
                  Quality and Performance},
  journal      = {J. Manag. Inf. Syst.},
  volume       = {18},
  number       = {3},
  pages        = {157--194},
  year         = {2002},
  url          = {https://doi.org/10.1080/07421222.2002.11045693},
  doi          = {10.1080/07421222.2002.11045693},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jmis/KumarAV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AalstHV02,
  author       = {Wil M. P. van der Aalst and
                  Alexander Hirnschall and
                  H. M. W. Verbeek},
  editor       = {Anne Banks Pidduck and
                  John Mylopoulos and
                  Carson C. Woo and
                  M. Tamer {\"{O}}zsu},
  title        = {An Alternative Way to Analyze Workflow Graphs},
  booktitle    = {Advanced Information Systems Engineering, 14th International Conference,
                  CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2348},
  pages        = {535--552},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-47961-9\_37},
  doi          = {10.1007/3-540-47961-9\_37},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/AalstHV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wes/VerbeekHA02,
  author       = {H. M. W. Verbeek and
                  Alexander Hirnschall and
                  Wil M. P. van der Aalst},
  editor       = {Christoph Bussler and
                  Richard Hull and
                  Sheila A. McIlraith and
                  Maria E. Orlowska and
                  Barbara Pernici and
                  Jian Yang},
  title        = {XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net
                  Technology},
  booktitle    = {Web Services, E-Business, and the Semantic Web, CAiSE 2002 International
                  Workshop, {WES} 2002, Toronto, Canada, May 27-28, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2512},
  pages        = {93--108},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36189-8\_8},
  doi          = {10.1007/3-540-36189-8\_8},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wes/VerbeekHA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/VerbeekBA01,
  author       = {H. M. W. Verbeek and
                  Twan Basten and
                  Wil M. P. van der Aalst},
  title        = {Diagnosing Workflow Processes using Woflan},
  journal      = {Comput. J.},
  volume       = {44},
  number       = {4},
  pages        = {246--279},
  year         = {2001},
  url          = {https://doi.org/10.1093/comjnl/44.4.246},
  doi          = {10.1093/COMJNL/44.4.246},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/VerbeekBA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/AalstVK01,
  author       = {Wil M. P. van der Aalst and
                  H. M. W. Verbeek and
                  Akhil Kumar},
  editor       = {Weiming Shen and
                  Zongkai Lin and
                  Jean{-}Paul A. Barth{\`{e}}s and
                  Mohamed Kamel},
  title        = {Verification of {XRL:} An XML-based Workflow Language},
  booktitle    = {Proceedings of the Sixth International Conference on Computer Supported
                  Cooperative Work in Design, {CSCWD} 2001, July 12-14, 2001, London,
                  Ontario, Canada},
  pages        = {427--432},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSCWD.2001.942298},
  doi          = {10.1109/CSCWD.2001.942298},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/cscwd/AalstVK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VerbeekA00,
  author       = {Eric Verbeek and
                  Wil M. P. van der Aalst},
  editor       = {Mogens Nielsen and
                  Dan Simpson},
  title        = {Woflan 2.0: {A} Petri-Net-Based Workflow Diagnosis Tool},
  booktitle    = {Application and Theory of Petri Nets 2000, 21st International Conference,
                  {ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
  series       = {Lecture Notes in Computer Science},
  volume       = {1825},
  pages        = {475--484},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44988-4\_28},
  doi          = {10.1007/3-540-44988-4\_28},
  timestamp    = {Sat, 07 Sep 2019 11:59:23 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/VerbeekA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AalstBVVV99,
  author       = {Wil M. P. van der Aalst and
                  Twan Basten and
                  H. M. W. Verbeek and
                  Peter A. C. Verkoulen and
                  Marc Voorhoeve},
  title        = {Adaptive Workflow-On the Interplay between Flexibility and Support},
  booktitle    = {Proceedings of the 1st International Conference on Enterprise Information
                  Systems, Setubal, Portugal, 27-30 March 1999},
  pages        = {353--360},
  publisher    = {{ICEIS} Secretariat, Escola Superior de Tecnologia de Set{\'{u}}bal,
                  Portugal},
  year         = {1999},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/AalstBVVV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics