| 基于逻辑电路的Petri网化简方法 |
| |
| 引用本文： | 叶剑虹,宋文,孙世新. 基于逻辑电路的Petri网化简方法[J]. 软件学报, 2007, 18(7): 1553-1562 |
| |
| 作者姓名： | 叶剑虹 宋文 孙世新 |
| |
| 作者单位： | 电子科技大学,计算机科学与工程学院,四川,成都,610054;西华大学,数学与计算机学院,四川,成都,610039;西华大学,数学与计算机学院,四川,成都,610039;电子科技大学,计算机科学与工程学院,四川,成都,610054 |
| |
| 基金项目： | 国家自然科学基金;四川省科学技术厅应用基础课题基金 |
| |
| 摘 要： | 已有的Petri网化简方法需将网的局部结构与化简规则作逐一的比对,步骤较为繁琐,并且所提供的方法不适合于带抑止弧的网.采用一种与传统方法不同的化简思路,首先将网划分为若干个最大无圈子网,将每个最大无圈子网表达为若干个逻辑式.用逻辑代数来完成逻辑式的化简,最后将其结果还原为Petri网回嵌到原网中,完成整个网的化简.给出了寻找最大无圈子网、最大无圈子网的化简算法以及相关的证明.该方法将化简范围扩展到了带抑止弧的无回路的网或网的局部.
|
| 关 键 词： | Petri网 化简 逻辑代数 最大无圈子网 |
| 收稿时间： | 2006-10-08 |
| 修稿时间： | 2006-10-082006-11-30 |
A Reduction Technique of Petri Nets Based on Logic Circuit |
| |
| YE Jian-Hong,SONG Wen and SUN Shi-Xin. A Reduction Technique of Petri Nets Based on Logic Circuit[J]. Journal of Software, 2007, 18(7): 1553-1562 |
| |
| Authors: | YE Jian-Hong SONG Wen SUN Shi-Xin |
| |
| Affiliation: | School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 610054, China;School of Mathematics and Computer Engineering, Xihua University, Chengdu 610039, China |
| |
| Abstract: | In traditional methods, the local structure of Petri net is required to compare with all reduction rules. The process is complicate and does not fit for nets with inhibitor arcs. This paper presents a new reduction method. Firstly, Petri net is divided into several maximal acyclic subnets and each one is expressed with logic form. Then, logic algebra is used to reduce the logic form. Finally, the result is reconstructed and embedded in the original net. This paper establishes a method to find and reduce the maximal acyclic subnets and presents the correlative proofs. This method can be applied to Petri nets or subnets with inhibitor arcs and acyclic. |
| |
| Keywords: | Petri net reduction logic algebra maximal acyclic subnet |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
