CPN建模语言及CPNTools的使用教程

CPN建模语言是一种通用建模语言，即它不是着重于为特殊类型系统建模，而是旨在实现一个广泛类型的并发系统的建模。典型的CP-nets应用领域包括通信协议，数据网，分布式算法及嵌入式系统。然而，CP-nets也适用于更广泛地以并发性和交互性为主要特点的系统建模。本文介绍了CPN建模语言和如何使用CPNTools中支持的构建、模拟、状态空间分析、性能分析，和可视化的说明。