Petri网：模型、理论与应用视频教程-MOOC慕课-网络教育学院-柠檬大学

袁崇义，1941年生，山东人。1964年南京大学数学系毕业，入中科院数学所为研究生，1968年毕业留所。1975年改行学习计算机软件。1977年至1979年加拿大多伦多大学，滑铁卢大学进修软件开发。1984年至1990年期间4次共3+年访问西德GMD（国家研究中心）Petri教授的研究所，1992年底调入北京大学计算机系，教授，后任硕导、博导。主要研究方向：Petri网、工作流、软件语义正确性验证。2005年退休。在北大教授两门研究生软件理论课：Petri网和并行计算（形式语义）有4部Petri网专著。基于Petri网，首创程序语义正确性验证理论，以期替代统治软件工程已久的软件测试步骤。

闻立杰-副教授-清华大学-

闻立杰博士，1977年生，河北唐山人，清华大学软件学院副教授、博士生导师。主要研究方向：大数据交互式分析、流程大数据管理与挖掘、工作流技术。作为项目负责人先后主持国家重点研发计划1项、国家自然基金目2项；作为技术骨干参与国家核高基重大专项、国家973/863计划、国家自然科学基金、教育部科研基金等项目十数项；获国家发明专利1项；获国家科技进步二等奖1项（排名6）。近年来在国内外重要期刊、会议发表文章90余篇，据Google Scholar统计，发表论文被引用2400多次；译著3部；获业务过程管理领域顶级会议最佳学生论文奖（亚洲首次）；过程挖掘论文已被收入国际教材和学术专著。现任国际会议ICSOC、BPM、PAKDD、CoopIS程序委员会委员，IEEE过程挖掘工作组XES标准化小组委员（亚洲唯一）。

王建民-教授-清华大学-

王建民博士，1968年生，吉林磐石人，清华大学软件学院教授、博士生导师、院长。国家杰出青年科学基金获得者、国家政府特殊津贴获得者。国家863计划先进制造技术领域“面向制造业的核心软件开发”重大项目总体专家组组长(2012年起)、全国信息安全标准化技术委员会大数据安全标准特别工作组组长（2016年起）、“十二五”国家863计划先进制造领域制造服务技术主题专家组成员、国家卫计委人口健康信息化专家咨询委员会委员（2014年起）、国家“核高基”科技重大专项总体组成员（2008-2013）。2008年以来在IEEE TKDE、VLDBJ、TIP、IEEE TSC、WWWJ等期刊和ACM SIGMOD、VLDB、IEEE ICDE、AAAI、ICML、NIPS、IJCAI、ACM Multimedia、CVPR、ICCV等会议上发表学术论文210余篇；获得中国发明专利授权20余项。2006年入选国家教育部新世纪优秀人才支持计划，同年获得北京市师德先进个人。1998年获国家科技进步二等奖(排名4)，2013年入选国家科技部中青年科技领军人才计划，2014年获得国家科技进步二等奖（排名1）。担任ICSOC 2017联合程序主席、WISE 2016联合程序主席、2015-2016年中国计算机学会CCF大数据学术会议联合程序主席。

Petri网：模型、理论与应用

Petri网：模型、理论与应用课程：前往报名学习

Petri网：模型、理论与应用视频慕课课程简介：

Petri网：模型、理论与应用课程列表：

{{'上次学习:'+learn_list['THU08091000662']['last_leaf_name']}}

第一章概述

第二章有向网

第三章 Petri网

第四章网论

第五章业务流程管理

第六章过程挖掘

第七章科研思考

第八章总结

Petri网：模型、理论与应用开设学校：清华大学

Petri网：模型、理论与应用授课教师：

袁崇义-教授-北京大学-

闻立杰-副教授-清华大学-

王建民-教授-清华大学-

也许你还感兴趣的课程:

Petri网：模型、理论与应用

Petri网：模型、理论与应用课程：前往报名学习

Petri网：模型、理论与应用视频慕课课程简介：

Petri网：模型、理论与应用课程列表：

{{'上次学习:'+learn_list['THU08091000662']['last_leaf_name']}}

第一章 概述

第二章 有向网

第三章 Petri网

第四章 网论

第五章 业务流程管理

第六章 过程挖掘

第七章 科研思考

第八章 总结

Petri网：模型、理论与应用开设学校：清华大学

Petri网：模型、理论与应用授课教师：

袁崇义-教授-北京大学-

闻立杰-副教授-清华大学-

王建民-教授-清华大学-

也许你还感兴趣的课程:

第一章概述

第二章有向网

第四章网论

第五章业务流程管理

第六章过程挖掘

第七章科研思考

第八章总结