CPN网及其在构建良好程序结构中的应用.pdfVIP

2010年第4期 工业仪表与 自动化装置 ·l05 · CPN 网及其在构建 良好程序结构中的应用 曹淑华h，张士勇 ，苏 豫 (1．长安大学 a．信息工程学院；b．理学院，西安 710064；2．电信科学技术第四研究所，西安 710061) 摘要：该文详细介绍了着色Petri网(CPN)的基本概念、原理和应用。作为设计 良好的程序结 构的工具，通过一个简单的实例来说明如何构建良好的程序结构。 关键词：程序结构、Petri网、着色Petri网(CPN) 中图分类号：TP301 文献标志码：A 文章编号：1000—0682(2010)04～0105—05 CPN andtheapplicationinconstructtingagoodprogram structure CAOShuhua ，ZHANGShiyong“SU Yu ， (1a．CollegeofInformationEngineering；b．Department0厂Ph~ics，ChanganUniversity，Xian710064，China； 2．TheForthResearchInstit~eofTelecommunicationsScienceandTechnology，Xian710061，China) Abstract：ThisarticlepresentsthebasicconceptbasicprinciplesandapraicationofCPN．Asatool ofdesigningagoodprogram structure，weshowhow toconsturctagoodprogram sturcturebyasimpleex。 ample． Keywords：program sturcture；PN；CPN 念，然后通过例子说明如何使用CPN描述程序结构 0 引言 及 CPN网执行过程和状态的变更 。有关PN的概念 Petri网是由德 国的CarlAdamPetri在 1962年 参看文献 [4]。 提出的，它的应用 已十分 广泛。但一般 Petri网 1 着色Petri网 (ColouredPetriNet简称 (PN)对每一种对象的状态或条件都用一个库所表 CPN) 示，每一种变化或事件用一个变迁表示，使得实际 应用时系统节点过多，对个体的变化细节描述过多。 1．1 几个基本概念 另外托肯(token)的含义也比较简单，不利于对系统 在给出CPN的形式定义前，必须了解以下几个 的理解 ，从而不支持构造大型系统模型等。为了简 基本概念。 化系统模型以及丰富模型的表达能力 ，人们提出了 1)多重集(muhi—set) 各种高级Petri网，其中着色 Petri网 (CPN)就是在 定义 1：设 S是一个非空集合，m是一个从 S到 一 般 Petri网的基础上 引入 了颜色的概念 。它对 同 自然数Ⅳ的函数，则 ∑m()称为S上的多重集 类的个体赋予相同的颜色，不同类的个体通过赋予 m。用5 表示 5上所有多重集的集合。 不同的颜色加 以区分 。这样 ，在一个库所中就可以 其中非负整数 m(s)IsES}为多重集 m的系 包含几种对象，一个变迁也可以表达几种不同的变