赵芳，博士，讲师。主要从事Petri网原理及应用、软件形式化验证和模型检测等方面的研究。在国内外期刊上以第一作者发表SCI论文3篇，EI论文1篇，CSCD论文1篇；合作发表SCI论文1篇，EI论文1篇，CSCD论文1篇。主持bv伟德体育app校青年基金1项。

研究领域

l Petri网原理及应用

l 软件形式化方法

l 模型检测

主讲课程

l 线性代数、数学软件、离散数学

基金项目

202301-202412，基于Petri网的电子商务业务流系统的行为分析研究，bv伟德体育app校青年基金，RZ2200002695.

代表性论文

[1] Fang Zhao, Dongming Xiang, Guanjun Liu, Changjun Jiang. Behavioral Consistency Measurement Between Extended WFD-nets. Information Systems, 2023, 119: 1~14. (SCI)

[2] Fang Zhao, Dongming Xiang, Guanjun Liu. The Trace Consistency Measurement of WFD-net Systems. Frontiers in Computer Science, section Theoretical Computer Science, 2023, 5: 1~13. (EI)

[3] Fang Zhao, Dongming Xiang, Guanjun Liu, Changjun Jiang, Honghao Zhu. Detecting and Repairing Data-flow Errors in WFD-net Systems. Computer Modeling in Engineering & Sciences, 2022,131(3): 1337~1363. (SCI)

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

[5] Dongming Xiang, Fang Zhao, Yaping Liu. DICER 2.0: A New Model Checker for Data-flow Errors of Concurrent Software Systems. Mathematics, 2021, 9(9):1~20. (SCI)