Hong Ling JiangBo Zhou Research on workflow process structure verification. 158-166 2005 conf/icebe/2005 ICEBE http://doi.ieeecomputersociety.org/10.1109/ICEBE.2005.107 db/conf/icebe/icebe2005.html#LingZ05