@inproceedings{AalstMW05,
  title = {Genetic Process Mining},
  author = {Wil M. P. van der Aalst and Ana Karla A. de Medeiros and A. J. M. M. Weijters},
  year = {2005},
  doi = {10.1007/11494744_5},
  url = {http://dx.doi.org/10.1007/11494744_5},
  researchr = {https://researchr.org/publication/AalstMW05},
  cites = {0},
  citedby = {0},
  pages = {48-69},
  booktitle = {apn},
}

@article{MarusterWAB06,
  title = {A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs},
  author = {Laura Maruster and A. J. M. M. Weijters and Wil M. P. van der Aalst and Antal van den Bosch},
  year = {2006},
  doi = {10.1007/s10618-005-0029-z},
  url = {http://dx.doi.org/10.1007/s10618-005-0029-z},
  tags = {rule-based, discovery, rules, systematic-approach},
  researchr = {https://researchr.org/publication/MarusterWAB06},
  cites = {0},
  citedby = {0},
  journal = {datamine},
  volume = {13},
  number = {1},
  pages = {67-87},
}

@inproceedings{DongenAV05,
  title = {Verification of EPCs: Using Reduction Rules and Petri Nets},
  author = {Boudewijn F. van Dongen and Wil M. P. van der Aalst and H. M. W. Verbeek},
  year = {2005},
  doi = {10.1007/11431855_26},
  url = {http://dx.doi.org/10.1007/11431855_26},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/DongenAV05},
  cites = {0},
  citedby = {0},
  pages = {372-386},
  booktitle = {caise},
}

@book{Aalst2002,
  title = {Workflow Management: Models, Methods, and Systems},
  author = {Wil M. P. van der Aalst and Kees M. van Hee},
  year = {2002},
  tags = {workflow},
  researchr = {https://researchr.org/publication/Aalst2002},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
  isbn = {0-262-01189-1},
}

@article{GottschalkAJR08,
  title = {Configurable Workflow Models},
  author = {Florian Gottschalk and Wil M. P. van der Aalst and Monique H. Jansen-Vullers and Marcello La Rosa},
  year = {2008},
  doi = {10.1142/S0218843008001798},
  url = {http://dx.doi.org/10.1142/S0218843008001798},
  tags = {meta-model, Meta-Environment, workflow},
  researchr = {https://researchr.org/publication/GottschalkAJR08},
  cites = {0},
  citedby = {0},
  journal = {ijcis},
  volume = {17},
  number = {2},
  pages = {177-221},
}

@inproceedings{GottschalkWJAR09,
  title = {Configurable Process Models: Experiences from a Municipality Case Study},
  author = {Florian Gottschalk and Teun A. C. Wagemakers and Monique H. Jansen-Vullers and Wil M. P. van der Aalst and Marcello La Rosa},
  year = {2009},
  doi = {10.1007/978-3-642-02144-2_38},
  url = {http://dx.doi.org/10.1007/978-3-642-02144-2_38},
  tags = {case study, C++, process modeling},
  researchr = {https://researchr.org/publication/GottschalkWJAR09},
  cites = {0},
  citedby = {0},
  pages = {486-500},
  booktitle = {caise},
}

@article{RozinatA08,
  title = {Conformance checking of processes based on monitoring real behavior},
  author = {Anne Rozinat and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1016/j.is.2007.07.001},
  url = {http://dx.doi.org/10.1016/j.is.2007.07.001},
  tags = {rule-based, process monitoring},
  researchr = {https://researchr.org/publication/RozinatA08},
  cites = {0},
  citedby = {0},
  journal = {is},
  volume = {33},
  number = {1},
  pages = {64-95},
}

@article{AalstHKB03,
  title = {Workflow Patterns},
  author = {Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Bartek Kiepuszewski and Alistair P. Barros},
  year = {2003},
  doi = {10.1023/A:1022883727209},
  url = {http://dx.doi.org/10.1023/A:1022883727209},
  tags = {workflow patterns, workflow},
  researchr = {https://researchr.org/publication/AalstHKB03},
  cites = {0},
  citedby = {1},
  journal = {dpd},
  volume = {14},
  number = {1},
  pages = {5-51},
}

@article{BastenA01:0,
  title = {Inheritance of behavior},
  author = {Twan Basten and Wil M. P. van der Aalst},
  year = {2001},
  researchr = {https://researchr.org/publication/BastenA01%3A0},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {47},
  number = {2},
  pages = {47-145},
}

@article{WynnVAHE09,
  title = {Soundness-preserving reduction rules for reset workflow nets},
  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},
  year = {2009},
  doi = {10.1016/j.ins.2008.10.033},
  url = {http://dx.doi.org/10.1016/j.ins.2008.10.033},
  tags = {rule-based, rules, workflow},
  researchr = {https://researchr.org/publication/WynnVAHE09},
  cites = {0},
  citedby = {0},
  journal = {isci},
  volume = {179},
  number = {6},
  pages = {769-790},
}

@inproceedings{GuntherA06,
  title = {A Generic Import Framework for Process Event Logs},
  author = {Christian W. Günther and Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1007/11837862_10},
  url = {http://dx.doi.org/10.1007/11837862_10},
  researchr = {https://researchr.org/publication/GuntherA06},
  cites = {0},
  citedby = {0},
  pages = {81-92},
  booktitle = {BPM},
}

@article{Aalst99:1,
  title = {Formalization and verification of event-driven process chains},
  author = {Wil M. P. van der Aalst},
  year = {1999},
  doi = {10.1016/S0950-5849(99)00016-6},
  url = {http://dx.doi.org/10.1016/S0950-5849(99)00016-6},
  researchr = {https://researchr.org/publication/Aalst99%3A1},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {41},
  number = {10},
  pages = {639-650},
}

@inproceedings{HiddersDAHV05,
  title = {When are two Workflows the Same?},
  author = {Jan Hidders and Marlon Dumas and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Jan Verelst},
  year = {2005},
  url = {http://crpit.com/confpapers/CRPITV41Hidders.pdf},
  tags = {workflow},
  researchr = {https://researchr.org/publication/HiddersDAHV05},
  cites = {0},
  citedby = {0},
  pages = {3-11},
  booktitle = {cats},
}

@article{AalstHHSVVW09,
  title = {Soundness of Workflow Nets with Reset Arcs},
  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},
  year = {2009},
  doi = {10.1007/978-3-642-04856-2_3},
  url = {http://dx.doi.org/10.1007/978-3-642-04856-2_3},
  tags = {workflow},
  researchr = {https://researchr.org/publication/AalstHHSVVW09},
  cites = {0},
  citedby = {0},
  journal = {topnoc},
  volume = {3},
  pages = {50-70},
}

@inproceedings{AdamsHEA06,
  title = {Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows},
  author = {Michael Adams and Arthur H. M. ter Hofstede and David Edmond and Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1007/11914853_18},
  url = {http://dx.doi.org/10.1007/11914853_18},
  tags = {workflow},
  researchr = {https://researchr.org/publication/AdamsHEA06},
  cites = {0},
  citedby = {0},
  pages = {291-308},
  booktitle = {otm},
}

@article{OuyangDAHM09,
  title = {From business process models to process-oriented software systems},
  author = {Chun Ouyang and Marlon Dumas and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Jan Mendling},
  year = {2009},
  doi = {10.1145/1555392.1555395},
  url = {http://doi.acm.org/10.1145/1555392.1555395},
  tags = {business process modeling, process modeling},
  researchr = {https://researchr.org/publication/OuyangDAHM09},
  cites = {0},
  citedby = {0},
  journal = {TOSEM},
  volume = {19},
  number = {1},
}

@article{BratosinA07,
  title = {Workflow Management Systems for Grid Computing},
  author = {Carmen Bratosin and Wil M. P. van der Aalst},
  year = {2007},
  url = {http://ercim-news.ercim.eu/workflow-management-systems-for-grid-computing},
  tags = {workflow},
  researchr = {https://researchr.org/publication/BratosinA07},
  cites = {0},
  citedby = {0},
  journal = {ercim},
  volume = {2007},
  number = {70},
}

@inproceedings{MedeirosDAW04,
  title = {Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm},
  author = {Ana Karla A. de Medeiros and Boudewijn F. van Dongen and Wil M. P. van der Aalst and A. J. M. M. Weijters},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3272&spage=151},
  tags = {mobile},
  researchr = {https://researchr.org/publication/MedeirosDAW04},
  cites = {0},
  citedby = {0},
  pages = {151-165},
  booktitle = {caise},
}

@inproceedings{BarborkaHKMNDVA06,
  title = {Integration of EPC-related Tools with ProM},
  author = {Paul Barborka and Lukas Helm and Georg Köldorfer and Jan Mendling and Gustaf Neumann and Boudewijn F. van Dongen and Eric Verbeek and Wil M. P. van der Aalst},
  year = {2006},
  url = {http://ceur-ws.org/Vol-224/epk2006-paper6.pdf},
  researchr = {https://researchr.org/publication/BarborkaHKMNDVA06},
  cites = {0},
  citedby = {0},
  pages = {105-120},
  booktitle = {epk},
}

@inproceedings{AalstDGMMRRSVW07,
  title = {ProM 4.0: Comprehensive Support for ::::Real:::: Process Analysis},
  author = {Wil M. P. van der Aalst and Boudewijn F. van Dongen and Christian W. Günther and R. S. Mans and Ana Karla Alves de Medeiros and Anne Rozinat and Vladimir Rubin and Minseok Song and H. M. W. (Eric) Verbeek and A. J. M. M. Weijters},
  year = {2007},
  doi = {10.1007/978-3-540-73094-1_28},
  url = {http://dx.doi.org/10.1007/978-3-540-73094-1_28},
  tags = {analysis},
  researchr = {https://researchr.org/publication/AalstDGMMRRSVW07},
  cites = {0},
  citedby = {0},
  pages = {484-494},
  booktitle = {apn},
}

@article{MansARBMLJ09,
  title = {From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems},
  author = {R. S. Mans and Wil M. P. van der Aalst and Nick C. Russell and Piet J. M. Bakker and Arnold J. Moleman and Kristian Bisgaard Lassen and Jens Bæk Jørgensen},
  year = {2009},
  doi = {10.1007/978-3-642-04856-2_2},
  url = {http://dx.doi.org/10.1007/978-3-642-04856-2_2},
  tags = {C++, workflow},
  researchr = {https://researchr.org/publication/MansARBMLJ09},
  cites = {0},
  citedby = {0},
  journal = {topnoc},
  volume = {3},
  pages = {25-49},
}

@inproceedings{MarusterWAB02,
  title = {Process Mining: Discovering Direct Successors in Process Logs},
  author = {Laura Maruster and A. J. M. M. Weijters and Wil M. P. van der Aalst and Antal van den Bosch},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2534/25340364.htm},
  researchr = {https://researchr.org/publication/MarusterWAB02},
  cites = {0},
  citedby = {0},
  pages = {364-373},
  booktitle = {dis},
}

@article{AalstRS05,
  title = {Discovering Social Networks from Event Logs},
  author = {Wil M. P. van der Aalst and Hajo A. Reijers and Minseok Song},
  year = {2005},
  doi = {10.1007/s10606-005-9005-9},
  url = {http://dx.doi.org/10.1007/s10606-005-9005-9},
  tags = {social},
  researchr = {https://researchr.org/publication/AalstRS05},
  cites = {0},
  citedby = {0},
  journal = {cscw},
  volume = {14},
  number = {6},
  pages = {549-593},
}

@article{ShethAA99,
  title = {Processes Driving the Networked Economy},
  author = {Amit P. Sheth and Wil M. P. van der Aalst and Ismailcem Budak Arpinar},
  year = {1999},
  url = {http://computer.org/concurrency/pd1999/p3018abs.htm},
  researchr = {https://researchr.org/publication/ShethAA99},
  cites = {0},
  citedby = {0},
  journal = {ieeecc},
  volume = {7},
  number = {3},
  pages = {18-31},
}

@inproceedings{HeeSSA07,
  title = {History-Dependent Petri Nets},
  author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-73094-1_12},
  url = {http://dx.doi.org/10.1007/978-3-540-73094-1_12},
  tags = {history},
  researchr = {https://researchr.org/publication/HeeSSA07},
  cites = {0},
  citedby = {0},
  pages = {164-183},
  booktitle = {apn},
}

@inproceedings{MendlingDA07:0,
  title = {Getting Rid of the OR-Join in Business Process Models},
  author = {Jan Mendling and Boudewijn F. van Dongen and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1109/EDOC.2007.30},
  url = {http://doi.ieeecomputersociety.org/10.1109/EDOC.2007.30},
  tags = {business process modeling, process modeling},
  researchr = {https://researchr.org/publication/MendlingDA07%3A0},
  cites = {0},
  citedby = {0},
  pages = {3-14},
  booktitle = {edoc},
}

@article{WynnVAHE09-0,
  title = {Reduction rules for YAWL workflows with cancellation regions and OR-joins},
  author = {Moe Thandar Wynn and H. M. W. (Eric) Verbeek and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and David Edmond},
  year = {2009},
  doi = {10.1016/j.infsof.2008.12.002},
  url = {http://dx.doi.org/10.1016/j.infsof.2008.12.002},
  tags = {rule-based, rules, workflow, YAWL},
  researchr = {https://researchr.org/publication/WynnVAHE09-0},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {51},
  number = {6},
  pages = {1010-1020},
}

@inproceedings{SchonenbergWDA08,
  title = {Supporting Flexible Processes through Recommendations Based on History},
  author = {Helen Schonenberg and Barbara Weber and Boudewijn F. van Dongen and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1007/978-3-540-85758-7_7},
  url = {http://dx.doi.org/10.1007/978-3-540-85758-7_7},
  tags = {rule-based, history},
  researchr = {https://researchr.org/publication/SchonenbergWDA08},
  cites = {0},
  citedby = {0},
  pages = {51-66},
  booktitle = {BPM},
}

@inproceedings{WohedADHR05,
  title = {Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams},
  author = {Petia Wohed and Wil M. P. van der Aalst and Marlon Dumas and Arthur H. M. ter Hofstede and Nick Russell},
  year = {2005},
  doi = {10.1007/11568322_5},
  url = {http://dx.doi.org/10.1007/11568322_5},
  tags = {rule-based, analysis, UML, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/WohedADHR05},
  cites = {0},
  citedby = {0},
  pages = {63-78},
  booktitle = {er},
}

@inproceedings{AalstGRR06,
  title = {Using Process Mining to Analyze and Improve Process Flexibility},
  author = {Wil M. P. van der Aalst and Christian W. Günther and Jan Recker and Manfred Reichert},
  year = {2006},
  url = {http://ceur-ws.org/Vol-236/paper11.pdf},
  researchr = {https://researchr.org/publication/AalstGRR06},
  cites = {0},
  citedby = {0},
  booktitle = {caise},
}

@inproceedings{AalstDH03,
  title = {Web Service Composition Languages: Old Wine in New Bottles?},
  author = {Wil M. P. van der Aalst and Marlon Dumas and Arthur H. M. ter Hofstede},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/euromicro/2003/1996/00/19960298abs.htm},
  tags = {web service, composition},
  researchr = {https://researchr.org/publication/AalstDH03},
  cites = {0},
  citedby = {0},
  pages = {298-307},
  booktitle = {euromicro},
}

@inproceedings{RussellHEA05,
  title = {Workflow Data Patterns: Identification, Representation and Tool Support},
  author = {Nick Russell and Arthur H. M. ter Hofstede and David Edmond and Wil M. P. van der Aalst},
  year = {2005},
  doi = {10.1007/11568322_23},
  url = {http://dx.doi.org/10.1007/11568322_23},
  tags = {workflow patterns, data-flow, workflow},
  researchr = {https://researchr.org/publication/RussellHEA05},
  cites = {0},
  citedby = {0},
  pages = {353-368},
  booktitle = {er},
}

@article{VanderfeestenRA08-0,
  title = {Evaluating workflow process designs using cohesion and coupling metrics},
  author = {Irene T. P. Vanderfeesten and Hajo A. Reijers and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1016/j.compind.2007.12.007},
  url = {http://dx.doi.org/10.1016/j.compind.2007.12.007},
  tags = {workflow},
  researchr = {https://researchr.org/publication/VanderfeestenRA08-0},
  cites = {0},
  citedby = {0},
  journal = {cii},
  volume = {59},
  number = {5},
  pages = {420-437},
}

@inproceedings{VanderfeestenRA07a,
  title = {Case Handling Systems as Product Based Workflow Design Support},
  author = {Irene T. P. Vanderfeesten and Hajo A. Reijers and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-88710-2_15},
  url = {http://dx.doi.org/10.1007/978-3-540-88710-2_15},
  tags = {rule-based, workflow, design},
  researchr = {https://researchr.org/publication/VanderfeestenRA07a},
  cites = {0},
  citedby = {0},
  pages = {187-198},
  booktitle = {ICEIS},
}

@article{SongA08,
  title = {Towards comprehensive support for organizational mining},
  author = {Minseok Song and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1016/j.dss.2008.07.002},
  url = {http://dx.doi.org/10.1016/j.dss.2008.07.002},
  researchr = {https://researchr.org/publication/SongA08},
  cites = {0},
  citedby = {0},
  journal = {dss},
  volume = {46},
  number = {1},
  pages = {300-317},
}

@inproceedings{AalstBHKS06,
  title = {A SOA-Based Architecture Framework},
  author = {Wil M. P. van der Aalst and Michael Beisiegel and Kees M. van Hee and Dieter König and Christian Stahl},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/827},
  tags = {rule-based, architecture},
  researchr = {https://researchr.org/publication/AalstBHKS06},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@article{AalstRD07,
  title = {Deadline-based escalation in process-aware information systems},
  author = {Wil M. P. van der Aalst and Michael Rosemann and Marlon Dumas},
  year = {2007},
  doi = {10.1016/j.dss.2006.11.005},
  url = {http://dx.doi.org/10.1016/j.dss.2006.11.005},
  tags = {rule-based, context-aware},
  researchr = {https://researchr.org/publication/AalstRD07},
  cites = {0},
  citedby = {0},
  journal = {dss},
  volume = {43},
  number = {2},
  pages = {492-511},
}

@inproceedings{ReckerRAM05,
  title = {On the Syntax of Reference Model Configuration - Transforming the C-EPC into Lawful EPC Models},
  author = {Jan Recker and Michael Rosemann and Wil M. P. van der Aalst and Jan Mendling},
  year = {2005},
  doi = {10.1007/11678564_46},
  url = {http://dx.doi.org/10.1007/11678564_46},
  tags = {meta-model, C++, Meta-Environment},
  researchr = {https://researchr.org/publication/ReckerRAM05},
  cites = {0},
  citedby = {0},
  pages = {497-511},
  booktitle = {BPM},
}

@inproceedings{VerbeekDMA06,
  title = {Interoperability in the ProM Framework},
  author = {H. M. W. Verbeek and Boudewijn F. van Dongen and Jan Mendling and Wil M. P. van der Aalst},
  year = {2006},
  url = {http://www.ceur-ws.org/Vol-200/08.pdf},
  researchr = {https://researchr.org/publication/VerbeekDMA06},
  cites = {0},
  citedby = {0},
  booktitle = {caise},
}

@article{GottschalkAJV08,
  title = {Protos2CPN: using colored Petri nets for configuring and testing business processes},
  author = {Florian Gottschalk and Wil M. P. van der Aalst and Monique H. Jansen-Vullers and H. M. W. Verbeek},
  year = {2008},
  doi = {10.1007/s10009-007-0055-9},
  url = {http://dx.doi.org/10.1007/s10009-007-0055-9},
  tags = {testing},
  researchr = {https://researchr.org/publication/GottschalkAJV08},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {10},
  number = {1},
  pages = {95-110},
}

@article{AalstV08,
  title = {Process Mining in Web Services: The WebSphere Case},
  author = {Wil M. P. van der Aalst and H. M. W. (Eric) Verbeek},
  year = {2008},
  url = {http://sites.computer.org/debull/A08Sept/aalst.pdf},
  tags = {web service, web services},
  researchr = {https://researchr.org/publication/AalstV08},
  cites = {0},
  citedby = {0},
  journal = {DEBU},
  volume = {31},
  number = {3},
  pages = {45-48},
}

@inproceedings{ReckerMAR06,
  title = {Model-Driven Enterprise Systems Configuration},
  author = {Jan Recker and Jan Mendling and Wil M. P. van der Aalst and Michael Rosemann},
  year = {2006},
  doi = {10.1007/11767138_25},
  url = {http://dx.doi.org/10.1007/11767138_25},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/ReckerMAR06},
  cites = {0},
  citedby = {0},
  pages = {369-383},
  booktitle = {caise},
}

@article{ReijersRA03,
  title = {The Case Handling Case},
  author = {Hajo A. Reijers and J. H. M. Rigter and Wil M. P. van der Aalst},
  year = {2003},
  doi = {10.1142/S0218843003000784},
  url = {http://dx.doi.org/10.1142/S0218843003000784},
  researchr = {https://researchr.org/publication/ReijersRA03},
  cites = {0},
  citedby = {0},
  journal = {ijcis},
  volume = {12},
  number = {3},
  pages = {365-391},
}

@inproceedings{RussellAH06,
  title = {Workflow Exception Patterns},
  author = {Nick Russell and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede},
  year = {2006},
  doi = {10.1007/11767138_20},
  url = {http://dx.doi.org/10.1007/11767138_20},
  tags = {workflow patterns, exceptions, workflow},
  researchr = {https://researchr.org/publication/RussellAH06},
  cites = {0},
  citedby = {0},
  pages = {288-302},
  booktitle = {caise},
}

@article{VerbeekWAH10,
  title = {Reduction rules for reset/inhibitor nets},
  author = {H. M. W. Verbeek and Moe Thandar Wynn and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede},
  year = {2010},
  doi = {10.1016/j.jcss.2009.06.003},
  url = {http://dx.doi.org/10.1016/j.jcss.2009.06.003},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/VerbeekWAH10},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {76},
  number = {2},
  pages = {125-143},
}

@inproceedings{MendlingRRA05,
  title = {Towards the Interchange of Configurable EPCs},
  author = {Jan Mendling and Jan Recker and Michael Rosemann and Wil M. P. van der Aalst},
  year = {2005},
  researchr = {https://researchr.org/publication/MendlingRRA05},
  cites = {0},
  citedby = {0},
  pages = {8-21},
  booktitle = {emisa},
}

@inproceedings{WynnAHE06,
  title = {Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis},
  author = {Moe Thandar Wynn and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and David Edmond},
  year = {2006},
  doi = {10.1007/11841760_28},
  url = {http://dx.doi.org/10.1007/11841760_28},
  tags = {analysis, workflow, systematic-approach},
  researchr = {https://researchr.org/publication/WynnAHE06},
  cites = {0},
  citedby = {0},
  pages = {389-394},
  booktitle = {BPM},
}

@article{AldredADH09,
  title = {Dimensions of coupling in middleware},
  author = {Lachlan Aldred and Wil M. P. van der Aalst and Marlon Dumas and Arthur H. M. ter Hofstede},
  year = {2009},
  doi = {10.1002/cpe.1414},
  url = {http://dx.doi.org/10.1002/cpe.1414},
  researchr = {https://researchr.org/publication/AldredADH09},
  cites = {0},
  citedby = {0},
  journal = {concurrency},
  volume = {21},
  number = {18},
  pages = {2233-2269},
}

@inproceedings{AalstW01,
  title = {The P2P Approach to Interorganizational Workflows},
  author = {Wil M. P. van der Aalst and Mathias Weske},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2068/20680140.htm},
  tags = {p2p, workflow, systematic-approach},
  researchr = {https://researchr.org/publication/AalstW01},
  cites = {0},
  citedby = {0},
  pages = {140-156},
  booktitle = {caise},
}

@inproceedings{VoorhoeveA97,
  title = {Ad-hoc Workflow: Problems and Solutions},
  author = {Marc Voorhoeve and Wil M. P. van der Aalst},
  year = {1997},
  tags = {workflow},
  researchr = {https://researchr.org/publication/VoorhoeveA97},
  cites = {0},
  citedby = {0},
  pages = {36-40},
  booktitle = {dexaw},
}

@inproceedings{SchonenbergSAH09,
  title = {History-Dependent Stochastic Petri Nets},
  author = {Helen Schonenberg and Natalia Sidorova and Wil M. P. van der Aalst and Kees M. van Hee},
  year = {2009},
  doi = {10.1007/978-3-642-11486-1_31},
  url = {http://dx.doi.org/10.1007/978-3-642-11486-1_31},
  tags = {history},
  researchr = {https://researchr.org/publication/SchonenbergSAH09},
  cites = {0},
  citedby = {0},
  pages = {366-379},
  booktitle = {ershov},
}

@article{AalstWM04,
  title = {Workflow Mining: Discovering Process Models from Event Logs},
  author = {Wil M. P. van der Aalst and Ton Weijters and Laura Maruster},
  year = {2004},
  url = {http://csdl.computer.org/comp/trans/tk/2004/09/k1143abs.htm},
  tags = {workflow, process modeling},
  researchr = {https://researchr.org/publication/AalstWM04},
  cites = {0},
  citedby = {0},
  journal = {tkde},
  volume = {16},
  number = {9},
  pages = {1128-1142},
}

@inproceedings{MansSSAB08a,
  title = {Application of Process Mining in Healthcare - A Case Study in a Dutch Hospital},
  author = {R. S. Mans and Helen Schonenberg and Minseok Song and Wil M. P. van der Aalst and Piet J. M. Bakker},
  year = {2008},
  doi = {10.1007/978-3-540-92219-3_32},
  url = {http://dx.doi.org/10.1007/978-3-540-92219-3_32},
  tags = {case study},
  researchr = {https://researchr.org/publication/MansSSAB08a},
  cites = {0},
  citedby = {0},
  pages = {425-438},
  booktitle = {biostec},
}

@inproceedings{VanderfeestenRMAC08,
  title = {On a Quest for Good Process Models: The Cross-Connectivity Metric},
  author = {Irene T. P. Vanderfeesten and Hajo A. Reijers and Jan Mendling and Wil M. P. van der Aalst and Jorge Cardoso},
  year = {2008},
  doi = {10.1007/978-3-540-69534-9_36},
  url = {http://dx.doi.org/10.1007/978-3-540-69534-9_36},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/VanderfeestenRMAC08},
  cites = {0},
  citedby = {0},
  pages = {480-494},
  booktitle = {caise},
}

@inproceedings{PesicSA07,
  title = {DECLARE: Full Support for Loosely-Structured Processes},
  author = {Maja Pesic and Helen Schonenberg and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1109/EDOC.2007.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/EDOC.2007.25},
  researchr = {https://researchr.org/publication/PesicSA07},
  cites = {0},
  citedby = {0},
  pages = {287-300},
  booktitle = {edoc},
}

@inproceedings{MendlingA08,
  title = {Advanced Reduction Rules for the Verification of EPC Business Process Models},
  author = {Jan Mendling and Wil M. P. van der Aalst},
  year = {2008},
  tags = {rule-based, business rules, business process modeling, rules, process modeling},
  researchr = {https://researchr.org/publication/MendlingA08},
  cites = {0},
  citedby = {0},
  pages = {129},
  booktitle = {sigsand},
}

@inproceedings{BoseA09-0,
  title = {Abstractions in Process Mining: A Taxonomy of Patterns},
  author = {R. P. Jagadeesh Chandra Bose and Wil M. P. van der Aalst},
  year = {2009},
  doi = {10.1007/978-3-642-03848-8_12},
  url = {http://dx.doi.org/10.1007/978-3-642-03848-8_12},
  tags = {abstraction, taxonomy},
  researchr = {https://researchr.org/publication/BoseA09-0},
  cites = {0},
  citedby = {0},
  pages = {159-175},
  booktitle = {BPM},
}

@inproceedings{AalstRL01,
  title = {Product-driven Workflow Design},
  author = {Wil M. P. van der Aalst and Hajo A. Reijers and S. Limam},
  year = {2001},
  doi = {10.1109/CSCWD.2001.942292},
  url = {http://dx.doi.org/10.1109/CSCWD.2001.942292},
  tags = {workflow, design},
  researchr = {https://researchr.org/publication/AalstRL01},
  cites = {0},
  citedby = {0},
  pages = {397-402},
  booktitle = {cscwd},
}

@article{AalstRWDMSV07,
  title = {Business process mining: An industrial application},
  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. (Eric) Verbeek},
  year = {2007},
  doi = {10.1016/j.is.2006.05.003},
  url = {http://dx.doi.org/10.1016/j.is.2006.05.003},
  researchr = {https://researchr.org/publication/AalstRWDMSV07},
  cites = {0},
  citedby = {0},
  journal = {is},
  volume = {32},
  number = {5},
  pages = {713-732},
}

@inproceedings{WynnEAH05,
  title = {Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets},
  author = {Moe Thandar Wynn and David Edmond and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede},
  year = {2005},
  doi = {10.1007/11494744_24},
  url = {http://dx.doi.org/10.1007/11494744_24},
  tags = {workflow, systematic-approach},
  researchr = {https://researchr.org/publication/WynnEAH05},
  cites = {0},
  citedby = {0},
  pages = {423-443},
  booktitle = {apn},
}

@article{AalstK03,
  title = {XML - Based Schema Definition for Support of Interorganizational Workflow},
  author = {Wil M. P. van der Aalst and Akhil Kumar},
  year = {2003},
  doi = {10.1287/isre.14.1.23.14768},
  url = {http://dx.doi.org/10.1287/isre.14.1.23.14768},
  tags = {rule-based, XML, XML Schema, workflow},
  researchr = {https://researchr.org/publication/AalstK03},
  cites = {0},
  citedby = {0},
  journal = {isr},
  volume = {14},
  number = {1},
  pages = {23-46},
}

@incollection{conf-swb-AalstP07,
  title = {Specifying and Monitoring Service Flows: Making Web Services Process-Aware},
  author = {Wil M. P. van der Aalst and Maja Pesic},
  year = {2007},
  doi = {10.1007/978-3-540-72912-9_2},
  url = {http://dx.doi.org/10.1007/978-3-540-72912-9_2},
  tags = {process monitoring, web service, data-flow, web services, context-aware},
  researchr = {https://researchr.org/publication/conf-swb-AalstP07},
  cites = {0},
  citedby = {0},
  pages = {11-55},
  booktitle = {Test and Analysis of Web Services},
  editor = {Luciano Baresi and Elisabetta Di Nitto},
  publisher = {Springer},
  isbn = {978-3-540-72912-9},
}

@inproceedings{RozinatMGWA07,
  title = {The Need for a Process Mining Evaluation Framework in Research and Practice},
  author = {Anne Rozinat and Ana Karla Alves de Medeiros and Christian W. Günther and A. J. M. M. Weijters and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-78238-4_10},
  url = {http://dx.doi.org/10.1007/978-3-540-78238-4_10},
  researchr = {https://researchr.org/publication/RozinatMGWA07},
  cites = {0},
  citedby = {0},
  pages = {84-89},
  booktitle = {BPM},
}

@inproceedings{Aalst09-0,
  title = {Using Process Mining to Generate Accurate and Interactive Business Process Maps},
  author = {Wil M. P. van der Aalst},
  year = {2009},
  doi = {10.1007/978-3-642-03424-4_1},
  url = {http://dx.doi.org/10.1007/978-3-642-03424-4_1},
  researchr = {https://researchr.org/publication/Aalst09-0},
  cites = {0},
  citedby = {0},
  pages = {1-14},
  booktitle = {bis},
}

@inproceedings{GuntherRRA06,
  title = {Change Mining in Adaptive Process Management Systems},
  author = {Christian W. Günther and Stefanie Rinderle and Manfred Reichert and Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1007/11914853_19},
  url = {http://dx.doi.org/10.1007/11914853_19},
  researchr = {https://researchr.org/publication/GuntherRRA06},
  cites = {0},
  citedby = {0},
  pages = {309-326},
  booktitle = {otm},
}

@inproceedings{Aalst99:0,
  title = {Flexible Workflow Management Systems: An Approach Based on Generic Process Models},
  author = {Wil M. P. van der Aalst},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1677/16770186.htm},
  tags = {rule-based, workflow, process modeling, systematic-approach},
  researchr = {https://researchr.org/publication/Aalst99%3A0},
  cites = {0},
  citedby = {0},
  pages = {186-195},
  booktitle = {DEXA},
}

@inproceedings{AalstDORV06,
  title = {Choreography Conformance Checking: An Approach based on BPEL and Petri Nets},
  author = {Wil M. P. van der Aalst and Marlon Dumas and Chun Ouyang and Anne Rozinat and H. M. W. Verbeek},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/830},
  tags = {rule-based, BPEL, systematic-approach},
  researchr = {https://researchr.org/publication/AalstDORV06},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{TrckaAS09,
  title = {Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows},
  author = {Nikola Trcka and Wil M. P. van der Aalst and Natalia Sidorova},
  year = {2009},
  doi = {10.1007/978-3-642-02144-2_34},
  url = {http://dx.doi.org/10.1007/978-3-642-02144-2_34},
  tags = {workflow patterns, data-flow, workflow},
  researchr = {https://researchr.org/publication/TrckaAS09},
  cites = {0},
  citedby = {0},
  pages = {425-439},
  booktitle = {caise},
}

@article{VerbeekBA01,
  title = {Diagnosing Workflow Processes using Woflan},
  author = {H. M. W. (Eric) Verbeek and Twan Basten and Wil M. P. van der Aalst},
  year = {2001},
  url = {http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/440246.sgm.abs.html},
  tags = {workflow},
  researchr = {https://researchr.org/publication/VerbeekBA01},
  cites = {0},
  citedby = {0},
  journal = {cj},
  volume = {44},
  number = {4},
  pages = {246-279},
}

@inproceedings{Aalst08,
  title = {Discovery, Verification and Conformance of Workflows with Cancellation},
  author = {Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1007/978-3-540-87405-8_2},
  url = {http://dx.doi.org/10.1007/978-3-540-87405-8_2},
  tags = {discovery, workflow},
  researchr = {https://researchr.org/publication/Aalst08},
  cites = {0},
  citedby = {0},
  pages = {18-37},
  booktitle = {gg},
}

@inproceedings{FunkRMPCA09,
  title = {Improving Product Usage Monitoring and Analysis with Semantic Concepts},
  author = {Mathias Funk and Anne Rozinat and Ana Karla Alves de Medeiros and Piet van der Putten and Henk Corporaal and Wil M. P. van der Aalst},
  year = {2009},
  doi = {10.1007/978-3-642-01112-2_20},
  url = {http://dx.doi.org/10.1007/978-3-642-01112-2_20},
  tags = {analysis},
  researchr = {https://researchr.org/publication/FunkRMPCA09},
  cites = {0},
  citedby = {0},
  pages = {190-201},
  booktitle = {ista},
}

@article{AalstDHMSW03,
  title = {Workflow mining: A survey of issues and approaches},
  author = {Wil M. P. van der Aalst and Boudewijn F. van Dongen and Joachim Herbst and Laura Maruster and Guido Schimm and A. J. M. M. Weijters},
  year = {2003},
  doi = {10.1016/S0169-023X(03)00066-1},
  url = {http://dx.doi.org/10.1016/S0169-023X(03)00066-1},
  tags = {survey, workflow, systematic-approach},
  researchr = {https://researchr.org/publication/AalstDHMSW03},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {47},
  number = {2},
  pages = {237-267},
}

@inproceedings{MarusterWWA02,
  title = {Discovering Distributed Processes in Supply Chains},
  author = {Laura Maruster and J. C. Wortmann and A. J. M. M. Weijters and Wil M. P. van der Aalst},
  year = {2002},
  tags = {C++},
  researchr = {https://researchr.org/publication/MarusterWWA02},
  cites = {0},
  citedby = {0},
  pages = {219-230},
  booktitle = {ifip5-7},
}

@inproceedings{RozinatA05,
  title = {Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models},
  author = {Anne Rozinat and Wil M. P. van der Aalst},
  year = {2005},
  doi = {10.1007/11678564_15},
  url = {http://dx.doi.org/10.1007/11678564_15},
  tags = {testing, process modeling},
  researchr = {https://researchr.org/publication/RozinatA05},
  cites = {0},
  citedby = {0},
  pages = {163-176},
  booktitle = {BPM},
}

@inproceedings{GuntherRA08,
  title = {Supporting Flexible Processes with Adaptive Workflow and Case Handling},
  author = {Christian W. Günther and Manfred Reichert and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1109/WETICE.2008.15},
  url = {http://dx.doi.org/10.1109/WETICE.2008.15},
  tags = {workflow},
  researchr = {https://researchr.org/publication/GuntherRA08},
  cites = {0},
  citedby = {0},
  pages = {229-234},
  booktitle = {wetice},
}

@article{Jansen-VullersAR06,
  title = {Mining configurable enterprise information systems},
  author = {Monique H. Jansen-Vullers and Wil M. P. van der Aalst and Michael Rosemann},
  year = {2006},
  doi = {10.1016/j.datak.2005.03.007},
  url = {http://dx.doi.org/10.1016/j.datak.2005.03.007},
  researchr = {https://researchr.org/publication/Jansen-VullersAR06},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {56},
  number = {3},
  pages = {195-244},
}

@article{LassenA09,
  title = {Complexity metrics for Workflow nets},
  author = {Kristian Bisgaard Lassen and Wil M. P. van der Aalst},
  year = {2009},
  doi = {10.1016/j.infsof.2008.08.005},
  url = {http://dx.doi.org/10.1016/j.infsof.2008.08.005},
  tags = {workflow},
  researchr = {https://researchr.org/publication/LassenA09},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {51},
  number = {3},
  pages = {610-626},
}

@inproceedings{RussellA08,
  title = {Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities},
  author = {Nick Russell and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1007/978-3-540-69534-9_7},
  url = {http://dx.doi.org/10.1007/978-3-540-69534-9_7},
  researchr = {https://researchr.org/publication/RussellA08},
  cites = {0},
  citedby = {0},
  pages = {94-108},
  booktitle = {caise},
}

@inproceedings{Aalst02,
  title = {Making Work Flow: On the Application of Petri Nets to Business Process Management},
  author = {Wil M. P. van der Aalst},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2360/23600001.htm},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/Aalst02},
  cites = {0},
  citedby = {0},
  pages = {1-22},
  booktitle = {apn},
}

@inproceedings{Aalst03,
  title = {Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management},
  author = {Wil M. P. van der Aalst},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3098&spage=1},
  tags = {business process modeling, workflow, process modeling},
  researchr = {https://researchr.org/publication/Aalst03},
  cites = {0},
  citedby = {0},
  pages = {1-65},
  booktitle = {ac},
}

@article{JorgensenLA08,
  title = {From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system},
  author = {Jens Bæk Jørgensen and Kristian Bisgaard Lassen and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1007/s10009-007-0054-x},
  url = {http://dx.doi.org/10.1007/s10009-007-0054-x},
  tags = {workflow},
  researchr = {https://researchr.org/publication/JorgensenLA08},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {10},
  number = {1},
  pages = {15-28},
}

@inproceedings{PesicSSA07,
  title = {Constraint-Based Workflow Models: Change Made Easy},
  author = {Maja Pesic and M. H. Schonenberg and Natalia Sidorova and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-76848-7_7},
  url = {http://dx.doi.org/10.1007/978-3-540-76848-7_7},
  tags = {rule-based, constraints, workflow},
  researchr = {https://researchr.org/publication/PesicSSA07},
  cites = {0},
  citedby = {0},
  pages = {77-94},
  booktitle = {otm},
}

@inproceedings{MansSLPCQA08,
  title = {Process Mining Techniques: an Application to Stroke Care},
  author = {Ronny Mans and Helen Schonenberg and Giorgio Leonardi and Silvia Panzarasa and Anna Cavallini and Silvana Quaglini and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.3233/978-1-58603-864-9-573},
  url = {http://dx.doi.org/10.3233/978-1-58603-864-9-573},
  researchr = {https://researchr.org/publication/MansSLPCQA08},
  cites = {0},
  citedby = {0},
  pages = {573-578},
  booktitle = {mie},
}

@inproceedings{NetjesMRA07,
  title = {An Evolutionary Approach for Business Process Redesign - Towards an Intelligent System},
  author = {Mariska Netjes and Selma Limam Mansar and Hajo A. Reijers and Wil M. P. van der Aalst},
  year = {2007},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/NetjesMRA07},
  cites = {0},
  citedby = {0},
  pages = {47-54},
  booktitle = {ICEIS},
}

@article{AalstPS09,
  title = {Declarative workflows: Balancing between flexibility and support},
  author = {Wil M. P. van der Aalst and Maja Pesic and Helen Schonenberg},
  year = {2009},
  doi = {10.1007/s00450-009-0057-9},
  url = {http://dx.doi.org/10.1007/s00450-009-0057-9},
  tags = {workflow},
  researchr = {https://researchr.org/publication/AalstPS09},
  cites = {0},
  citedby = {0},
  journal = {ife},
  volume = {23},
  number = {2},
  pages = {99-113},
}

@inproceedings{Aalst97,
  title = {Verification of Workflow Nets},
  author = {Wil M. P. van der Aalst},
  year = {1997},
  tags = {workflow},
  researchr = {https://researchr.org/publication/Aalst97},
  cites = {0},
  citedby = {1},
  pages = {407-426},
  booktitle = {apn},
}

@article{Aalst03:1,
  title = {Challenges in Business Process Management: Verification of Business Processing Using Petri Nets},
  author = {Wil M. P. van der Aalst},
  year = {2003},
  researchr = {https://researchr.org/publication/Aalst03%3A1},
  cites = {0},
  citedby = {0},
  journal = {eatcs},
  volume = {80},
  pages = {174-199},
}

@article{AalstH05,
  title = {YAWL: yet another workflow language},
  author = {Wil M. P. van der Aalst and Arthur H. M. ter Hofstede},
  year = {2005},
  doi = {10.1016/j.is.2004.02.002},
  url = {http://dx.doi.org/10.1016/j.is.2004.02.002},
  tags = {workflow patterns, workflow, YAWL},
  researchr = {https://researchr.org/publication/AalstH05},
  cites = {0},
  citedby = {0},
  journal = {is},
  volume = {30},
  number = {4},
  pages = {245-275},
}

@inproceedings{WynnDFHA07,
  title = {Business Process Simulation for Operational Decision Support},
  author = {Moe Thandar Wynn and Marlon Dumas and Colin J. Fidge and Arthur H. M. ter Hofstede and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-78238-4_8},
  url = {http://dx.doi.org/10.1007/978-3-540-78238-4_8},
  researchr = {https://researchr.org/publication/WynnDFHA07},
  cites = {0},
  citedby = {0},
  pages = {66-77},
  booktitle = {BPM},
}

@inproceedings{AalstVK01,
  title = {Verification of XRL: An XML-based Workflow Language},
  author = {Wil M. P. van der Aalst and H. M. W. Verbeek and A. Kumar},
  year = {2001},
  doi = {10.1109/CSCWD.2001.942298},
  url = {http://dx.doi.org/10.1109/CSCWD.2001.942298},
  tags = {rule-based, XML, XML Schema, workflow},
  researchr = {https://researchr.org/publication/AalstVK01},
  cites = {0},
  citedby = {0},
  pages = {427-432},
  booktitle = {cscwd},
}

@article{MontaliPACMS10,
  title = {Declarative specification and verification of service choreographiess},
  author = {Marco Montali and Maja Pesic and Wil M. P. van der Aalst and Federico Chesani and Paola Mello and Sergio Storari},
  year = {2010},
  doi = {10.1145/1658373.1658376},
  url = {http://doi.acm.org/10.1145/1658373.1658376},
  researchr = {https://researchr.org/publication/MontaliPACMS10},
  cites = {0},
  citedby = {0},
  journal = {tweb},
  volume = {4},
  number = {1},
}

@inproceedings{SchonenbergMRMA08,
  title = {Towards a Taxonomy of Process Flexibility},
  author = {Helen Schonenberg and Ronny Mans and Nick Russell and Nataliya Mulyar and Wil M. P. van der Aalst},
  year = {2008},
  url = {http://ceur-ws.org/Vol-344/paper21.pdf},
  tags = {taxonomy},
  researchr = {https://researchr.org/publication/SchonenbergMRMA08},
  cites = {0},
  citedby = {0},
  pages = {81-84},
  booktitle = {caise},
}

@article{VerbeekAH07,
  title = {Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants},
  author = {H. M. W. Verbeek and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede},
  year = {2007},
  doi = {10.1093/comjnl/bxl074},
  url = {http://dx.doi.org/10.1093/comjnl/bxl074},
  tags = {rule-based, workflow, systematic-approach},
  researchr = {https://researchr.org/publication/VerbeekAH07},
  cites = {0},
  citedby = {0},
  journal = {cj},
  volume = {50},
  number = {3},
  pages = {294-314},
}

@inproceedings{AalstHV02,
  title = {An Alternative Way to Analyze Workflow Graphs},
  author = {Wil M. P. van der Aalst and Alexander Hirnschall and H. M. W. (Eric) Verbeek},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2348/23480535.htm},
  tags = {graph-rewriting, workflow, rewriting},
  researchr = {https://researchr.org/publication/AalstHV02},
  cites = {0},
  citedby = {0},
  pages = {535-552},
  booktitle = {caise},
}

@inproceedings{MendlingNA07:0,
  title = {On the Correlation between Process Model Metrics and Errors},
  author = {Jan Mendling and Gustaf Neumann and Wil M. P. van der Aalst},
  year = {2007},
  url = {http://crpit.com/abstracts/CRPITV83Mendling.html},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/MendlingNA07%3A0},
  cites = {0},
  citedby = {0},
  pages = {173-178},
  booktitle = {er},
}

@inproceedings{Aalst99,
  title = {Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information?},
  author = {Wil M. P. van der Aalst},
  year = {1999},
  tags = {information models, workflow},
  researchr = {https://researchr.org/publication/Aalst99},
  cites = {0},
  citedby = {0},
  pages = {115-126},
  booktitle = {coopis},
}

@article{AalstDORV08,
  title = {Conformance checking of service behavior},
  author = {Wil M. P. van der Aalst and Marlon Dumas and Chun Ouyang and Anne Rozinat and Eric Verbeek},
  year = {2008},
  doi = {10.1145/1361186.1361189},
  url = {http://doi.acm.org/10.1145/1361186.1361189},
  researchr = {https://researchr.org/publication/AalstDORV08},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Internet Techn.},
  volume = {8},
  number = {3},
}

@article{AalstK01,
  title = {A reference model for team-enabled workflow management systems},
  author = {Wil M. P. van der Aalst and Akhil Kumar},
  year = {2001},
  doi = {10.1016/S0169-023X(01)00034-9},
  url = {http://dx.doi.org/10.1016/S0169-023X(01)00034-9},
  tags = {workflow},
  researchr = {https://researchr.org/publication/AalstK01},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {38},
  number = {3},
  pages = {335-363},
}

@inproceedings{MulyarPAP07,
  title = {Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues},
  author = {Nataliya Mulyar and Maja Pesic and Wil M. P. van der Aalst and Mor Peleg},
  year = {2007},
  doi = {10.1007/978-3-540-78238-4_35},
  url = {http://dx.doi.org/10.1007/978-3-540-78238-4_35},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/MulyarPAP07},
  cites = {0},
  citedby = {0},
  pages = {335-346},
  booktitle = {BPM},
}

@inproceedings{RosaGDA07,
  title = {Linking Domain Models and Process Models for Reference Model Configuration},
  author = {Marcello La Rosa and Florian Gottschalk and Marlon Dumas and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-78238-4_43},
  url = {http://dx.doi.org/10.1007/978-3-540-78238-4_43},
  tags = {meta-model, Meta-Environment, process modeling},
  researchr = {https://researchr.org/publication/RosaGDA07},
  cites = {0},
  citedby = {0},
  pages = {417-430},
  booktitle = {BPM},
}

@inproceedings{OuyangVABDH05,
  title = {WofBPEL: A Tool for Automated Analysis of BPEL Processes},
  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},
  year = {2005},
  doi = {10.1007/11596141_37},
  url = {http://dx.doi.org/10.1007/11596141_37},
  tags = {BPEL, analysis},
  researchr = {https://researchr.org/publication/OuyangVABDH05},
  cites = {0},
  citedby = {0},
  pages = {484-489},
  booktitle = {icsoc},
}

@inproceedings{VanderfeestenRA08,
  title = {Product Based Workflow Support: Dynamic Workflow Execution},
  author = {Irene T. P. Vanderfeesten and Hajo A. Reijers and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1007/978-3-540-69534-9_42},
  url = {http://dx.doi.org/10.1007/978-3-540-69534-9_42},
  tags = {rule-based, workflow},
  researchr = {https://researchr.org/publication/VanderfeestenRA08},
  cites = {0},
  citedby = {0},
  pages = {571-574},
  booktitle = {caise},
}

@article{OuyangVABDH07,
  title = {Formal semantics and analysis of control flow in WS-BPEL},
  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},
  year = {2007},
  doi = {10.1016/j.scico.2007.03.002},
  url = {http://dx.doi.org/10.1016/j.scico.2007.03.002},
  tags = {semantics, formal semantics, BPEL, analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/OuyangVABDH07},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {67},
  number = {2-3},
  pages = {162-198},
}

@article{KiepuszewskiHA03,
  title = {Fundamentals of control flow in workflows},
  author = {Bartek Kiepuszewski and Arthur H. M. ter Hofstede and Wil M. P. van der Aalst},
  year = {2003},
  doi = {10.1007/s00236-002-0105-4},
  url = {http://dx.doi.org/10.1007/s00236-002-0105-4},
  tags = {data-flow, workflow},
  researchr = {https://researchr.org/publication/KiepuszewskiHA03},
  cites = {0},
  citedby = {0},
  journal = {ACTA},
  volume = {39},
  number = {3},
  pages = {143-209},
}

@inproceedings{RussellAHW06,
  title = {On the suitability of UML 2.0 activity diagrams for business process modelling},
  author = {Nick Russell and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Petia Wohed},
  year = {2006},
  doi = {10.1145/1151855.1151866},
  url = {http://doi.acm.org/10.1145/1151855.1151866},
  tags = {business process modeling, UML, process modeling},
  researchr = {https://researchr.org/publication/RussellAHW06},
  cites = {0},
  citedby = {0},
  pages = {95-104},
  booktitle = {apccm},
}

@inproceedings{SongGA08,
  title = {Trace Clustering in Process Mining},
  author = {Minseok Song and Christian W. Günther and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1007/978-3-642-00328-8_11},
  url = {http://dx.doi.org/10.1007/978-3-642-00328-8_11},
  researchr = {https://researchr.org/publication/SongGA08},
  cites = {0},
  citedby = {0},
  pages = {109-120},
  booktitle = {BPM},
}

@inproceedings{Aalst92,
  title = {Modelling and Analysis of Complex Logistic Systems},
  author = {Wil M. P. van der Aalst},
  year = {1992},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Aalst92},
  cites = {0},
  citedby = {0},
  pages = {277-292},
  booktitle = {ifip5-7},
}

@inproceedings{NetjesMRA07a,
  title = {Performing Business Process Redesign with Best Practices: An Evolutionary Approach},
  author = {Mariska Netjes and Selma Limam Mansar and Hajo A. Reijers and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-88710-2_16},
  url = {http://dx.doi.org/10.1007/978-3-540-88710-2_16},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/NetjesMRA07a},
  cites = {0},
  citedby = {0},
  pages = {199-211},
  booktitle = {ICEIS},
}

@article{KindlerA99,
  title = {Liveness, Fairness, and Recurrence in Petri Nets},
  author = {Ekkart Kindler and Wil M. P. van der Aalst},
  year = {1999},
  doi = {10.1016/S0020-0190(99)00074-5},
  url = {http://dx.doi.org/10.1016/S0020-0190(99)00074-5},
  researchr = {https://researchr.org/publication/KindlerA99},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {70},
  number = {6},
  pages = {269},
}

@article{WynnAHE09,
  title = {Synchronization and Cancelation in Workflows Based on Reset Nets},
  author = {Moe Thandar Wynn and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and David Edmond},
  year = {2009},
  doi = {10.1142/S0218843009002002},
  url = {http://dx.doi.org/10.1142/S0218843009002002},
  tags = {rule-based, synchronization, workflow},
  researchr = {https://researchr.org/publication/WynnAHE09},
  cites = {0},
  citedby = {0},
  journal = {ijcis},
  volume = {18},
  number = {1},
  pages = {63-114},
}

@article{WenAWS07,
  title = {Mining process models with non-free-choice constructs},
  author = {Lijie Wen and Wil M. P. van der Aalst and Jianmin Wang and Jiaguang Sun},
  year = {2007},
  doi = {10.1007/s10618-007-0065-y},
  url = {http://dx.doi.org/10.1007/s10618-007-0065-y},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/WenAWS07},
  cites = {0},
  citedby = {0},
  journal = {datamine},
  volume = {15},
  number = {2},
  pages = {145-180},
}

@inproceedings{CardosoABSS07,
  title = {Inter-enterprise System and Application Integration: A Reality Check},
  author = {Jorge Cardoso and Wil M. P. van der Aalst and Christoph Bussler and Amit P. Sheth and Kurt Sandkuhl},
  year = {2007},
  doi = {10.1007/978-3-540-88710-2_1},
  url = {http://dx.doi.org/10.1007/978-3-540-88710-2_1},
  researchr = {https://researchr.org/publication/CardosoABSS07},
  cites = {0},
  citedby = {0},
  pages = {3-15},
  booktitle = {ICEIS},
}

@inproceedings{Aalst00,
  title = {Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques},
  author = {Wil M. P. van der Aalst},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1806/18060161.htm},
  tags = {rule-based, data-flow, workflow},
  researchr = {https://researchr.org/publication/Aalst00},
  cites = {0},
  citedby = {0},
  pages = {161-183},
  booktitle = {BPM},
}

@inproceedings{MendlingA06,
  title = {Towards EPC Semantics based on State and Context},
  author = {Jan Mendling and Wil M. P. van der Aalst},
  year = {2006},
  url = {http://ceur-ws.org/Vol-224/epk2006-paper2.pdf},
  tags = {semantics, rule-based, context-aware},
  researchr = {https://researchr.org/publication/MendlingA06},
  cites = {0},
  citedby = {0},
  pages = {25-48},
  booktitle = {epk},
}

@article{KocaFKRACMPWB09,
  title = {Soft reliability: an interdisciplinary approach with a user-system focus},
  author = {Aylin Koca and Mathias Funk and Evangelos Karapanos and Anne Rozinat and Wil M. P. van der Aalst and Henk Corporaal and Jean-Bernard Martens and Piet van der Putten and A. J. M. M. Weijters and Aarnout Brombacher},
  year = {2009},
  doi = {10.1002/qre.937},
  url = {http://dx.doi.org/10.1002/qre.937},
  tags = {reliability, systematic-approach},
  researchr = {https://researchr.org/publication/KocaFKRACMPWB09},
  cites = {0},
  citedby = {0},
  journal = {qre},
  volume = {25},
  number = {1},
  pages = {3-20},
}

@inproceedings{DongenMVWA05,
  title = {The ProM Framework: A New Era in Process Mining Tool Support},
  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},
  year = {2005},
  doi = {10.1007/11494744_25},
  url = {http://dx.doi.org/10.1007/11494744_25},
  researchr = {https://researchr.org/publication/DongenMVWA05},
  cites = {0},
  citedby = {0},
  pages = {444-454},
  booktitle = {apn},
}

@article{PesicA07,
  title = {Modelling work distribution mechanisms using Colored Petri Nets},
  author = {Maja Pesic and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/s10009-007-0036-z},
  url = {http://dx.doi.org/10.1007/s10009-007-0036-z},
  researchr = {https://researchr.org/publication/PesicA07},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {9},
  number = {3-4},
  pages = {327-352},
}

@article{AalstHT02a,
  title = { Compositionality of projection inheritance  [Sci. Comput. Programming 42 (2-3) (2002) 129-171]},
  author = {Wil M. P. van der Aalst and Kees M. van Hee and Robert A. van der Toorn},
  year = {2002},
  doi = {10.1016/S0167-6423(02)00072-2},
  url = {http://dx.doi.org/10.1016/S0167-6423(02)00072-2},
  tags = {composition, programming},
  researchr = {https://researchr.org/publication/AalstHT02a},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {44},
  number = {3},
  pages = {343-344},
}

@article{AalstBCCV07,
  title = {Business process management: Where business processes and web services meet},
  author = {Wil M. P. van der Aalst and Boualem Benatallah and Fabio Casati and Francisco Curbera and Eric Verbeek},
  year = {2007},
  doi = {10.1016/j.datak.2006.04.005},
  url = {http://dx.doi.org/10.1016/j.datak.2006.04.005},
  tags = {web service, web services},
  researchr = {https://researchr.org/publication/AalstBCCV07},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {61},
  number = {1},
  pages = {1-5},
}

@inproceedings{Aalst07:0,
  title = {Trends in business process analysis - from verification to process mining},
  author = {Wil M. P. van der Aalst},
  year = {2007},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Aalst07%3A0},
  cites = {0},
  citedby = {0},
  pages = {5-9},
  booktitle = {ICEIS},
}

@article{AalstMR09,
  title = {Workflow Support Using Proclets: Divide, Interact, and Conquer},
  author = {Wil M. P. van der Aalst and R. S. Mans and Nick C. Russell},
  year = {2009},
  url = {http://sites.computer.org/debull/A09sept/wil.pdf},
  tags = {C++, workflow},
  researchr = {https://researchr.org/publication/AalstMR09},
  cites = {0},
  citedby = {0},
  journal = {DEBU},
  volume = {32},
  number = {3},
  pages = {16-22},
}

@inproceedings{AalstBD05,
  title = {Process Mining and Verification of Properties: An Approach Based on Temporal Logic},
  author = {Wil M. P. van der Aalst and H. T. de Beer and Boudewijn F. van Dongen},
  year = {2005},
  doi = {10.1007/11575771_11},
  url = {http://dx.doi.org/10.1007/11575771_11},
  tags = {rule-based, logic, systematic-approach},
  researchr = {https://researchr.org/publication/AalstBD05},
  cites = {0},
  citedby = {0},
  pages = {130-147},
  booktitle = {otm},
}

@article{DehnertA04,
  title = {Bridging The Gap Between Business Models And Workflow Specifications},
  author = {Juliane Dehnert and Wil M. P. van der Aalst},
  year = {2004},
  doi = {10.1142/S0218843004000973},
  url = {http://dx.doi.org/10.1142/S0218843004000973},
  tags = {workflow},
  researchr = {https://researchr.org/publication/DehnertA04},
  cites = {0},
  citedby = {0},
  journal = {ijcis},
  volume = {13},
  number = {3},
  pages = {289-332},
}

@article{RozinatWAHF09,
  title = {Workflow simulation for operational decision support},
  author = {Anne Rozinat and Moe Thandar Wynn and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Colin J. Fidge},
  year = {2009},
  doi = {10.1016/j.datak.2009.02.014},
  url = {http://dx.doi.org/10.1016/j.datak.2009.02.014},
  tags = {workflow},
  researchr = {https://researchr.org/publication/RozinatWAHF09},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {68},
  number = {9},
  pages = {834-850},
}

@inproceedings{AalstB01:0,
  title = {Beyond workflow management: product-driven case handling},
  author = {Wil M. P. van der Aalst and P. J. S. Berens},
  year = {2001},
  doi = {10.1145/500286.500296},
  url = {http://doi.acm.org/10.1145/500286.500296},
  tags = {workflow},
  researchr = {https://researchr.org/publication/AalstB01%3A0},
  cites = {0},
  citedby = {0},
  pages = {42-51},
  booktitle = {group},
}

@article{MedeirosAW08,
  title = {Quantifying process equivalence based on observed behavior},
  author = {Ana Karla Alves de Medeiros and Wil M. P. van der Aalst and A. J. M. M. Weijters},
  year = {2008},
  doi = {10.1016/j.datak.2007.06.010},
  url = {http://dx.doi.org/10.1016/j.datak.2007.06.010},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/MedeirosAW08},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {64},
  number = {1},
  pages = {55-74},
}

@inproceedings{PesicA06,
  title = {A Declarative Approach for Flexible Business Processes Management},
  author = {Maja Pesic and Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1007/11837862_18},
  url = {http://dx.doi.org/10.1007/11837862_18},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/PesicA06},
  cites = {0},
  citedby = {0},
  pages = {169-180},
  booktitle = {BPM},
}

@inproceedings{GuntherA07,
  title = {Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics},
  author = {Christian W. Günther and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-75183-0_24},
  url = {http://dx.doi.org/10.1007/978-3-540-75183-0_24},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/GuntherA07},
  cites = {0},
  citedby = {0},
  pages = {328-343},
  booktitle = {BPM},
}

@inproceedings{Aalst05-0,
  title = {Process mining in CSCW systems},
  author = {Wil M. P. van der Aalst},
  year = {2005},
  doi = {10.1109/CSCWD.2005.194134},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSCWD.2005.194134},
  researchr = {https://researchr.org/publication/Aalst05-0},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {cscwd},
}

@inproceedings{MendlingMNVDA06,
  title = {Faulty EPCs in the SAP Reference Model},
  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},
  year = {2006},
  doi = {10.1007/11841760_38},
  url = {http://dx.doi.org/10.1007/11841760_38},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/MendlingMNVDA06},
  cites = {0},
  citedby = {0},
  pages = {451-457},
  booktitle = {BPM},
}

@article{VerbeekPAW08,
  title = {Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization},
  author = {H. M. W. (Eric) Verbeek and A. Johannes Pretorius and Wil M. P. van der Aalst and Jarke J. van Wijk},
  year = {2008},
  doi = {10.1007/978-3-540-89287-8_10},
  url = {http://dx.doi.org/10.1007/978-3-540-89287-8_10},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/VerbeekPAW08},
  cites = {0},
  citedby = {0},
  journal = {topnoc},
  volume = {1},
  pages = {152-171},
}

@inproceedings{VerbeekA00,
  title = {Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool},
  author = {H. M. W. (Eric) Verbeek and Wil M. P. van der Aalst},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1825/18250475.htm},
  tags = {rule-based, workflow},
  researchr = {https://researchr.org/publication/VerbeekA00},
  cites = {0},
  citedby = {0},
  pages = {475-484},
  booktitle = {apn},
}

@inproceedings{DongenA04:0,
  title = {Multi-phase Process Mining: Building Instance Graphs},
  author = {Boudewijn F. van Dongen and Wil M. P. van der Aalst},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3288&spage=362},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/DongenA04%3A0},
  cites = {0},
  citedby = {0},
  pages = {362-376},
  booktitle = {er},
}

@inproceedings{RubinGAKDS07,
  title = {Process Mining Framework for Software Processes},
  author = {Vladimir Rubin and Christian W. Günther and Wil M. P. van der Aalst and Ekkart Kindler and Boudewijn F. van Dongen and Wilhelm Schäfer},
  year = {2007},
  doi = {10.1007/978-3-540-72426-1_15},
  url = {http://dx.doi.org/10.1007/978-3-540-72426-1_15},
  researchr = {https://researchr.org/publication/RubinGAKDS07},
  cites = {0},
  citedby = {0},
  pages = {169-181},
  booktitle = {ispw},
}

@article{DustdarHA05,
  title = {Mining of ad-hoc business processes with TeamLog},
  author = {Schahram Dustdar and Thomas Hoffmann and Wil M. P. van der Aalst},
  year = {2005},
  doi = {10.1016/j.datak.2005.02.002},
  url = {http://dx.doi.org/10.1016/j.datak.2005.02.002},
  researchr = {https://researchr.org/publication/DustdarHA05},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {55},
  number = {2},
  pages = {129-158},
}

@article{MedeirosWA07,
  title = {Genetic process mining: an experimental evaluation},
  author = {Ana Karla A. de Medeiros and A. J. M. M. Weijters and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/s10618-006-0061-7},
  url = {http://dx.doi.org/10.1007/s10618-006-0061-7},
  researchr = {https://researchr.org/publication/MedeirosWA07},
  cites = {0},
  citedby = {0},
  journal = {datamine},
  volume = {14},
  number = {2},
  pages = {245-304},
}

@inproceedings{AdamsHAE07,
  title = {Dynamic, Extensible and Context-Aware Exception Handling for Workflows},
  author = {Michael Adams and Arthur H. M. ter Hofstede and Wil M. P. van der Aalst and David Edmond},
  year = {2007},
  doi = {10.1007/978-3-540-76848-7_8},
  url = {http://dx.doi.org/10.1007/978-3-540-76848-7_8},
  tags = {exceptions, context-aware, workflow},
  researchr = {https://researchr.org/publication/AdamsHAE07},
  cites = {0},
  citedby = {0},
  pages = {95-112},
  booktitle = {otm},
}

@inproceedings{MedeirosAW03,
  title = {Workflow Mining: Current Status and Future Directions},
  author = {Ana Karla A. de Medeiros and Wil M. P. van der Aalst and A. J. M. M. Weijters},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2888&spage=389},
  tags = {workflow},
  researchr = {https://researchr.org/publication/MedeirosAW03},
  cites = {0},
  citedby = {0},
  pages = {389-406},
  booktitle = {coopis},
}

@inproceedings{TrckaABS08,
  title = {Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets},
  author = {Nikola Trcka and Wil M. P. van der Aalst and Carmen Bratosin and Natalia Sidorova},
  year = {2008},
  doi = {10.1007/978-3-540-92221-6_35},
  url = {http://dx.doi.org/10.1007/978-3-540-92221-6_35},
  tags = {data-flow, Meta-Environment},
  researchr = {https://researchr.org/publication/TrckaABS08},
  cites = {0},
  citedby = {0},
  pages = {538-541},
  booktitle = {opodis},
}

@inproceedings{BastenA01,
  title = {Inheritance of Dynamic Behavior: Development of a Groupware Editor},
  author = {Twan Basten and Wil M. P. van der Aalst},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2001/20010391.htm},
  researchr = {https://researchr.org/publication/BastenA01},
  cites = {0},
  citedby = {0},
  pages = {391-405},
  booktitle = {cooppn},
}

@article{Aalst05,
  title = {Business alignment: using process mining as a tool for Delta analysis and conformance testing},
  author = {Wil M. P. van der Aalst},
  year = {2005},
  doi = {10.1007/s00766-005-0001-x},
  url = {http://dx.doi.org/10.1007/s00766-005-0001-x},
  tags = {testing, analysis},
  researchr = {https://researchr.org/publication/Aalst05},
  cites = {0},
  citedby = {0},
  journal = {re},
  volume = {10},
  number = {3},
  pages = {198-211},
}

@inproceedings{AalstDHRVW05,
  title = {Life After BPEL?},
  author = {Wil M. P. van der Aalst and Marlon Dumas and Arthur H. M. ter Hofstede and Nick Russell and H. M. W. (Eric) Verbeek and Petia Wohed},
  year = {2005},
  doi = {10.1007/11549970_4},
  url = {http://dx.doi.org/10.1007/11549970_4},
  tags = {BPEL},
  researchr = {https://researchr.org/publication/AalstDHRVW05},
  cites = {0},
  citedby = {0},
  pages = {35-50},
  booktitle = {epew},
}

@inproceedings{MansARB08,
  title = {Flexibility Schemes for Workflow Management Systems},
  author = {R. S. Mans and Wil M. P. van der Aalst and Nick Russell and Piet J. M. Bakker},
  year = {2008},
  doi = {10.1007/978-3-642-00328-8_36},
  url = {http://dx.doi.org/10.1007/978-3-642-00328-8_36},
  tags = {workflow},
  researchr = {https://researchr.org/publication/MansARB08},
  cites = {0},
  citedby = {0},
  pages = {361-372},
  booktitle = {BPM},
}

@inproceedings{Aalst94,
  title = {Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds},
  author = {Wil M. P. van der Aalst},
  year = {1994},
  researchr = {https://researchr.org/publication/Aalst94},
  cites = {0},
  citedby = {0},
  pages = {425-444},
  booktitle = {cpe},
}

@article{AalstL08,
  title = {Translating unstructured workflow processes to readable BPEL: Theory and implementation},
  author = {Wil M. P. van der Aalst and Kristian Bisgaard Lassen},
  year = {2008},
  doi = {10.1016/j.infsof.2006.11.004},
  url = {http://dx.doi.org/10.1016/j.infsof.2006.11.004},
  tags = {translation, BPEL, workflow},
  researchr = {https://researchr.org/publication/AalstL08},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {50},
  number = {3},
  pages = {131-159},
}

@article{RosaADH09,
  title = {Questionnaire-based variability modeling for system configuration},
  author = {Marcello La Rosa and Wil M. P. van der Aalst and Marlon Dumas and Arthur H. M. ter Hofstede},
  year = {2009},
  doi = {10.1007/s10270-008-0090-3},
  url = {http://dx.doi.org/10.1007/s10270-008-0090-3},
  tags = {rule-based, modeling},
  researchr = {https://researchr.org/publication/RosaADH09},
  cites = {0},
  citedby = {0},
  journal = {SoSyM},
  volume = {8},
  number = {2},
  pages = {251-274},
}

@inproceedings{AalstBEW00,
  title = {Workflow Modeling Using Proclets},
  author = {Wil M. P. van der Aalst and Paulo Barthelmess and Clarence A. Ellis and Jacques Wainer},
  year = {2000},
  tags = {meta-model, modeling, Meta-Environment, workflow},
  researchr = {https://researchr.org/publication/AalstBEW00},
  cites = {0},
  citedby = {0},
  pages = {198-209},
  booktitle = {coopis},
}

@inproceedings{RussellAHE05,
  title = {Workflow Resource Patterns: Identification, Representation and Tool Support},
  author = {Nick Russell and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and David Edmond},
  year = {2005},
  doi = {10.1007/11431855_16},
  url = {http://dx.doi.org/10.1007/11431855_16},
  tags = {workflow patterns, workflow},
  researchr = {https://researchr.org/publication/RussellAHE05},
  cites = {0},
  citedby = {0},
  pages = {216-232},
  booktitle = {caise},
}

@inproceedings{AldredADH07,
  title = {Communication Abstractions for Distributed Business Processes},
  author = {Lachlan Aldred and Wil M. P. van der Aalst and Marlon Dumas and Arthur H. M. ter Hofstede},
  year = {2007},
  doi = {10.1007/978-3-540-72988-4_29},
  url = {http://dx.doi.org/10.1007/978-3-540-72988-4_29},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/AldredADH07},
  cites = {0},
  citedby = {0},
  pages = {409-423},
  booktitle = {caise},
}

@article{DreilingRAS08,
  title = {From conceptual process models to running systems: A holistic approach for the configuration of enterprise system processes},
  author = {Alexander Dreiling and Michael Rosemann and Wil M. P. van der Aalst and Wasim Sadiq},
  year = {2008},
  doi = {10.1016/j.dss.2007.02.007},
  url = {http://dx.doi.org/10.1016/j.dss.2007.02.007},
  tags = {process modeling, systematic-approach},
  researchr = {https://researchr.org/publication/DreilingRAS08},
  cites = {0},
  citedby = {0},
  journal = {dss},
  volume = {45},
  number = {2},
  pages = {189-207},
}

@inproceedings{MendlingNA07,
  title = {Understanding the Occurrence of Errors in Process Models Based on Metrics},
  author = {Jan Mendling and Gustaf Neumann and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-76848-7_9},
  url = {http://dx.doi.org/10.1007/978-3-540-76848-7_9},
  tags = {rule-based, process modeling},
  researchr = {https://researchr.org/publication/MendlingNA07},
  cites = {0},
  citedby = {0},
  pages = {113-130},
  booktitle = {otm},
}

@article{Aalst01:0,
  title = {Re-engineering knock-out processes},
  author = {Wil M. P. van der Aalst},
  year = {2001},
  doi = {10.1016/S0167-9236(00)00136-6},
  url = {http://dx.doi.org/10.1016/S0167-9236(00)00136-6},
  researchr = {https://researchr.org/publication/Aalst01%3A0},
  cites = {0},
  citedby = {0},
  journal = {dss},
  volume = {30},
  number = {4},
  pages = {451-468},
}

@inproceedings{WohedADH03,
  title = {Analysis of Web Services Composition Languages: The Case of BPEL4WS},
  author = {Petia Wohed and Wil M. P. van der Aalst and Marlon Dumas and Arthur H. M. ter Hofstede},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2813&spage=200},
  tags = {web service, composition, analysis, web services},
  researchr = {https://researchr.org/publication/WohedADH03},
  cites = {0},
  citedby = {0},
  pages = {200-215},
  booktitle = {er},
}

@article{WeskeAV04,
  title = {Advances in business process management},
  author = {Mathias Weske and Wil M. P. van der Aalst and H. M. W. (Eric) Verbeek},
  year = {2004},
  doi = {10.1016/j.datak.2004.01.001},
  url = {http://dx.doi.org/10.1016/j.datak.2004.01.001},
  researchr = {https://researchr.org/publication/WeskeAV04},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {50},
  number = {1},
  pages = {1-8},
}

@article{MendlingDA08,
  title = {Getting rid of OR-joins and multiple start events in business process models},
  author = {Jan Mendling and Boudewijn F. van Dongen and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1080/17517570802245433},
  url = {http://dx.doi.org/10.1080/17517570802245433},
  tags = {business process modeling, process modeling},
  researchr = {https://researchr.org/publication/MendlingDA08},
  cites = {0},
  citedby = {0},
  journal = {eis},
  volume = {2},
  number = {4},
  pages = {403-419},
}

@inproceedings{DreilingRASK05,
  title = {Model-Driven Process Configuration of Enterprise Systems},
  author = {Alexander Dreiling and Michael Rosemann and Wil M. P. van der Aalst and Wasim Sadiq and Sana Khan},
  year = {2005},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/DreilingRASK05},
  cites = {0},
  citedby = {0},
  pages = {687-706},
  booktitle = {wirtschaftsinformatik},
}

@inproceedings{WohedADHR06,
  title = {On the Suitability of BPMN for Business Process Modelling},
  author = {Petia Wohed and Wil M. P. van der Aalst and Marlon Dumas and Arthur H. M. ter Hofstede and Nick Russell},
  year = {2006},
  doi = {10.1007/11841760_12},
  url = {http://dx.doi.org/10.1007/11841760_12},
  tags = {BPMN, business process modeling, process modeling},
  researchr = {https://researchr.org/publication/WohedADHR06},
  cites = {0},
  citedby = {0},
  pages = {161-176},
  booktitle = {BPM},
}

@inproceedings{AalstHMSW09,
  title = {Compositional Service Trees},
  author = {Wil M. P. van der Aalst and Kees M. van Hee and Peter Massuthe and Natalia Sidorova and Jan Martijn E. M. van der Werf},
  year = {2009},
  doi = {10.1007/978-3-642-02424-5_17},
  url = {http://dx.doi.org/10.1007/978-3-642-02424-5_17},
  tags = {composition},
  researchr = {https://researchr.org/publication/AalstHMSW09},
  cites = {0},
  citedby = {0},
  pages = {283-302},
  booktitle = {apn},
}

@inproceedings{MendlingA07,
  title = {Formalization and Verification of EPCs with OR-Joins Based on State and Context},
  author = {Jan Mendling and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-72988-4_31},
  url = {http://dx.doi.org/10.1007/978-3-540-72988-4_31},
  tags = {rule-based, context-aware},
  researchr = {https://researchr.org/publication/MendlingA07},
  cites = {0},
  citedby = {0},
  pages = {439-453},
  booktitle = {caise},
}

@inproceedings{BoseA09,
  title = {Context Aware Trace Clustering: Towards Improving Process Mining Results},
  author = {R. P. Jagadeesh Chandra Bose and Wil M. P. van der Aalst},
  year = {2009},
  url = {http://www.siam.org/proceedings/datamining/2009/dm09_039_boser.pdf},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/BoseA09},
  cites = {0},
  citedby = {0},
  pages = {401-412},
  booktitle = {sdm},
}

@inproceedings{Aalst04,
  title = {Business Alignment: Using Process Mining as a Tool for Delta Analysis},
  author = {Wil M. P. van der Aalst},
  year = {2004},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Aalst04},
  cites = {0},
  citedby = {0},
  pages = {138-145},
  booktitle = {caise},
}

@inproceedings{Aalst03:0,
  title = {Inheritance of Business Processes: A Journey Visiting Four Notorious Problems},
  author = {Wil M. P. van der Aalst},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2472&spage=383},
  researchr = {https://researchr.org/publication/Aalst03%3A0},
  cites = {0},
  citedby = {0},
  pages = {383-408},
  booktitle = {dfg},
}

@article{MendlingRA10,
  title = {Seven process modeling guidelines (7PMG)},
  author = {Jan Mendling and Hajo A. Reijers and Wil M. P. van der Aalst},
  year = {2010},
  doi = {10.1016/j.infsof.2009.08.004},
  url = {http://dx.doi.org/10.1016/j.infsof.2009.08.004},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/MendlingRA10},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {52},
  number = {2},
  pages = {127-136},
}

@inproceedings{AalstG07,
  title = {Finding Structure in Unstructured Processes: The Case for Process Mining},
  author = {Wil M. P. van der Aalst and Christian W. Günther},
  year = {2007},
  doi = {10.1109/ACSD.2007.50},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.50},
  researchr = {https://researchr.org/publication/AalstG07},
  cites = {0},
  citedby = {0},
  pages = {3-12},
  booktitle = {acsd},
}

@inproceedings{Aalst98,
  title = {Modeling and Analyzing Interorganizational Workflows},
  author = {Wil M. P. van der Aalst},
  year = {1998},
  url = {http://csdl.computer.org/comp/proceedings/csd/1998/8350/00/83500262abs.htm},
  tags = {meta-model, modeling, Meta-Environment, workflow},
  researchr = {https://researchr.org/publication/Aalst98},
  cites = {0},
  citedby = {0},
  pages = {262-272},
  booktitle = {acsd},
}

@article{RozinatMSA08,
  title = {Discovering colored Petri nets from event logs},
  author = {Anne Rozinat and R. S. Mans and Minseok Song and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1007/s10009-007-0051-0},
  url = {http://dx.doi.org/10.1007/s10009-007-0051-0},
  researchr = {https://researchr.org/publication/RozinatMSA08},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {10},
  number = {1},
  pages = {57-74},
}

@article{LiuKA07,
  title = {A formal modeling approach for supply chain event management},
  author = {Rong Liu and Akhil Kumar and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1016/j.dss.2006.12.009},
  url = {http://dx.doi.org/10.1016/j.dss.2006.12.009},
  tags = {modeling, systematic-approach},
  researchr = {https://researchr.org/publication/LiuKA07},
  cites = {0},
  citedby = {0},
  journal = {dss},
  volume = {43},
  number = {3},
  pages = {761-778},
}

@inproceedings{AalstBVVV99,
  title = {Adaptive Workflow-On the Interplay between Flexibility and Support},
  author = {Wil M. P. van der Aalst and Twan Basten and H. M. W. (Eric) Verbeek and Peter A. C. Verkoulen and Marc Voorhoeve},
  year = {1999},
  tags = {C++, workflow},
  researchr = {https://researchr.org/publication/AalstBVVV99},
  cites = {0},
  citedby = {0},
  pages = {353-360},
  booktitle = {ICEIS},
}

@article{RosemannA07,
  title = {A configurable reference modelling language},
  author = {Michael Rosemann and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1016/j.is.2005.05.003},
  url = {http://dx.doi.org/10.1016/j.is.2005.05.003},
  tags = {meta-model, modeling language, modeling, language modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/RosemannA07},
  cites = {0},
  citedby = {0},
  journal = {is},
  volume = {32},
  number = {1},
  pages = {1-23},
}

@article{AalstRVDKG10,
  title = {Process mining: a two-step approach to balance between underfitting and overfitting},
  author = {Wil M. P. van der Aalst and Vladimir Rubin and H. M. W. Verbeek and Boudewijn F. van Dongen and Ekkart Kindler and Christian W. Günther},
  year = {2010},
  doi = {10.1007/s10270-008-0106-z},
  url = {http://dx.doi.org/10.1007/s10270-008-0106-z},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/AalstRVDKG10},
  cites = {0},
  citedby = {0},
  journal = {SoSyM},
  volume = {9},
  number = {1},
  pages = {87-111},
}

@article{AalstHT02,
  title = {Component-based software architectures: a framework based on inheritance of behavior},
  author = {Wil M. P. van der Aalst and Kees M. van Hee and Robert A. van der Toorn},
  year = {2002},
  tags = {rule-based, software architecture, software components, architecture, software component},
  researchr = {https://researchr.org/publication/AalstHT02},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {42},
  number = {2-3},
  pages = {129-171},
}

@inproceedings{DongenA04,
  title = {EMiT: A Process Mining Tool},
  author = {Boudewijn F. van Dongen and Wil M. P. van der Aalst},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3099&spage=454},
  researchr = {https://researchr.org/publication/DongenA04},
  cites = {0},
  citedby = {0},
  pages = {454-463},
  booktitle = {apn},
}

@inproceedings{AalstBG04,
  title = {PC Co-chairs  Message},
  author = {Wil M. P. van der Aalst and Christoph Bussler and Avigdor Gal},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3290&spage=1},
  researchr = {https://researchr.org/publication/AalstBG04},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {coopis},
}

@inproceedings{CiancariniJKA95,
  title = {Working group report on process [production process workflow in cooperative virtual enterprises]},
  author = {Paolo Ciancarini and V. Juggy Jagannathan and Mark Klein and Wil M. P. van der Aalst},
  year = {1995},
  url = {http://computer.org/proceedings/wet-ice/7019/70190008abs.htm},
  tags = {workflow},
  researchr = {https://researchr.org/publication/CiancariniJKA95},
  cites = {0},
  citedby = {0},
  pages = {8},
  booktitle = {wetice},
}

@inproceedings{MedeirosWA05,
  title = {Genetic Process Mining: A Basic Approach and Its Challenges},
  author = {Ana Karla A. de Medeiros and A. J. M. M. Weijters and Wil M. P. van der Aalst},
  year = {2005},
  doi = {10.1007/11678564_18},
  url = {http://dx.doi.org/10.1007/11678564_18},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/MedeirosWA05},
  cites = {0},
  citedby = {0},
  pages = {203-215},
  booktitle = {BPM},
}

@article{Aalst01:1,
  title = {Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change},
  author = {Wil M. P. van der Aalst},
  year = {2001},
  doi = {10.1023/A:1011409408711},
  url = {http://dx.doi.org/10.1023/A:1011409408711},
  tags = {workflow, systematic-approach},
  researchr = {https://researchr.org/publication/Aalst01%3A1},
  cites = {0},
  citedby = {0},
  journal = {isf},
  volume = {3},
  number = {3},
  pages = {297-317},
}

@inproceedings{AalstADH04,
  title = {Design and Implementation of the YAWL System},
  author = {Wil M. P. van der Aalst and Lachlan Aldred and Marlon Dumas and Arthur H. M. ter Hofstede},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3084&spage=142},
  tags = {design, YAWL},
  researchr = {https://researchr.org/publication/AalstADH04},
  cites = {0},
  citedby = {0},
  pages = {142-159},
  booktitle = {caise},
}

@article{Aalst09:0,
  title = {Process-Aware Information Systems: Lessons to Be Learned from Process Mining},
  author = {Wil M. P. van der Aalst},
  year = {2009},
  doi = {10.1007/978-3-642-00899-3_1},
  url = {http://dx.doi.org/10.1007/978-3-642-00899-3_1},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/Aalst09%3A0},
  cites = {0},
  citedby = {0},
  journal = {topnoc},
  volume = {2},
  pages = {1-26},
}

@inproceedings{AalstBHK00,
  title = {Advanced Workflow Patterns},
  author = {Wil M. P. van der Aalst and Alistair P. Barros and Arthur H. M. ter Hofstede and Bartek Kiepuszewski},
  year = {2000},
  tags = {workflow patterns, workflow},
  researchr = {https://researchr.org/publication/AalstBHK00},
  cites = {0},
  citedby = {0},
  pages = {18-29},
  booktitle = {coopis},
}

@inproceedings{ZapletalARLW09,
  title = {An Analysis of Windows Workflow s Control-Flow Expressiveness},
  author = {Marco Zapletal and Wil M. P. van der Aalst and Nick Russell and Philipp Liegl and Hannes Werthner},
  year = {2009},
  doi = {10.1109/ECOWS.2009.17},
  url = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2009.17},
  tags = {analysis, data-flow, workflow, data-flow analysis},
  researchr = {https://researchr.org/publication/ZapletalARLW09},
  cites = {0},
  citedby = {0},
  pages = {200-209},
  booktitle = {ecows},
}

@inproceedings{TanA06:0,
  title = {Implementation of a YAWL Work-List Handler based on the Resource Patterns},
  author = {Huixin Tan and Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1109/CSCWD.2006.253029},
  url = {http://dx.doi.org/10.1109/CSCWD.2006.253029},
  tags = {rule-based, YAWL},
  researchr = {https://researchr.org/publication/TanA06%3A0},
  cites = {0},
  citedby = {0},
  pages = {1184-1189},
  booktitle = {cscwd},
}

@article{AalstM05,
  title = {Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance},
  author = {Wil M. P. van der Aalst and Ana Karla A. de Medeiros},
  year = {2005},
  doi = {10.1016/j.entcs.2004.10.013},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.10.013},
  tags = {security},
  researchr = {https://researchr.org/publication/AalstM05},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {121},
  pages = {3-21},
}

@inproceedings{AalstDK02,
  title = {On the semantics of EPCs: A vicious circle},
  author = {Wil M. P. van der Aalst and Jörg Desel and Ekkart Kindler},
  year = {2002},
  url = {http://www.epk-community.de/epk2002/paper/epk2002-proceedings_adk.pdf},
  tags = {semantics},
  researchr = {https://researchr.org/publication/AalstDK02},
  cites = {0},
  citedby = {0},
  pages = {71-79},
  booktitle = {epk},
}

@inproceedings{VerbeekHA02,
  title = {XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology},
  author = {H. M. W. (Eric) Verbeek and Alexander Hirnschall and Wil M. P. van der Aalst},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2512/25120093.htm},
  tags = {XML, XML Schema, workflow},
  researchr = {https://researchr.org/publication/VerbeekHA02},
  cites = {0},
  citedby = {0},
  pages = {93-108},
  booktitle = {wes},
}

@inproceedings{AalstB01,
  title = {Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance},
  author = {Wil M. P. van der Aalst and Twan Basten},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2075/20750032.htm},
  researchr = {https://researchr.org/publication/AalstB01},
  cites = {0},
  citedby = {0},
  pages = {32-52},
  booktitle = {apn},
}

@article{RozinatMSA09,
  title = {Discovering simulation models},
  author = {Anne Rozinat and R. S. Mans and Minseok Song and Wil M. P. van der Aalst},
  year = {2009},
  doi = {10.1016/j.is.2008.09.002},
  url = {http://dx.doi.org/10.1016/j.is.2008.09.002},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/RozinatMSA09},
  cites = {0},
  citedby = {0},
  journal = {is},
  volume = {34},
  number = {3},
  pages = {305-327},
}

@inproceedings{Aalst07a,
  title = {Challenges in Business Process Analysis},
  author = {Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-88710-2_3},
  url = {http://dx.doi.org/10.1007/978-3-540-88710-2_3},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Aalst07a},
  cites = {0},
  citedby = {0},
  pages = {27-42},
  booktitle = {ICEIS},
}

@inproceedings{MulyarAA07,
  title = {The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation},
  author = {Nataliya Mulyar and Lachlan Aldred and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1007/978-3-540-76848-7_49},
  url = {http://dx.doi.org/10.1007/978-3-540-76848-7_49},
  researchr = {https://researchr.org/publication/MulyarAA07},
  cites = {0},
  citedby = {0},
  pages = {735-753},
  booktitle = {otm},
}

@inproceedings{AalstMW06,
  title = {Process Equivalence: Comparing Two Process Models Based on Observed Behavior},
  author = {Wil M. P. van der Aalst and Ana Karla A. de Medeiros and A. J. M. M. Weijters},
  year = {2006},
  doi = {10.1007/11841760_10},
  url = {http://dx.doi.org/10.1007/11841760_10},
  tags = {rule-based, process modeling},
  researchr = {https://researchr.org/publication/AalstMW06},
  cites = {0},
  citedby = {0},
  pages = {129-144},
  booktitle = {BPM},
}

@inproceedings{AalstP06,
  title = {DecSerFlow: Towards a Truly Declarative Service Flow Language},
  author = {Wil M. P. van der Aalst and Maja Pesic},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/829},
  tags = {data-flow language, data-flow},
  researchr = {https://researchr.org/publication/AalstP06},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{AdamsHEA05,
  title = {Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets},
  author = {Michael Adams and Arthur H. M. ter Hofstede and David Edmond and Wil M. P. van der Aalst},
  year = {2005},
  url = {http://www.ceur-ws.org/Vol-161/FORUM_08.pdf},
  tags = {exceptions, workflow},
  researchr = {https://researchr.org/publication/AdamsHEA05},
  cites = {0},
  citedby = {0},
  booktitle = {caise},
}

@inproceedings{MedeirosGGAWDS07,
  title = {Process Mining Based on Clustering: A Quest for Precision},
  author = {Ana Karla Alves de Medeiros and Antonella Guzzo and Gianluigi Greco and Wil M. P. van der Aalst and A. J. M. M. Weijters and Boudewijn F. van Dongen and Domenico Saccà},
  year = {2007},
  doi = {10.1007/978-3-540-78238-4_4},
  url = {http://dx.doi.org/10.1007/978-3-540-78238-4_4},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/MedeirosGGAWDS07},
  cites = {0},
  citedby = {0},
  pages = {17-29},
  booktitle = {BPM},
}

@inproceedings{Aalst06,
  title = {06291 Workshop Report: Process Mining, Monitoring Processes and Services},
  author = {Wil M. P. van der Aalst},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/834},
  tags = {process monitoring},
  researchr = {https://researchr.org/publication/Aalst06},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{AalstHW03,
  title = {Business Process Management: A Survey},
  author = {Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Mathias Weske},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2678/26780001.htm},
  tags = {survey},
  researchr = {https://researchr.org/publication/AalstHW03},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {BPM},
}

@inproceedings{DongenMA06,
  title = {Structural Patterns for Soundness of Business Process Models},
  author = {Boudewijn F. van Dongen and Jan Mendling and Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1109/EDOC.2006.56},
  url = {http://doi.ieeecomputersociety.org/10.1109/EDOC.2006.56},
  tags = {business process modeling, process modeling},
  researchr = {https://researchr.org/publication/DongenMA06},
  cites = {0},
  citedby = {0},
  pages = {116-128},
  booktitle = {edoc},
}

@inproceedings{Aalst93,
  title = {Interval Timed Coloured Petri Nets and their Analysis},
  author = {Wil M. P. van der Aalst},
  year = {1993},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Aalst93},
  cites = {0},
  citedby = {0},
  pages = {453-472},
  booktitle = {apn},
}

@inproceedings{AalstMSW09,
  title = {Service Interaction: Patterns, Formalization, and Analysis},
  author = {Wil M. P. van der Aalst and Arjan J. Mooij and Christian Stahl and Karsten Wolf},
  year = {2009},
  doi = {10.1007/978-3-642-01918-0_2},
  url = {http://dx.doi.org/10.1007/978-3-642-01918-0_2},
  tags = {analysis},
  researchr = {https://researchr.org/publication/AalstMSW09},
  cites = {0},
  citedby = {0},
  pages = {42-88},
  booktitle = {sfm},
}

@article{Aalst07,
  title = {Exploring the CSCW spectrum using process mining},
  author = {Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1016/j.aei.2006.05.002},
  url = {http://dx.doi.org/10.1016/j.aei.2006.05.002},
  researchr = {https://researchr.org/publication/Aalst07},
  cites = {0},
  citedby = {0},
  journal = {aei},
  volume = {21},
  number = {2},
  pages = {191-199},
}

@article{ZdunHA06,
  title = {A survey of patterns for Service-Oriented Architectures},
  author = {Uwe Zdun and Carsten Hentrich and Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1504/IJIPT.2006.009739},
  url = {http://dx.doi.org/10.1504/IJIPT.2006.009739},
  tags = {architecture, survey},
  researchr = {https://researchr.org/publication/ZdunHA06},
  cites = {0},
  citedby = {0},
  journal = {ijipt},
  volume = {1},
  number = {3},
  pages = {132-143},
}

@article{AalstB02,
  title = {Inheritance of workflows: an approach to tackling problems related to change},
  author = {Wil M. P. van der Aalst and Twan Basten},
  year = {2002},
  doi = {10.1016/S0304-3975(00)00321-2},
  url = {http://dx.doi.org/10.1016/S0304-3975(00)00321-2},
  tags = {workflow, systematic-approach},
  researchr = {https://researchr.org/publication/AalstB02},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {270},
  number = {1-2},
  pages = {125-203},
}

@inproceedings{Aalst09,
  title = {TomTom for Business Process Management (TomTom4BPM)},
  author = {Wil M. P. van der Aalst},
  year = {2009},
  doi = {10.1007/978-3-642-02144-2_2},
  url = {http://dx.doi.org/10.1007/978-3-642-02144-2_2},
  researchr = {https://researchr.org/publication/Aalst09},
  cites = {0},
  citedby = {0},
  pages = {2-5},
  booktitle = {caise},
}

@inproceedings{KharbiliMSA08,
  title = {Business Process Compliance Checking: Current State and Future Challenges},
  author = {Marwane El Kharbili and Ana Karla A. de Medeiros and Sebastian Stein and Wil M. P. van der Aalst},
  year = {2008},
  researchr = {https://researchr.org/publication/KharbiliMSA08},
  cites = {0},
  citedby = {0},
  pages = {107-113},
  booktitle = {mobis},
}

@inproceedings{GottschalkAJ08a,
  title = {Mining Reference Process Models and Their Configurations},
  author = {Florian Gottschalk and Wil M. P. van der Aalst and Monique H. Jansen-Vullers},
  year = {2008},
  doi = {10.1007/978-3-540-88875-8_47},
  url = {http://dx.doi.org/10.1007/978-3-540-88875-8_47},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/GottschalkAJ08a},
  cites = {0},
  citedby = {0},
  pages = {263-272},
  booktitle = {otm},
}

@article{WenWAHS09,
  title = {A novel approach for process mining based on event types},
  author = {Lijie Wen and Jianmin Wang and Wil M. P. van der Aalst and Biqing Huang and Jiaguang Sun},
  year = {2009},
  doi = {10.1007/s10844-007-0052-1},
  url = {http://dx.doi.org/10.1007/s10844-007-0052-1},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/WenWAHS09},
  cites = {0},
  citedby = {0},
  journal = {jiis},
  volume = {32},
  number = {2},
  pages = {163-190},
}

@inproceedings{MendlingRRA06,
  title = {Generating correct EPCs from configured C-EPCs},
  author = {Jan Mendling and Jan Recker and Michael Rosemann and Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1145/1141277.1141629},
  url = {http://doi.acm.org/10.1145/1141277.1141629},
  tags = {C++},
  researchr = {https://researchr.org/publication/MendlingRRA06},
  cites = {0},
  citedby = {0},
  pages = {1505-1510},
  booktitle = {SAC},
}

@inproceedings{RozinatA06,
  title = {Decision Mining in ProM},
  author = {Anne Rozinat and Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1007/11841760_33},
  url = {http://dx.doi.org/10.1007/11841760_33},
  researchr = {https://researchr.org/publication/RozinatA06},
  cites = {0},
  citedby = {0},
  pages = {420-425},
  booktitle = {BPM},
}

@inproceedings{LassenA06,
  title = {WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL},
  author = {Kristian Bisgaard Lassen and Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1007/11914853_9},
  url = {http://dx.doi.org/10.1007/11914853_9},
  tags = {translation, BPEL, workflow},
  researchr = {https://researchr.org/publication/LassenA06},
  cites = {0},
  citedby = {0},
  pages = {127-144},
  booktitle = {otm},
}

@inproceedings{MedeirosPADSRNC07,
  title = {An Outlook on Semantic Business Process Mining and Monitoring},
  author = {Ana Karla Alves de Medeiros and Carlos Pedrinaci and Wil M. P. van der Aalst and John Domingue and Minseok Song and Anne Rozinat and Barry Norton and Liliana Cabral},
  year = {2007},
  doi = {10.1007/978-3-540-76890-6_52},
  url = {http://dx.doi.org/10.1007/978-3-540-76890-6_52},
  tags = {process monitoring},
  researchr = {https://researchr.org/publication/MedeirosPADSRNC07},
  cites = {0},
  citedby = {0},
  pages = {1244-1255},
  booktitle = {otm},
}

@inproceedings{GottschalkAJ08,
  title = {Merging Event-Driven Process Chains},
  author = {Florian Gottschalk and Wil M. P. van der Aalst and Monique H. Jansen-Vullers},
  year = {2008},
  doi = {10.1007/978-3-540-88871-0_28},
  url = {http://dx.doi.org/10.1007/978-3-540-88871-0_28},
  researchr = {https://researchr.org/publication/GottschalkAJ08},
  cites = {0},
  citedby = {0},
  pages = {418-426},
  booktitle = {otm},
}

@inproceedings{AalstCGHHRT00,
  title = {Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets},
  author = {Wil M. P. van der Aalst and Poul J. N. de Crom and Roy R. H. M. J. Goverde and Kees M. van Hee and Wout J. Hofman and Hajo A. Reijers and Robert A. van der Toorn},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1825/18250455.htm},
  researchr = {https://researchr.org/publication/AalstCGHHRT00},
  cites = {0},
  citedby = {0},
  pages = {455-464},
  booktitle = {apn},
}

@inproceedings{RozinatWAHF08,
  title = {Workflow Simulation for Operational Decision Support Using Design, Historic and State Information},
  author = {Anne Rozinat and Moe Thandar Wynn and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Colin J. Fidge},
  year = {2008},
  doi = {10.1007/978-3-540-85758-7_16},
  url = {http://dx.doi.org/10.1007/978-3-540-85758-7_16},
  tags = {workflow, design},
  researchr = {https://researchr.org/publication/RozinatWAHF08},
  cites = {0},
  citedby = {0},
  pages = {196-211},
  booktitle = {BPM},
}

@inproceedings{GottschalkAJ07,
  title = {SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model},
  author = {Florian Gottschalk and Wil M. P. van der Aalst and Monique H. Jansen-Vullers},
  year = {2007},
  doi = {10.1007/978-3-540-75183-0_19},
  url = {http://dx.doi.org/10.1007/978-3-540-75183-0_19},
  tags = {workflow},
  researchr = {https://researchr.org/publication/GottschalkAJ07},
  cites = {0},
  citedby = {0},
  pages = {262-270},
  booktitle = {BPM},
}

@inproceedings{AalstH95,
  title = {Framework for business process redesign},
  author = {Wil M. P. van der Aalst and Kees M. van Hee},
  year = {1995},
  url = {http://computer.org/proceedings/wet-ice/7019/70190036abs.htm},
  researchr = {https://researchr.org/publication/AalstH95},
  cites = {0},
  citedby = {0},
  pages = {36-45},
  booktitle = {wetice},
}

@inproceedings{WohedRHAA08,
  title = {Open Source Workflow: A Viable Direction for BPM?},
  author = {Petia Wohed and Nick Russell and Arthur H. M. ter Hofstede and Birger Andersson and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1007/978-3-540-69534-9_45},
  url = {http://dx.doi.org/10.1007/978-3-540-69534-9_45},
  tags = {source-to-source, workflow, open-source},
  researchr = {https://researchr.org/publication/WohedRHAA08},
  cites = {0},
  citedby = {0},
  pages = {583-586},
  booktitle = {caise},
}

@inproceedings{AalstD02,
  title = {Discovering Workflow Performance Models from Timed Logs},
  author = {Wil M. P. van der Aalst and Boudewijn F. van Dongen},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2480/24800045.htm},
  tags = {workflow},
  researchr = {https://researchr.org/publication/AalstD02},
  cites = {0},
  citedby = {0},
  pages = {45-63},
  booktitle = {edcis},
}

@inproceedings{OuyangDHA06,
  title = {From BPMN Process Models to BPEL Web Services},
  author = {Chun Ouyang and Marlon Dumas and Arthur H. M. ter Hofstede and Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1109/ICWS.2006.67},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.67},
  tags = {BPMN, web service, BPEL, web services, process modeling},
  researchr = {https://researchr.org/publication/OuyangDHA06},
  cites = {0},
  citedby = {0},
  pages = {285-292},
  booktitle = {icws},
}

@article{AalstBEW01,
  title = {Proclets: A Framework for Lightweight Interacting Workflow Processes},
  author = {Wil M. P. van der Aalst and Paulo Barthelmess and Clarence A. Ellis and Jacques Wainer},
  year = {2001},
  url = {http://ejournals.wspc.com.sg/journals/ijcis/10/1004/S0218843001000412.html},
  tags = {workflow},
  researchr = {https://researchr.org/publication/AalstBEW01},
  cites = {0},
  citedby = {0},
  journal = {ijcis},
  volume = {10},
  number = {4},
  pages = {443-481},
}

@inproceedings{MendlingDA07,
  title = {On the Degree of Behavioral Similarity between Business Process Models},
  author = {Jan Mendling and Boudewijn F. van Dongen and Wil M. P. van der Aalst},
  year = {2007},
  url = {http://ceur-ws.org/Vol-303/epk2007-paper3.pdf},
  tags = {business process modeling, process modeling},
  researchr = {https://researchr.org/publication/MendlingDA07},
  cites = {0},
  citedby = {0},
  pages = {39-58},
  booktitle = {epk},
}

@inproceedings{DongenCA08,
  title = {Cycle Time Prediction: When Will This Case Finally Be Finished?},
  author = {Boudewijn F. van Dongen and R. A. Crooy and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1007/978-3-540-88871-0_22},
  url = {http://dx.doi.org/10.1007/978-3-540-88871-0_22},
  researchr = {https://researchr.org/publication/DongenCA08},
  cites = {0},
  citedby = {0},
  pages = {319-336},
  booktitle = {otm},
}

@article{WohedRHAA09,
  title = {Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark},
  author = {Petia Wohed and Nick Russell and Arthur H. M. ter Hofstede and Birger Andersson and Wil M. P. van der Aalst},
  year = {2009},
  doi = {10.1016/j.infsof.2009.02.002},
  url = {http://dx.doi.org/10.1016/j.infsof.2009.02.002},
  tags = {rule-based, source-to-source, peer-to-peer, open-source},
  researchr = {https://researchr.org/publication/WohedRHAA09},
  cites = {0},
  citedby = {0},
  journal = {INFSOF},
  volume = {51},
  number = {8},
  pages = {1187-1216},
}

@article{LeonardiPQSA07,
  title = {Interacting agents through a web-based health serviceflow management system},
  author = {Giorgio Leonardi and Silvia Panzarasa and Silvana Quaglini and Mario Stefanelli and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1016/j.jbi.2006.12.002},
  url = {http://dx.doi.org/10.1016/j.jbi.2006.12.002},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/LeonardiPQSA07},
  cites = {0},
  citedby = {0},
  journal = {jbi},
  volume = {40},
  number = {5},
  pages = {486-499},
}

@inproceedings{AalstDGRJ05,
  title = {Configurable Process Models as a Basis for Reference Modeling},
  author = {Wil M. P. van der Aalst and Alexander Dreiling and Florian Gottschalk and Michael Rosemann and Monique H. Jansen-Vullers},
  year = {2005},
  doi = {10.1007/11678564_47},
  url = {http://dx.doi.org/10.1007/11678564_47},
  tags = {meta-model, modeling, Meta-Environment, process modeling},
  researchr = {https://researchr.org/publication/AalstDGRJ05},
  cites = {0},
  citedby = {0},
  pages = {512-518},
  booktitle = {BPM},
}

@article{RussellAH09,
  title = {Designing a Workflow System Using Coloured Petri Nets},
  author = {Nick C. Russell and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede},
  year = {2009},
  doi = {10.1007/978-3-642-04856-2_1},
  url = {http://dx.doi.org/10.1007/978-3-642-04856-2_1},
  tags = {C++, workflow},
  researchr = {https://researchr.org/publication/RussellAH09},
  cites = {0},
  citedby = {0},
  journal = {topnoc},
  volume = {3},
  pages = {1-24},
}

@article{Aalst98:0,
  title = {The Application of Petri Nets to Workflow Management},
  author = {Wil M. P. van der Aalst},
  year = {1998},
  doi = {10.1142/S0218126698000043},
  url = {http://dx.doi.org/10.1142/S0218126698000043},
  tags = {workflow},
  researchr = {https://researchr.org/publication/Aalst98%3A0},
  cites = {0},
  citedby = {1},
  journal = {jcsc},
  volume = {8},
  number = {1},
  pages = {21-66},
}

@article{Aalst01,
  title = {How to handle dynamic change and capture management information? An approach based on generic workflow models},
  author = {Wil M. P. van der Aalst},
  year = {2001},
  tags = {rule-based, information models, workflow, systematic-approach},
  researchr = {https://researchr.org/publication/Aalst01},
  cites = {0},
  citedby = {0},
  journal = {csse},
  volume = {16},
  number = {5},
  pages = {295-318},
}

@inproceedings{DongenA05,
  title = {A Meta Model for Process Mining Data},
  author = {Boudewijn F. van Dongen and Wil M. P. van der Aalst},
  year = {2005},
  url = {http://www.ceur-ws.org/Vol-160/paper11.pdf},
  tags = {meta-model, data-flow, Meta-Environment, process modeling, meta-objects},
  researchr = {https://researchr.org/publication/DongenA05},
  cites = {0},
  citedby = {0},
  booktitle = {caise},
}

@article{Aalst02:0,
  title = {Inheritance of Interorganizational Workflows to Enable Business-to-Business},
  author = {Wil M. P. van der Aalst},
  year = {2002},
  tags = {workflow},
  researchr = {https://researchr.org/publication/Aalst02%3A0},
  cites = {0},
  citedby = {0},
  journal = {ecr},
  volume = {2},
  number = {3},
  pages = {195-231},
}

@inproceedings{AalstJL05,
  title = {Let s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System},
  author = {Wil M. P. van der Aalst and Jens Bæk Jørgensen and Kristian Bisgaard Lassen},
  year = {2005},
  doi = {10.1007/11575771_5},
  url = {http://dx.doi.org/10.1007/11575771_5},
  tags = {BPEL, workflow},
  researchr = {https://researchr.org/publication/AalstJL05},
  cites = {0},
  citedby = {0},
  pages = {22-39},
  booktitle = {otm},
}

@article{HeeSSA08,
  title = {Working with the Past: Integrating History in Petri Nets},
  author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Wil M. P. van der Aalst},
  year = {2008},
  url = {http://iospress.metapress.com/content/e436623u05mw91x8/},
  tags = {history},
  researchr = {https://researchr.org/publication/HeeSSA08},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {88},
  number = {3},
  pages = {387-409},
}

@inproceedings{AalstDGHRM08,
  title = {Correctness-Preserving Configuration of Business Process Models},
  author = {Wil M. P. van der Aalst and Marlon Dumas and Florian Gottschalk and Arthur H. M. ter Hofstede and Marcello La Rosa and Jan Mendling},
  year = {2008},
  doi = {10.1007/978-3-540-78743-3_4},
  url = {http://dx.doi.org/10.1007/978-3-540-78743-3_4},
  tags = {business process modeling, process modeling},
  researchr = {https://researchr.org/publication/AalstDGHRM08},
  cites = {0},
  citedby = {0},
  pages = {46-61},
  booktitle = {FASE},
}

@article{DongenJVA07,
  title = {Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants},
  author = {Boudewijn F. van Dongen and Monique H. Jansen-Vullers and H. M. W. Verbeek and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1016/j.compind.2007.01.001},
  url = {http://dx.doi.org/10.1016/j.compind.2007.01.001},
  tags = {analysis},
  researchr = {https://researchr.org/publication/DongenJVA07},
  cites = {0},
  citedby = {0},
  journal = {cii},
  volume = {58},
  number = {6},
  pages = {578-601},
}

@article{AalstO95,
  title = {Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets},
  author = {Wil M. P. van der Aalst and Michiel A. Odijk},
  year = {1995},
  tags = {analysis},
  researchr = {https://researchr.org/publication/AalstO95},
  cites = {0},
  citedby = {0},
  journal = {rts},
  volume = {9},
  number = {3},
  pages = {241-263},
}

@inproceedings{VanderfeestenRA07,
  title = {An Evaluation of Case Handling Systems for Product Based Workflow Design},
  author = {Irene T. P. Vanderfeesten and Hajo A. Reijers and Wil M. P. van der Aalst},
  year = {2007},
  tags = {rule-based, workflow, design},
  researchr = {https://researchr.org/publication/VanderfeestenRA07},
  cites = {0},
  citedby = {0},
  pages = {39-46},
  booktitle = {ICEIS},
}

@inproceedings{AalstKV03,
  title = {Organizational Modeling in UML and XML in the Context of Workflow Systems},
  author = {Wil M. P. van der Aalst and Akhil Kumar and H. M. W. (Eric) Verbeek},
  year = {2003},
  tags = {XML, XML Schema, modeling, UML, context-aware, workflow},
  researchr = {https://researchr.org/publication/AalstKV03},
  cites = {0},
  citedby = {0},
  pages = {603-608},
  booktitle = {SAC},
}

@inproceedings{AalstP06:0,
  title = {DecSerFlow: Towards a Truly Declarative Service Flow Language},
  author = {Wil M. P. van der Aalst and Maja Pesic},
  year = {2006},
  doi = {10.1007/11841197_1},
  url = {http://dx.doi.org/10.1007/11841197_1},
  tags = {data-flow language, data-flow},
  researchr = {https://researchr.org/publication/AalstP06%3A0},
  cites = {0},
  citedby = {0},
  pages = {1-23},
  booktitle = {wsfm},
}

@inproceedings{RouachedGABG06,
  title = {Web Service Mining and Verification of Properties: An Approach Based on Event Calculus},
  author = {Mohsen Rouached and Walid Gaaloul and Wil M. P. van der Aalst and Sami Bhiri and Claude Godart},
  year = {2006},
  doi = {10.1007/11914853_25},
  url = {http://dx.doi.org/10.1007/11914853_25},
  tags = {rule-based, web service, systematic-approach},
  researchr = {https://researchr.org/publication/RouachedGABG06},
  cites = {0},
  citedby = {0},
  pages = {408-425},
  booktitle = {otm},
}

@inproceedings{LeymannRTA06,
  title = {06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures},
  author = {Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil M. P. van der Aalst},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/832},
  tags = {architecture},
  researchr = {https://researchr.org/publication/LeymannRTA06},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{AalstS04,
  title = {Mining Social Networks: Uncovering Interaction Patterns in Business Processes},
  author = {Wil M. P. van der Aalst and Minseok Song},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3080&spage=244},
  tags = {social},
  researchr = {https://researchr.org/publication/AalstS04},
  cites = {0},
  citedby = {0},
  pages = {244-260},
  booktitle = {BPM},
}

@inproceedings{SchonenbergMRMA08a,
  title = {Process Flexibility: A Survey of Contemporary Approaches},
  author = {Helen Schonenberg and Ronny Mans and Nick Russell and Nataliya Mulyar and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1007/978-3-540-68644-6_2},
  url = {http://dx.doi.org/10.1007/978-3-540-68644-6_2},
  tags = {survey, systematic-approach},
  researchr = {https://researchr.org/publication/SchonenbergMRMA08a},
  cites = {0},
  citedby = {0},
  pages = {16-30},
  booktitle = {caise},
}

@inproceedings{NetjesRA08,
  title = {On the Formal Generation of Process Redesigns},
  author = {Mariska Netjes and Hajo A. Reijers and Wil M. P. van der Aalst},
  year = {2008},
  doi = {10.1007/978-3-642-00328-8_22},
  url = {http://dx.doi.org/10.1007/978-3-642-00328-8_22},
  researchr = {https://researchr.org/publication/NetjesRA08},
  cites = {0},
  citedby = {0},
  pages = {224-235},
  booktitle = {BPM},
}

@inproceedings{AalstB97,
  title = {Life-Cycle Inheritance: A Petri-Net-Based Approach},
  author = {Wil M. P. van der Aalst and Twan Basten},
  year = {1997},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/AalstB97},
  cites = {0},
  citedby = {0},
  pages = {62-81},
  booktitle = {apn},
}

@inproceedings{AalstLMSW07,
  title = {From Public Views to Private Views - Correctness-by-Design for Services},
  author = {Wil M. P. van der Aalst and Niels Lohmann and Peter Massuthe and Christian Stahl and Karsten Wolf},
  year = {2007},
  doi = {10.1007/978-3-540-79230-7_10},
  url = {http://dx.doi.org/10.1007/978-3-540-79230-7_10},
  tags = {design},
  researchr = {https://researchr.org/publication/AalstLMSW07},
  cites = {0},
  citedby = {0},
  pages = {139-153},
  booktitle = {wsfm},
}

@inproceedings{AldredADH05,
  title = {On the Notion of Coupling in Communication Middleware},
  author = {Lachlan Aldred and Wil M. P. van der Aalst and Marlon Dumas and Arthur H. M. ter Hofstede},
  year = {2005},
  doi = {10.1007/11575801_6},
  url = {http://dx.doi.org/10.1007/11575801_6},
  researchr = {https://researchr.org/publication/AldredADH05},
  cites = {0},
  citedby = {0},
  pages = {1015-1033},
  booktitle = {otm},
}

@inproceedings{MansSSAB08,
  title = {Process Mining in Healthcare - A Case Study},
  author = {R. S. Mans and M. H. Schonenberg and Minseok Song and Wil M. P. van der Aalst and Piet J. M. Bakker},
  year = {2008},
  tags = {case study},
  researchr = {https://researchr.org/publication/MansSSAB08},
  cites = {0},
  citedby = {0},
  pages = {118-125},
  booktitle = {biostec},
}

@article{RouibahRA07,
  title = {Combining workflow and PDM based on the workflow management coalition and STEP standards: the case of ::::axalant::::},
  author = {K. Rouibah and S. Rouibah and Wil M. P. van der Aalst},
  year = {2007},
  doi = {10.1080/09511920600930038},
  url = {http://dx.doi.org/10.1080/09511920600930038},
  tags = {rule-based, workflow},
  researchr = {https://researchr.org/publication/RouibahRA07},
  cites = {0},
  citedby = {0},
  journal = {ijcim},
  volume = {20},
  number = {8},
  pages = {811-827},
}

@article{AalstH00,
  title = {Verification Of Workflow Task Structures: A Petri-net-baset Approach},
  author = {Wil M. P. van der Aalst and Arthur H. M. ter Hofstede},
  year = {2000},
  doi = {10.1016/S0306-4379(00)00008-9},
  url = {http://dx.doi.org/10.1016/S0306-4379(00)00008-9},
  tags = {workflow, systematic-approach},
  researchr = {https://researchr.org/publication/AalstH00},
  cites = {0},
  citedby = {0},
  journal = {is},
  volume = {25},
  number = {1},
  pages = {43-69},
}

@article{AalstWG05,
  title = {Case handling: a new paradigm for business process support},
  author = {Wil M. P. van der Aalst and Mathias Weske and Dolf Grünbauer},
  year = {2005},
  doi = {10.1016/j.datak.2004.07.003},
  url = {http://dx.doi.org/10.1016/j.datak.2004.07.003},
  researchr = {https://researchr.org/publication/AalstWG05},
  cites = {0},
  citedby = {0},
  journal = {DKE},
  volume = {53},
  number = {2},
  pages = {129-162},
}

@article{Aalst06:0,
  title = {Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming},
  author = {Wil M. P. van der Aalst},
  year = {2006},
  doi = {10.1016/j.dss.2006.03.013},
  url = {http://dx.doi.org/10.1016/j.dss.2006.03.013},
  tags = {rule-based, programming, systematic-approach},
  researchr = {https://researchr.org/publication/Aalst06%3A0},
  cites = {0},
  citedby = {0},
  journal = {dss},
  volume = {42},
  number = {3},
  pages = {1843-1859},
}

@inproceedings{AalstAHPS09,
  title = {Flexibility as a Service},
  author = {Wil M. P. van der Aalst and Michael Adams and Arthur H. M. ter Hofstede and Maja Pesic and Helen Schonenberg},
  year = {2009},
  doi = {10.1007/978-3-642-04205-8_27},
  url = {http://dx.doi.org/10.1007/978-3-642-04205-8_27},
  researchr = {https://researchr.org/publication/AalstAHPS09},
  cites = {0},
  citedby = {0},
  pages = {319-333},
  booktitle = {dasfaa},
}

@inproceedings{BratosinAST08,
  title = {A Reference Model for Grid Architectures and Its Analysis},
  author = {Carmen Bratosin and Wil M. P. van der Aalst and Natalia Sidorova and Nikola Trcka},
  year = {2008},
  doi = {10.1007/978-3-540-88871-0_63},
  url = {http://dx.doi.org/10.1007/978-3-540-88871-0_63},
  tags = {architecture, analysis},
  researchr = {https://researchr.org/publication/BratosinAST08},
  cites = {0},
  citedby = {0},
  pages = {898-913},
  booktitle = {otm},
}

@inproceedings{LeoniAH08,
  title = {Visual Support for Work Assignment in Process-Aware Information Systems},
  author = {Massimiliano de Leoni and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede},
  year = {2008},
  doi = {10.1007/978-3-540-85758-7_8},
  url = {http://dx.doi.org/10.1007/978-3-540-85758-7_8},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/LeoniAH08},
  cites = {0},
  citedby = {0},
  pages = {67-83},
  booktitle = {BPM},
}

@article{StaabABSMBMFG03,
  title = {Web Services: Been There, Done That?},
  author = {Steffen Staab and Wil M. P. van der Aalst and V. Richard Benjamins and Amit P. Sheth and John A. Miller and Christoph Bussler and Alexander Maedche and Dieter Fensel and Dennis Gannon},
  year = {2003},
  url = {http://csdl2.computer.org/dl/mags/ex/2003/01/x1072.pdf},
  tags = {web service, web services},
  researchr = {https://researchr.org/publication/StaabABSMBMFG03},
  cites = {0},
  citedby = {0},
  journal = {expert},
  volume = {18},
  number = {1},
  pages = {72-85},
}
@proceedings{dagstuhl:2006P6291,
  title = {The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006},
  year = {2006},
  tags = {architecture},
  researchr = {https://researchr.org/publication/dagstuhl%3A2006P6291},
  cites = {0},
  citedby = {0},
  booktitle = {The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006},
  conference = {Dagstuhl},
  editor = {Frank Leymann and Wolfgang Reisig and Satish R. Thatte and Wil M. P. van der Aalst},
  volume = {06291},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@proceedings{bpm:2005,
  title = {Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings},
  year = {2005},
  researchr = {https://researchr.org/publication/bpm%3A2005},
  cites = {0},
  citedby = {0},
  booktitle = {Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings},
  conference = {BPM},
  editor = {Wil M. P. van der Aalst and Boualem Benatallah and Fabio Casati and Francisco Curbera},
  volume = {3649},
  isbn = {3-540-28238-6},
}

@proceedings{journals-topnoc-2009-2,
  title = {Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems},
  year = {2009},
  doi = {10.1007/978-3-642-00899-3},
  url = {http:/dx.doi.org/10.1007/978-3-642-00899-3},
  tags = {information models, context-aware, process modeling},
  researchr = {https://researchr.org/publication/journals-topnoc-2009-2},
  cites = {0},
  citedby = {0},
  booktitle = {Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems},
  editor = {Kurt Jensen and Wil M. P. van der Aalst},
  volume = {5460},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00898-6},
}

@proceedings{journals-topnoc-2008-1,
  title = {Transactions on Petri Nets and Other Models of Concurrency I},
  year = {2008},
  doi = {10.1007/978-3-540-89287-8},
  url = {http://dx.doi.org/10.1007/978-3-540-89287-8},
  researchr = {https://researchr.org/publication/journals-topnoc-2008-1},
  cites = {0},
  citedby = {0},
  booktitle = {Transactions on Petri Nets and Other Models of Concurrency I},
  editor = {Kurt Jensen and Wil M. P. van der Aalst and Jonathan Billington},
  volume = {5100},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89286-1},
}

@proceedings{bpm:2000,
  title = {Business Process Management, Models, Techniques, and Empirical Studies},
  year = {2000},
  tags = {empirical, business process modeling, process modeling},
  researchr = {https://researchr.org/publication/bpm%3A2000},
  cites = {0},
  citedby = {0},
  booktitle = {Business Process Management, Models, Techniques, and Empirical Studies},
  conference = {BPM},
  editor = {Wil M. P. van der Aalst and Jörg Desel and Andreas Oberweis},
  volume = {1806},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67454-3},
}

@proceedings{bpm:2003,
  title = {Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings},
  year = {2003},
  researchr = {https://researchr.org/publication/bpm%3A2003},
  cites = {0},
  citedby = {0},
  booktitle = {Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings},
  conference = {BPM},
  editor = {Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Mathias Weske},
  volume = {2678},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40318-3},
}

@proceedings{apn:2003,
  title = {Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
  year = {2003},
  researchr = {https://researchr.org/publication/apn%3A2003},
  cites = {0},
  citedby = {0},
  booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
  conference = {apn},
  editor = {Wil M. P. van der Aalst and Eike Best},
  volume = {2679},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40334-5},
}