Charging Model Research of Infrastructure Layer in Cloud Computing Based on Cost-Profit Petri Net. - Lirui Bai; Tong Li 004; Xinjun Wu; Zhongwen Xie (CyberC, 2011)

The Intelligent Identification and Elimination of Non-precipitation Echoes in the Environment of Low-Latitude Plateaus. - Jian Wang 078; Na Zhao 006; Peng Li; Yong Yu 009; Fei Dai 002; Zhongwen Xie; Jianglong Qin (BICS, 2012)

A Petri Net Based Model for Trustworthy Software Process Composition. - Xuan Zhang 002; Tong Li 004; Zhongwen Xie; Fei Dai 002; Jinzhuo Liu (COMPSAC Workshops, 2013)

基于关联矩阵的软件演化过程结构验证 (Structure Verification Method for Software Evolution Process Based on Incidence Matrix). - Jinzhuo Liu; Qian Yu; Na Zhao 006; Zhongwen Xie; Yong Yu 009; Feilu Hang; Yunzhi Jin (计算机科学, 2015)

基于Petri网的软件动态演化的一致性分析 (Consistency Analysis of Software Dynamic Evolution Based on Petri Net). - Zhongwen Xie; Li Ming; Ying Lin 004; Jianglong Qin; Qi Mo; Tong Li 004 (计算机科学, 2016)

An approach to measuring semantic similarity and relatedness between concepts in an ontology. - Yunzhi Jin; Hua Zhou; Hongji Yang; Yong Shen; Zhongwen Xie; Yong Yu 009; Feilu Hang (ICAC, 2017)

一种面向SaaS多租户的多层模型 (Multi-layer Model for SaaS Multi-tenancy). - Xiang Li; Tong Li 004; Zhongwen Xie; Yun He; Lei Cheng; Xu Han (计算机科学, 2017)

面向对象的可信构件网的组装研究 (Study of Component Assembling Technologies under Object-oriented Trusted Component Model). - Na Zhao 006; Jian Wang 078; Tong Li 004; Yong Yu 009; Peng Li; Zhongwen Xie (计算机科学, 2017)

Operation Refinement in Trusted Component Based on OR-Transition Colored Petri Net. - Na Zhao 006; Jin Xu; Xiucheng Yang; Zhongwen Xie; Yong Yu 009; Jian Wang 078 (Int. J. Inf. Syst. Supply Chain Manag., 2018)

一种带租户演化容忍度的SaaS服务演化一致性判定方法 (Saas Service Evolution Consistency Checking with Tenant Tolerance). - Xiaofang Wang; Zhongwen Xie; Tong Li 004; Lei Cheng; Jiaojiao Zheng; Xiaofang Liu (计算机科学, 2018)

构件系统演化一致性的判定方法 (Judgement Method of Evolution Consistency of Component System). - Jiaojiao Zheng; Tong Li 004; Ying Lin 004; Zhongwen Xie; Xiaofang Wang; Lei Cheng; Miao Liu (计算机科学, 2018)

Abstraction of Operations in Trusted Components Based on OR-Transition Colored Petri Net. - Yong Yu 009; Ming Jing; Detao Ji; Yuanyuan Wang; Zhongwen Xie; Shudong Li (ICAIS (4), 2019)

A Correctness Enforcement Approach for Collaborative Business Processes. - Qi Mo; Lirui Bai; Fei Dai 002; Jianglong Qin; Zhongwen Xie; Tong Li 004 (IEEE Access, 2019)

Development of Private Processes: A Refinement Approach. - Qi Mo; Fei Dai 002; Di Liu; Jinglong Qin; Zhongwen Xie; Tong Li 004 (IEEE Access, 2019)

Evolution of cooperation on independent networks: The influence of asymmetric information sharing updating mechanism. - Jinzhuo Liu; Haoran Meng; Wei Wang 140; Zhongwen Xie; Qian Yu (Appl. Math. Comput., 2019)

An extended object-oriented petri net supporting the description and evolution of components: EOOPN. - Na Zhao 006; Yong Yu 009; Jian Wang 078; Zhongwen Xie; Zhendi Yang; Lei Cheng (Clust. Comput., 2019)

Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets. - Qi Mo; Jianeng Wang; Chengting Jiang; Zhongwen Xie; Cong Liu 012; Fei Dai 002 (IEEE Trans. Syst. Man Cybern. Syst., 2024)

Enforcing Correctness of Collaborative Business Processes Using Plans. - Qi Mo; Jianeng Wang; Zhongwen Xie; Cong Liu 012; Fei Dai 002 (IEEE Trans. Software Eng., 2024)

Enforcing Data-Aware Business Processes Using Execution Path-Oriented Strategies. - Qi Mo; Jianeng Wang; Yi Jiang; Zhongwen Xie; Wei Wang 140; Cong Liu 012; Fei Dai 002 (IEEE Trans. Syst. Man Cybern. Syst., 2024)