Strong non-leak guarantees for workflow models.

Rafael Accorsi Claus Wonnemann

Published in: SAC (2011)

Keyphrases

workflow models
business process
workflow model
workflow management systems
petri net
computer vision
business processes
workflow management
case study
control structure