cpn介绍

CPN (Color Petri Net） 即有色的Petri网，它在20世纪60年代首先由著名数学家Carl Adam Petri提出，适合于描述异步的、并发的计算机系统模型。 Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。