着色Petri网原理及应用.docVIP

表3． 控制系 学院（系、所） 控制理论 研究生课程简介 课程名称：着色Petri网原理及应用 英文名称：Colored Petri Nets: Principle and Practical Use 课程代码：184.523 课程类型：□讲授课程 □实践（实验、实习）课程 □研讨课程 □专题讲座 □其它 考核方式： 开卷 教学方式：课堂讲授 适用专业：控制、系统工程、计算机等 适用层次： 硕士 □ 博士 □ 开课学期： 秋季 总学时/讲授学时： 32 / 32 学分：2 先修课程要求： 无 课程组教师姓名 职 称 专 业 年 龄 学术专长 王明哲 教授 控制 59 控制与系统工程 尹平林 副教授控制理论与控制工程Petri网分析方法S 不变量和T不变量Petri网简化规则与系统分析PN模型PN模型Petri网Petri网基础Petri网形式化定义CPN与OPN间的等价CPN的层次结构组件CPN建模举例CPN形式化定义 着色Petri 网性质与分析方法CPN的（静态／动态）性质CPN的分析方法Petri网建模仿真工具和实验Kurt Jensen著, Coloured Petri nets. Basic Concepts, Analysis methods and Practical Use. Volume 1 Springer-Verl