上海交大赵群飞教授离散事件系统课件详解：Petri网与应用

离散事件系统课件是上海交通大学赵群飞教授主讲的一门课程，涵盖了多个关键主题，如Automata（自动机）与Petri网、排队论在离散事件系统（DES，Discrete Event System）中的应用、以及混合系统的建模与控制。该课程的教学计划从4月12日开始，包括理论概述、Petri网的基础理论、排队网络在DES的实际应用、混合系统模型与控制方法，以及一轮针对"Application of Discrete Event Systems to my Research"英文论文的阅读和讨论环节。 学生们被要求阅读指定的英文论文，并将其主要内容整理成PPT，在课堂上进行30分钟的演讲，同时提交一份书面报告，作为期末考核的重要组成部分。平时成绩占总分的60%，其中包括课堂纪律、出勤和行为规范评分，迟到、早退和缺课都会受到相应的扣分。迟到1次扣5分，依次递增，累计缺席达到一定次数将面临更严重的处罚。 参考书目丰富，包括《离散事件系统建模与仿真》（王维平编著，科学出版社）、《离散事件系统建模与仿真》（张燕云著，清华大学出版社），以及Branislav Hrúz和Meng Chu Zhou合著的《Modeling and Control of Discrete-event Dynamic Systems》（Springer, 2007）。此外，学生还可以利用IEEE Technical Committee on Discrete Event Systems的官方网站http://www.cas.mcmaster.ca/destc/ 获取进一步的研究资料和学术资源。 第一部分是离散事件系统概述，讲解了离散事件系统的概念，它是一种描述系统行为的方式，关注的是系统中事件的发生和它们之间的关系。这部分内容可能涉及基本的系统模型、事件流的概念、以及DES在实际问题中的典型应用场景，如生产调度、物流管理等。 通过这门课程，学生们不仅能够深入理解离散事件系统的理论基础，还能掌握如何运用Petri网和其他工具进行系统建模和控制，以及如何结合实际研究进行案例分析和论文阅读。这对于从事IT行业的学生来说，是一项提升系统分析和设计能力的关键课程。