基于CPN建模技术的研究

摘要：

ColouredPetriNets(CPN)是一种面向图形的建模语言.给出了CPN的形式化定义,并以实例说明描述分布式数据库系统的一种基于CPN的方法。

关键词： Coloured Petri网 分布式数据库 网络建模 面向图形建模语言 形式化定义

作者: 田保军

作者单位: 内蒙古工业大学信息工程学院,内蒙古呼和浩特,010062

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 201-203

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