Verifying generalised and structural soundness of workflow nets via relaxations.
Michael BlondinFilip MazowieckiPhilip OfftermattPublished in: CoRR (2022)
Keyphrases
- structural information
- np hard
- linear programming
- workflow management systems
- semidefinite
- lower bound
- business processes
- scientific workflows
- model checking
- structural analysis
- process model
- provenance information
- workflow systems
- convex relaxation
- real time
- case study
- information systems
- artificial intelligence
- neural network