Petri网原理及其应用研究CAI课件.pptVIP

* * Petri网原理及其应用研究CAI课件 长沙理工大学计算机与通信工程学院 乐晓波 2008年2月制作 任课老师:乐晓波 联系方式： 1.E-mail:yuexiaobo@ 2.电话：0731-5040065 3.手机4.教学文档下载: petri2010@ 密码:123456 第一讲 绪论 第一章 网和网系统 第一讲 实例 第二讲 基本定义 第三讲 基本定义（续） 第四讲 网系统的分类 第二章 基本网系统 第一讲 定义和变迁规则 第二讲 S补与T补 第三讲 S图、T图与活性定理 第四讲 EN_系统的应用 第五讲 EN_系统的应用(续) 第三章 库所/变迁系统 第一讲 可达标识集与可达树 第二讲 出现序列、变迁序列、进程 第三讲 不变量、层次模拟与抽象 第四章 高级网系统 第一讲 谓词变迁系统(Pr/T_系统) 第二讲 自 控 网 系 统 第五章 条件/事件系统 第六章 模糊Petri网与时间Petri网 第一讲 模糊Petri网的定义及其应用 第二讲 时间Petri网的定义及其应用 第七章 同步论 第一讲 同 步 距 离 第二讲 同步距离的应用 附录 课程论文选题参考 *