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

作     者：周必水 李旭东 

作者机构：杭州电子工业学院软件分院浙江杭州310037 

出 版 物：《系统仿真学报》 (Journal of System Simulation)

年 卷 期：2003年第15卷第z1期

页      码：102-104,111页

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

主 题 词：仿真 弧 状态 变迁 赋时 时戳 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1004-731X.2003.z1.027

馆 藏 号：203592472...