Coloured Petri Nets简述

前言

本文旨在总结CPNs最基础的概念，如有错误，欢迎指正。

我看的书的作者是Kurt Jensen和Lars Michael Kristensen，一些相关学习资料可以从以下网址中获得：http://www.cs.au.dk/CPnets/cpnbook/

概述

有色Petri网（Coloured Petri Nets，简称CP-Nets或者CPNs）是一种用于建模和验证并发和分布式系统以及其他系统的语言。书中介绍了CPNs建模语言的结构、解释了CPN模型是怎样便利地对系统进行仿真、状态空间分析以及如何实现行为可视化和基于仿真的性能分析。

全书一共15章，具体内容拆分成以下几个部分：

1. 基础概念：1-4章介绍了CPN建模语言的的基础结构。
2. 层次着色Petri网：5-6章介绍了如何将大型CPN模型构建为一组分层组织的模块。
3. 状态空间和验证：7-9章展示了如何使用状态空间来验证CPN模型的行为属性。
4. 时间着色Petri网：10-12章将计时信息添加到CPN模型中，使得推理实时系统和进行基于模拟的性能分析成为可能。
5. 行为可视化：13章展示了CPN模型如何通过图形来增强，这些图形可以使用特定系统和领域的概念来可视化系统的行为，并与系统的行为进行交互。
6. 工业实例：14章展示了四个代表性的例子。