Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions

Julius Holderer, Josep Carmona, Farbod Taymouri, Günter Müller. Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions. T. Petri Nets and Other Models of Concurrency, 12:43-69, 2017. [doi]

Abstract

Abstract is missing.