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

摘要：

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

关键词： Petri网 编程语言 并行处理

作者: 周必水 李旭东

作者单位: 杭州电子工业学院软件分院(浙江杭州)

会议类型: 国内会议

会议名称: 第九届全国Petri网学术年会

会议地点: 杭州

会议语种:中文

页码: 102-104,111

在线出版日期: 2003-09-01（万方平台首次上网日期，不代表论文的发表时间）