Publications 2012

  • [PDF] W. M. P. van der Aalst, A. Adriansyah, A. A. K. de Medeiros, F. Arcieri, T. Baier, T. Blickle, J. C. R. P. Bose, P. van den Brand, R. Brandtjen, J. C. A. M. Buijs, A. Burattin, J. Carmona, M. Castellanos, J. Claes, J. Cook, N. Costantini, F. Curbera, E. Damiani, M. de Leoni, P. Delias, B. F. van Dongen, M. Dumas, S. Dustdar, D. Fahland, D. R. Ferreira, W. Gaaloul, F. van Geffen, S. Goel, C. W. Günther, A. Guzzo, P. Harmon, A. H. M. ter Hofstede, J. Hoogland, J. Espen Ingvaldsen, K. Kato, R. Kuhn, A. Kumar, M. La Rosa, F. Maggi, D. Malerba, R. S. Mans, A. Manuel, M. McCreesh, P. Mello, J. Mendling, M. Montali, H. Motahari Nezhad, M. zur Muehlen, J. Munoz-Gama, L. Pontieri, J. Ribeiro, A. Rozinat, H. Seguel Pérez, R. Seguel Pérez, M. Sepúlveda, J. Sinur, P. Soffer, M. S. Song, A. Sperduti, G. Stilo, C. Stoel, K. Swenson, M. Talamo, W. Tan, C. Turner, J. Vanthienen, G. Varvaressos, H. M. W. Verbeek, M. Verdonk, R. Vigo, J. Wang, B. Weber, M. Weidlich, A. J. M. M. Weijters, L. Wen, M. Westergaard, and M. T. Wynn, “Process mining manifesto,” in Bpm 2011 workshops, part i, 2012, pp. 169-194.
    [Bibtex]
  • [PDF] W. M. P. van der Aalst and H. M. W. Verbeek, “Process discovery and conformance checking using passages,” BPMCenter.org, BPM Center report BPM-12-21, 2012.
    [Bibtex]
    @TechReport{Aalst12a,
    Title = {Process Discovery and Conformance Checking Using Passages},
    Author = {Aalst, W. M. P. van der and Verbeek, H. M. W.},
    Institution = {BPMCenter.org},
    Year = {2012},
    Number = {BPM-12-21},
    Type = {BPM Center report},
    Abstract = {The two most prominent process mining tasks are process discovery (i.e., learning a process model from an event log) and conformance checking (i.e., diagnosing and quantifying differences between observed and modeled behavior). The increasing availability of event data makes these tasks highly relevant for process analysis and improvement. Therefore, process mining is considered to be one of the key technologies for Business Process Management (BPM). However, as event logs and process models grow, process mining becomes more challenging. Therefore, we propose an approach to decompose process mining problems into smaller problems using the notion of passages. A passage is a pair of two non-empty sets of activities (X; Y ) such that the set of direct successors of X is Y and the set of direct predecessors of Y is X. Any Petri net can be partitioned using passages. Moreover, process discovery and conformance checking can be done per passage and the results can be aggregated. This has advantages in terms of efficiency and diagnostics. Moreover, passages can be used to distribute process mining problems over a network of computers. Passages are supported through ProM plug-ins that automatically decompose process discovery and conformance checking tasks.},
    Owner = {hverbeek},
    Timestamp = {2013.01.16},
    Url = {http://bpmcenter.org/wp-content/uploads/reports/2012/BPM-12-21.pdf}
    }
  • [PDF] [DOI] D. M. M. Schunselaar, H. M. W. Verbeek, W. M. P. van der Aalst, and H. A. Reijers, “Creating sound and reversible configurable processes models using cosenets,” in Business information systems – 15th international conference, bis 2012, Vilnius, Lithuania, 2012, pp. 24-35.
    [Bibtex]
    @InProceedings{Schunselaar12,
    Title = {Creating Sound and Reversible Configurable Processes Models using CoSeNets},
    Author = {Schunselaar, D. M. M. and Verbeek, H. M. W. and Aalst, W. M. P. van der and Reijers, H. A.},
    Booktitle = {Business Information Systems - 15th International Conference, BIS 2012},
    Year = {2012},
    Address = {Vilnius, Lithuania},
    Editor = {Abramowicz, W. and Kriksciuniene, D. and Sakalauskas, V.},
    Month = {May},
    Pages = {24--35},
    Publisher = {Springer},
    Series = {Lecture Notes in Business Information Processing},
    Volume = {117},
    Abstract = {All Dutch municipalities offer the same range of services, and the processes delivering these services are quite similar. Therefore, these municipalities can benefit from configurable process models. This requires the merging of existing process variants into configurable models. Unfortunately, existing merging techniques (1) allow for configurable process models which can be instantiated to unsound process models, and (2) are not always reversible, which means that not all original models can be obtained by instantiation of the configurable process model. In this paper, we propose to capture the control-flow of a process by a CoSeNet: a configurable, tree-like representation of the process model, which is sound by construction, and we describe how to merge two CoSeNets into another CoSeNet such that the merge is reversible. Initial experiments show that this approach does not influence complexity significantly, i.e. it results in similar complexities for the configurable process model compared to existing techniques, while it guarantees soundness and reversibility.},
    Doi = {10.1007/978-3-642-30359-3_3},
    File = {Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Schunselaar12:URL},
    Owner = {hverbeek},
    Timestamp = {2012.03.08}
    }
  • [PDF] H. M. W. Verbeek, “Bpi challenge 2012: the transition system case,” , 2012.
    [Bibtex]
    @Electronic{Verbeek12b,
    Title = {BPI Challenge 2012: The Transition System Case},
    Author = {Verbeek, H. M. W.},
    Month = {September},
    Url = {https://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek12b.pdf},
    Year = {2012},
    Abstract = {The Transition System Miner, together with the Simple Log Filter and the Transition System Analyzer, is used to investigate the log used for the BPI Challenge 2012. Conclusions are drawn for the control-flow perspective, the date perspective, and the resource perspective, which shows the flexibility of the Miner. The results show that the process as captured in the event log is nicely structured, that it contains hardly any noise, and that the different events (Application, Offer, and Work Item) can be nicely captured by transition systems. Furthermore, it shows that the company who owns the process does not use case managers for handling the applications, as a lot of handover-of-works occur.},
    Owner = {hverbeek},
    Timestamp = {2012.09.17}
    }
  • [PDF] H. M. W. Verbeek and W. M. P. van der Aalst, “An experimental evaluation of passage-based process discovery,” in Bpi 2012 workshop pre-proceedings, Tallinn, 2012, pp. 71-76.
    [Bibtex]
    @InProceedings{Verbeek12,
    Title = {An Experimental Evaluation of Passage-Based Process Discovery},
    Author = {Verbeek, H. M. W. and Aalst, W. M. P. van der},
    Booktitle = {BPI 2012 Workshop Pre-proceedings},
    Year = {2012},
    Address = {Tallinn},
    Editor = {Dongen, B. F. van and Ferreira, D. R. and Weber, B.},
    Month = {September},
    Note = {Accepted as short paper},
    Pages = {71--76},
    Abstract = {In the area of process mining, the ILP Miner is known for the fact that it always returns a Petri net that perfectly ts a given event log. Like for most process discovery algorithms, its complexity is linear in the size of the event log and exponential in the number of event classes (i.e., distinct activities). As a result, the potential gain by partitioning the event classes is much higher than the potential gain by partitioning the traces in the event log over multiple event logs. This paper proposes to use the so-called passages to split up the event classes over multiple event logs, and shows what the results are for seven large event logs. The results show that indeed the use of passages alleviates the complexity, but that much hinges on the size of the largest passage detected: The smaller this passage, the better the run time.},
    File = {Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek12.pdf:URL},
    Owner = {hverbeek},
    Timestamp = {2012.07.12},
    Url = {https://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek12.pdf}
    }
  • [PDF] H. M. W. Verbeek and W. M. P. van der Aalst, “An experimental evaluation of passage-based process discovery,” BPMcenter.org, BPM Center Report BPM-12-14, 2012.
    [Bibtex]
    @TechReport{Verbeek12a,
    Title = {An Experimental Evaluation of Passage-Based Process Discovery},
    Author = {Verbeek, H. M. W. and Aalst, W. M. P. van der},
    Institution = {BPMcenter.org},
    Year = {2012},
    Number = {BPM-12-14},
    Type = {BPM Center Report},
    Abstract = {In the area of process mining, the ILP Miner is known for the fact that it always returns a Petri net that perfectly fits a given event log. However, the downside of the ILP Miner is that its complexity is exponential in the number of event classes in that event log. As a result, the ILP Miner may take a very long time to return a Petri net. Partitioning the traces in the event log over multiple event logs does not really alleviate this problem. Like for most process discovery algorithms, the complexity is linear in the size of the event log and exponential in the number of event classes (i.e., distinct activities). Hence, the potential gain by partitioning the event classes is much higher. This paper proposes to use the so-called passages to split up the event classes over multiple event logs, and shows what the results are for seven large event logs. The results show that indeed the use of passages alleviates the complexity, but that much hinges on the size of the largest passage detected: The smaller this passage, the better the run time.},
    File = {Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek12a.pdf:URL},
    Owner = {hverbeek},
    Timestamp = {2011.10.03},
    Url = {http://bpmcenter.org/wp-content/uploads/reports/2012/BPM-12-14.pdf}
    }
  • [PDF] [DOI] J. J. L. C. Vogelaar, H. M. W. Verbeek, B. Luka, and W. M. P. van der Aalst, “Comparing business processes to determine the feasibility of configurable models: a case study,” in Bpm 2011 workshops, part ii, 2012, pp. 50-61.
    [Bibtex]
  • [PDF] [DOI] J. M. E. M. van der Werf, H. M. W. Verbeek, and W. M. P. van der Aalst, “Context-aware compliance checking,” in Bpm 2012 proceedings, Tallinn, 2012, pp. 98-113.
    [Bibtex]

Leave a Reply