王寿光，自动化学报(英文版)杂志副主编、IEEE Access杂志副主编、系统控制建模研究院院长、教授、省杰出青年基金获得者、省中青年学科带头人、IEEE高级会员、中国计算机学会高级会员、东北大学兼职博士生导师、卡利亚里大学合作博士生导师。浙江大学控制理论与控制工程专业博士 (2000.9－.6)，长沙交通学院自动化专业学士(1996.9－2000.6)。浙江工商大学教师(.6至今)。浙江大学电气工程学院博士后(.4－.3)，美国新泽西理工学院访问学者(.1-.1)，意大利卡利亚里大学访问学者(.12-.12)。主要研究方向为离散事件系统监控理论、Petri网理论与应用。近年来发表30多篇被SCI收录的论文，其中IEEE/ACM Transactions论文13篇，ESI高被引论文3篇，top期刊IEEE Transactions on Automatic Control (TAC)论文5篇。主持国家自然基金、省自然基金等10多个项目，其中一项省自然基金被评为 “十一五”100项浙江省自然科学基金优秀项目。已合作培养3名博士生。
以第一作者或通讯作者发表的代表性论文如下：
[1]Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs. IEEE T. AC. 64(10): 4353-4360,
[2] Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions. Inf. Sci. 501: 635-654 ()
[3] An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S3PR Nets. IEEE Trans. Contr. Sys. Techn. 26(6): 2135-2140,
[4]A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions. IEEE T. SMC, Syst., 48(8): 1403-1410,
[5]New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets. Sci. China Inf. Sci. (中国科学). 61(12): 129104:1-129104:3,
[6]A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S4PR. IEEE T. AC. 62(8): 4173-4179,
[7]Computation of strict minimal siphons in a class of Petri nets based on problem decomposition. Inf. Sci. 409: 87-100,
[8]Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions. IEEE T. AC. 61(7), pp. 1953 - 1958,
[9]Optimal Supervisor Synthesis for Petri Nets with Uncontrollable Transitions: A Bottom-up Algorithm. Information Sciences. 363:261–273,
[10]Macro liveness graph and liveness of ω-independent unbounded nets. Sci. China Inf. Sci. (中国科学). 58(3): 1-10,
电子邮箱：wangshouguang@
