安毅生，博士研究生，教授，硕士生导师，

    Petri网理论与应用、计算机支持协同设计、分布式测控技术等。担任计算机专业实验室主任，主讲操作系统、Linux核心与编程技术、计算机网络与通信技术、软件新技术与新理论等多门本科及研究生课程。

 

 

主要承担和完成的科研项目

1. 陕西省交通信息基础数据元（公路）字典编制，陕西省交通厅

2.长庆石油勘探局汽车安全性能自动测控系统

3.中兴汽车汽车安全性能自动测控系统

4.基于高级Petri网的协同设计活动建模与分析，校青年科学基金。

 

部分已发表的论文

1.Yisheng An, Renhou Li. Expression and Verification of Task Management in Collaborative Design, Proceedings of IEEE-CASE 2007, 2007: 800-805, Arizona, USA(EI)

2.Yisheng An, Renhou Li. Formal Dialogue and Its Application to Team Formation in Cooperative Design. Lecture Notes in Computer Science 3168, 2005 (SCI,EI)

3.Yisheng An, Renhou Li. A Multi Agent Based New Cooperation Method in CSCD. Proceeding of 8th International Conference on CSCW in Design, 2004: 1463-1468, Xia’men, China (EI)

4.安毅生, 李人厚. 基于过程控制网的协同设计建模与分析, 计算机集成制造系统, 2006, 12(9):1352-1358 (EI）

5.安毅生, 李人厚. 对象化模糊Petri网的任务协同分配建模与推理, 计算机辅助设计及图形学学报, 2006, 18(5): 710-714 (EI)

6.安毅生, 李人厚. 基于对话的多Agent 协作交互模型, 西安交通大学学报, 2005, 39(12): 1344-1348 (EI)

7.安毅生, 李人厚. 基于对象的扩展Petri网协同设计过程分析, 控制与决策，2008（9）

8.安毅生，李人厚. 协同设计系统中一种新的访问控制模型.长安大学学报 2004/6 (EI)