Fang Zhao, Ph.D.

Lecturer

Department of Date Science

School of Microelectronics &Data Science

Anhui University of Technology

 

Research Interests

l Petri Net Theory and its Application

l Software Formalization Methods

l Model Checking

 

Teaching Courses

l Linear Algebra、Math Software and Discrete Mathematics

 

Grants

202301-202412, A Study of Behavior Analysis on E-commerce Business Flow System Based on Petri nets, Youth Fundation of Anhui University of Technology (grant no. RZ2200002695).

 

Selected Publications

[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)