25 citations · 51 across the 7 of their papers we have counts for
7 papers
Stochastic Alignments: Matching an Observed Trace to Stochastic Process Models
Tian Li, Artem Polyvyanyy, Sander J. J. Leemans
Process mining leverages event data extracted from IT systems to generate insights into the business processes of organizations. Such insights benefit from explicitly considering t…
Technical Report with Proofs for A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments
Philipp Bär, Moe T. Wynn, Sander J. J. Leemans
This technical report provides proofs for the claims in the paper "A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments".
An Interdisciplinary Survey on Information Flows in Supply Chains
Jan Pennekamp, Roman Matzutt, Christopher Klinkmüller +12
Supply chains form the backbone of modern economies and therefore require reliable information flows. In practice, however, supply chains face severe technical challenges, especial…
Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions
Sander J. J. Leemans, Fabrizio M. Maggi, Marco Montali
Capturing stochastic behaviors in business and work processes is essential to quantitatively understand how nondeterminism is resolved when taking decisions within the process. Thi…
Language-Preserving Reduction Rules for Block-Structured Workflow Nets
Sander J. J. Leemans
Process models are used by human analysts to model and analyse behaviour, and by machines to verify properties such as soundness, liveness or other reachability properties, and to…
Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining
Artem Polyvyanyy, Hanan Alkhammash, Claudio Di Ciccio +6
This paper presents a command-line tool, called Entropia, that implements a family of conformance checking measures for process mining founded on the notion of entropy from informa…
Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse
The control software of the CERN Compact Muon Solenoid experiment contains over 30,000 finite state machines. These state machines are organised hierarchically: commands are sent d…