计算机工程与应用 ›› 2016, Vol. 52 ›› Issue (18): 31-35.

• 理论与研发 • 上一篇    下一篇

逻辑Petri网的S-组合及活性分析

王  路1,蒋  霞2,杜玉越1   

  1. 1.山东科技大学 信息科学与工程学院,山东 青岛 266590
    2.莱芜职业技术学院,山东 莱芜 271100
  • 出版日期:2016-09-15 发布日期:2016-09-14

S-composition and liveness analysis of logic Petri nets

WANG Lu1, JIANG Xia2, DU Yuyue1   

  1. 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
  • Online:2016-09-15 Published:2016-09-14

摘要: 基于Petri网和逻辑Petri网,提出了S-组合逻辑Petri网的概念。深入研究了S-组合逻辑Petri网的活性继承问题,给出了S-组合逻辑Petri网活性的判定定理和算法,并分析了S-组合网中几种资源共享情况。针对组合逻辑Petri网的几种资源共享情况,提出了相应的利用控制库所实现S-组合逻辑Petri网活性控制的方法。

关键词: 逻辑Petri网, S-组合, 活性, 资源共享, 活性控制

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.

Key words: logic Petri net, S-composition, liveness, resource sharing, liveness inheritance