An efficient stochastic process discovery framework based on optimization
Published in International Journal on Software Tools for Technology Transfer, 2026
Rationale. Introduces a framework that for discovering of the optimal instance of a stochastic workflow net (SWN), based on exact computation of the probabilities of each log trace to be emitted by a SWN instance. The computation of the trace probability is done via breadth-first unfolding of the rachability graph underlying the SWN and relies on memoization in order to improve the computation efficiency.