Constraint expressions and workflow satisfiability.

Jason Crampton Gregory Z. Gutin

Published in: SACMAT (2013)

Keyphrases

satisfiability problem
constraint solving
facial expressions
business process
petri net
natural language
decision procedures
workflow management
workflow management systems
data flow
propositional logic
linear constraints
sat problem
control flow
process model
workflow systems
business processes
case study