1. Conformance Checking - Relating Processes and Models;Carmona,2018
2. Process Mining – Discovery, Conformance and Enhancement of Business Processes;van der Aalst,2011
3. Describing behavior of processes with many-to-many interactions;Fahland,2019
4. DB-Nets: On the marriage of colored Petri nets and relational databases;Montali;Trans. Petri Nets Other Model. Concurr.,2017
5. Information systems modeling: Language, verification, and tool support;Polyvyanyy,2019