Pré-Publication, Document De Travail (Working Paper) Année : 2025

Statistical process discovery

Résumé

Stochastic process discovery is concerned with deriving a model capable of reproducing the stochastic character of observed executions of a given process, stored in a log. This leads to an optimisation problem in which the model's parameter space is searched for, driven by the resemblance between the log's and the model's stochastic languages. The bottleneck of such optimisation problem lay in the determination of the model's stochastic language which existing approaches deal with through, hardly scalable, exact computation approaches. In this paper we introduce a novel framework in which we combine a simulation-based Bayesian parameter inference scheme, used to search for the "optimal" instance of a stochastic model, with an expressive statistical model checking engine, used (during inference) to approximate the language of the considered model's instance. Because of its simulation-based nature, the payoff is that, the runtime for discovering of the optimal instance of a model can be easily traded in for accuracy, hence allowing to treat large models which would result in a prohibitive runtime with non-simulation based alternatives. We validate our approach on several popular event logs concerning real-life systems.

Fichier principal
Vignette du fichier
main.pdf (555.19 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05051965 , version 1 (30-04-2025)

Licence

Identifiants

  • HAL Id : hal-05051965 , version 1

Citer

Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall. Statistical process discovery. 2025. ⟨hal-05051965⟩
76 Consultations
76 Téléchargements

Partager

  • More