English | 繁體

Search in the results

UM

Browse/Search Results:  1-9 of 9 Help

Selected(0)Clear Items/Page:    Sort:
Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software Journal article
Liu J., Ye X., Zhou J.. Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software[J]. Gaojishu Tongxin/Chinese High Technology Letters, 2013, 23(11), 1139-1147.
Authors:  Liu J.;  Ye X.;  Zhou J.
Favorite | TC[Scopus]:1 | Submit date：2018/12/22
Colored Petri Nets (Cp-net)  Concurrency Control  Model Checking  Model Validation  Network Software  
Translation rules and a supporting tool for model-based reuse Conference paper
Zhao J., Zhou J., Liu J.. Translation rules and a supporting tool for model-based reuse[C], 2012, 310-315.
Authors:  Zhao J.;  Zhou J.;  Liu J.
Favorite | TC[Scopus]:1 | Submit date：2018/12/22
MDA  Petri net  Translation rule  UML  
Modeling of parallel interactive modes among collaborative processes based on high level Petri nets Conference paper
Xia Q., Zhou J., Sun C.. Modeling of parallel interactive modes among collaborative processes based on high level Petri nets[C], 2012, 83-86.
Authors:  Xia Q.;  Zhou J.;  Sun C.
Favorite | TC[Scopus]:0 | Submit date：2018/12/22
collaborative process  High Level Petri net  interactive mode  modeling  parallel  
Analyzing and verifying Petri net model of security protocol based on Maria Conference paper
Wang Y., Zhou J., Li H., Hao Y.. Analyzing and verifying Petri net model of security protocol based on Maria[C], 2010.
Authors:  Wang Y.;  Zhou J.;  Li H.;  Hao Y.
Favorite | TC[Scopus]:1 | Submit date：2018/12/22
Analysis And Verification  Maria  Petri Net  Security Protocol  
A flexible control strategy on workflow modeling and enacting Conference paper
Zhou J., Ye X.. A flexible control strategy on workflow modeling and enacting[C], 2006, 1712-1716.
Authors:  Zhou J.;  Ye X.
Favorite |  | Submit date：2018/12/22
Dynamic change  Flexibility  Petri net  Shell  Workflow  
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  
CBR: A component-based reduction method for semantics verification of workflow processes Journal article
Zhou J.-T., Shi M.-L., Ye X.-M.. CBR: A component-based reduction method for semantics verification of workflow processes[J]. Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2005, 33(6), 1060-1065.
Authors:  Zhou J.-T.;  Shi M.-L.;  Ye X.-M.
Favorite |  | Submit date：2018/12/22
Petri net  Reduction  Verification  Workflow  
Formal verification techniques in workflow process modeling Journal article
Zhou J., Shi M., Ye X.. Formal verification techniques in workflow process modeling[J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2005, 42(1), 1-9.
Authors:  Zhou J.;  Shi M.;  Ye X.
Favorite | TC[Scopus]:11 | Submit date：2018/12/22
Petri Net  Process Modeling  Reduction  Soundness  Verification  Workflow  
On reachability graphs of Petri nets Journal article
Ye X., Zhou J., Song X.. On reachability graphs of Petri nets[J]. Computers and Electrical Engineering, 2003, 29(2), 263-272.
Authors:  Ye X.;  Zhou J.;  Song X.
Favorite | TC[WOS]:27 TC[Scopus]:38 | Submit date：2018/12/22
Boundedness  Conservation  Coverability  Liveness  Petri Net  Reachability  Reachability Graph  Reachability Tree  Safeness