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

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

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

王路1，蒋霞2，杜玉越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.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

摘要/Abstract

摘要： 基于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

王路1，蒋霞2，杜玉越1. 逻辑Petri网的S-组合及活性分析[J]. 计算机工程与应用, 2016, 52(18): 31-35.

WANG Lu1, JIANG Xia2, DU Yuyue1. S-composition and liveness analysis of logic Petri nets[J]. Computer Engineering and Applications, 2016, 52(18): 31-35.

[1]	恩德1，陈亚柯1，毛哲龙2. 基于FastICA的低信噪比下L-PLC语音的间断传输[J]. 计算机工程与应用, 2016, 52(9): 108-111.
[2]	李致远1，2. ARES P2P资源共享协议分析技术研究[J]. 计算机工程与应用, 2016, 52(24): 1-5.
[3]	孙英华1，2，吴哲辉2，郭振波1，顾卫东3. 混合云市场的计算资源交易模型[J]. 计算机工程与应用, 2014, 50(18): 25-32.
[4]	贾贺，艾中良，刘忠麟. 基于中间模型的异构数据资源语义映射方法[J]. 计算机工程与应用, 2013, 49(3): 133-138.
[5]	范媛媛，米西峰. 基于结构化对等网络的高效分布式任务调度[J]. 计算机工程与应用, 2012, 48(19): 97-100.
[6]	陶永才1，吴松2. 面向网格中间件GOS3的OAR集群管理系统[J]. 计算机工程与应用, 2011, 47(29): 103-106.
[7]	陈佐瓒¹，徐胜超². 面向互联网计算资源共享的自适应调度模型[J]. 计算机工程与应用, 2010, 46(21): 86-89.
[8]	李洪涛,焦玉玺,张伟. 基于Agent的网格资源共享联盟[J]. 计算机工程与应用, 2009, 45(9): 110-113.
[9]	李杨¹,程建华²,房鼎益¹,陈晓江¹,冯健¹. 并发系统的安全性与活性的验证方法[J]. 计算机工程与应用, 2008, 44(4): 107-110.
[10]	杜栓柱¹,黎巎^1,2. 一种分离业务规则的灵活业务过程建模方法[J]. 计算机工程与应用, 2008, 44(30): 232-236.
[11]	钟庆新,夏利民. 一种基于双树复小波变换的图像融合方法[J]. 计算机工程与应用, 2008, 44(24): 184-187.
[12]	张强^1,2,薛惠锋^1,3,陶建格³. 基于演化博弈的P2P网络资源共享机制的研究[J]. 计算机工程与应用, 2008, 44(10): 118-120.
[13]	居文军孙林夫. 制造资源共享技术研究与实现[J]. 计算机工程与应用, 2007, 43(9期): 223-226.
[14]	彭滢,刘辉,林杰. 基于ECT的优先权约束作业调度策略研究[J]. 计算机工程与应用, 2007, 43(33): 129-132.
[15]	曹怀虎，张艳梅，韩文英. 基于博弈理论的网格资源共享协同算法[J]. 计算机工程与应用, 2007, 43(24): 29-31.