Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380551454> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4380551454 abstract "Capturing stochastic behaviors in business and work processes is essential to quantitatively understand how nondeterminism is resolved when taking decisions within the process. This is of special interest in process mining, where event data tracking the actual execution of the process are related to process models, and can then provide insights on frequencies and probabilities. Variants of stochastic Petri nets provide a natural formal basis for this. However, when capturing processes, such nets need to be labelled with (possibly duplicated) activities, and equipped with silent transitions that model internal, non-logged steps related to the orchestration of the process. At the same time, they have to be analyzed in a finite-trace semantics, matching the fact that each process execution consists of finitely many steps. These two aspects impede the direct application of existing techniques for stochastic Petri nets, calling for a novel characterization that incorporates labels and silent transitions in a finite-trace semantics. In this article, we provide such a characterization starting from generalized stochastic Petri nets and obtaining the framework of labelled stochastic processes (LSPs). On top of this framework, we introduce different key analysis tasks on the traces of LSPs and their probabilities. We show that all such analysis tasks can be solved analytically, in particular reducing them to a single method that combines automata-based techniques to single out the behaviors of interest within a LSP, with techniques based on absorbing Markov chains to reason on their probabilities. Finally, we demonstrate the significance of how our approach in the context of stochastic conformance checking, illustrating practical feasibility through a proof-of-concept implementation and its application to different datasets." @default.
- W4380551454 created "2023-06-14" @default.
- W4380551454 creator A5047795784 @default.
- W4380551454 creator A5078031491 @default.
- W4380551454 creator A5088302185 @default.
- W4380551454 date "2023-06-10" @default.
- W4380551454 modified "2023-10-16" @default.
- W4380551454 title "Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions" @default.
- W4380551454 doi "https://doi.org/10.48550/arxiv.2306.06376" @default.
- W4380551454 hasPublicationYear "2023" @default.
- W4380551454 type Work @default.
- W4380551454 citedByCount "0" @default.
- W4380551454 crossrefType "posted-content" @default.
- W4380551454 hasAuthorship W4380551454A5047795784 @default.
- W4380551454 hasAuthorship W4380551454A5078031491 @default.
- W4380551454 hasAuthorship W4380551454A5088302185 @default.
- W4380551454 hasBestOaLocation W43805514541 @default.
- W4380551454 hasConcept C105795698 @default.
- W4380551454 hasConcept C112505250 @default.
- W4380551454 hasConcept C11413529 @default.
- W4380551454 hasConcept C121332964 @default.
- W4380551454 hasConcept C124670913 @default.
- W4380551454 hasConcept C136155141 @default.
- W4380551454 hasConcept C138885662 @default.
- W4380551454 hasConcept C144133560 @default.
- W4380551454 hasConcept C151730666 @default.
- W4380551454 hasConcept C162853370 @default.
- W4380551454 hasConcept C174998907 @default.
- W4380551454 hasConcept C184337299 @default.
- W4380551454 hasConcept C197551870 @default.
- W4380551454 hasConcept C199360897 @default.
- W4380551454 hasConcept C207505557 @default.
- W4380551454 hasConcept C2779343474 @default.
- W4380551454 hasConcept C2779662365 @default.
- W4380551454 hasConcept C33923547 @default.
- W4380551454 hasConcept C38677869 @default.
- W4380551454 hasConcept C41008148 @default.
- W4380551454 hasConcept C41895202 @default.
- W4380551454 hasConcept C62520636 @default.
- W4380551454 hasConcept C75291252 @default.
- W4380551454 hasConcept C80444323 @default.
- W4380551454 hasConcept C8272713 @default.
- W4380551454 hasConcept C85345410 @default.
- W4380551454 hasConcept C86803240 @default.
- W4380551454 hasConcept C98045186 @default.
- W4380551454 hasConceptScore W4380551454C105795698 @default.
- W4380551454 hasConceptScore W4380551454C112505250 @default.
- W4380551454 hasConceptScore W4380551454C11413529 @default.
- W4380551454 hasConceptScore W4380551454C121332964 @default.
- W4380551454 hasConceptScore W4380551454C124670913 @default.
- W4380551454 hasConceptScore W4380551454C136155141 @default.
- W4380551454 hasConceptScore W4380551454C138885662 @default.
- W4380551454 hasConceptScore W4380551454C144133560 @default.
- W4380551454 hasConceptScore W4380551454C151730666 @default.
- W4380551454 hasConceptScore W4380551454C162853370 @default.
- W4380551454 hasConceptScore W4380551454C174998907 @default.
- W4380551454 hasConceptScore W4380551454C184337299 @default.
- W4380551454 hasConceptScore W4380551454C197551870 @default.
- W4380551454 hasConceptScore W4380551454C199360897 @default.
- W4380551454 hasConceptScore W4380551454C207505557 @default.
- W4380551454 hasConceptScore W4380551454C2779343474 @default.
- W4380551454 hasConceptScore W4380551454C2779662365 @default.
- W4380551454 hasConceptScore W4380551454C33923547 @default.
- W4380551454 hasConceptScore W4380551454C38677869 @default.
- W4380551454 hasConceptScore W4380551454C41008148 @default.
- W4380551454 hasConceptScore W4380551454C41895202 @default.
- W4380551454 hasConceptScore W4380551454C62520636 @default.
- W4380551454 hasConceptScore W4380551454C75291252 @default.
- W4380551454 hasConceptScore W4380551454C80444323 @default.
- W4380551454 hasConceptScore W4380551454C8272713 @default.
- W4380551454 hasConceptScore W4380551454C85345410 @default.
- W4380551454 hasConceptScore W4380551454C86803240 @default.
- W4380551454 hasConceptScore W4380551454C98045186 @default.
- W4380551454 hasLocation W43805514541 @default.
- W4380551454 hasOpenAccess W4380551454 @default.
- W4380551454 hasPrimaryLocation W43805514541 @default.
- W4380551454 hasRelatedWork W1606047829 @default.
- W4380551454 hasRelatedWork W1897277602 @default.
- W4380551454 hasRelatedWork W1987660290 @default.
- W4380551454 hasRelatedWork W2085282830 @default.
- W4380551454 hasRelatedWork W2808742510 @default.
- W4380551454 hasRelatedWork W3192584008 @default.
- W4380551454 hasRelatedWork W4256348577 @default.
- W4380551454 hasRelatedWork W4286972802 @default.
- W4380551454 hasRelatedWork W2584758478 @default.
- W4380551454 hasRelatedWork W2586039792 @default.
- W4380551454 isParatext "false" @default.
- W4380551454 isRetracted "false" @default.
- W4380551454 workType "article" @default.