<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>ProM: The Process Mining Toolkit</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>W.M.P. van der Aalst</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>B.F. van Dongen</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>C. Gunther</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>A. Rozinat</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>H.M.W. Verbeek</string-name>
          <email>h.m.w.verbeekg@tue.nl</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>A.J.M.M. Weijters</string-name>
          <email>a.j.m.m.weijtersg@tue.nl</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Industrial Engineering and Innovation Sciences, Eindhoven University of Technology P.</institution>
          <addr-line>O. Box 513, 5600 MB Eindhoven</addr-line>
          ,
          <country country="NL">The Netherlands</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Department of Mathematics and Computer Science, Eindhoven University of Technology P.</institution>
          <addr-line>O. Box 513, 5600 MB Eindhoven</addr-line>
          ,
          <country country="NL">The Netherlands</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Nowadays, all kinds of information systems store detailed information in logs. Process mining has emerged as a way to analyze these systems based on these detailed logs. Unlike classical data mining, the focus of process mining is on processes. First, process mining allows us to extract a process model from an event log. Second, it allows us to detect discrepancies between a modeled process (as it was envisioned to be) and an event log (as it actually is). Third, it can enrich an existing model with knowledge derived from an event log. This paper presents our tool ProM, which is the world-leading tool in the area of process mining.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>The goal of process mining is to extract information (like process models) from
event logs. Typically, process mining assumes that it is possible to record events
such that each event refers to an activity (a step in the process) and is related
to a particular case (a process instance). Furthermore, additional data stored
in the log (like the performer of the event, the timestamp of the event, or data
elements recorded with the event) can be used.</p>
      <p>The omnipresence of event logs is an important enabler of process mining:
Analysis of run-time behavior is only possible if events are recorded. Fortunately,
all kinds of information systems provide the necessary detailed logs, like classical
work ow management systems (Sta ware), ERP systems (SAP), case handling
systems (FLOWer), PDM systems (Windchill), CRM systems (Microsoft
Dynamics CRM), middleware (IBM WebSphere), and hospital information systems
(Chipsoft). Also, all kinds of embedded systems increasingly log events, like
medical systems (X-ray machines), mobile phones, car entertainment systems,
production systems (e.g., wafer steppers), copiers, and sensor networks.</p>
      <p>
        Process mining has emerged as a way to analyze systems and their actual
use based on the event logs they produce [
        <xref ref-type="bibr" rid="ref1 ref2 ref3 ref4 ref5 ref8 ref9">1,2,3,4,5,8,9</xref>
        ]. Unlike classical data
business processes
people machines
components
      </p>
      <p>organizations
models
analyzes
supports/
controls
specifies
configures
implements
analyzes</p>
      <p>records
events, e.g.,
messages,
transactions,
etc.
mining, the focus of process mining is on concurrent processes instead of on static
or mainly sequential structures. Note that commercial \Business Intelligence"
(BI) tools are not doing any process mining: They typically look at aggregate
data (frequencies, averages, utilization, service levels). Unlike BI tools, process
mining looks \inside the process" (causal dependencies, bottlenecks) and at a
very re ned level. In a hospital context, BI tools focus on performance indicators
such as the number of knee operations, the length of waiting lists, and the success
rate of surgery, where process mining is more concerned with the paths followed
by individual patients and whether certain procedures are followed or not.</p>
      <p>Using process mining, typical manager questions that can be answered
include:
{ What is the most frequent path in my process?
{ To what extend do my cases comply with my process model?
{ What are the routing probabilities in my process?
{ What are the throughput times of my cases?
{ What are the service times for my tasks?
{ When will a case be completed?
{ How much time was spent between any two tasks in my process?
{ What are the business rules in my process, and are they being obeyed?
{ How many of my people are typically involved in a case?
{ Which people are central in my organization?
2</p>
    </sec>
    <sec id="sec-2">
      <title>ProM</title>
      <p>ProM is the world-leading process mining toolkit. It is an extensible
framework that supports a wide variety of process mining techniques in the form of
plug-ins. It is platform independent as it is implemented in Java, and can be
downloaded free of charge from www.processmining.org. ProM is issued under
an open source license and we invite researchers and developers to contribute
in the form of new plug-ins. The development of ProM is not restricted to the
Eindhoven University of Technology: The current version of ProM includes work
from researchers from all over the world, including for example Australia,
Austria, China, Germany, and Italy.</p>
      <p>Currently, there are already more than 230 plug-ins available, and we support
the import of (and the conversion between) several process modeling languages,
like Petri nets (PNML, TPN), EPCs/EPKs (Aris graph format, EPML), YAWL,
and many more. There are mining plug-ins, such as plug-ins supporting
controlow mining techniques (Alpha algorithm, Genetic mining, Heuristics Miner,
Multi-phase mining), plug-ins analyzing the organizational perspective (Social
Network miner, Sta Assignment miner), plug-ins dealing with the data
perspective (Decision miner), plug-ins for mining less-structured, exible processes
(Fuzzy Miner), elaborate data visualization plug-ins (Cloud Chamber Miner),
and many more. Furthermore, there are analysis plug-ins dealing with the
veri cation of process models (Wo an analysis), veri cation of Linear Temporal
Logic (LTL) formulas on a log, checking the conformance between a given
process model and a log, and performance analysis (Basic statistical analysis, and
Performance Analysis with a given process model). Finally, ProM o ers a large
array of log lters, which are a valuable tool for cleaning logs from undesired, or
unimportant, artefacts.
3</p>
    </sec>
    <sec id="sec-3">
      <title>Case studies</title>
      <p>Thus far, ProM has been applied in a wide variety of organizations, which
include municipalities (Alkmaar, Heusden, Harderwijk, etc.), government agencies
(Rijkswaterstaat, Centraal Justitieel Incasso Bureau, Justice department),
insurance related agencies (UWV), banks (ING Bank), hospitals (AMC hospital,
Catharina hospital), multinationals (DSM, Deloitte),high-tech system
manufacturers and their customers (Philips Healthcare, ASML, Thales), and media
companies (e.g. Winkwaves). To give some insights in the results we obtained so far,
we provide some details on the three italicized organizations.</p>
      <p>
        For a provincial o ce of Rijkswaterstaat (the Dutch National Public Works
Department), we have conducted a case study on its invoice process, which has
shown that the bad performance of this process was mainly due to the fact that
some of the employees often work at remote sites. Furthermore, the case study
showed that it is worthwhile to combine di erent mining perspectives to reach a
richer understanding of the process. In this case, for example, the process model
revealed the problems (loops), but it took an organizational model to identify
the key players, and a case-oriented analysis to understand the impact of these
loops on the process performance. Please see [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] for more information on this
case study.
      </p>
      <p>
        For ASML (the leading manufacturer of wafer scanners in the world), we
have conducted a case study on its test process, which has yielded concrete
suggestions for process improvement. These suggestions included reordering of
tasks to prevent feedback loops and using idle time for scheduling. However, this
case study has also shown that further research is needed to develop process
mining techniques that are particularly suitable for analyzing less structured
processes like the highly dynamic test process of ASML. Please see [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] for details.
      </p>
      <p>
        For the Dutch AMC hospital, we have conducted a case study which has
shown that we were able to derive understandable models for large groups of
patients, which was con rmed by people of the hospital. Nevertheless, this case
study has also shown that traditional process mining approaches have problems
dealing with unstructured processes as, for example, can be found in a hospital
environment. Please see [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] for more information.
4
      </p>
    </sec>
    <sec id="sec-4">
      <title>Conclusion</title>
      <p>Process mining is a fertile eld of research, and the ProM toolkit is the leading
tool to open up this eld. Using ProM, we can answer questions that are very
relevant to managers, and case studies have shown that we are also able to do
so in a real world setting.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>W.M.P. van der Aalst</surname>
            ,
            <given-names>H.A.</given-names>
          </string-name>
          <string-name>
            <surname>Reijers</surname>
          </string-name>
          ,
          <string-name>
            <surname>A.J.M.M. Weijters</surname>
            ,
            <given-names>B.F. van Dongen</given-names>
          </string-name>
          ,
          <string-name>
            <surname>A.K. Alves de Medeiros</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Song</surname>
            , and
            <given-names>H.M.W.</given-names>
          </string-name>
          <string-name>
            <surname>Verbeek</surname>
          </string-name>
          .
          <source>Business Process Mining: An Industrial Application. Information Systems</source>
          ,
          <volume>32</volume>
          (
          <issue>5</issue>
          ):
          <volume>713</volume>
          {
          <fpage>732</fpage>
          ,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>W.M.P. van der Aalst</surname>
          </string-name>
          , A.
          <string-name>
            <surname>J.M.M. Weijters</surname>
            , and
            <given-names>L.</given-names>
          </string-name>
          <string-name>
            <surname>Maruster</surname>
          </string-name>
          .
          <article-title>Work ow Mining: Discovering Process Models from Event Logs</article-title>
          .
          <source>IEEE Transactions on Knowledge and Data Engineering</source>
          ,
          <volume>16</volume>
          (
          <issue>9</issue>
          ):
          <volume>1128</volume>
          {
          <fpage>1142</fpage>
          ,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>R.</given-names>
            <surname>Agrawal</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Gunopulos</surname>
          </string-name>
          , and
          <string-name>
            <given-names>F.</given-names>
            <surname>Leymann</surname>
          </string-name>
          .
          <article-title>Mining Process Models from Work ow Logs</article-title>
          .
          <source>In Sixth International Conference on Extending Database Technology</source>
          , pages
          <volume>469</volume>
          {
          <fpage>483</fpage>
          ,
          <year>1998</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>A.</given-names>
            <surname>Datta</surname>
          </string-name>
          .
          <article-title>Automating the Discovery of As-Is Business Process Models: Probabilistic and Algorithmic Approaches</article-title>
          .
          <source>Information Systems Research</source>
          ,
          <volume>9</volume>
          (
          <issue>3</issue>
          ):
          <volume>275</volume>
          {
          <fpage>301</fpage>
          ,
          <year>1998</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>J. Herbst.</surname>
          </string-name>
          <article-title>A Machine Learning Approach to Work ow Management</article-title>
          .
          <source>In Proceedings 11th European Conference on Machine Learning</source>
          , volume
          <volume>1810</volume>
          <source>of Lecture Notes in Computer Science</source>
          , pages
          <volume>183</volume>
          {
          <fpage>194</fpage>
          . Springer-Verlag, Berlin,
          <year>2000</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>R. S.</given-names>
            <surname>Mans</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.H.</given-names>
            <surname>Schonenberg</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Song</surname>
          </string-name>
          ,
          <string-name>
            <surname>W. M. P. van der Aalst</surname>
            , and
            <given-names>P. J. M.</given-names>
          </string-name>
          <string-name>
            <surname>Bakker</surname>
          </string-name>
          .
          <article-title>Application of process mining in healthcare - a case study in a Dutch hospital</article-title>
          . In A. Fred,
          <string-name>
            <given-names>J.</given-names>
            <surname>Filipe</surname>
          </string-name>
          , and H. Gamboa, editors,
          <source>Biomedical Engineering Systems and Technologies</source>
          , volume
          <volume>25</volume>
          of Communications in Computer and Information Science, pages
          <volume>425</volume>
          {
          <fpage>438</fpage>
          . Springer Berlin Heidelberg,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>A.</given-names>
            <surname>Rozinat</surname>
          </string-name>
          , I. S. M. de Jong, C. W. Gunther, and
          <string-name>
            <surname>W. M. P. van der Aalst</surname>
          </string-name>
          .
          <article-title>Process mining applied to the test process of wafer steppers in ASML</article-title>
          .
          <source>In IEEE Transactions on Systems</source>
          , Man, and CyberneticsPart C:
          <article-title>Applications</article-title>
          and Reviews.
          <year>2009</year>
          . To appear.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>A.</given-names>
            <surname>Rozinat</surname>
          </string-name>
          and
          <string-name>
            <surname>W. M. P. van der Aalst.</surname>
          </string-name>
          <article-title>Conformance checking of processes based on monitoring real behavior</article-title>
          .
          <source>Information Systems (IS)</source>
          ,
          <volume>33</volume>
          (
          <issue>1</issue>
          ):
          <volume>64</volume>
          {
          <fpage>95</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>A.J.M.M. Weijters</surname>
            and
            <given-names>W.M.P. van der Aalst. Rediscovering</given-names>
          </string-name>
          <article-title>Work ow Models from Event-Based Data using Little Thumb</article-title>
          . Integrated Computer-Aided Engineering,
          <volume>10</volume>
          (
          <issue>2</issue>
          ):
          <volume>151</volume>
          {
          <fpage>162</fpage>
          ,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>