Search Results for author:
Found 3 papers, 0 papers with code
Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions
In this article, we provide such a characterization starting from generalized stochastic Petri nets and obtaining the framework of labelled stochastic processes (LSPs).
Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
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.
Discovering Process Maps from Event Streams
Given an event stream produced by the execution of a business process, the goal of an online process discovery method is to maintain a continuously updated model of the process with a bounded amount of memory while at the same time achieving similar accuracy as offline methods.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
