Scalable Discovery of Partially Ordered Workflow Models with Formal Guarantees.
Humam KouraniDaniel SchusterWil M. P. van der AalstPublished in: ICPM (2023)
Keyphrases
- partially ordered
- workflow models
- process mining
- partial order
- event calculus
- totally ordered
- partial ordering
- event logs
- process model
- business process
- workflow management systems
- workflow management
- knowledge discovery
- specification language
- formal specification
- petri net
- formal concept analysis
- data management
- workflow model
- data mining
- data structure