| 引用本文: | 蒋昌俊，王成红，疏松桂，郑应平.Petri网的嵌入操作及其在系统递阶建模中的应用*[J].控制理论与应用,1998,15(4):551~557.[点击复制] |
| JIANG Changjun，WANG Chenghong， SHU Songgui and ZHENG Yingping.The Embedding Operations of Petri Nets and Use forHierarchical Establishment in Concurrent Systems[J].Control Theory and Technology,1998,15(4):551~557.[点击复制] |
|
| Petri网的嵌入操作及其在系统递阶建模中的应用* |
| The Embedding Operations of Petri Nets and Use forHierarchical Establishment in Concurrent Systems |
| 摘要点击 730 全文点击 378 投稿时间：1994-06-02 修订日期：1997-08-05 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 |
| 1998,15(4):551-557 |
| 中文关键词 Petri网 嵌入操作 建模 |
| 英文关键词 Petri net, embedding operations establishment. |
| 基金项目 |
|
| 中文摘要 |
| 本文定义Petri网嵌入操作的概念，讨论了嵌入操作对于系统行为（语言）以及性质（如活性，公平性，安全性和回归性）的保持关系，得到了一组充要条件，给出基于嵌入操作的并发系统递阶设计方法. |
| 英文摘要 |
| ln 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 hjerarchical establishment. of Petri nets is obtained. |