UM

Browse/Search Results:  1-10 of 11 Help

Selected(0)Clear Items/Page:    Sort:
Modeling, design, and implementation of a cloud workflow engine based on aneka Journal article
Journal of Applied Mathematics, 2014,Volume: 2014
Authors:  Zhou J.;  Sun C.;  Fu W.;  Liu J.;  Jia L.;  Tan H.
Favorite  |  View/Download:3/0  |  Submit date:2018/12/22
Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software Journal article
Gaojishu Tongxin/Chinese High Technology Letters, 2013,Volume: 23,Issue: 11,Page: 1139-1147
Authors:  Liu J.;  Ye X.;  Zhou J.
Favorite  |  View/Download:1/0  |  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
Proceedings - International Computer Software and Applications Conference
Authors:  Zhao J.;  Zhou J.;  Liu J.
Favorite  |  View/Download:0/0  |  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
Proceedings - 9th Web Information Systems and Applications Conference, WISA 2012
Authors:  Xia Q.;  Zhou J.;  Sun C.
Favorite  |  View/Download:2/0  |  Submit date:2018/12/22
collaborative process  High Level Petri net  interactive mode  modeling  parallel  
Scalable process modeling based on net synthesis under cloud computing environment Conference paper
Proceedings - 2011 IEEE International Conference on Granular Computing, GrC 2011
Authors:  Zhou J.;  Liang R.;  Wang Y.
Favorite  |  View/Download:3/0  |  Submit date:2018/12/22
cloud computing  liveness  net synthesis  process modeling  Semantics Constrained Net  
Analyzing and verifying Petri net model of security protocol based on Maria Conference paper
ICCASM 2010 - 2010 International Conference on Computer Application and System Modeling, Proceedings
Authors:  Wang Y.;  Zhou J.;  Li H.;  Hao Y.
Favorite  |  View/Download:1/0  |  Submit date:2018/12/22
Analysis and verification  Maria  Petri net  Security protocol  
A flexible control strategy on workflow modeling and enacting Conference paper
8th International Conference Advanced Communication Technology, ICACT 2006 - Proceedings
Authors:  Zhou J.;  Ye X.
Favorite  |  View/Download:2/0  |  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
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:2/0  |  Submit date:2018/12/22
Petri net  Reduction  Verification  Workflow  
Formal verification techniques in workflow process modeling Journal article
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2005,Volume: 42,Issue: 1,Page: 1-9
Authors:  Zhou J.;  Shi M.;  Ye X.
Favorite  |  View/Download:2/0  |  Submit date:2018/12/22
Petri net  Process modeling  Reduction  Soundness  Verification  Workflow