ProcessMining
Introduction
Overview
Overview
Process Discovery
Conformance checking
Performance analysis
Extracting, Filtering, and Cleaning Event Data
Comparative Process Mining
Predictive Process Mining
Action-Oriented Process Mining
Robotic Process Automation
Automation
Machine Learning
Publications
Courses
Event Data
Software
Links
Old version of www.processming.org
Research
Tools
ProM
Event logs
Book
About
Analysis/Verification
The following process model analysis and verification techniques are available.
Petri Net Analysis
Woflan Analysis
Petri net reduction