Petri网的嵌入操作及其在系统递阶建模中的应用  

The Embedding Operations of Petri Nets and Use for Hierarchical Establisment in Concurrent Systems

作　　者：蒋昌俊[1] 王成红[2] 疏松桂[2] 郑应平[2] 

机构地区：[1]山东矿业学院应用数学与软件工程系,泰安271019 [2]中国科学院自动化研究所,北京100080

出　　处：《控制理论与应用》1998年第4期551-557,共7页Control Theory & Applications

基　　金：国家自然科学基金;山东省自然科学基金;煤炭部跨世纪学术带头人基金;中国博士后科学基金

摘　　要：本文定义Petri网嵌入操作的概念，讨论了嵌入操作对于系统行为（语言）以及性质（如活性，公平性，安全性和回归性）的保持关系，得到了一组充要条件，给出基于嵌入操作的并发系统递阶设计方法．In this paper,four kinds of embedding operations of Petri nets are proposed. These operations preserve the properties of Petri nets very well, such as language behavior,liveness, fairness and reversibility.Based on these results,a method of hierarchical establishment of Petri nets is obtained.

关 键 词：PETRI网 嵌入操作 建模 离散并发系统 

分 类 号：TP271.8[自动化与计算机技术—检测技术与自动化装置]