Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving.

Thomas S. Heinze Wolfram Amme Simon Moser

Published in: ZEUS (2013)

Keyphrases

control flow
data flow
petri net
workflow management systems
software testing
data sets
databases
process model
machine learning
learning algorithm
artificial intelligence
e learning
business process
life cycle
theorem prover
transition systems