有色Petri网在系统分析中的应用

摘要

Coloured Petri 网(简称 CP-nets 或CPN )是一种用于设计、详细说明、仿真和检验的面向图形的语言。它特别适合于那些通讯、同步、资源共享非常重要的系统。例如应用程序间的通讯协议、分布式系统、嵌入式系统、自动化生产系统、工作流分析和超大规模集成电路芯片。