@article{journals/debu/AalstV08,
	title = {Process Mining in Web Services: The WebSphere Case.},
	author = {Wil M. P. van der Aalst and H. M. W. (Eric) Verbeek},
	journal = {IEEE Data Eng. Bull.},
	number = {3},
	pages = {45-48},
	url = {http://dblp.uni-trier.de/db/journals/debu/debu31.html#AalstV08},
	volume = {31},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/226d71b681f4697bfd19191a36f11fbbc/dblp},
	description = {dblp},
	ee = {http://sites.computer.org/debull/A08Sept/aalst.pdf}, date = {2008-09-26},
	keywords = {dblp }
}

@inproceedings{conf/gg/Aalst08,
	title = {Discovery, Verification and Conformance of Workflows with Cancellation.},
	author = {Wil M. P. van der Aalst},
	booktitle = {ICGT},
	crossref = {conf/gg/2008},
	editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer},
	pages = {18-37},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/gg/icgt2008.html#Aalst08},
	volume = {5214},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/28e04e6699c85a3c9f14e307e690beeab/dblp},
	description = {dblp},
	date = {2008-09-22}, ee = {http://dx.doi.org/10.1007/978-3-540-87405-8_2}, isbn = {978-3-540-87404-1},
	keywords = {dblp }
}

@inproceedings{mendling06sap,
	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},
	booktitle = {Business Process Management},
	crossref = {conf/bpm/2006},
	editor = {Schahram Dustdar and José Luiz Fiadeiro and Amit P. Sheth},
	pages = {451-457},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/bpm/bpm2006.html#MendlingMNVDA06},
	volume = {4102},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/215320991f4e894dcff5180c13669a73d/msn},
	description = {dblp},
	abstract = {Little is known about error probability in enterprise models
as they are usually kept private. The SAP reference model is a publically
available model that contains more than 600 non-trivial process models
expressed in terms of Event-driven Process Chains (EPCs). We have
automatically translated these EPCs into YAWL models and analyzed
these models using WofYAWL, a verification tool based on Petri nets, in
order to acquire knowledge about errors in large enterprise models. We
discovered that at least 34 of these EPCs contain errors (i.e., at least
5.6% is flawed) and analyzed which parts of the SAP reference model
contain most errors. This systematic analysis of the SAP reference model
illustrates the need for verification tools such as WofYAWL.},
	date = {2006-12-04}, ee = {http://dx.doi.org/10.1007/11841760_38}, isbn = {3-540-38901-6},
	keywords = {cites.pclass mrefs research.bizInt.bpm research.conceptual }
}

@article{aalst06reference,
	title = {Configurable Process Models as a Basis for Reference Modeling},
	author = {W.M.P. van der Aalst and A. Dreiling and F. Gottschalk and M. Rosemann and M.H. Jansen-Vullers},
	journal = {Business Process Management Workshops},
	pages = {512--518},
	url = {http://dx.doi.org/10.1007/11678564_47},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2fdefe307cf8e906af14011f95accf9cd/msn},
	description = {SpringerLink - Book Chapter},
	abstract = {Off-the-shelf packages such as SAP need to be configured to suit the requirements of an organization. Reference models support
the configuration of these systems. Existing reference models use rather traditional languages. For example, the SAP referencemodel uses Event-driven Process Chains (EPCs). Unfortunately, traditional languages like EPCs do not capture the configuration-aspectswell. Consider for example the concept of “choice” in the control-flow perspective. Although any process modeling language,including EPCs, offers a choice construct (e.g., the XOR connector in EPCs), a single construct will not be able to capturethe time dimension, scope, and impact of a decision. Some decisions are taken at run-time for a single case while other decisionsare taken at build-time impacting a whole organization and all current and future cases. This position paper discusses theneed for configurable process models as a basic building block for reference modeling. The focus is on the control-flow perspective.},
	keywords = {cites.pclass mrefs research.bizInt.bpm research.conceptual }
}

@inproceedings{russell06uml,
	title = {On the suitability of UML 2.0 activity diagrams for business process modelling},
	address = {Darlinghurst, Australia, Australia},
	author = {Nick Russell and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Petia Wohed},
	booktitle = {APCCM '06: Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling},
	pages = {95--104},
	publisher = {Australian Computer Society, Inc.},
	url = {http://portal.acm.org/citation.cfm?id=1151855.1151866},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/26df57e97b36243dd067691db72effa04/msn},
	description = {On the suitability of UML 2.0 activity diagrams for business process modelling},
	abstract = {UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in capturing both the static and dynamic aspects of software systems. One area of UML that has received particular attention is that of Activity Diagrams (ADs), which provide a high-level means of modelling dynamic system behaviour. In this paper we examine the suitability of UML 2.0 Activity Diagrams for business process modelling, using the Workflow Patterns as an evaluation framework. The Workflow Patterns are a collection of patterns developed for assessing control-flow, data and resource capabilities in the area of Process Aware Information Systems (PAIS). In doing so, we provide a comprehensive evaluation of the capabilities of UML 2.0 ADs, and their strengths and weaknesses when utilised for business process modelling.},
	location = {Hobart, Australia}, isbn = {1-920-68235-X},
	keywords = {cites.pclass mrefs research.bizInt.bpm research.conceptual.uml }
}

@article{aalst03solutions,
	title = {Advanced Topics In Workflow Management: Issues, Requirements, And Solutions},
	address = {Amsterdam, The Netherlands, The Netherlands},
	author = {Wil M. P. van der Aalst and Mathias Weske and Guido Wirtz},
	journal = {J. Integr. Des. Process Sci.},
	number = {3},
	pages = {49--77},
	publisher = {IOS Press},
	url = {http://portal.acm.org/citation.cfm?id=1255154.1255158&coll=Portal&dl=GUIDE&CFID=709007&CFTOKEN=12186480},
	volume = {7},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2629bb99c84703fe18fe412171ad6812a/msn},
	description = {Advanced Topics In Workflow Management: Issues, Requirements, And Solutions},
	issn = {1092-0617},
	keywords = {cites.pclass mrefs research.bizInt.bpm }
}

@inproceedings{greco05hierarchies,
	title = {Mining hierarchies of models: From abstract views to concrete specifications},
	author = {G. Greco and A. Guzzo and L. Pontieri},
	booktitle = {Business Process Management, 3rd International Conference, BPM 2005. Proceedings},
	editor = {W. M. P. van der Aalst and B. Benatallah and F. Casati and F. Curbera},
	pages = {32-47},
	publisher = {Springer},
	url = {http://dx.doi.org/10.1007/11538394_3},
	volume = {3649},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/22bd4e33f2b72d8db6e18c9237c48d6c2/msn},
	keywords = {cites.pclass cites.procm mrefs }
}

@book{dumas05process,
	title = {Process-aware information systems: bridging people and software through process technology},
	address = {New York, NY, USA},
	author = {M. Dumas and W. M. van der Aalst and A. H. ter Hofstede},
	publisher = {John Wiley \& Sons, Inc.},
	url = {http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471663069.html},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2eb2402370ea87db1bf94742d6d44dd52/msn},
	isbn = {0-47166-360-9},
	keywords = {cites.pclass mrefs research.bizInt.bpm }
}

@inproceedings{aalst03bpm,
	title = {Business process management demystified: A tutorial on models, systems and standards for workflow management},
	author = { {\noopsort{Aalst}}{W. M. P. van der Aalst}},
	booktitle = {Lectures on Concurrency and Petri Nets},
	editor = {J. Desel and W. Reisig and G. Rozenberg},
	pages = {1-65},
	publisher = {Springer},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2bb4b73020f7cf0b4d76622449176534f/msn},
	keywords = {cites.pclass cites.procm mrefs out.gcp research.bizInt.bpm }
}

@article{aalst03workflow,
	title = {Workflow mining: A survey of issues and approaches},
	author = { {\noopsort{Aalst}}{W. M. P. van der Aalst and B. F. van Dongena and J. Herbst and L. Marustera and G. Schimm and A. J. M. M. Weijters}},
	journal = {Data Knowledge Engineering},
	month = {November},
	number = {2},
	pages = {237-267},
	volume = {47},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2644fb80d3a47c1db55936546ff3e2d90/msn},
	keywords = {cites.pclass cites.procm mrefs research.bizInt.bpm research.mining }
}