English | 繁體

Search in the results

UM

Browse/Search Results:  1-1 of 1 Help

Selected(0)Clear Items/Page:    Sort:
Method for semantic verification of workflow processes based on Petri net reduction technique Journal article
Zhou J.-T., Shi M.-L., Ye X.-M.. Method for semantic verification of workflow processes based on Petri net reduction technique[J]. Ruan Jian Xue Bao/Journal of Software, 2005, 16(7), 1242-1251.
Authors:  Zhou J.-T.;  Shi M.-L.;  Ye X.-M.
Favorite | TC[Scopus]:20 | Submit date：2018/12/22
Petri Net  Process  Reduction  Semantic Verification  Workflow