[1]郭娟 许志才 方贤文.基于Petri网的Java多线程程序分析[J].计算机技术与发展,2009,(04):51-53.
　GUO Juan,XU Zhi-cai,FANG Xian-wen.Multi - Thread Analysis about Java Program Based on Petri Net[J].,2009,(04):51-53.
点击复制

基于Petri网的Java多线程程序分析()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2009年04期
页码:
51-53
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Multi - Thread Analysis about Java Program Based on Petri Net
文章编号:
1673-629X（2009）04-0051-03
作者:
郭娟1 许志才2 方贤文1
[1]安徽理工大学理学院[2]滁州学院
Author(s):
GUO Juan1;  XU Zhi-cai2;  FANG Xian-wen1
[1]School of Science, Anhui University of Science and Technology[2]Chuzhou University
关键词:
Petri网; 抑制弧; 多线程; 模型
Keywords:
petri net;  inhibitor arcs;  multi - threads;  model
分类号:
TP391.9
文献标志码:
A
摘要:
多线程程序可以更好地利用计算机资源，提高程序运行效率。但是由于多线程执行的不确定性，程序设计中的潜在错误不易被发现。作为系统建模和分析的工具，Petri网适合对具有同步、并发、冲突的离散事件系统进行建模和分析。文中探讨利用Petri网对Java多线程程序建模，并通过分析模型的结构性质和动态性质定位程序设计中的错误。通过对一个多线程程序实例的建模以及对模型的分析，定位了引发错误的原因，并给出了解决方案。从而说明Petri网在分析多线程程序和提高程序稳定性方面具有优越性。
Abstract:
Multi - thread programs can operate more efficiently by making good use of computer sources. However, due to the uncertainty of multi - threads, the mistakes in programming cannot be found easily. The Petri Net is suitable to model and analyze discrete ev

相似文献/References:

[1]翁辉 徐海珠 陈晓山.基于Petri网的装备战场抢修系统建模研究[J].计算机技术与发展,2010,(03):176.
　WENG Hui,XU Hai-zhu,CHEN Xiao-shan.Modeling Research on Equipment Battlefield Repair System Based on Petri Net[J].,2010,(04):176.
[2]李龙澍 胡正梁.基于Petri网的UML形式化建模应用分析[J].计算机技术与发展,2010,(04):76.
　LI Long-shu,HU Zheng-liang.Application Analysis and Formal Modeling of UML Based on Petri Net[J].,2010,(04):76.
[3]韩咚 田银花.基于赋时颜色Petri网的NSSK协议建模[J].计算机技术与发展,2010,(06):156.
　HAN Dong,TIAN Yin-hua.The Modeling of NSSK Protocols Based on Timed Colored Petri Nets[J].,2010,(04):156.
[4]徐晶明 杜宝珠.基于Petri网化简技术的工作流过程模型结构验证[J].计算机技术与发展,2009,(06):51.
　XU Jing-ming,DU Bao-zhu.Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques[J].,2009,(04):51.
[5]胡文江 高永兵 樊瑞民 张健.基于Web服务的工作流执行优化方法探讨[J].计算机技术与发展,2009,(06):156.
　HU Wen-jiang,GAO Yong-bing,FAN Rui-min,et al.Research of Workflow Optimal Strategy Based on Web Services[J].,2009,(04):156.
[6]毛伟伟 于素萍.基于Petri网的Web服务动态组合[J].计算机技术与发展,2009,(11):61.
　MAO Wei-wei,YU Su-ping.Dynamic Web Service Composition Based on Petri Nets[J].,2009,(04):61.
[7]封会娟 于永利 张柳 刘文武.机动防空任务聚合级装备作战单元维修性仿真[J].计算机技术与发展,2009,(11):230.
　FENG Hui-juan,YU Yong-li,ZHANG Liu,et al.Simulation Model of Aggregated Equipment Combat Units＇ Mission Maintainability Based on Mobile Aerial Defense Mission[J].,2009,(04):230.
[8]陈伟 文东戈 王昊.层次颜色工作流Petri网建模与应用[J].计算机技术与发展,2009,(01):49.
　CHEN Wei,WEN Dong-ge,WANG Hao.Modeling and Application of Hierarchical Colored Workflow Net[J].,2009,(04):49.
[9]秦凯 姜浩.一种基于Petri网的工作流模型分解方法[J].计算机技术与发展,2008,(01):97.
　QIN Kai,JIANG Hao.An Approach of Decomposition of Workflow Models Based on Petri Net[J].,2008,(04):97.
[10]乐晓波 王中华 张春丽.基于Petri网的哲学分析[J].计算机技术与发展,2008,(03):109.
　YUE Xiao-bo,WANG Zhong-hua,ZHANG Chun-li.Philosophical Analysis Based on Petri Net[J].,2008,(04):109.

备注/Memo

备注/Memo:
国家自然科学基金(30570431)；安徽省青年教师基金(2006jq1077)郭娟(1980-)，女，河南濮阳人，讲师，硕士，研究方向为Petri网及应用；许志才，教授，博士，研究方向为优化算法；方贤文，副教授，博士，研究方向为Petri网及应用。
更新日期/Last Update: 1900-01-01