基于Petri网的Java多线程程序分析

• 作者: 方贤文 许志才 郭娟
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: Petri网 抑制弧 多线程 模型
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 智能、算法、系统结构
• 页码范围: 51-53
• 页数: 3页
• 分类号: TP391.9
• 字数: 2115字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2009.04.015

摘要

多线程程序可以更好地利用计算机资源,提高程序运行效率.但是由于多线程执行的不确定性,程序设计中的潜在错误不易被发现.作为系统建模和分析的工具,Petri网适合对具有同步、并发、冲突的离散事件系统进行建模和分析.文中探讨利用Petri网对Java多线程程序建模,并通过分析模型的结构性质和动态性质定位程序设计中的错误.通过对一个多线程程序实例的建模以及对模型的分析,定位了引发错误的原因,并给出了解决方案.从而说明Petri网在分析多线程程序和提高程序稳定性方面具有优越性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方贤文	安徽理工大学理学院	124	250	10.0	12.0
2	许志才		16	69	4.0	8.0
3	郭娟	安徽理工大学理学院	13	7	2.0	2.0