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

Attachment Size (4.9 KB) 4.9 KB