赵芳，讲师。2022年5月在同济大学获得博士学位，主要从事Petri网原理及应用、软件形式化验证和模型检测等方面的研究。已发表SCI期刊论文5篇，EI期刊论文2篇，CSCD论文2篇。主持安徽工业大学校青年基金1项。

研究领域：Petri网原理及其应用、软件形式化验证和模型检测

主讲课程：线性代数，离散数学，数学软件，C语言程序设计，计算机视觉

基金项目：202301-202412，基于Petri网的电子商务业务流系统的行为分析研究，安徽工业大学校青年基金，RZ2200002695.

代表性论文：

[1]Fang Zhao, Dongming Xiang.The Effect of Missing Data on Cyclic Design Requirements of a WFD-net System.Computing and Informatics, 2025, 1~28.(SCI)

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

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

[5]Fang Zhao, Dongming Xiang, Guanjun Liu,ChangjunJiang. 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)

[6]DongmingXiang,FangZhao,YapingLiu. DICER 2.0: A New Model Checker for Data-flow Errors of Concurrent Software Systems. Mathematics, 2021, 9(9):1~20.(SCI)