Petri网死锁的分析与检测
被引量：8
The Analysis and Test of Petri Net's Deadlock
摘要
本文在讨论Petri网静态结构和动态运行特性的基础上,给出了死锁的定义,描述了死锁的物理意义,并且给出了死锁的分析方法和检测算法。本文的研究对Petri网的工程应用具有基础性的重要作用。
出处
《计算机系统应用》
北大核心
2004年第11期44-47,共4页
Computer Systems & Applications
基金
广西自然科学基金(桂科自0066006)
参考文献5
-
1F. Commoner. Denklocks in Petri Nets. Report CA7216 - 2311, Massachusetts Computer Associates, wakefield, Massachusetts, 1972.7.
-
2J.L. Peterson. Petri Net Theory and the Mokelling of system. Englewood Cliffs, New lersey, Prentice Hall,Inc. ,1981.
-
3K. Baukaui, B. Lemaire. An Effective characterization of Minimal Deadlock and Traps in Petri Nets Based on Graph Theory. 10th International conference on Application and Theory of Petri Nets ,1989.
-
4J.C. Bermond,G.Memmi. A Graph theoretical charaoterization of Minimal Deadlock in Petri Nets.4th Europer Workshop on Applications and Theory of Petri Net,1983.
-
5Tadao Murata. Petri Net: Properties,Analysis and Applications. Reprinted from PROCEDINGS OF THE IEEE 77(4) ,1989. p541 - 580.
同被引文献27
-
1张继军,吴哲辉.Petri网的分层递归模型[J].系统仿真学报,2003,15(z1):89-92. 被引量：11
-
2王卫国.电子政务中的工作流群件技术研究[J].南京工业职业技术学院学报,2004,4(4):27-28. 被引量：1
-
3颜七笙,戴立辉,杨志辉.Petri网中的数学方法[J].江汉大学学报（自然科学版）,2005,33(1):14-16. 被引量：2
-
4万和平,王明哲.层次工作流Petri网建模与分析[J].计算机工程与应用,2005,41(15):211-214. 被引量：9
-
5[1]T Andrew, et al. Business Process Execution Language for Web Service Version 1.1, IBMDeveloperWorks [EB/OL], http://www.ibm.com/ developerworks/library/ws-bpel, 2003.
-
6[2]Stephen J H Yang, Blue C W Lan, Jen-Yao Chung. A New Approach for Context Aware SOA [J]. e-Technology, e-Commerce and e-Service, 2005. EEE '05. Proceedings. The 2005 IEEE International Conference on 29-01 March 2005, Page(s): 438 - 443.
-
7[3]Tony Andrews, Francisco Curbera, Hitesh Dholakia, Yaron Goland, Johannes Klein, et al. Business Process Execution Language for Web Services Version 1.1 [Z]. 5 May 2003.
-
8[4]Huiqun Yu, Xudong He, Yi Deng, Lian Mo. A Formal Approach to Designing Secure Software Architectures [J]. Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04).
-
9[5]Yu-Liang Chi, Ming-Hung Tsai, Chih-Wei Lee. A Petri-Net based Validator in Reliability of a Composite Service [J]. The 2005 IEEE International Conference on 29-01 March 2005 Page(s): 450 - 453.
-
10[6]Jia Zhang, Jen-Yao Chung, Carl K. Chang, Seong W. Kim. WS-Net: A Petri-net Based Specification Model for Web Services [J]. Proceedings of the IEEE International Conference on Web Services (ICWS'04).
引证文献8
-
1王艳春,林广艳.基于BPEL4WS和Petri网的服务建模与分析[J].系统仿真学报,2005,17(z1):93-95. 被引量：2
-
2李博文,李孝忠.基于Petri网的递归模型构造与分析[J].电子测量技术,2007,30(3):130-132.
-
3郭长友,郑文艳,武兵,周智刚.基于Petri网结构死锁问题求解方法的研究[J].福建电脑,2007,23(9):97-97. 被引量：1
-
4符意德,卢波,孙晔.基于Petri网的机器人导航系统性能分析[J].航空计算技术,2007,37(4):98-100.
-
5张琪,王景焕.Petri网在工作流技术中的应用[J].南京工业职业技术学院学报,2008,8(2):31-34.
-
6郑凯.Petri网死锁的求解算法[J].漳州师范学院学报（自然科学版）,2011,24(1):17-21. 被引量：1
-
7席卫华.基于记录重播的嵌入式系统死锁检测方法[J].软件导刊,2017,16(12):22-25.
-
8鲁法明,崔明浩,包云霞,曾庆田,段华.基于程序运行轨迹Petri网模型挖掘的死锁检测方法[J].计算机集成制造系统,2021,27(9):2611-2624. 被引量：2
二级引证文献6
-
1郑凯.Petri网死锁的求解算法[J].漳州师范学院学报（自然科学版）,2011,24(1):17-21. 被引量：1
-
2钱俊彦,黄国旺,赵岭忠.基于答案集的Web服务组合验证[J].计算机科学,2011,38(12):131-134.
-
3刘士喜,胡晓静.BPEL到PNML文件转换框架的设计与实现[J].计算机应用与软件,2013,30(5):60-64. 被引量：1
-
4徐兵,于淼.医学检验分析仪控制系统Petri网建模[J].长春工业大学学报,2013,34(6):698-703. 被引量：2
-
5鲁法明,江婷婷,包云霞,崔海东,蔡朝阳.恶意软件的时序对偶数据流图挖掘及其检测方法[J].计算机应用研究,2023,40(6):1829-1836.
-
6鲁法明,黄莹,曾庆田,包云霞,唐梦凡.基于Petri网展开的多线程程序数据竞争检测与重演[J].软件学报,2023,34(8):3726-3744.
-
1吕莉芳,李承家,薛瑜.具有死锁和陷阱结构的模糊Petri网性态分析[J].自动化与信息工程,2011,32(4):17-19.
-
2Lei Chen,Kan-Jun Zhang,Yong-Jun Xia,Gang Hu.Hybrid Simulation of ±500 kV HVDC Power Transmission Project Based on Advanced Digital Power System Simulator[J].Journal of Electronic Science and Technology,2013,11(1):66-71.
-
3刘剑,陈晓苏,肖道举.面向服务体系结构的可靠服务研究[J].计算机工程与科学,2006,28(5):30-32. 被引量：12
-
4丁国良,张春路,卢智利,沈宇纲.家用冰箱部件模型的分析与建模思想[J].系统仿真学报,2003,15(2):173-175. 被引量：2
-
5潘志伟.数控系统伺服驱动优化方法[J].变频技术应用,2013,8(2):57-61.
-
6吴光耀.选矿厂磨矿分级模糊自调整PID控制工程研究[J].广东自动化与信息工程,2006,27(2):4-6.
-
7蔡燕,许镇琳,高超.基于神经网络非线性模型的开关磁阻电机调速系统动态仿真[J].电工技术学报,2006,21(8):25-30. 被引量：27
-
8成守宇,彭敏俊,刘新凯.免疫P-PID串级控制的核反应堆功率调节器研究[J].核动力工程,2014,35(5):39-42. 被引量：2
-
9成守宇,李程,彭敏俊,刘新凯.基于人工免疫的直流蒸汽发生器压力控制研究[J].核动力工程,2015,36(3):62-65. 被引量：3
-
10林梦泉,赵姝明.模糊理论在交流电力驱动效率最优控制中的应用[J].北京理工大学学报,1997,17(3):283-286.
