Alexandra Fortis Florin Fortis Workflow Patterns in Process Modeling http://arxiv.org/abs/0903.0053 2009 CoRR abs/0903.0053 db/journals/corr/corr0903.html#abs-0903-0053 informal publication