Soundness of reset workflow nets.
Michael BlondinAlain FinkelPiotr HofmanFilip MazowieckiPhilip OfftermattPublished in: LICS (2024)
Keyphrases
- workflow management systems
- workflow systems
- business process
- data flow
- scientific workflows
- workflow management
- distributed systems
- petri net
- predictive state representations
- real world
- workflow execution
- workflow technology
- relational databases
- information technology
- optimal solution
- three dimensional
- web services
- information retrieval