吴文慧，女，1981年出生，硕士，高级实验师。1999年9月-2003年6月在浙江师范大学数理学院攻读物理教育专业学士学位，2003年9月-2005年12月于浙江师范大学理论物理专业攻读硕士学位，2006年2月至今在浙江工商大学信电学院工作并加入自动制造系统死锁控制科研团队。主要研究方向为离散事件系统监控、Petri网理论与应用。

Petri网相关方向发表论文10余篇，代表作如下：

[1]Extension of the Lower Bound of Monitor Solutions of Maximally Permissive Supervisors to Non-α Net Systems, International Journal of Systems science, 2016, 47(9): 2139-2151

[2]Controllability of weakly dependent siphons under elementary-siphon control, Transactions of the Institute of Measurement and Control, 2016,38（8）.

[3]Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems, Asian Journal of Control, vol. 16, no. 6, pp. 1-12, 2015,17（1）.

[4]基于补库所的死锁预防策略研究, 计算机学报, 第36卷，第11期，2257-2265页，2013.

[5]Fang Yu, A control policy for γ-nets without reachability analysis and siphon enumeration, IEEE International Conference on Automation Science & Engineering, 2013, Madison, Wisconsin, USA, 2013.08.17-2013.08.21

主持并结题的项目有：浙江省自然科学基金项目“基于信标的并行程序Gadara网死锁控制研究(LY15F030002)”；浙江省科技计划项目“基于Petri网的多线程软件系统死锁预防控制策略的研究和开发（2013C31111）”。另外以核心人员参与国家自然科学基金“极小信标计算及其可控性条件研究(61472361)”；国家自然科学基金“基于Petri网的柔性制造系统高效的死锁预防控制策略的研究（61100056）”；浙江省自然科学基金“基于Petri网自动制造系统死锁预防控制器的研究（Y1100830）”等。

电子邮箱：wwh@mail.zjgsu.edu.cn