34、有色Petri网教学：项目实践与经验分享

有色Petri网教学：项目实践与经验分享

1. 课程项目概述

每年会提供五到十个项目提案，参与者也能选择其他系统作为项目基础。许多项目聚焦于通信协议和分布式算法，不过也能从工作流系统、制造系统和嵌入式系统等其他领域挑选系统。例如，有基于PathFinder调度机制的项目。

课程第二部分的评估基于一份15 - 20页的小组书面报告评估，以及个人口头考试，参与者需展示小组项目。最终成绩是书面报告成绩和口头表现成绩的平均值。构建和验证大型模型有助于实现“大型系统建模”和“大型系统验证”的学习目标，而进度展示和考试则有助于实现“讨论CP网的应用”这一目标。

2. 学生项目实例

以学生小组对动态移动自组网按需（DYMO）协议的建模和验证项目为例。移动自组网（MANET）是一种无基础设施的无线网络，由一组移动节点组成，各移动节点充当路由器支持多跳通信。DYMO是由IETF MANET工作组开发的路由协议，其规范在一份35页的“互联网草案”中有自然语言描述。

2.1 CPN模型结构

完整的CPN模型是一个中型模型，包含9个模块、18个转换、45个位置、17个颜色集和20个CPN ML函数。该模型分为四个主要部分：
- ApplicationLayer模块 ：代表使用DYMO - Layer模块建立的多跳路由的应用程序。
- NetworkLayer模块 ：模拟数据包在底层移动网络上的传输。
- Topology模块 ：模拟节点的移动性，导致MANET的拓扑结构动态变化。
-