Discovering Duplicate Tasks in Transition Systems for the Simplification of Process Models.
Javier de San PedroJordi CortadellaPublished in: BPM (2016)
Keyphrases
- process model
- control flow
- transition systems
- process mining
- business processes
- concurrent systems
- event logs
- business process models
- business process
- petri net
- model checking
- workflow management systems
- dynamic behaviors
- data flow
- design patterns
- temporal logic
- code generator
- software engineering
- model checker
- test cases