基于CPN建模技术的研究.pdfVIP

Vol . 17 增刊 系 统 仿 真 学 报 Oct . 2005 J OURNAL OF SYSTEM SIMULATION 201 基 于 CPN 建 模 技 术 的 研 究 田保军 ( 内蒙古工业大学信息工程学院, 内蒙古呼和浩特 0 10062) 摘 要 Coloured Petri Nets(CPN) 是一种面向图形的建模语言 给出了CPN 的形式化定义,并以实 例说 明描述分布式数据库系统的一种基于 CPN 的方法 关键词 Coloured Petri 网; 分布式数据库; 建模 文章编号 1004-73 1X ( 2005) S-201-03 中图分类号 TP3 1 文献标识码 A Resear ch of Modeling Techn ology Based on CPN TIAN Bao-jun (Institute of Information Engineering, Inner Mongolia University of t echnology , Huhhot 0 10062, China) Ab str act CPN is a modeling language based on graphic. This paper gives formal definition of CPN and through an instance it gives de scription of distributed data base system b ased on CPN methods. Key wor ds CPN ; distributed data base; modeling 引 言1 I 是一个初始化函数 对于每一个位置,表示此位置的初 始状态,类型为 C(p) 的多重集 Petri 网是一种图形化的建模工具 它能较好地描述离散 p P [ Typ e(I(p))=C(p)MS ] 事件的动态过程 并能精确描述事件的顺序 并发和冲突关 如 利用 coloured Petri net 描述经典的生产者-消费者系 系 Coloured Petri N ets(简称 CPN)结合了Petri Nets 和程序设 统 假设该系统中有三个生产者和两个消费者并且有 4 种不 计语言的强大能力 前者提供了描述同步处理的能力,后者提 同类型的数据 供描述数据类型以及管理数据的能力 实际中 使用 CPN 主 定义 2 coloured Petri N et s 行为的形式化定义 要有 3 个 目的