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
• Other tools:
  • Declare.
  • Planners:
    • Fast Downward.
    • SymBA*
  • 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