研究成果

1. 主要科研项目

(1) 并发软件系统的WFD-net模型及偏序展开分析方法研究，国家自然科学基金青年项目，2021.1-2023.12，主持。

(2) 条件驱动的并发系统数据不一致检测方法研究，浙江省自然科学基金青年项目，2020.1-2022.12，主持。

(3) 基于WFD-net的业务数据流程建模及错误检测方法研究，教育部重点实验室基金项目，2020.1-2021.12，主持。

(4) 面向并发软件系统的网展开分析方法研究，教育部重点实验室基金项目，2022.1-2023.12，主持。

(5) 基于标号Petri网的行为安全互模拟研究，国家自然科学基金面上项目，2016.1-2019.12，参与。

(6) 基于蜕变测试技术的模型转换错误定位方法研究，浙江省自然科学基金项目，2020.1-2022.12，参与。

2. 代表性学术论文

[1] Xiang  Dongming, Lin Shuai , Wang Xuehui  and Liu Guanjun . Checking Missing-Data Errors in Cyber-physical Systems Based on The Merged Process of Petri Nets. IEEE Transactions on Industrial Informatics, 2022, DOI:10.1109/TII.2022.3181669.(SCI TOP)

[2]  Xiang Dongming, Liu Guanjun, Yan Chungang, Jiang Changjun. A Guard-driven Analysis Approach of Workflow Net With Data. IEEE Transactions on Services Computing, 2021,14(6): 1650-1661.(SCI TOP)

[3]  Xiang Dongming, Liu Guanjun, Yan Chungang, Jiang Changjun. Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets. IEEE Transactions on Industrial Informatics, 2017, 13(6): 2995-3005. (SCI TOP)

[4]  Xiang Dongming, Liu GuanJun, Yan Chungang, Jiang Changjun. Detecting data-flow errors based on Petri nets with data operations. IEEE/CAA Journal of Automatica Sinica, 2018, 5(1): 251-260. (SCI TOP)

[5]  Zhao Fang, Xiang Dongming, Liu Guanjun, Jiang Changjun. A New Method for Measuring the Behavioral Consistency Degree of WF-net systems. IEEE Transactions on Computational Social Systems, 2022, 9(4): 480-493. (SCI)

[6] Xiang Dongming, Liu Guanjun. Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net. Computing and Informatics, 2020, 39(1). (SCI)

[7] Xiang Donmging, Zhao Fang, Liu Yangping. DICER 2.0: A New Model Checker for Data-Flow Errors of Concurrent Software Systems. Mathematics, 2021, 9(9): 966. (SCI)

[8] Xiang Dongming,  Tao Xiaoyan , Liu Yangping. An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets[J]. SYMMETRY, 2021, 13(3): 392. (SCI)

[9]   Xiang Dongming, Liu Guanjun, Yan Chungang, Jiang Changjun. Checking the inconsistent data in concurrent systems by petri nets with data operations. 2016 IEEE 22nd International Conference on Parallel and Distributed Systems (ICPADS), Wuhan, China, 2016: 501-508. (EI)

[10] Xiang Dongming, Liu Guanjun, Yan Chungang, Jiang Changjun. DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net. IEEE 14th ICNSC, Calabria, Italy, 2017: 115-120. (EI)