西北大学信息学院研究生学术活动月学术讲座

报告人：郝克刚 教授

时间：2013.10.08（星期二）下午6:30（约1个半小时）。

地点：信息学院大楼8层大教室

题目：Petri 网和Pi演算简介

--兼谈最近我们在这方面的研究工作。

摘要：本讲座的目的，是希望计算机有关专业的研究生，不仅要关注新技术的发展，还要关注为新技术建立科学基础的理论工作。

本讲座首先通俗地讲解Petri 网和 Pi演算这两个重要的理论计算模型，然后介绍最近我们在这方面的两项研究成果：

1）pi演算的一种扩展：pi+ 演算，及其对Petri网的表示。

2）递归无穷Petri网（RIPN），一个同图灵机等价的无穷Petri网模型。

讲稿：

2013学术活动月学术讲座.pps

报道：

http://ist.nwu.edu.cn/xxxycms/release_html/news/291.html

信息学院研究生学术活动月郝克刚教授学术报告成功举行

作者：admin  时间：：2013-10-11  

2013年10月8日晚，原西北大学校长、计算机系主任郝克刚教授在信息学院八层报告厅为学院100余名师生做了题为“Petri网和Pi演算简介及研究”的学术报告，受到热烈欢迎。此次报告也是我院第七届研究生学术活动月特邀报告之一。

首先，郝克刚教授用简单提问的方式引出“Petri网和Pi演算”的相关话题。接着，郝教授用生动的语言和形象化的图形，为我们详细地介绍了“Petri网和Pi演算”这两个重要的理论计算模型以及两项重要研究成果。最后，郝教授强调我们在关注新技术发展的同时不能忽略基础理论知识的学习和研究。整个讲座过程中，大家认真聆听，仔细做好记录，同学们深深地为郝教授渊博的知识所折服。

讲座结束后，西北大学电视台就研究生学术活动月和讲座内容等话题对郝克刚教授和几名同学进行了采访，郝克刚教授认真细致的回答了记者所提的问题，他的回答让在场同学对郝教授的治学精神产生崇高敬意。最后，郝克刚教授还为此次活动留下了真诚的期望和寄语。（西北大学信息学院研究生会）