Property preserving operation for simplifying Petri nets with inhibitor arcs

doi:10.3724/SP.J.1087.2012.03071

Journal of Computer Applications ›› 2012, Vol. 32 ›› Issue (11): 3071-3074.DOI: 10.3724/SP.J.1087.2012.03071

Previous Articles Next Articles

Property preserving operation for simplifying Petri nets with inhibitor arcs

MO Li-ping¹,YUE Xiaobo²,ZHOU Kai-qing³,ZHANG Zhao-hai⁴,⁵

1. College of Information Scinece and Engieering,Jishou University,Jishou Hunan 416000,China
2. College of Computer and Communication Engineering, Changsha University of Science and Technology, Changsha Hunan 410076, China
3. Faculty of Computer Science and Information System,Univeristi Teknologi Malaysia，UTM Skudai Johor 80310,Malaysia
4.
5. China Merchants Bank Zhuzhou Subbranch,Zhuzhou Hunan 412007, China

Received:2012-05-28 Revised:2012-07-20 Online:2012-11-12 Published:2012-11-01
Contact: MO Li-ping

带抑制弧Petri网的保性变换

莫礼平¹,乐晓波²,周恺卿³,张兆海⁴,⁵

1. 吉首大学信息科学与工程学院，湖南吉首 416000
2. 长沙理工大学计算机与通信工程学院，长沙 410076
3. 马来西亚理工大学计算机科学与信息系统系，马来西亚柔佛州新山市 81310
4. 中国招商银行株洲支行，湖南株洲 412007
5.

通讯作者: 莫礼平
作者简介:莫礼平(1972-), 女,湖南安化人,CCF会员，高级实验师，硕士,主要研究方向：Petri网理论及应用、数据挖掘、数据库与信息处理；乐晓波(1957-)，男，陕西西安人，教授，主要研究方向：Petri网理论及应用、并行算法、人工智能；周恺卿(1984-)，男，湖南长沙人，博士研究生，CCF会员，主要研究方向：Petri网理论及应用、模糊理论、知识推理;张兆海(1975-), 男, 湖南慈利人，工程师,主要研究方向：网络技术。
基金资助:
湖南省教育厅青年项目

Abstract

Abstract: Petri nets simplification of property preservation is a significant approach for Petri nets analysis. Meanwhile, the computational ability of Petri nets with inhibitor arcs is equal to Turing machine. From the perspective of series transition and series places respectively, this paper proposed two simplified methods of the Petri nets with inhibitor arcs. Finally, it proved that the characteristics such as aliveness, boundedness and weak fairness of simplified Petri nets with inhibitor arcs were kept unanimous with the original Petri nets with inhibitor arcs by these methods.

Key words: Petri net with inhibitor arcs, property preserving operation, aliveness, boundedness, (weak) fairness

摘要： Petri 网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上，证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。

关键词: 带抑制弧的Petri网, 保性变换, 活性, 有界性, (弱)公平性

CLC Number:

TP301

MO Li-ping YUE Xiaobo ZHOU Kai-qing ZHANG Zhao-hai. Property preserving operation for simplifying Petri nets with inhibitor arcs[J]. Journal of Computer Applications, 2012, 32(11): 3071-3074.

莫礼平乐晓波周恺卿张兆海. 带抑制弧Petri网的保性变换[J]. 计算机应用, 2012, 32(11): 3071-3074.

[1]	. YOLOv5s-MRD: an efficient fire and smoke detection algorithm for complex scenarios based on YOLOv5s [J]. Journal of Computer Applications, 0, (): 0-0.
[2]	Yawei HUANG, Xuezhong QIAN, Wei SONG. Improved differential evolution algorithm based on dual-archive population size adaptive method [J]. Journal of Computer Applications, 2024, 44(12): 3844-3853.
[3]	Hongru JIANG, Wei FANG. Survey of application of deep learning in meteorological data correction [J]. Journal of Computer Applications, 2024, 44(12): 3930-3940.
[4]	Qiye ZHANG, Xinrui ZENG. Efficient active-set method for support vector data description problem with Gaussian kernel [J]. Journal of Computer Applications, 2024, 44(12): 3808-3814.
[5]	. Improvement method of heuristic vehicle routing algorithm based on constrained spectral clustering [J]. Journal of Computer Applications, 0, (): 0-0.
[6]	. Path planning of multi-UAV formation based on improved artificial potential field method [J]. Journal of Computer Applications, 0, (): 0-0.
[7]	. Dual-population dual-stage evolutionary algorithm for complex constrained multi-objective optimization problems [J]. Journal of Computer Applications, 0, (): 0-0.
[8]	Qin LENG, Zhengyuan MAO. Two echelon location-routing optimization considering facility sizing decision [J]. Journal of Computer Applications, 2024, 44(11): 3513-3520.
[9]	Qingyuan PENG, Xiaofeng WANG, Junxia WANG, Yingying HUA, Ao TANG, Fei HE. Review of phase transition in satisfiability problems [J]. Journal of Computer Applications, 2024, 44(11): 3503-3512.
[10]	Jie HUANG, Ruizi WU, Junli LI. Efficient adaptive robustness optimization algorithm for complex networks [J]. Journal of Computer Applications, 2024, 44(11): 3530-3539.
[11]	Renke SUN, Zhiyu HUANGFU, Hu CHEN, Zhongnian LI, Xinzheng XU. Survey of neural architecture search [J]. Journal of Computer Applications, 2024, 44(10): 2983-2994.
[12]	Antai SUN, Ye LIU, Dongmei XU. Dynamic surface asymptotic compensation algorithm for multi-agent systems [J]. Journal of Computer Applications, 2024, 44(10): 3151-3157.
[13]	Chaoying YAN, Ziyi ZHANG, Yingnan QU, Qiuyu LI, Dixiang ZHENG, Lijun SUN. Double auction carbon trading based on consortium blockchain [J]. Journal of Computer Applications, 2024, 44(10): 3240-3245.
[14]	. Dung beetle optimizer algorithm with restricted reverse learning and Cauchy-Gauss variation [J]. Journal of Computer Applications, 0, (): 0-0.
[15]	Guanglei YAO, Juxia XIONG, Guowu YANG. Flower pollination algorithm based on neural network optimization [J]. Journal of Computer Applications, 2024, 44(9): 2829-2837.

Property preserving operation for simplifying Petri nets with inhibitor arcs

带抑制弧Petri网的保性变换

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics