王生原 - 清华大学 - 计算机科学与技术系

个人简介

教育背景工学学士 (计算机科学与技术), 太原工学院, 中国, 1984 工学硕士 (计算机科学与技术), 西北电讯工程学院, 中国, 1987 理学博士 (计算机科学与技术), 北京大学, 中国, 2001 研究课题国家自然科学基金可信软件基础研究重大研究计划面上课题: 基于有色网的事务型并发编程模型及其验证技术 (2009-2011) 国家自然科学基金面上课题: 用于目标机描述的元对象Petri网模型(2006-2008)

研究领域

程序设计语言与系统并发系统建模, Petri网理论与应用

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Shengyuan Wang, Jian Yu, Chongyi Yuan. A Pragmatic Behavior Subtyping Relation Based on Both States and Actions. Journal of Computer Science and Technology. Vol.16, No.5, pp. 418-425, 2001. 王生原, 杨良怀, 袁崇义, 杨萍. 并发面向对象中的继承反常现象. 软件学报, 第13卷, 第6期, 1148-1154, 2002. Shengyuan Wang, Jian Yu, Chongyi Yuan. A Net-based Multi-tier Behavior Inheritance Modeling Method. Proc. 4th International Andrei Ershov Memorial Conference(PSI 2001), PERSPECTIVES OF SYSTEM INFORMATICS, Akademgorodok, Novosibirsk, Russia, 2001, Lecture Notes in Computer Science, vol.2244, pp. 279-286. Shengyuan Wang, Yuan Dong. Improving Combinability of Petri Nets with Inheritance, Aggregation and Association. Proc. 1st IEEE&IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, IEEE CS Press, 2007, pp. 433-439. Shengyuan Wang, Yuan Dong. A Verifiable Low-level Concurrent Programming Model Based on Colored Petri Nets, Proc. of Petri Nets and Distributed Systems 2008 (a satellite workshop of 29th ATPN conference), Xi an, China, June 23-24, pp. 147-166. 王生原, 董渊, 杨萍, 张素琴. 编译原理, 人民邮电出版社, 北京, 2010.