Declarative process mining is an alternative for classic process mining with Petri nets. In this video, we take a first look at this fascinating domain.
We use the simple example of a collaborative document creation process. We model this with a tool named RuM - RuM is short for "Rule Miner".
Paper with the notation:
Specification and Verification of Declarative Open Interaction Models