A Survey on Workflow Satisfiability, Resiliency, and Related Problems.
Daniel Ricardo dos SantosSilvio RanisePublished in: CoRR (2017)
Keyphrases
- related problems
- satisfiability problem
- workflow management systems
- propositional logic
- np complete
- computational complexity
- range searching
- petri net
- business process
- sat problem
- phase transition
- data flow
- business processes
- workflow systems
- scientific workflows
- decision procedures
- quantified boolean formulas
- document management
- terminological reasoning
- stable marriage
- biomedical ontologies
- control flow
- structured databases
- symmetry breaking
- computational properties
- description logics