| 逻辑Petri网的S-组合及活性分析 |
| |
| 引用本文： | 王 路,蒋 霞,杜玉越.逻辑Petri网的S-组合及活性分析[J].计算机工程与应用,2016,52(18):31-35. |
| |
| 作者姓名： | 王 路 蒋 霞 杜玉越 |
| |
| 作者单位： | 1.山东科技大学 信息科学与工程学院，山东 青岛 266590
2.莱芜职业技术学院，山东 莱芜 271100 |
| |
| 摘 要： | 基于Petri网和逻辑Petri网，提出了S-组合逻辑Petri网的概念。深入研究了S-组合逻辑Petri网的活性继承问题，给出了S-组合逻辑Petri网活性的判定定理和算法，并分析了S-组合网中几种资源共享情况。针对组合逻辑Petri网的几种资源共享情况，提出了相应的利用控制库所实现S-组合逻辑Petri网活性控制的方法。
|
| 关 键 词： | 逻辑Petri网 S-组合 活性 资源共享 活性控制 |
S-composition and liveness analysis of logic Petri nets |
| |
| WANG Lu,JIANG Xia,DU Yuyue.S-composition and liveness analysis of logic Petri nets[J].Computer Engineering and Applications,2016,52(18):31-35. |
| |
| Authors: | WANG Lu JIANG Xia DU Yuyue |
| |
| Affiliation: | 1.College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong 266590, China
2.Laiwu Vocational and Technical College, Laiwu, Shandong 271100, China |
| |
| Abstract: | The S-composition logic Petri nets are defined based on Petri nets and logic Petri nets in this paper. How to preserve the liveness of S-composition logic Petri nets is deeply investigated, and the theorems and algorithms of judging the liveness of S-composition logic Petri nets are given. Resource sharing in S-composition logic Petri nets is analyzed. Finally, a method of liveness inheritance is presented by adding control places, since there is resource competition in S-composition logic Petri nets. |
| |
| Keywords: | logic Petri net S-composition liveness resource sharing liveness inheritance |
|
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
