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