Soundness of Workflow Nets with an Unbounded Resource is Decidable.
Vladimir A. BashkinIrina A. LomazovaPublished in: PNSE+ModPE (2013)
Keyphrases
- resource allocation
- document management
- workflow management systems
- business process
- first order logic
- resource constraints
- workflow systems
- datalog programs
- real time
- web services
- search algorithm
- business processes
- process model
- learning algorithm
- resource management
- web resources
- neural network
- workflow management
- scientific workflows