本课程依次介绍Petri网系统、Petri网理论和应用实例。
网系统包括基本网系统（EN-系统）、库所/变迁系统（P/T-系统）、谓词/变迁系统（Pr/T-系统）、有色网系统及C-net系统。这些系统构成一个自然层次，本课程从底层的基本网系统开始依次给出它们的定义、性质和分析方法，突出其层次特征，包括结构特征和动态特征，特别是给出了顺序、并发、冲突和冲撞等基本现象的准确定义。
Petri网理论包括同步论、并发论、网逻辑、网拓扑及信息流系统。本课程主要介绍同步论和信息流系统。同步理论是BPM建模的理论基础。
Petri网的应用实例包括：哲学家就餐问题、N部电梯控制问题、业务流程管理问题和过程挖掘。本课程详细介绍了这些问题的关键点分析和解题全过程。
最后，本课程Petri网的四季模型和我国传统的八卦图联系起来分析，得出了一些有趣的结果。作为科学研究的过程示例，这些结果及分析过程期待同学们的批评。同时传达“书上写的，老师说的不一定对”这一思想，鼓励同学们独立思考。
Overview
Syllabus
- 第一章 概述
- 概述
- 第二章 有向网
- 有向网
- 第三章 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 结束语和感谢
Taught by
Chongyi Yuan, Lijie Wen, and Jianmin Wang
