286 citations · 848 across the 35 of their papers we have counts for
3 papers · 1 filter
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…
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi +1
Runtime monitoring is one of the central tasks in the area of operational decision support for business process management. In particular, it helps process executors to check on-th…
Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
Fabrizio M. Maggi, Marco Montali, Rafael Peñaloza
Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making…