33、有色Petri网教学：课程介绍与实践

有色Petri网教学：课程介绍与实践

1. 课程概述

课程聚焦于并发系统的建模与验证，采用有色Petri网（CP - nets）作为并发的形式化建模语言。通过该课程，参与者能够深入了解CP - nets建模语言、分析方法及其支持的计算机工具，同时还会接触到CP - nets在工业项目中的应用。课程强调建模与验证的实际应用，对CP - nets的形式基础关注相对较少。

课程分为两个部分，每部分时长为7周，参与者可选择仅参加第一部分。每部分对应5个欧洲学分转换与积累系统（ECTS）学分，这意味着参与者预计将三分之一的学习时间投入到该课程中。

1.1 课程目标

• 第一部分 ：让参与者详细了解CP - nets，并获得小型并发系统建模与验证的经验。
• 第二部分 ：使参与者获得将CP - nets和CPN Tools应用于大型并发系统建模与验证的实践经验，同时培养参与者规划和完成项目以及沟通专业问题的能力。

1.2 课程前提条件

参与者需完成学士学位前两门简短的编程入门课程，这两门课程对应10个ECTS学分。这意味着参与者应熟悉常规编程语言概念，如变量、类型、过程和模块。

1.3 课程性质与参与者情况

该课程是一门可选的高级课程，大多数参与者处于大学三到五年级。课程通常有15 - 20名参与者。需要强调的是，这是一门关于CP - nets建模语言及其支持计算机工具的专业课程。计算机科学系的课程体系中还有其他课程，旨在更全面地介绍并发的理论和实践方面，包括理论