学术论文(带*为通信作者) [1]Wangyang Yu, Chungang Yan, Zhijun Ding, Changjun Jiang, and Mengchu Zhou. Modeling and Validating E-commerce Business Process Based on Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, 44(3): 327-341. (SCI) [2]Wangyang Yu, Chungang Yan, Zhijun Ding, Changjun Jiang, and Mengchu Zhou. Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns. IEEE Transactions on Automation Science and Engineering, 2016, 13(2): 647–662. (SCI) [3]Wangyang Yu, Chungang Yan, Zhijun Ding, Changjun Jiang, and Mengchu Zhou. Analyzing E-commerce Business Process Nets via Incidence Matrix and Reduction. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48(1): 130-141. (SCI) [4]Mimi Wang, Zhijun Ding, Peihai Zhao, Wangyang Yu(通讯作者), and Changjun Jiang. A Dynamic Data Slice Approach to the Vulnerability Analysis of E-commerce Systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2019, DOI: 10.1109/TSMC.2018.2862387. (SCI) [5]Wangyang Yu, Zhijun Ding, Lu Liu, Xiaoming Wang, Richard David Crossley, Petri net-based methods for analyzing structural security in e-commerce business processes, Future Generation Computer Systems, 2019,https://doi.org/10.1016/j.future.2018.04.090. (SCI) [6]Wangyang Yu, Zhijun Ding, and Xianwen Fang. Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and Its Application in System Analysis. Asian Journal of Control, 2015, 4(17): 1403–1414. (SCI) [7]Wangyang Yu, Chungang Yan, Zhijun Ding, and Xianwen Fang. Extended and Improved Slicing Technologies for Petri nets. High Technology Letters, 2013, 19(1): 98-104. (EI) [8]Wangyang Yu, and Xianwen Fang. Analyzing Real-time Predictability of Business Processes Based on Petri Nets. Advances in Intelligent Systems and Computing, 2013, 212: 207-215. (EI) [9]Wangyang Yu, Guanjun Liu, and Leifeng He. A Reduction Method of Analyzing Data-liveness and Data-boundedness for a Class of E-commerce Business Process Nets, 9th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage (SpaCCS 2016), LNCS. (EI) [10]于汪洋, 黄昭, 方贤文. 电子商务业务流程网的可达分析方法. 电子学报, 2017, 45 (7): 1731-1739. (EI) |