文件名称:CPN (Color Petri Net) 即有色的Petri网
文件大小:15KB
文件格式:DOCX
更新时间:2021-04-23 02:51:58
cpn
CPN (Color Petri Net) 即有色的Petri网,它在20世纪60年代首先由著名数学家Carl Adam Petri提出,适合于描述异步的、并发的计算机系统模型。 Petri网既有严格的数学表述方式,也有直观的图形表达方式,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础。