11 citations · 21 across the 3 of their papers we have counts for
3 papers
DisCoveR: Accurate & Efficient Discovery of Declarative Process Models
Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt +1
Declarative process modeling formalisms - which capture high-level process constraints - have seen growing interest, especially for modeling flexible processes. This paper presents…
Refinement for Transition Systems with Responses
Marco Carbone, Thomas Hildebrandt, Gian Perrone +1
Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed trans…
Bigraphical Refinement
Gian Perrone, Søren Debois, Thomas Hildebrandt
We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical struct…