S-composition and liveness analysis of logic Petri nets

Computer Engineering and Applications ›› 2016, Vol. 52 ›› Issue (18): 31-35.

Previous Articles Next Articles

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

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

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

1.山东科技大学信息科学与工程学院，山东青岛 266590
2.莱芜职业技术学院，山东莱芜 271100

Abstract

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

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

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

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

[1]	REN Shengbing, FENG Di, CHEN Xiaonan. Grey analytic hierarchy process using optimal transfer matrix [J]. Computer Engineering and Applications, 2017, 53(18): 44-50.
[2]	LI Zhiyuan1，2. Analysis and research on ARES P2P file sharing protocol [J]. Computer Engineering and Applications, 2016, 52(24): 1-5.
[3]	XU Junming, ZHU Fuxi, LIU Shichao, ZHU Biying. Identifying opinion leaders by improved algorithm based on LeaderRank [J]. Computer Engineering and Applications, 2015, 51(1): 110-114.
[4]	SUN Yinghua1，2, WU Zhehui2, GUO Zhenbo1, GU Weidong3. Computing resource trading models in hybrid cloud market [J]. Computer Engineering and Applications, 2014, 50(18): 25-32.
[5]	FAN Yuanyuan, MI Xifeng. Structured P2P approach for high efficient distributed task scheduling [J]. Computer Engineering and Applications, 2012, 48(19): 97-100.
[6]	TAO Yongcai1，WU Song2. Grid middleware GOS3-oriented OAR cluster management system [J]. Computer Engineering and Applications, 2011, 47(29): 103-106.
[7]	CHEN Zuo-zan¹，XU Sheng-chao². Adaptive-parallelism scheduling for Internet-based volunteer computing system [J]. Computer Engineering and Applications, 2010, 46(21): 86-89.
[8]	REN Yong¹,ZHANG Nan²,MOU Xuan-qin². Face liveness verification using estimation of face pose variation [J]. Computer Engineering and Applications, 2009, 45(16): 193-196.
[9]	LI Yang¹,CHENG Jian-hua²,FANG Ding-yi¹,CHEN Xiao-jiang¹,FENG Jian¹. Verification of safety and liveness property based on concurrent system [J]. Computer Engineering and Applications, 2008, 44(4): 107-110.
[10]	WANG Jin-shuang,YANG Hua-bing,ZHANG Xing-yuan,WANG Yuan-yuan,ZHANG Yu-sen. Liveness reasoning of elevator control system in Isabelle/HOL [J]. Computer Engineering and Applications, 2008, 44(27): 216-218.
[11]	WenJun Ju. Research and implementation of the manufacturing resource-sharing technology [J]. Computer Engineering and Applications, 2007, 43(9期): 223-226.
[12]	PENG Ying,LIU Hui,LIN Jie. Research on ECT based priority constrained job scheduling algorithm [J]. Computer Engineering and Applications, 2007, 43(33): 129-132.
[13]	ZHOU Fu-qiang，ZHANG Shu-ming，YAN Chu-liang. Design of database for aeroplane typical materials fatigue/fracture behavior based on Java Applet [J]. Computer Engineering and Applications, 2007, 43(17): 245-248.

S-composition and liveness analysis of logic Petri nets

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 13

Recommended Articles

Metrics