UM

Browse/Search Results:  1-2 of 2 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
Method for semantic verification of workflow processes based on Petri net reduction technique Journal article
Ruan Jian Xue Bao/Journal of Software, 2005,Volume: 16,Issue: 7,Page: 1242-1251
Authors:  Zhou J.-T.;  Shi M.-L.;  Ye X.-M.
Favorite  |  View/Download:3/0  |  Submit date:2018/12/22
Petri net  Process  Reduction  Semantic verification  Workflow  
CBR: A component-based reduction method for semantics verification of workflow processes Journal article
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2005,Volume: 33,Issue: 6,Page: 1060-1065
Authors:  Zhou J.-T.;  Shi M.-L.;  Ye X.-M.
Favorite  |  View/Download:1/0  |  Submit date:2018/12/22
Petri net  Reduction  Verification  Workflow