@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 = {Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings},
  editor = {Gianfranco Ciardo and Philippe Darondeau},
  volume = {3536},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26301-2},
}

@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 = {Data Min. Knowl. Discov.},
  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 = {Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings},
  editor = {Oscar Pastor and João Falcão e Cunha},
  volume = {3520},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26095-1},
}

@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 = {Int. J. Cooperative Inf. Syst.},
  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 = {Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings},
  editor = {Pascal van Eck and Jaap Gordijn and Roel Wieringa},
  volume = {5565},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02143-5},
}

@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 = {Inf. Syst.},
  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 = {Distributed and Parallel Databases},
  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 = {Journal of Logic and Algebraic Programming},
  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 = {Inf. Sci.},
  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 = {Business Process Management Workshops, BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings},
  editor = {Johann Eder and Schahram Dustdar},
  volume = {4103},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38444-8},
}

@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 = {Information \& Software Technology},
  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 = {Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005},
  editor = {Mike D. Atkinson and Frank K. H. A. Dehne},
  volume = {41},
  series = {CRPIT},
  publisher = {Australian Computer Society},
  isbn = {1-920682-23-6},
}

@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 = {T. Petri Nets and Other Models of Concurrency},
  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 = {On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {4275},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48287-3},
}

@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 = {ACM Transactions on Software Engineering Methodology},
  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 News},
  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 = {Ubiquitous Mobile Information and Collaboration Systems, Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers},
  editor = {Luciano Baresi and Schahram Dustdar and Harald Gall and Maristella Matera},
  volume = {3272},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24100-0},
}

@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 = {5. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises  Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK) , Wien, 30. November - 01. Dezember 2006},
  editor = {Markus Nüttgens and Frank J. Rump and Jan Mendling},
  volume = {224},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings},
  editor = {Jetty Kleijn and Alexandre Yakovlev},
  volume = {4546},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73093-4},
}

@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 = {T. Petri Nets and Other Models of Concurrency},
  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 = {Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings},
  editor = {Steffen Lange and Ken Satoh and Carl H. Smith},
  volume = {2534},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00188-3},
}

@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 = {Computer Supported Cooperative Work},
  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 = {IEEE Concurrency},
  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 = {Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings},
  editor = {Jetty Kleijn and Alexandre Yakovlev},
  volume = {4546},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73093-4},
}

@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 = {11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA},
  publisher = {IEEE Computer Society},
}

@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 = {Information \& Software Technology},
  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 = {Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings},
  editor = {Marlon Dumas and Manfred Reichert and Ming-Chien Shan},
  volume = {5240},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85757-0},
}

@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 = {Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings},
  editor = {Lois M. L. Delcambre and Christian Kop and Heinrich C. Mayr and John Mylopoulos and Oscar Pastor},
  volume = {3716},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29389-2},
}

@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 = {Proceedings of the CAISE*06 Workshop on Business Process Modelling, Development, and Support BPMDS  06, Luxemburg, June 5-9, 2006},
  editor = {Gil Regev and Pnina Soffer and Rainer Schmidt},
  volume = {236},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {29th EUROMICRO Conference 2003, New Waves in System Architecture, 3-5 September 2003, Belek-Antalya, Turkey},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1996-2},
}

@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 = {Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings},
  editor = {Lois M. L. Delcambre and Christian Kop and Heinrich C. Mayr and John Mylopoulos and Oscar Pastor},
  volume = {3716},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29389-2},
}

@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 = {Computers in Industry},
  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 = {Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, June 12-16, 2007, Revised Selected Papers},
  editor = {Joaquim Filipe and José Cordeiro and Jorge Cardoso},
  volume = {12},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-540-88709-6},
}

@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 = {Decision Support Systems},
  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 = {The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006},
  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},
}

@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 = {Decision Support Systems},
  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 = {Business Process Management Workshops, BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005, Revised Selected Papers},
  editor = {Christoph Bussler and Armin Haller},
  volume = {3812},
  isbn = {3-540-32595-6},
}

@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 = {EMOI - INTEROP 06, Enterprise Modelling and Ontologies for Interoperability, Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability, Co-located with CAiSE 06 Conference, Luxembourg, 5th-6th June 2006},
  editor = {Michele Missikoff and Antonio De Nicola and Fulvio D Antonio},
  volume = {200},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {IEEE Data Eng. Bull.},
  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 = {Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings},
  editor = {Eric Dubois and Klaus Pohl},
  volume = {4001},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-34652-X},
}

@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 = {Int. J. Cooperative Inf. Syst.},
  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 = {Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings},
  editor = {Eric Dubois and Klaus Pohl},
  volume = {4001},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-34652-X},
}

@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 = {J. Comput. Syst. Sci.},
  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 = {Enterprise Modelling and Information Systems Architectures, Proceedings of the Workshop in Klagenfurt, October 24-25, 2005},
  editor = {Jörg Desel and Ulrich Frank},
  volume = {75},
  series = {LNI},
  publisher = {GI},
  isbn = {3-88579-404-7},
}

@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 = {Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings},
  editor = {Schahram Dustdar and José Luiz Fiadeiro and Amit P. Sheth},
  volume = {4102},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38901-6},
}

@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 - Practice and Experience},
  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 = {Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings},
  editor = {Klaus R. Dittrich and Andreas Geppert and Moira C. Norrie},
  volume = {2068},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42215-3},
}

@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 = {DEXA Workshop},
}

@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 = {Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers},
  editor = {Amir Pnueli and Irina Virbitskaite and Andrei Voronkov},
  volume = {5947},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11485-4},
}

@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 = {IEEE Trans. Knowl. Data Eng.},
  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 = {Biomedical Engineering Systems and Technologies, International Joint Conference, BIOSTEC 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Revised Selected Papers},
  editor = {Ana L. N. Fred and Joaquim Filipe and Hugo Gamboa},
  volume = {25},
  series = {Communications in Computer and Information Science},
  publisher = {Springer},
  isbn = {978-3-540-92218-6},
}

@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 = {Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings},
  editor = {Zohra Bellahsene and Michel Léonard},
  volume = {5074},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69533-2},
}

@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 = {11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA},
  publisher = {IEEE Computer Society},
}

@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-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12 - 13, 2008, Marburg, Germany},
  editor = {Wolfgang Hesse and Andreas Oberweis},
  volume = {129},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-223-9},
}

@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 = {Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings},
  editor = {Umeshwar Dayal and Johann Eder and Jana Koehler and Hajo A. Reijers},
  volume = {5701},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03847-1},
}

@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 = {Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, CSCWD 2001, July 12-14, 2001, London, Ontario, Canada},
  editor = {Weiming Shen and Zongkai Lin and Jean-Paul A. Barthès and Mohamed Kamel},
  isbn = {0660184931},
}

@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 = {Inf. Syst.},
  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 = {Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings},
  editor = {Gianfranco Ciardo and Philippe Darondeau},
  volume = {3536},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26301-2},
}

@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 = {Information Systems Research},
  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 = {Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers},
  editor = {Arthur H. M. ter Hofstede and Boualem Benatallah and Hye-Young Paik},
  volume = {4928},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78237-7},
}

@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 = {Business Information Systems Workshops, BIS 2009 International Workshops, Poznan, Poland, April 27-29, 2009. Revised Papers},
  editor = {Witold Abramowicz and Dominik Flejter},
  volume = {37},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-642-03423-7},
}

@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 = {On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {4275},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48287-3},
}

@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 = {Database and Expert Systems Applications, 10th International Conference, DEXA  99, Florence, Italy, August 30 - September 3, 1999, Proceedings},
  editor = {Trevor J. M. Bench-Capon and Giovanni Soda and A. Min Tjoa},
  volume = {1677},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66448-3},
}

@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 = {The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006},
  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},
}

@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 = {Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings},
  editor = {Pascal van Eck and Jaap Gordijn and Roel Wieringa},
  volume = {5565},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02143-5},
}

@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 = {Comput. J.},
  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 = {Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer},
  volume = {5214},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87404-1},
}

@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 = {Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings},
  editor = {Jianhua Yang and Athula Ginige and Heinrich C. Mayr and Ralf-Detlef Kutsche},
  volume = {20},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-642-01111-5},
}

@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 = {Data \& Knowledge Engineering},
  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 = {Collaborative Systems for Production Management, IFIP TC5/WG5.7 Eighth International Conference on Advances in Production Management Systems, September 8-13, 2002, Eindhoven, The Netherlands},
  editor = {Harinder Jagdev and Johan C. Wortmann and Henk Jan Pels},
  volume = {257},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {1-4020-7542-1},
}

@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 = {Business Process Management Workshops, BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005, Revised Selected Papers},
  editor = {Christoph Bussler and Armin Haller},
  volume = {3812},
  isbn = {3-540-32595-6},
}

@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 = {17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2008, Rome, Italy, June 23-25, 2008, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3315-5},
}

@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 = {Data \& Knowledge Engineering},
  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 = {Information \& Software Technology},
  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 = {Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings},
  editor = {Zohra Bellahsene and Michel Léonard},
  volume = {5074},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69533-2},
}

@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 = {Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
  editor = {Javier Esparza and Charles Lakos},
  volume = {2360},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43787-8},
}

@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 = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additiona},
  editor = {Jörg Desel and Wolfgang Reisig and Grzegorz Rozenberg},
  volume = {3098},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22261-8},
}

@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 = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {4803},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76846-3},
}

@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 = {eHealth Beyond the Horizon - Get IT There, Proceedings of MIE2008, The XXIst International Congress of the European Federation for Medical Informatics, Göteborg, Sweden, May 25-28, 2008},
  editor = {Stig Kjær Andersen and Gunnar O. Klein and Stefan Schulz and Jos Aarts},
  volume = {136},
  series = {Studies in Health Technology and Informatics},
  publisher = {IOS Press},
  isbn = {978-1-58603-864-9},
}

@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 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007},
  editor = {Jorge Cardoso and José Cordeiro and Joaquim Filipe},
  isbn = {978-972-8865-90-0},
}

@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 = {Inform., Forsch. Entwickl.},
  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 = {Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN  97, Toulouse, France, June 23-27, 1997, Proceedings},
  editor = {Pierre Azéma and Gianfranco Balbo},
  volume = {1248},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63139-9},
}

@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 = {Bulletin of the 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 = {Inf. Syst.},
  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 = {Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers},
  editor = {Arthur H. M. ter Hofstede and Boualem Benatallah and Hye-Young Paik},
  volume = {4928},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78237-7},
}

@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 = {Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, CSCWD 2001, July 12-14, 2001, London, Ontario, Canada},
  editor = {Weiming Shen and Zongkai Lin and Jean-Paul A. Barthès and Mohamed Kamel},
  isbn = {0660184931},
}

@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 = {Proceedings of the Forum at the CAiSE 08 Conference, Montpellier, France, June 18-20, 2008},
  editor = {Zohra Bellahsene and Carson Woo and Ela Hunt and Xavier Franch and Remi Coletta},
  volume = {344},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {Comput. J.},
  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 = {Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings},
  editor = {Anne Banks Pidduck and John Mylopoulos and Carson C. Woo and M. Tamer Özsu},
  volume = {2348},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43738-X},
}

@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 = {Challenges in Conceptual Modelling. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling - ER 2007. Auckland, New Zealand, November 5-9, 2007. Proceedings},
  editor = {John C. Grundy and Sven Hartmann and Alberto H. F. Laender and Leszek A. Maciaszek and John F. Roddick},
  volume = {83},
  series = {CRPIT},
  publisher = {Australian Computer Society},
  isbn = {978-1-920682-64-4},
}

@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 = {Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, Edinburgh, Scotland, September 2-4, 1999},
  publisher = {IEEE Computer Society},
}

@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 = {Data \& Knowledge Engineering},
  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 = {Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers},
  editor = {Arthur H. M. ter Hofstede and Boualem Benatallah and Hye-Young Paik},
  volume = {4928},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78237-7},
}

@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 = {Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers},
  editor = {Arthur H. M. ter Hofstede and Boualem Benatallah and Hye-Young Paik},
  volume = {4928},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78237-7},
}

@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 = {Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings},
  editor = {Boualem Benatallah and Fabio Casati and Paolo Traverso},
  volume = {3826},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30817-2},
}

@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 = {Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings},
  editor = {Zohra Bellahsene and Michel Léonard},
  volume = {5074},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69533-2},
}

@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 = {Science of Computer Programming},
  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 Informatica},
  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 = {Conceptual Modelling 2006, Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2005), Hobart, Tasmania, Australia, January 16-19 2006},
  editor = {Markus Stumptner and Sven Hartmann and Yasushi Kiyoki},
  volume = {53},
  series = {CRPIT},
  publisher = {Australian Computer Society},
  isbn = {1-920-68235-X},
}

@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 = {Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers},
  editor = {Danilo Ardagna and Massimo Mecella and Jian Yang},
  volume = {17},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-642-00327-1},
}

@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 = {Integration in Production Management Systems, Proceedings of the IFIP WG5.7 Working Conference on Integration in Production Management Systems, Eindhoven, The Netherlands, 24-27 August 1992},
  editor = {Henk Jan Pels and Johan C. Wortmann},
  volume = {B-7},
  series = {IFIP Transactions},
  publisher = {North-Holland},
  isbn = {0-444-89877-8},
}

@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 = {Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, June 12-16, 2007, Revised Selected Papers},
  editor = {Joaquim Filipe and José Cordeiro and Jorge Cardoso},
  volume = {12},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-540-88709-6},
}

@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 = {Inf. Process. Lett.},
  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 = {Int. J. Cooperative Inf. Syst.},
  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 = {Data Min. Knowl. Discov.},
  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 = {Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, June 12-16, 2007, Revised Selected Papers},
  editor = {Joaquim Filipe and José Cordeiro and Jorge Cardoso},
  volume = {12},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-540-88709-6},
}

@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 = {Business Process Management, Models, Techniques, and Empirical Studies},
  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},
}

@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 = {5. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises  Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK) , Wien, 30. November - 01. Dezember 2006},
  editor = {Markus Nüttgens and Frank J. Rump and Jan Mendling},
  volume = {224},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {Quality and Reliability Eng. Int.},
  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 = {Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings},
  editor = {Gianfranco Ciardo and Philippe Darondeau},
  volume = {3536},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26301-2},
}

@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 = {Science of Computer Programming},
  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 = {Data \& Knowledge Engineering},
  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 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume DISI, Funchal, Madeira, Portugal, June 12-16, 2007},
  editor = {Jorge Cardoso and José Cordeiro and Joaquim Filipe},
  isbn = {978-972-8865-88-7},
}

@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 = {IEEE Data Eng. Bull.},
  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 = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari and Mohand-Said Hacid and John Mylopoulos and Barbara Pernici and Özalp Babaoglu and Hans-Arno Jacobsen and Joseph P. Loyall and Michael Kifer and Stefano Spaccapietra},
  volume = {3760},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29736-7},
}

@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 = {Int. J. Cooperative Inf. Syst.},
  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 = {Data \& Knowledge Engineering},
  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 = {Proceedings of GROUP 2001, ACM 2001 International Conference on Supporting Group Work, September 30 - October 3, 2001, Boulder, Colorado, USA},
  publisher = {ACM},
}

@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 = {Data \& Knowledge Engineering},
  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 = {Business Process Management Workshops, BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings},
  editor = {Johann Eder and Schahram Dustdar},
  volume = {4103},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38444-8},
}

@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 = {Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings},
  editor = {Gustavo Alonso and Peter Dadam and Michael Rosemann},
  volume = {4714},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75182-3},
}

@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 = {Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, CSCWD 2005, Volume 1, May 24-26, 2005, Coventry, UK},
  editor = {Weiming Shen and Anne E. James and Kuo-Ming Chao and Muhammad Younas and Zongkai Lin and Jean-Paul A. Barthès},
  publisher = {IEEE Computer Society},
  isbn = {1-84600-002-5},
}

@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 = {Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings},
  editor = {Schahram Dustdar and José Luiz Fiadeiro and Amit P. Sheth},
  volume = {4102},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38901-6},
}

@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 = {T. Petri Nets and Other Models of Concurrency},
  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 = {Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
  editor = {Mogens Nielsen and Dan Simpson},
  volume = {1825},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67693-7},
}

@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 = {Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings},
  editor = {Paolo Atzeni and Wesley W. Chu and Hongjun Lu and Shuigeng Zhou and Tok Wang Ling},
  volume = {3288},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23723-2},
}

@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 = {Software Process Dynamics and Agility, International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings},
  editor = {Qing Wang and Dietmar Pfahl and David M. Raffo},
  volume = {4470},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72425-4},
}

@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 = {Data \& Knowledge Engineering},
  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 = {Data Min. Knowl. Discov.},
  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 = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {4803},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76846-3},
}

@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 = {On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003},
  editor = {Robert Meersman and Zahir Tari and Douglas C. Schmidt},
  volume = {2888},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20498-9},
}

@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 = {Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings},
  editor = {Theodore P. Baker and Alain Bui and Sébastien Tixeuil},
  volume = {5401},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-92220-9},
}

@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 = {Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets},
  editor = {Gul Agha and Fiorella de Cindio and Grzegorz Rozenberg},
  volume = {2001},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41942-X},
}

@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 = {Requir. Eng.},
  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 = {Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings},
  editor = {Mario Bravetti and Leïla Kloul and Gianluigi Zavattaro},
  volume = {3670},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28701-9},
}

@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 = {Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers},
  editor = {Danilo Ardagna and Massimo Mecella and Jian Yang},
  volume = {17},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-642-00327-1},
}

@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 = {Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, May 3-6, 1994, Proceedings},
  editor = {Günter Haring and Gabriele Kotsis},
  volume = {794},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58021-2},
}

@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 = {Information \& Software Technology},
  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 = {Software and Systems Modeling},
  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 = {Cooperative Information Systems, 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000, Proceedings},
  editor = {Opher Etzion and Peter Scheuermann},
  volume = {1901},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41021-X},
}

@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 = {Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings},
  editor = {Oscar Pastor and João Falcão e Cunha},
  volume = {3520},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26095-1},
}

@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 = {Advanced Information Systems Engineering, 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings},
  editor = {John Krogstie and Andreas L. Opdahl and Guttorm Sindre},
  volume = {4495},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72987-7},
}

@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 = {Decision Support Systems},
  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 = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {4803},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76846-3},
}

@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 = {Decision Support Systems},
  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 = {Conceptual Modeling - ER 2003, 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings},
  editor = {Il-Yeol Song and Stephen W. Liddle and Tok Wang Ling and Peter Scheuermann},
  volume = {2813},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20299-4},
}

@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 = {Data \& Knowledge Engineering},
  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 = {Enterprise IS},
  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 2005: eEconomy, eGovernment, eSociety, 7. Internationale Tagung Wirtschaftsinformatik 2005, Bamberg, 23.2.2005 - 25.2.2005},
  editor = {Otto K. Ferstl and Elmar J. Sinz and Sven Eckert and Tilman Isselhorst},
  publisher = {Physica-Verlag},
  isbn = {3-7908-1574-8},
}

@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 = {Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings},
  editor = {Schahram Dustdar and José Luiz Fiadeiro and Amit P. Sheth},
  volume = {4102},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38901-6},
}

@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 = {Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings},
  editor = {Giuliana Franceschinis and Karsten Wolf},
  volume = {5606},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02423-8},
}

@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 = {Advanced Information Systems Engineering, 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings},
  editor = {John Krogstie and Andreas L. Opdahl and Guttorm Sindre},
  volume = {4495},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72987-7},
}

@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 = {Proceedings of the SIAM International Conference on Data Mining, SDM 2009, April 30 - May 2, 2009, Sparks, Nevada, USA},
  publisher = {SIAM},
}

@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 04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, Riga, Latvia, 7-11 June, 2004, Knowledge and Model Driven Information Systems Engineering for Networked Organisations, Proceedings, Vol. 2},
  editor = {Janis Grundspenkis and Marite Kirikova},
  publisher = {Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia},
  isbn = {9984-9767-2-6},
}

@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 = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets},
  editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber},
  volume = {2472},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20538-1},
}

@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 = {Information \& Software Technology},
  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 = {Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic},
  editor = {Twan Basten and Gabriel Juhás and Sandeep K. Shukla},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2902-8},
}

@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 = {1st International Conference on Application of Concurrency to System Design (ACSD  98), 23-26 March 1998, Fukushima, Japan},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8350-3},
}

@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 = {Decision Support Systems},
  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 = {Inf. Syst.},
  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 = {Software and Systems Modeling},
  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 = {Science of Computer Programming},
  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 = {Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
  editor = {Jordi Cortadella and Wolfgang Reisig},
  volume = {3099},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22236-7},
}

@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 = {On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {3290},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23663-5},
}

@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 = {4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE 96), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings},
  publisher = {IEEE Computer Society},
}

@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 = {Business Process Management Workshops, BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005, Revised Selected Papers},
  editor = {Christoph Bussler and Armin Haller},
  volume = {3812},
  isbn = {3-540-32595-6},
}

@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 = {Information Systems Frontiers},
  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 = {Advanced Information Systems Engineering, 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings},
  editor = {Anne Persson and Janis Stirna},
  volume = {3084},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22151-4},
}

@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 = {T. Petri Nets and Other Models of Concurrency},
  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 = {Cooperative Information Systems, 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000, Proceedings},
  editor = {Opher Etzion and Peter Scheuermann},
  volume = {1901},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41021-X},
}

@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 = {Seventh IEEE European Conference on Web Services (ECOWS 2009), 9-11 November 2009, Eindhoven, The Netherlands},
  editor = {Rik Eshuis and Paul W. P. J. Grefen and George Angelos Papadopoulos},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3854-9},
}

@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 = {Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China},
  publisher = {IEEE},
  isbn = {1-4244-0165-8},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 2002 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Proceedings des GI-Workshops und Arbeitskreistreffens (Trier, November 2002)},
  editor = {Markus Nüttgens and Frank J. Rump},
  publisher = {GI-Arbeitskreis Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten},
}

@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 = {Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers},
  editor = {Christoph Bussler and Richard Hull and Sheila A. McIlraith and Maria E. Orlowska and Barbara Pernici and Jian Yang},
  volume = {2512},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00198-0},
}

@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 = {Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  editor = {José Manuel Colom and Maciej Koutny},
  volume = {2075},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42252-8},
}

@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 = {Inf. Syst.},
  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 = {Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, June 12-16, 2007, Revised Selected Papers},
  editor = {Joaquim Filipe and José Cordeiro and Jorge Cardoso},
  volume = {12},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-540-88709-6},
}

@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 = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {4803},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76846-3},
}

@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 = {Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings},
  editor = {Schahram Dustdar and José Luiz Fiadeiro and Amit P. Sheth},
  volume = {4102},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38901-6},
}

@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 = {The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006},
  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},
}

@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 = {The 17th Conference on Advanced Information Systems Engineering  (CAiSE  05), Porto, Portugal, 13-17 June, 2005, CAiSE Forum, Short Paper Proceedings},
  editor = {Orlando Belo and Johann Eder and João Falcão e Cunha and Oscar Pastor},
  volume = {161},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers},
  editor = {Arthur H. M. ter Hofstede and Boualem Benatallah and Hye-Young Paik},
  volume = {4928},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78237-7},
}

@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 = {The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006},
  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},
}

@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 = {Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings},
  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},
}

@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 = {Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2558-X},
}

@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 = {Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings},
  editor = {Marco Ajmone Marsan},
  volume = {691},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56863-8},
}

@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 = {Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
  editor = {Marco Bernardo and Luca Padovani and Gianluigi Zavattaro},
  volume = {5569},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-01917-3},
}

@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 = {AI in Engineering},
  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 = {Theoretical Computer Science},
  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 = {Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings},
  editor = {Pascal van Eck and Jaap Gordijn and Roel Wieringa},
  volume = {5565},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02143-5},
}

@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 = {Modellierung betrieblicher Informationssysteme - Modellierung zwischen SOA und Compliance Management - 27.-28. November 2008 Saarbrücken, Germany},
  editor = {Peter Loos and Markus Nüttgens and Klaus Turowski and Dirk Werth},
  volume = {141},
  series = {LNI},
  publisher = {GI},
}

@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 = {On the Move to Meaningful Internet Systems: OTM 2008 Workshops, OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, },
  editor = {Robert Meersman and Zahir Tari and Pilar Herrero},
  volume = {5333},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88874-1},
}

@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 = {J. Intell. Inf. Syst.},
  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 = {Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006},
  editor = {Hisham Haddad},
  publisher = {ACM},
  isbn = {1-59593-108-2},
}

@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 = {Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings},
  editor = {Schahram Dustdar and José Luiz Fiadeiro and Amit P. Sheth},
  volume = {4102},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38901-6},
}

@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 = {On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {4275},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48287-3},
}

@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 = {On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal},
  editor = {Robert Meersman and Zahir Tari and Pilar Herrero},
  volume = {4806},
  publisher = {Springer},
}

@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 = {On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {5331},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88870-3},
}

@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 = {Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
  editor = {Mogens Nielsen and Dan Simpson},
  volume = {1825},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67693-7},
}

@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 = {Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings},
  editor = {Marlon Dumas and Manfred Reichert and Ming-Chien Shan},
  volume = {5240},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85757-0},
}

@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 = {Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings},
  editor = {Gustavo Alonso and Peter Dadam and Michael Rosemann},
  volume = {4714},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75182-3},
}

@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 = {4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE 96), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings},
  publisher = {IEEE Computer Society},
}

@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 = {Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings},
  editor = {Zohra Bellahsene and Michel Léonard},
  volume = {5074},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69533-2},
}

@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 = {Engineering and Deployment of Cooperative Information Systems, First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002, Proceedings},
  editor = {Yanbo Han and Stefan Tai and Dietmar Wikarski},
  volume = {2480},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44222-7},
}

@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 = {2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2669-1},
}

@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 = {Int. J. Cooperative Inf. Syst.},
  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 = {6. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises  Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)  St. Augustin, 29. November - 30. November 2007},
  editor = {Markus Nüttgens and Frank J. Rump and Andreas Gadatsch},
  volume = {303},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {5331},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88870-3},
}

@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 = {Information \& Software Technology},
  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 = {Journal of Biomedical Informatics},
  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 = {Business Process Management Workshops, BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005, Revised Selected Papers},
  editor = {Christoph Bussler and Armin Haller},
  volume = {3812},
  isbn = {3-540-32595-6},
}

@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 = {T. Petri Nets and Other Models of Concurrency},
  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 = {Journal of Circuits, Systems, and Computers},
  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 = {Comput. Syst. Sci. Eng.},
  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 = {EMOI - INTEROP 05, Enterprise Modelling and Ontologies for Interoperability, Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability, Co-located with CAiSE 05 Conference, Porto (Portugal), 13th-14th June 2005},
  editor = {Michele Missikoff and Antonio De Nicola},
  volume = {160},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {Electronic Commerce Research},
  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 = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari and Mohand-Said Hacid and John Mylopoulos and Barbara Pernici and Özalp Babaoglu and Hans-Arno Jacobsen and Joseph P. Loyall and Michael Kifer and Stefano Spaccapietra},
  volume = {3760},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29736-7},
}

@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 = {Fundamenta Informaticae},
  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 = {Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  editor = {José Luiz Fiadeiro and Paola Inverardi},
  volume = {4961},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78742-6},
}

@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 = {Computers in Industry},
  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 = {Real-Time Systems},
  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 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007},
  editor = {Jorge Cardoso and José Cordeiro and Joaquim Filipe},
  isbn = {978-972-8865-90-0},
}

@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 = {Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA},
  publisher = {ACM},
}

@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 = {Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  editor = {Mario Bravetti and Manuel Núñez and Gianluigi Zavattaro},
  volume = {4184},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38862-1},
}

@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 = {On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {4275},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48287-3},
}

@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 = {The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006},
  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},
}

@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 = {Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004. Proceedings},
  editor = {Jörg Desel and Barbara Pernici and Mathias Weske},
  volume = {3080},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22235-9},
}

@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 = {Advances in Enterprise Engineering I, 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings},
  editor = {Jan L. G. Dietz and Antonia Albani and Joseph Barjis},
  volume = {10},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-540-68643-9},
}

@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 = {Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers},
  editor = {Danilo Ardagna and Massimo Mecella and Jian Yang},
  volume = {17},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-642-00327-1},
}

@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 = {Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN  97, Toulouse, France, June 23-27, 1997, Proceedings},
  editor = {Pierre Azéma and Gianfranco Balbo},
  volume = {1248},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63139-9},
}

@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 = {Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
  editor = {Marlon Dumas and Reiko Heckel},
  volume = {4937},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-79229-1},
}

@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 = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II},
  editor = {Robert Meersman and Zahir Tari and Mohand-Said Hacid and John Mylopoulos and Barbara Pernici and Özalp Babaoglu and Hans-Arno Jacobsen and Joseph P. Loyall and Michael Kifer and Stefano Spaccapietra},
  volume = {3761},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29738-3},
}

@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 = {Proceedings of the First International Conference on Health Informatics, HEALTHINF 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Volume 1},
  editor = {Luís Azevedo and Ana Rita Londral},
  publisher = {INSTICC - Institute for Systems and Technologies of Information, Control and Communication},
  isbn = {978-989-8111-16-6},
}

@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 = {Int. J. Computer Integrated Manufacturing},
  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 = {Inf. Syst.},
  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 = {Data \& Knowledge Engineering},
  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 = {Decision Support Systems},
  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 = {Database Systems for Advanced Applications, DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009},
  editor = {Lei Chen 0002 and Chengfei Liu and Qing Liu and Ke Deng},
  volume = {5667},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04204-1},
}

@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 = {On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I},
  editor = {Robert Meersman and Zahir Tari},
  volume = {5331},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88870-3},
}

@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 = {Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings},
  editor = {Marlon Dumas and Manfred Reichert and Ming-Chien Shan},
  volume = {5240},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85757-0},
}

@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 = {IEEE Intelligent Systems},
  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},
}