离散事件系统与实体行为描述

"离散事件系统是一门涵盖了实体行为描述、排队规则确定等内容的学科，主要研究的对象包括Automata、Petri Net、Queueing Network等。该课程由上海交通大学的赵群飞教授授课，强调了实体属性在系统建模中的重要性，并通过具体的案例如飞机飞行、生产线管理来阐述这些概念。课程还安排了学生进行‘Application of Discrete Event Systems to my Research’的英文论文阅读，并以轮讲和书面报告的形式进行考核。" 离散事件系统是一种模拟和分析复杂系统行为的方法，特别适用于那些由离散事件驱动的系统，如生产流程、交通系统或计算机网络。系统中的实体，如"飞机"或"工件"，可以通过特定属性来描述其行为。例如，飞机的飞行速度属性可以用来计算两个地点之间的飞行时间，而生产线上的工件优先级则能指导按优先级顺序的处理规则。 Automata（自动机）和Petri Net是离散事件系统中常见的建模工具。Automata理论用于描述和分析系统的状态转换，而Petri Net则提供了一种图形化的表示法，可以直观地展示系统中的并发行为和资源竞争。Queueing Network（排队网络）则是用于模拟服务系统中多个相互关联的等待队列，例如，工厂流水线上的工件流。 课程中，学生需要阅读和理解关于离散事件系统应用的英文论文，并进行轮讲，每人30分钟，这有助于提升学生的独立研究能力和学术交流技巧。此外，书面报告的撰写是对学生理解和综合运用所学知识的检验，占总成绩的40%。课程的考核还包括平时表现，如课堂纪律、出勤情况，以及参与度。 参考书籍包括《离散事件系统建模与仿真》（王维平编著，科学出版社）、《离散事件系统建模与仿真》（张燕云，清华大学出版社），以及《Modeling and Control of Discrete-event Dynamic Systems——with Petri Nets and Other Tools》（Branislav Hrúz & Meng Chu Zhou，Springer, 2007），提供了丰富的理论基础和实践案例。 学生还可以通过访问IEEE Technical Committee on Discrete Event Systems的网站获取更多相关资源，进一步深化对离散事件系统理论和应用的理解。