Useful resources for the process mining topic
- Process Mining
- Business Process Model
- BPMN
- Petri Nets
- Linear Time Logic (LTL)
- DFSA
- Automated Planning
- Trace Alignment
- Optimisation (LP, ILP)
- A* Algorithm
- BP-tool:
- Online Editor, visualisor, simulator, and convertor
- Web Interface and python library
- Supports: XES, PDDL, .dot FDSA, Petri-Nets, DeClare BPMN
- Online Editor, visualisor, simulator, and convertor
- Other tools:
- Declare.
- Planners:
- XML Visualiser.
- Petri-Net
- Process Mining Course @ RWTH Aachen University (BPI 2021) By Prof. Wil van der Aalst Petri Nets by Paulo Moura Oliveira
- Lectures on Linear Temporal Logic by Andrei Popescu
- Lectures on LTL Model Checking by Andrei Popescu
- Process Mining Handbook (Free), 2022
- Process Mining For Dummies, Celonis 2nd Special Edition (Free),
- Process Mining, Data Science in Action, 2016
- Process Mining in Healthcare, Evaluating and Exploiting Operational Healthcare Processes, 2015
- Modern Business Process Automation, YAWL and its Support Environment, 2010
- Process-Aware Information Systems: Lessons to Be Learned from Process Mining, 2017