Verifying Petri Net-Based Process Models using Automated Planning.
Simone AgostinelliFabrizio Maria MaggiAndrea MarrellaMassimo MecellaPublished in: EDOC Workshops (2019)
Keyphrases
- process model
- automated planning
- heuristic search
- goal directed
- process mining
- business processes
- business process
- model checking
- planning domains
- web service composition
- planning systems
- petri net
- ai planning
- business process models
- event logs
- code generator
- heuristic search algorithms
- search space
- artificial neural networks
- np hard