课程简介
本课程依次介绍Petri网系统、Petri网理论和应用实例。 网系统包括基本网系统（EN-系统）、库所/变迁系统（P/T-系统）、谓词/变迁系统（Pr/T-系统）、有色网系统及C-net系统。这些系统构成一个自然层次，本课程从底层的基本网系统开始依次给出它们的定义、性质和分析方法，突出其层次特征，包括结构特征和动态特征，特别是给出了顺序、并发、冲突和冲撞等基本现象的准确定义。 Petri网理论包括同步论、并发论、网逻辑、网拓扑及信息流系统。本课程主要介绍同步论和信息流系统。同步理论是BPM建模的理论基础。 Petri网的应用实例包括：哲学家就餐问题、N部电梯控制问题、业务流程管理问题和过程挖掘。本课程详细介绍了这些问题的关键点分析和解题全过程。 最后，本课程Petri网的四季模型和我国传统的八卦图联系起来分析，得出了一些有趣的结果。作为科学研究的过程示例，这些结果及分析过程期待同学们的批评。同时传达“书上写的，老师说的不一定对”这一思想，鼓励同学们独立思考。
课程大纲
第一章 概述
概述
第二章 有向网
有向网
第三章 Petri网
3-1 Petri网定义
3-2 Petri网层次系统
3-3 基本网（EN）系统
3-3 基本网系统课后思考题
3-4 条件-事件（C-E）系统
3-4 条件-事件系统课后习题
3-5 库所-变迁（P-T）系统
3-5 库所-变迁（P-T）系统课后习题
3-6 网系统层次
3-7 高级网系统
3-8 化简网系统
3-9 非线性网系统
3-10 小结
第四章 网论
4-1 前言
4-2 网拓扑
4-3 并发论
4-4 网逻辑
4-5 信息流网
4-6 同步论
4-7 同步论-合同实例
4-8 同步论-教堂婚礼实例
4-9 同步论 同步器
4-10 实例与方法——电梯控制
4-11 建模方法论
4-12 汉诺塔问题
第五章 业务流程管理
5-1 工作流网（WF_net）
5-2 工作流管理联盟
5-3 Artifacts
5-4 BPMN2.0
5-5 学界
5-6 业务流程管理（BPM）
5-7 BPM建模
5-8 流程举例
5-9 流程之外
Petri网小结
第六章 过程挖掘
6.1 过程挖掘基础
6.2 过程挖掘工具
6.3 过程挖掘算法介绍
6.4 未来研究方向
第七章 科研思考
7.1 科研三要素
7.2 Program today
7.3 Program yesterday
7.4 Theory of Programming
7.5 A of ARM
7.6 R of ARM
7.7 M of ARM
7.8 OESPA
第八章 总结
8.1 树个靶子
8.2 八卦与自然
8.3 结束语和感谢
概述
第二章 有向网
有向网
第三章 Petri网
3-1 Petri网定义
3-2 Petri网层次系统
3-3 基本网（EN）系统
3-3 基本网系统课后思考题
3-4 条件-事件（C-E）系统
3-4 条件-事件系统课后习题
3-5 库所-变迁（P-T）系统
3-5 库所-变迁（P-T）系统课后习题
3-6 网系统层次
3-7 高级网系统
3-8 化简网系统
3-9 非线性网系统
3-10 小结
第四章 网论
4-1 前言
4-2 网拓扑
4-3 并发论
4-4 网逻辑
4-5 信息流网
4-6 同步论
4-7 同步论-合同实例
4-8 同步论-教堂婚礼实例
4-9 同步论 同步器
4-10 实例与方法——电梯控制
4-11 建模方法论
4-12 汉诺塔问题
第五章 业务流程管理
5-1 工作流网（WF_net）
5-2 工作流管理联盟
5-3 Artifacts
5-4 BPMN2.0
5-5 学界
5-6 业务流程管理（BPM）
5-7 BPM建模
5-8 流程举例
5-9 流程之外
Petri网小结
第六章 过程挖掘
6.1 过程挖掘基础
6.2 过程挖掘工具
6.3 过程挖掘算法介绍
6.4 未来研究方向
第七章 科研思考
7.1 科研三要素
7.2 Program today
7.3 Program yesterday
7.4 Theory of Programming
7.5 A of ARM
7.6 R of ARM
7.7 M of ARM
7.8 OESPA
第八章 总结
8.1 树个靶子
8.2 八卦与自然
8.3 结束语和感谢
