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".
Link to the supplementary material.
Link to the download page of RuM.
Paper with the notation:
Specification and Verification of Declarative Open Interaction Models