Generalised Soundness of Workflow Nets Is Decidable.
Kees M. van HeeNatalia SidorovaMarc VoorhoevePublished in: ICATPN (2004)
Keyphrases
- workflow systems
- workflow management systems
- first order logic
- web services
- scientific workflows
- databases
- petri net
- business processes
- machine learning
- control flow
- workflow management
- datalog programs
- document management
- function symbols
- workflow technology
- polynomial hierarchy
- data flow
- expressive power
- computational complexity
- artificial intelligence
- neural network